C++返回值移动语义：何时应使用std::move？

一、为什么局部std::string和std::optional解引用的返回行为不一样？ #

先明确两个关键规则：

• 对于函数内定义的局部对象（非函数参数），当直接返回它的名字时，编译器优先尝试返回值优化（RVO）；就算RVO因条件限制没触发，C++标准也允许编译器自动把这个左值当成右值处理，触发移动构造——这是标准给出的特殊优化规则，目的是避免不必要的拷贝。
• 但这个隐式移动规则**只覆盖“返回表达式是局部对象的直接名字”**的情况，并非所有局部对象衍生的左值都适用。

回到你的例子：

• 返回局部std::string时，你返回的是变量名（比如return s;，s是局部变量），符合上述规则，所以即使没触发RVO，也会自动触发移动构造。
• 返回*opt时，*opt是对局部optional对象的解引用结果，属于左值，但不是“局部对象的直接名字”，而是表达式结果。标准的隐式移动规则不覆盖这种场景，编译器不会自动将其视为右值，因此只能按左值处理，触发拷贝构造。这和编译器能否识别optional会被销毁无关，是规则本身的覆盖范围问题。

当你显式添加std::move(*opt)时，相当于把这个左值强制转换成右值引用，自然就触发了移动构造。

二、std::move在return中的合理适用场景 #

所谓“直接返回对象不加std::move”的最佳实践，是针对返回局部对象名字的场景——这时候加std::move会破坏RVO的触发条件（编译器看到std::move就会放弃RVO尝试，直接执行移动），反而得不偿失。但在以下场景，使用std::move完全合理，并不违背最佳实践：

• 返回局部对象的成员或解引用结果：比如你例子里的std::optional解引用、局部结构体的成员（return struct_obj.member;），这些场景本来就无法触发RVO，加std::move能直接触发移动，避免昂贵的拷贝。
• 返回函数参数：比如std::string func(std::string s) { return s; }，函数参数不属于“函数内定义的局部对象”范畴，默认会触发拷贝，加std::move可以改成移动，且不会影响RVO（因为RVO本来就不适用于参数）。
• 返回需要强制转换为右值的对象：比如某些场景下需要将某个左值以右值形式返回，std::move可以完成这个转换，且不会带来额外开销。

总结一下：要不要加std::move，核心看返回的表达式是不是“函数内局部对象的直接名字”——是就不加，让编译器优先做RVO；不是就可以加，避免不必要的拷贝。

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