ROV/NROV优化的作用

本篇博客以《深度探索C++对象模型》中例子来总结这两种优化技术。代码片段如下：

class Point3d
{
public:
    int m_x;
    int m_y;
    int m_z;
public:
    Point3d(int x,int y,int z):m_x(x),m_y(y),m_z(z)
    {
        cout << "constructor"<<endl;
    }
    ~Point3d()
    {
        cout << "deconstructor"<<endl;
    }
    Point3d(const Ponint3d &other)
    {
        this.m_x = other.m_x;
        this.m_y = other.m_y;
        this.m_z = other.m_z;
        cout << "copy constructor"<<endl;
    }
    Point3d &operator=(const Point3d &other)
    {
        if(this != &other)
        {
            this.m_x = other.m_x;
            this.m_y = other.m_y;
            this.m_z = other.m_z;
        }
        cout << "operator="<<endl;
        return *this;
    }
}
 
Point3d factory()
{
    Point3d po(1,2,3)
    return po;
}
 
int main()
{
    Point3d p = factory();
    return 1;
}

代码中显式定义了构造函数、拷贝构造函数、析构函数以及重载了赋值运算符，并在内部加入了一些打印信息来查看这些函数的调用情况。

1.当不做任何优化

运行后日志如下：

constructor      //factory函数中构造po对象
copy constructor //factory函数中用po对象拷贝构造临时对象_temp
deconstructor    //factory函数中返回时，析构掉局部对象po
copy constructor //main函数中用factory函数中拷贝构造的临时对象拷贝构造对象p
deconstructor    //析构临时对象_temp
deconstructor    //main函数结束时，析构对象p

这时候调用了三次构造函数

2.当使用RVO优化

factor函数改写为以下伪代码形式：

void factory(Point3d &_result)
{
    Point3d po;
    po.Point3d::Point3d(1,2,3);
    _result.Point3d::Point3d(po);   //用po拷贝构造_result;
    po.Point3d::~Point3d();         //po对象析构
    return;
}

返回值变为空，减少了临时对象的创建，减少一次构造函数调用。

对应的main函数中的赋值语句改写为

int main()
{
    Point3d p;
    factory(p);
    return 0;
}

对应输出如下：

constructor      
copy constructor 
deconstructor         
deconstructor       //main函数中p的析构

3.当使用NROV优化

factor函数改写为以下伪代码形式：

void factor(Point3d &_result)
{
    _result.Point3d::Point3d(1,2,3); 
    return;
}

同样返回值是空，直接将要初始化的对象替代掉局部对象进行操作，减少两次构造函数调用。

对应输出如下：

constructor  
deconstructor  main函数中析构函数