C++杂记——返回值优化（RVO，Return Value Optimization）、具名返回值优化 （NRVO，Named Return Value Optimization）

什么是RVO

RVO（Return Value Optimization）
RVO是一种编译器优化技术，它避免了从函数返回时创建临时对象。当函数返回一个临时对象（通常是由构造函数直接初始化的匿名对象）时，RVO允许编译器省略创建和销毁临时对象的过程，而是直接在接收对象的位置构造返回值。

当编译器确定可以进行RVO时，它会：

• 在调用者的栈帧上为返回值分配空间，而不是在被调用函数的栈帧上。
• 将返回值对象的地址传递给被调用的函数，这样被调用的函数就可以直接在该地址上构造对象。
• 允许函数直接在预分配的内存位置构造返回值，从而避免了额外的拷贝构造和析构调用。

什么是NRVO

NRVO与RVO类似，但适用于返回函数内部已命名的局部变量。编译器优化这个过程，允许在调用者的栈帧上直接构造局部变量，避免了将局部变量拷贝到返回值的过程。

在应用NRVO时，编译器会：

• 识别函数中将被返回的命名局部变量。
• 在调用者的栈帧上为该局部变量预留空间。
• 直接在该空间上构造局部变量，当函数返回时不需要移动或拷贝对象。

std::move的使用及影响

std::move是C++11中引入的一个标准库函数，它可以将对象的状态或所有权从一个实例转移到另一个实例，而不需要拷贝内容。它将左值强制转换为右值引用，使得可以使用移动语义而不是拷贝语义。

std::move与优化技术的冲突

使用std::move在返回值时会阻止编译器进行RVO或NRVO。这是因为std::move强制将对象视为右值，即使它是一个局部变量。编译器必须假设这个对象的资源可能已经被外部引用，因此不能在原地构造返回值。

性能影响

虽然std::move在某些情况下可以提高性能，如在函数接受右值引用参数时，但在返回局部变量时使用它将阻止RVO或NRVO，导致不必要的移动或拷贝操作，从而降低程序性能。

实践

避免在返回值时使用std::move

当返回局部对象时，应该避免使用std::move，以便编译器可以尽可能地应用RVO或NRVO。只需简单地返回对象即可：

MyClass createMyClass() {
 MyClass obj;
    return obj; // RVO或NRVO可能会应用
}

明确何时使用std::move

当你有一个将不再使用的对象，并且想要转移其资源时，使用std::move是合适的。例如，在将对象作为右值传递给构造函数或函数时：

void process(MyClass&& obj);
MyClass obj;
process(std::move(obj)); // obj的状态被转移

在这种情况下，std::move是正确的选择，因为它允许对象obj的资源被转移到函数process中，而不是进行拷贝。

参考

Return Value Optimization
Return value optimization (RVO)