desconstruct 10
簡(jiǎn)單分析下這個(gè)輸出：
construct 10
construct 20 //對(duì)應(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é)果可以看出，整個(gè)執(zhí)行過(guò)程中沒(méi)有輸出“operator=”，說(shuō)明壓根沒(méi)有調(diào)用“＝”操作符，而且整個(gè)過(guò)程比我想象的要簡(jiǎn)潔高效，沒(méi)有臨時(shí)對(duì)象，沒(méi)有拷貝構(gòu)造。
結(jié)果為什么會(huì)是這樣呢？這主要?dú)w功于編譯器的返回值優(yōu)化的能力。
有關(guān)返回值優(yōu)化的知識(shí)，限于篇幅我就不仔細(xì)介紹了，但是需要特別指出的是MSVC9.0只在RELEASE模式下默認(rèn)開(kāi)啟NRVO，即對(duì)具名對(duì)象的返回值優(yōu)化，以及返回值優(yōu)化里面的一個(gè)重要的細(xì)節(jié)，體現(xiàn)在本例里就是：為什么中整個(gè)輸出中沒(méi)有出現(xiàn)"opeartor=",即為什么沒(méi)調(diào)用"="操作符。
現(xiàn)在我們將代碼稍微改變一下，改成下面的樣子:
X a(10),b(20),c;
c=a+b; ／／這里我們將c的構(gòu)造和賦值分開(kāi)了
執(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行所建立的臨時(shí)對(duì)象的析構(gòu)
desconstruct 30 ／／變量c的析構(gòu)
desconstruct 20 ／／變量b的析構(gòu)
desconstruct 10 ／／變量c的析構(gòu)
對(duì)比前后的輸出結(jié)果，可以發(fā)現(xiàn)多出以下三行
operator =(X)
desconstruct 30
出現(xiàn)這種差異的原因在于：
定義c的時(shí)候會(huì)調(diào)用默認(rèn)的構(gòu)造函數(shù)進(jìn)行初始化，因此第一條語(yǔ)句執(zhí)行完之后，c已經(jīng)是一個(gè)存在的對(duì)象，所以第二條語(yǔ)句并沒(méi)有權(quán)利去直接修改c的內(nèi)容，必須要通過(guò)調(diào)用賦值操作符”=“，因此必須要產(chǎn)生一個(gè)臨時(shí)對(duì)象。而在第一個(gè)例子中，因?yàn)閳?zhí)行到第二條語(yǔ)句之前c并沒(méi)有被創(chuàng)建,所以編譯器可以將 表達(dá)式a+b的返回值直接構(gòu)建在c的內(nèi)存中，從而優(yōu)化掉臨時(shí)對(duì)象和對(duì)“＝”的調(diào)用。