rust - 如果可能，实现 copy 的类型是否会被移动？

Question

如果您将一个类型传递给一个不是指针类型的函数并且它实现了 Copy，那么 Rust 是否仅在必要时才复制它？
下面是一些具体的代码:

#[derive(Clone, Copy)]
struct Data([u8; 2]);

#[derive(Clone, Copy)]
struct Buffer(Data);

fn do_something(id: Buffer) {
    println!("{}", id.0.0[0]);
}

fn create_buffer() -> Buffer {
   Buffer(Data([0x01, 0x01]))
}

fn main() {
    let buffer = create_buffer();

    // Since we don't use buffer again in this function, copy trait isn't necessary on Buffer.
    // But, "Buffer" does implement the Copy trait. Will Rust copy it anyway?
    do_something(buffer);
}

如果 rust 不复制它，这种行为是否有规则，还是完全由编译器决定？我可以依靠这个不被复制吗？
如果我要调用 do_something(buffer) 两次怎么办？它是复制两次，还是移动一次并复制一次？这需要复制特征甚至编译，所以我希望至少有 1 个副本。

do_something(buffer);
do_something(buffer);

Answer 1

move 和 copy 是唯一的类型系统问题，表示源在使用一次后是否仍然可以使用(由高级代码)[0]。在行话中，它只定义了 whether the type is affine (aka move, the default) or normal ( Copy )
类型检查后，两者都会导致相同的实际操作:内存复制(语义上)，然后正常的省略优化对两者的工作方式相同，并且可能会优化掉实际的副本。
所以答案是"is"。在代码生成级别，复制和非复制类型之间确实没有区别，只要它们以相同的方式使用即可。请注意，在这两种情况下，省略优化可能都无法触发。事实上，跟踪器上存在一些问题(有些是关闭的，有些不是)，其中“移动省略”无法触发，并且大量的堆栈上非复制类型被复制。
[0] 我相信在 MIR/rustc 本身有有限的 NRVO 和更多的计划，但绝大多数工作留给 LLVM:https://github.com/rust-lang/rust/issues/32966