我可以在Rust中按值有效地返回对象吗？

Question

我想用一个函数初始化一个大对象。 目前我有：

fn initialize(mydata: &mut Vec<Vec<MyStruct>>) { /* ... */ }

我希望拥有：

fn initialize() -> Vec<Vec<MyStruct>> { /* ... */ }

我听说C ++通常会实现返回值优化（RVO），如果您幸运的话，并且具有良好的编译器。 我们可以在这里禁用复制，并通过传递给函数的隐藏指针将其返回吗？ RVO是语言的一部分还是可选的优化？

Answer 1

是的，一定要写

fn initialize() -> Vec<Vec<MyStruct>> { ... }

（顺便说一下， Vec并不是那么大-它只有3个指针大小的整数）

Rust具有RVO，这已在guide中公布 。 您可以使用以下代码自己看到它：

#[inline(never)]
fn initialize() -> Vec<i32> {
    Vec::new()
}

fn main() {
    let v = initialize();
}

如果您在发布模式下编译这个程序在操场上 ，输出组件，一切之中否则你会看到：

playground::initialize:
    movq    $4, (%rdi)
    xorps   %xmm0, %xmm0
    movups  %xmm0, 8(%rdi)
    retq

内联了Vec::new() ，但是您可以看到这个想法-新鲜的Vec实例的地址传递到%rdi的函数中，并且该函数将Vec字段直接存储到此内存中，从而避免了通过堆栈进行不必要的复制。 这就是所谓的：

playground::main:
    subq    $24, %rsp
    movq    %rsp, %rdi
    callq   playground::initialize

您可以看到最终Vec实例将直接放入堆栈内存中。