Как встроенный массив const?

Question

Что касается const, то rust docs state (курсив мой):

Константы жить в течение всего жизненного цикла программы. Более конкретно, константы в Rust не имеют фиксированного адреса в памяти. Это потому, что они эффективно привязаны к каждому месту, что они используются. По этой причине ссылки на одну и ту же константу не обязательно гарантируют обращение к одному и тому же адресу памяти.

Итак, мне интересно, как массив констант «эффективно встроен». Смотрите мои комментарии к следующим фрагментом:

const ARR: [i32; 4] = [10, 20, 30, 40]; 

fn main() { 
    // is this 
    println!("{}", ARR[1]); 

    // the same as this? 
    println!("{}", [10, 20, 30, 40][1]); 

    // or this? 
    println!("{}", 20); 
} 

Благодарим за разъяснения!

Answer 1

От этого зависит. Ответ - «все вышеперечисленное, наверное». Давайте изменим ваш пример немного:

const ARR: [i32; 4] = [10, 20, 30, 40]; 

#[inline(never)] fn show(v: i32) { println!("{}", v); } 

fn main() { 
    // is this 
    show(ARR[1]); 

    // the same as this? 
    show([10, 20, 30, 40][1]); 

    // or this? 
    show(20); 
} 

Теперь давайте транслируем это до LLVM IR и увидеть, что функция main выглядит следующим образом:

define internal void @_ZN4main20hf87c9a461739c547ZaaE() unnamed_addr #4 { 
entry-block: 
    call void @_ZN4show20h659b6b1f4f7103c4naaE(i32 20) 
    call void @_ZN4show20h659b6b1f4f7103c4naaE(i32 20) 
    call void @_ZN4show20h659b6b1f4f7103c4naaE(i32 20) 
    ret void 
} 

Три одинаковых вызовы функции show, каждое пропускание постоянный 20. Это даже не с оптимизацией!

С точки зрения того, что гарантирует язык, первые два вызова show семантически идентичны. Утверждение о том, что константа «inlined» не означает, что она автоматически вызывает все вокруг нее, чтобы быть встроенным; это просто приводит к замене значения на месте. Однако из-за агрессивной постоянной сгибания и вставки Rust все три эквивалента на практике, в данном конкретном случае.