为什么Rust中的"移动"实际上并没有移动？

Question

在下面的例子中:

struct Foo {
    a: [u64; 100000],
}

fn foo(mut f: Foo) -> Foo {
    f.a[0] = 99999;
    f.a[1] = 99999;
    println!("{:?}", &mut f as *mut Foo);

    for i in 0..f.a[0] {
        f.a[i as usize] = 21444;
    }

    return f;
}
fn main(){
    let mut f = Foo {
        a:[0;100000]
    };

    println!("{:?}", &mut f as *mut Foo);
    f = foo(f);
    println!("{:?}", &mut f as *mut Foo);
}

我发现在传入函数之前和之后foo,地址f是不同的.为什么Rust会在任何地方复制这么大的结构但实际上不会移动它(或实现这种优化)？

我理解堆栈内存是如何工作的.但是根据Rust所有权提供的信息,我认为可以避免副本.编译器不必要地复制数组两次.这可以是Rust编译器的优化吗？

Answer 1

移动是一个 memcpy，然后将源视为不存在。

你的大数组在堆栈上。这就是 Rust 的内存模型的工作方式：局部变量在堆栈上。由于foo函数返回时的堆栈空间将消失，因此编译器除了将内存复制到main的堆栈空间外，别无他法。

在某些情况下，编译器可以重新排列事物，以便可以省略移动（源和目标合并为一个事物），但这是不能依赖的优化，尤其是对于大事物。

如果您不想复制庞大的数组，请自己在堆上分配它，通过 aBox<[u64]>或简单地使用Vec<u64>.