C++中的臨時對象都是const類型

先看代碼：

上面的代碼可以編譯通過（gcc和vs2005下均測試通過），但是如果将第16行的const修飾符去掉，編譯就不能通過，報錯說沒有比對的函數，這是為什麼？ 

分析：非const的引用參數隻能是相同類型，const的引用參數可以傳相關類型的參數進來，加上const才能接受"右值(right value)"引用。B(A& a){} 不但是一個構造函數，而且是一個自定義的類型轉換操作(A->B)，如果要去掉這種非有意的自定義類型轉換，使用 explicit B(A& a){}。

B(A& a){}是一個隐式的類型轉換函數，當執行B1 b1(a)時會自動調用這個函數将a轉換成B類型的臨時對象b。這種系統自動生成的臨時對象都是const的，而const對象是無法轉換成非const對象的，是以B1(const B& b):B(b)這裡一定要加const.

一個非const引用，隻能引用與其類型完全相同的對象，或者是其派生類的對象，如：

B & refB = objectB ; B & refB = objectB1 都是合法的，但是 B & refB = objectA 就不是合法的

因為 A 與 B的類型不相同，且不是B的派生類，是以編譯時會報錯，于是 "A a; B1 b1(a)" 就不能通過，簡化一下就相當于" B & b = a".

一個const引用滿足非const引用的特性的同時，還有很重要的一點，const引用可以引用一個與其類型完全不相同的類型(因為編譯器會生成一個轉換後可引用的臨時對象)，前提是被引用的類型可以轉換為引用的類型(編譯器自定義的類型提升，或者是使用者自定義的類型轉換，如上面的 B(A& a) )

舉個例子: 

const int & iValue = 3.14; 就是OK的，這裡使用編譯器内部的類型轉換 double -> int.

const B & b = a; 也是OK的，因為使用 B( A &a) 可以将 A->B ，于是 const B &b = a; 的背後，編譯器所做的就是:

const B tempB( a ); //調用 B( A &a) 

const B &b = tempB;

PS: 為什麼在const引用情況下，編譯器會生成一個可被引用的臨時對象，原因很簡單，你是用一個const引用來操作這個臨時對象，是以，這個臨時對象的狀态是不會變的，也就是安全的(當然，如果你把const引用const_cast成一個非const引用來操作這個編譯器生成的臨時對象，那麼結果是未定義的).

const &是可以重新構造臨時對象，非const &不可以，如果編譯器不設這個限制，那麼将有十分古怪的結果發生，會發生編譯器自己構造一個對象，對它進生一系列複雜的操作之後扔掉，這一般不是程式員要做的事。是以，c++一般規定，編譯器自行構造的臨時對象一定是const的。

More effective C++裡面對這個問題講得很清楚（M19：了解臨時對象的來源）

下面還有一個小例子：

string foo( );

void bar(string & s); 

那麼下面的表達式将是非法的： 

bar(foo( ));

bar("hello world"); 

原因在于 foo( ) 和 "hello world" 串都會産生一個臨時對象，而在 C++ 中，這些臨時對象都是const 類型的。是以上面的表達式就是試圖将一個 const 類型的對象轉換為非 const 類型，這是非法的。引用型參數應該在能被定義為 const 的情況下，盡量定義為const的。

    本文轉自阿凡盧部落格園部落格，原文連結：http://www.cnblogs.com/luxiaoxun/archive/2012/08/03/2622193.html，如需轉載請自行聯系原作者