为何RVO要求如此严苛？为何std::move阻止RVO的规则无例外？

一、为何RVO（返回值优化）的要求如此严苛？ #

其实本质上，RVO不是“语法糖”，而是编译器基于对象构造位置确定性做的激进优化——它要直接在调用方的栈帧（或目标内存地址）上构造函数返回的局部对象，完全跳过中间的拷贝/移动步骤。这种优化能生效的前提是，编译器必须100%确定：

• 返回的是函数内定义的自动存储期的非volatile对象（比如普通局部变量，不是static、全局变量，也不是引用）
• 返回对象的类型和函数返回类型严格匹配（没有隐式转换）
• 每个return路径返回的都是同一个对象（或者符合NRVO的多路径情况）

这些“严苛”的要求，都是为了保证优化不会破坏程序的语义：如果返回的是引用、static对象，或者类型不匹配，编译器根本没法安全地把对象构造在调用方的目标位置——比如返回引用的话，对象本身不在当前函数栈帧里；类型不匹配的话，需要先构造临时对象再转换，这时候也没法直接复用调用方的目标地址。

举个简单例子：

std::string func() {
    std::string s = "hello";
    return s; // 符合RVO条件，编译器直接在调用方的std::string对象位置构造s
}

但如果改成return std::string("hello") + "world";，这时候返回的是临时对象，属于NRVO（命名返回值优化的扩展），同样需要满足类型严格匹配的条件，编译器才能确定可以直接构造在目标位置。

二、为什么RVO规则不对返回类型为T，return表达式为std::move(T)的情况设置例外？ #

首先得明确：当你写return std::move(local_obj);时，return语句的表达式类型是T&&（右值引用），而函数的返回类型是T——这时候按照标准，编译器会调用T的移动构造函数（把T&&转成T），而RVO的触发条件要求返回的表达式是一个“左值的局部对象”，std::move把它变成了右值，自然就不符合RVO的触发条件了。

那为什么标准不特意给这种情况开绿灯？核心原因有两个：

1. 语义明确性：程序员写std::move的意图通常是“我明确要把这个对象转成右值，触发移动构造”——如果编译器偷偷做了RVO，跳过了移动构造，就违背了程序员的显式意图。标准需要让程序员能清晰预判代码的行为：写return local_obj可能触发RVO，写return std::move(local_obj)一定触发移动（不会触发RVO），这种确定性比“多一种优化情况”更重要。
2. 避免语义模糊：如果允许这种情况的RVO，会带来很多边界问题。比如如果T的移动构造函数有可观测的副作用（比如打印日志、修改全局状态），那RVO省略移动的话，就会改变程序的可观测行为——这违反了C++的as-if规则（优化不能改变程序的可观测行为）。而return local_obj的情况，拷贝/移动构造的副作用本来就会被RVO省略，因为标准明确规定RVO是允许跳过这些操作的（即使拷贝/移动有副作用），但这是建立在“返回的是原始局部对象”的前提下。

简单说：std::move是程序员的显式指令，告诉编译器“把这个对象当右值用”，而RVO是编译器在满足条件时自动省略拷贝/移动的优化——这两者的语义是冲突的，所以标准不会为这种情况设置例外。

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