Jak działają globalne stałe, które nie są kopiowane ani klonowane w Rust?

Powiedz, że mam następujący fragment kodu ( plac zabaw )

struct A {
    pub val: u32
}

const GLOBAL_A: A = A {val: 2};

fn main() {
    let some_a: A = GLOBAL_A;
    let other_a: A = GLOBAL_A;

    println!("double val = {}", some_a.val + other_a.val);
}

Ponieważ Aani Clonenie jest Copy, ani nie założyłbym , że wartość GLOBAL_Azostanie przeniesiona. Nie ma to większego sensu dla stałej i jak pokazano, nie może tak być, ponieważ można ją dwukrotnie „przesunąć”.

Jakie reguły zezwalają na działanie powyższego fragmentu, biorąc pod uwagę, że Anie jest nim Cloneani Copy?

Stałe są zawsze wstawiane. Twój przykład jest zasadniczo taki sam jak

struct A {
    pub val: u32
}

fn main() {
    let some_a: A = A {val: 2};
    let other_a: A = A {val: 2};

    println!("double val = {}", some_a.val + other_a.val);
}

Wartość jest odtwarzana dwukrotnie, więc nie musi to być Copyani Clone.

Z drugiej strony staticnie są wstawiane:

struct A {
    pub val: u32
}

static GLOBAL_A: A = A {val: 2};

fn main() {
    let some_a: A = GLOBAL_A;
}

prowadzi do

error[E0507]: cannot move out of static item `GLOBAL_A`
 --> src/main.rs:8:21
  |
8 |     let some_a: A = GLOBAL_A;
  |                     ^^^^^^^^
  |                     |
  |                     move occurs because `GLOBAL_A` has type `A`, which does not implement the `Copy` trait
  |                     help: consider borrowing here: `&GLOBAL_A`