Wie funktionieren globale Konstanten, die nicht kopiert oder geklont werden, in Rust?

20

Angenommen, ich habe das folgende Snippet ( Spielplatz )

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);
}

Da Aweder Clonenoch ist Copy, würde ich davon ausgehen, dass der Wert von GLOBAL_Averschoben würde. Das macht für eine Konstante nicht viel Sinn und kann, wie gezeigt, sowieso nicht der Fall sein, da sie zweimal "verschoben" werden kann.

Was sind die Regeln , die das obige Snippet Arbeit ermöglichen unter Berücksichtigung Anicht Clonenoch Copy?

RecursiveExceptionException
quelle

Antworten:

21

Konstanten sind immer inline. Ihr Beispiel ist im Wesentlichen das gleiche wie

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);
}

Der Wert wird zweimal rekonstruiert, muss also nicht Copyoder sein Clone.

Andererseits sind statics nicht inline:

struct A {
    pub val: u32
}

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

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

führt zu

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`
mcarton
quelle