c++中臨時變數不能作為非const的引用參數

引自：http://blog.baisi.net/?116670/viewspace-4407

試看下面的代碼：
#include <iostream>
using namespace std;

void f(int &a)

 {
 cout << "f(" << a  << ") is being called" << endl;
}

void g(const int &a)

{
 cout << "g(" << a << ") is being called" << endl;
}

 int main()

 {
 int a = 3, b = 4;
 f(a + b);  //編譯錯誤，把臨時變數作為非const的引用參數傳遞了
 g(a + b);  //OK，把臨時變數作為const&傳遞是允許的
}

上面的兩個調用之前，a+b的值會存在一個臨時變數中，當把這個臨時變數傳給f時，由於f的聲明中，參數是int&，不是常量引用，所以產生以下編譯錯誤：
const_ref.cpp: In function `int main()':
const_ref.cpp:14: error: invalid initialization of non-const reference of type '
   int&' from a temporary of type 'int'
const_ref.cpp:4: error: in passing argument 1 of `void f(int&)' 而在g(a+b)中，由於g定義的參數是const int&，編譯通過。   問題是為什麼臨時變數作為引用參數傳遞時，必須是常量引用呢？很多人對此的解釋是臨時變數是常量，不允許賦值，改動，所以當作為非常量引用傳遞時，編譯器就會報錯。這個解釋在關於理解臨時變數不能作為非const引用參數這個問題上是可以的，但不夠準確。事實上，臨時變數是可以被作為左值(LValue)並被賦值的，請看下面的代碼：
#include   <iostream> 
using namespace std;

class CComplex {   
friend CComplex operator+(const CComplex &cp1, const CComplex &cp2);
friend ostream& operator<<(ostream &os, const CComplex &cp);
private: 
 int x; 
public: 
 CComplex(){}
  
  CComplex(int x1) { 
  x = x1; 
 }
};
 
CComplex operator+(const CComplex &cp1, const CComplex &cp2)

{ 
 CComplex cp3; 
 cp3.x = cp1.x + cp2.x; 
 return cp3; 
} ostream& operator<<(ostream &os, const CComplex &cp)

{
 os << cp.x;
 return os;
}

int main()

{ 
 CComplex a(2), b(3), c(4); 
 cout << (a + b) << endl;
 cout << ((a + b) = c) << endl;   //臨時對象作為左值
 return 0; 
}

上面的程式編譯通過，而且運行結果是：
5

4

臨時變數確實被賦值，而且成功了。
所以，臨時變數不能作為非const引用參數，不是因為他是常量，而是因為c++編譯器的一個關於語義的限制。如果一個參數是以非const引用傳入，c++編譯器就有理由認為程式員會在函數中修改這個值，並且這個被修改的引用在函數返回後要發揮作用。但如果你把一個臨時變數當作非const引用參數傳進來，由於臨時變數的特殊性，程式員並不能操作臨時變數，而且臨時變數隨時可能被釋放掉，所以，一般說來，修改一個臨時變數是毫無意義的，據此，c++編譯器加入了臨時變數不能作為非const引用的這個語義限制，意在限制這個非常規用法的潛在錯誤。
還不明白？OK，我們說直白一點，如果你把臨時變數作為非const引用參數傳遞，一方面，在函數申明中，使用非常量型的引用告訴編譯器你需要得到函數對某個對象的修改結果，可是你自己又不給變數起名字，直接丟棄了函數的修改結果，編譯器只能說：“大哥，你這是幹啥呢，告訴我把結果給你，等我把結果給你了，你又直接給扔了，你這不是在玩我呢嗎？”所以編譯器一怒之下就不讓過了。這下大家明白了吧？