如何传递Result类构造参数以保证返回值优化(RVO)？

问题1：Result类构造参数应按值、引用还是万能引用传递？ #

分场景选择：

• 若Result需要持有传入的值（符合Rust Result的所有权语义，比如成功态的对象、错误态的信息），优先按值传递。不管传入左值还是右值，编译器会自动做最优的拷贝/移动处理，后续构造函数内可直接转移资源，逻辑最简洁。
• 仅临时借用场景（极少用，因为Result核心是持有值），用const T&左值引用，但这种方式不符合Rust Result的设计初衷。
• 万能引用（T&&配合模板）适合通用型Result实现，但会增加代码复杂度，非通用场景下按值传递足够清晰高效。

问题2：构造函数内部是否应使用std::move？ #

必须用，但前提是构造参数按值传递。
比如Result的成员变量是T val_，构造参数为T val，此时在构造函数中写val_(std::move(val))是正确操作：参数val是当前函数的左值，不用std::move会触发拷贝，用std::move可将参数的资源转移到成员变量，实现零开销。
这里的std::move不会影响RVO，因为它是构造函数内部对参数的操作，和返回值优化的场景完全无关。

问题3：createMyFoo函数中能否期望RVO生效？ #

只要代码符合RVO触发条件，完全可以。
RVO的核心触发条件：函数返回无名临时对象或同类型局部变量，且返回语句未用std::move包裹。
示例代码：

Result<MyFoo, Error> createMyFoo() {
    if (some_error) {
        return Result<MyFoo, Error>(Error("fail"));
    }
    return Result<MyFoo, Error>(MyFoo{});
}

这种写法下编译器必然触发RVO，直接在调用方栈帧上构造Result对象，无拷贝或移动开销。
注意：若返回语句写return std::move(result_obj);，RVO会被抑制，编译器只能执行移动构造；而右值引用本身不会抑制RVO，只要符合RVO条件，依然能生效。

问题4：若RVO生效，构造函数内的赋值是否直接作用于调用栈帧的返回值？ #

是的。
当RVO生效时，编译器会直接在调用方预留的返回值内存位置上构造Result对象：

• Result的构造函数直接在调用栈帧的内存空间执行，成员变量初始化、构造函数内的std::move操作（如将参数资源转移到成员）都直接在这块内存上完成，无中间对象的创建与销毁。
• 整个过程相当于把构造逻辑“内联”到调用方，开销和直接在调用方构造Result对象完全一致。

内容的提问来源于stack exchange，提问作者Zebrafish