移动结构后，我对结构成员的引用如何仍然有效？

Question

我正在使用函数（名为 get）创建对结构成员的引用，然后使用另一个函数（名为 pr）移动该结构，然后取消引用之前创建的指针。

我在这里错了吗（也就是意外工作），还是我的参考根据某些规则仍然有效？

struct MyStruct {
    inner: i32,
}

fn get(a: &MyStruct) -> &i32 {
    return &a.inner;
}

fn pr(a: MyStruct) {
    println!("MyStruct {}", a.inner);
}

fn main() {
    println!("Hello, world!");
    let x = MyStruct { inner: 3 };
    let &i = get(&x);
    pr(x);
    println!("i {}", i);
}

Rust playground 输出：

Hello, world!
MyStruct 3
i 3

Answer 1

let 表达式得到模式匹配并且

let &i = get(&x); // i.e. a &i32

导致i 被分配给i32，并且由于i32 是可复制的，因此不存在所有权冲突。

Rust 参考指出“let 语句引入了一组新的变量，由模式给出”（source）和“模式由文字、解构数组或枚举构造函数、结构和元组、变量绑定规范”(source)。

绑定的左侧，&i 不仅仅是一个文字，它告诉编译器它应该尝试与右侧的表达式进行模式匹配。在这种情况下，它会导致 i 指向可复制值 (i32) 而不是引用 (&i32)。换句话说：

let &i = get(&x);

等价于

let i = *get(&x);

所以x 没有被借用，pr(x) 仍然适用。