題目二：
題目我做了下改變，使用了上篇文章中提到的那個類X，代碼如下：
1 class X
2 {
3 public:
4 X(){cout<<"default construct"<<endl;}
5 X(int a):i(a){ cout<<"construct "<<i<<endl;}
6 ~X(){ cout<<"desconstruct "<<i<<endl;}
7 X(const X& x):i(x.i)
8 {
9 cout<<"copy construct "<<i<<endl;
10 }
11 X& operator++()
12 {
13 cout<<"operator ++(pre) "<<i<<endl;
14 ++i;
15 return *this;
16 }
17 const X operator++(int)
18 {
19 cout<<"operator ++(post) "<<i<<endl;
20 X x(*this);
21 ++i;
22 return x;
23 }
24 X& operator=(int m)
25 {
26 cout<<"operator =(int)"<<endl;
27 i = m;
28 return *this;
29 }
30 X& operator=(const X& x)
31 {
32 cout<<"operator =(X)"<<endl;
33 i=x.i;
34 return *this;
35 }
36 /////////////////////////
37 friend ostream& operator<<(ostream& os,const X& x)
38 {
39 os<<x.i;
40 return os;
41 }
42 friend X operator+(const X& a,const X& b)
43 {
44 cout<<"operator +"<<endl;
45 return X(a.i+b.i);
46 }
47 //////////////////////////
48 public:
49 int i;
50 };
請問以下代碼的輸出是什么？
1 X a(10),b(20);
2 X c=a+b;
我們來看一下使用GCC4.5（默認(rèn)編譯選項）以及MSVC9.0(BOTH DEBUG AND RELEASE)編譯后的實際運行結(jié)果：
construct 10
construct 20
operator +
construct 30
desconstruct 30
desconstruct 20
desconstruct 10
簡單分析下這個輸出：
construct 10
construct 20 //對應(yīng) X a(10),b(20);
operator + //調(diào)用“+”操作符
construct 30 //調(diào)用X(int){...}，44行處
desconstruct 30 //變量c 的析構(gòu)
desconstruct 20 //變量b 的析構(gòu)
desconstruct 10 //變量a 的析構(gòu)
從結(jié)果可以看出，整個執(zhí)行過程中沒有輸出“operator=”，說明壓根沒有調(diào)用“＝”操作符，而且整個過程比我想象的要簡潔高效，沒有臨時對象，沒有拷貝構(gòu)造。
結(jié)果為什么會是這樣呢？這主要歸功于編譯器的返回值優(yōu)化的能力。
有關(guān)返回值優(yōu)化的知識，限于篇幅我就不仔細(xì)介紹了，但是需要特別指出的是MSVC9.0只在RELEASE模式下默認(rèn)開啟NRVO，即對具名對象的返回值優(yōu)化，以及返回值優(yōu)化里面的一個重要的細(xì)節(jié)，體現(xiàn)在本例里就是：為什么中整個輸出中沒有出現(xiàn)"opeartor=",即為什么沒調(diào)用"="操作符。
現(xiàn)在我們將代碼稍微改變一下，改成下面的樣子:
X a(10),b(20),c;
c=a+b; ／／這里我們將c的構(gòu)造和賦值分開了
執(zhí)行的結(jié)果如下：
construct 10 ／／構(gòu)造a
construct 20 ／／構(gòu)造b
default construct ／／構(gòu)造 c
operator + ／／調(diào)用“+”操作符
construct 30 ／／調(diào)用X(int){...}，44行處
operator =(X) ／／調(diào)用“＝”操作符
desconstruct 30 ／／代碼45行所建立的臨時對象的析構(gòu)
desconstruct 30 ／／變量c的析構(gòu)
desconstruct 20 ／／變量b的析構(gòu)
desconstruct 10 ／／變量c的析構(gòu)
對比前后的輸出結(jié)果，可以發(fā)現(xiàn)多出以下三行
operator =(X)
desconstruct 30
出現(xiàn)這種差異的原因在于：
定義c的時候會調(diào)用默認(rèn)的構(gòu)造函數(shù)進(jìn)行初始化，因此第一條語句執(zhí)行完之后，c已經(jīng)是一個存在的對象，所以第二條語句并沒有權(quán)利去直接修改c的內(nèi)容，必須要通過調(diào)用賦值操作符”=“，因此必須要產(chǎn)生一個臨時對象。而在第一個例子中，因為執(zhí)行到第二條語句之前c并沒有被創(chuàng)建,所以編譯器可以將 表達(dá)式a+b的返回值直接構(gòu)建在c的內(nèi)存中，從而優(yōu)化掉臨時對象和對“＝”的調(diào)用。
posted on 2011-08-13 21:38
江浸月 閱讀(2121)
評論(7) 編輯 收藏 引用