什么是RVO优化
RVO的全称是Return Value Optimization。RVO是一种编译器优化技术,可以把通过函数返回创建的临时对象给”去掉”,然后可以达到少调用拷贝构造的操作目的,
它是C++11标准的一部分。
如果编译器明确知道函数会返回哪一个局部对象,那么编译器会把存储这个局部对象的地址和存储返回值临时对象的地址进行复用,也就是说避免了从局部对象到临时对象的拷贝操作。这就是RVO。
main.cpp
#include <iostream>
using namespace std;
class A {
public:
A() {
cout << "构造函数" << endl;
}
A(const A &a) {
cout << "拷贝构造函数" << endl;
}
~A() {
cout << "析构函数" << endl;
}
};
A getA() {
A a;
return a;
}
int main() {
A b = getA();
return 0;
}
以上程序如果在C++11下编译,并且没有关闭RVO优化的话一般只会输出:
构造函数
析构函数
也就是仅仅发生了一次构造,连拷贝构造都没有发生,这就是编译器RVO优化所做的事情。
我们试下如果不使用RVO优化的话会是怎样的一个过程呢?对于以上程序我们用g++命令禁用掉RVO优化编译g++ main.cpp -o main -fno-elide-constructors
,然后运行可执行文件main会发现输出如下:
构造函数
拷贝构造函数
析构函数
拷贝构造函数
析构函数
析构函数
天呐,我们发现一个简单的函数调用居然发生了三次构造,分别是一次普通构造和两次拷贝构造。首先在函数getA
内部发生了一次普通的构造,然后在函数getA
返回时将局部变量a拷贝给了函数getA
的返回值作为临时变量,这里发生了第一次拷贝。
最后在函数main
中将函数getA
中返回的临时变量通过拷贝构造生成变量b,这里产生了第二次拷贝。
RVO诞生之前
通过对比我们发现RVO的存在实实在在的提高了我们程序的性能。那么在RVO诞生之前,程序员们一般是通过怎么方式减少拷贝呢?可以通过引用传参数的方式减少临时变量的拷贝,
也就是将你想要的结果的引用作为函数的参数传递到函数中去,然后在函数中给结果引用赋值,伪代码:
void getA(A &result) {
A temp;
result = temp;
}
在这里想说的是,新标准的诞生总是带着解决某个问题的目的而来,随着新标准的普及,我们应该紧跟发展的脚步,虽不能说做到形影不离,但也不能让自己落后得太远。
NRVO
NRVO其实就是RVO的一个变种或者是优化,理解了RVO也就理解了NRVO。。。
资料
更多资料可以参考 《More Effective C++》
条款 20:协助完成“返回值优化(RVO)”