《深度探索C++对象模型》应用 (1)

#include <iostream> #include <iomanip> using namespace std; class VECTOR3 { public: VECTOR3() :x(0.0f),y(0.0f),z(0.0f) { std::cout<<"VECTOR3 Default Constructor " <<std::setiosflags(std::ios_base::hex)<<this <<std::endl; } VECTOR3(float fx, float fy, float fz) :x(0.0f),y(0.0f),z(0.0f) { std::cout<<"VECTOR3 Parameter Constructor " <<std::setiosflags(std::ios_base::hex)<<this <<std::endl; } VECTOR3(const VECTOR3& rht) :x(rht.x), y(rht.y), z(rht.z) { std::cout<<"VECTOR3 Copy Constructor " <<std::setiosflags(std::ios_base::hex)<<this <<" from rht : " <<std::setiosflags(std::ios_base::hex)<<&rht <<std::endl; } ~VECTOR3() { std::cout<<"VECTOR3 Destructor " <<std::setiosflags(std::ios_base::hex)<<this <<std::endl; } VECTOR3& operator = (const VECTOR3& rht) { if( &rht == this ) return *this; x = rht.x; y = rht.y; z = rht.z; std::cout<<"VECTOR3 operator = left oper : " <<std::setiosflags(std::ios_base::hex)<<this <<" right oper : " <<std::setiosflags(std::ios_base::hex)<<&rht <<std::endl; return *this; } public: float x; float y; float z; }; VECTOR3 Func1() { return VECTOR3(1.0f, 1.0f, 1.0f); } VECTOR3 Func2() { VECTOR3 ret; ret.x = 2.0f; ret.y = 2.0f; ret.z = 2.0f; return ret; } int main() { VECTOR3 v1 = Func1(); cout << endl; v1 = Func1(); cout << endl; VECTOR3 v2 = Func2(); cout << endl; VECTOR3 v3; cout << endl; v3 = Func2(); return 0; }
G++的结果为：


 而VC6的结果为：


第158行：VECTOR3 v1 = Func1();
像普通的函数如：VECTOR3 Func2() { VECTOR3 ret; ret.x = 2.0f; ret.y = 2.0f; ret.z = 2.0f; return ret; } //编译器会做返回值优化，转换之后的码为： VECTOR3 Func2(VECTOR3& _result) { VECTOR3 ret; ret.VECTOR3::VECTOR3(); //编译器产生的default constructor调用 ret.x = 2.0f; ret.y = 2.0f; ret.z = 2.0f; result.VECTOR3::VECTOR3(xx); //编译器产生的copy constructor调用 return; } //甚至，如果写成 VECTOR3 Func1() { return VECTOR3(x, y, z); } //那么，编译器会转化成： VECTOR3 Func1(VECTOR3& _result) { result.VECTOR3::VECTOR3(x, y, z); //带参构造函数 return; } 然后，编译器会把158拆成两行：
VECTOR3 v1; //没有default constructor调用 Func(v1);
所以，对于第158行，只输出一行带参constructor的log。

第162行：v1 = Func1();
该语句的执行过程本该是：

    1>. 在 Func1() 中构造一个无名对象

    2>. 由 Func1() 中的无名对象拷贝构造调用表达式处的临时对象

     3>. 再由临时对象赋值给v1 (赋值运算符)

    4>. Func1() 返回，析构无名对象

    5>. 整个语句结束，析构临时对象
但是这时候无名对象并没有创建，一个临时对象创建，并直接调用临时对象的parameters constructor。这和第158行有些类似。编译器所产生的代码为：VECTOR3 temp_0 = Func1()；//同158行 v1 = temp_0; temp_0.VECTOR3::~VECTOR3();
第166行：VECTOR3 v2 = Func2();
先解释VC6的结果，类似第158行，编译器产生了如下的码：VECTOR3 v2; //没有调用default constructor Func2(v2); //而Func2被解释成同之前一样的码 VECTOR3 Func2(VECTOR3& _result) { VECTOR3 ret; //产生default constructor的调用 ret.x = 2.0f; ret.y = 2.0f; ret.z = 2.0f; result.VECTOR3::VECTOR3(ret); //产生copy constructor的调用 //产生destructor的调用 return; }

而为什么G++只产生了一行对default constructor的调用，是因为G++可能做了NRV优化。产生NRV优化的目的是:为了压抑上面的第17行对copy constructor的调用，因为bitewise的效率要比copy constructor要高。当bitewise足够用时，我们没有必有进行NRV优化。如果客户显式增加了copy constructor，其拷贝的开销将会增大。为了避免不必要的copy constructor调用，于是需要进行NRV优化。经过NRV产生的码为：VECTOR3 v2; //没有调用default constructor Func2(v2); //经过NRV优化的Func2 VECTOR3 Func2(VECTOR3& _result) { result.VECTOR3::VECTOR3(); //没有ret，产生default constructor的调用 result.x = 2.0f; //直接对result进行操作 result.y = 2.0f; result.z = 2.0f; //避免了copy constructor的调用 return; }
所以，只输出了一行default constructor的调用。

第170行不解释.

第174行：v3 = Func2();
首先被转换成两行，有一个临时对象，这对于所有编译器都是一样的：VECTOR3 temp_1 = Func2(); v3 = temp_1; 其中的第一行产生跟166行一样的代码，对于VC6来说是3行，对于做过NRV优化的G++来说只有一行。然后接下来的过程相同：产生对operator=的调用，右边为临时对象temp_1，左边为v3；然后产生对destructor的调用析构掉temp_1。最后一次性析构掉v1，v2，v3。

PS://第一种情况 X x0; void foo_bar() { X x1(x0); //三者都会调用copy constructor构建对象 X x2 = x0; X x3 = X(x0); } //这三个都会被编译器转化为 void foo_bar() { X x1; //不会调用default constructor X x2; X x3; //编译器安插copy constructor的调用 x1.X::X(x0); x2.X::X(x0); x3.X::X(x0); } //第二种情况 X x4 = function(); //会被转化成 X x4; //不会产生default constructor调用 function(x4); //function()->function(X& result) //第三种情况 X x5; x5 = function() //会被转化成 X x5; //default constructor X temp = function(); //同第2种情况 x5 = temp; // operator= temp.X::~X(); //destructor
而参数的初始化有两种方式：void foo(X xx) X x0; foo(x0); //编译器产生的码为 X temp; temp.X::X(x0); foo(temp); //此时, foo(X xx)->foo(X& xx)另一种是直接拷贝构建，书上未作详细解释。