非复制或克隆的全局常量如何在 Rust 中工作

发布于12月29日

假设我有以下片段(playground)

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

因为A既不是Clone也不是Copy，所以我假设GLOBAL_A的值会被移动.这对一个常量来说没有多大意义，如图所示，无论如何都不可能是这样，因为它可以"移动"两次.

考虑到A不是Clone也不是Copy，允许上述代码段工作的规则是什么？

推荐答案

常量总是内联的.你的例子基本上和

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

该值被重建两次，因此不需要为Copy或Clone.

另一方面，static不是内联的:

struct A {
    pub val: u32
}

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

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

结果

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`