試看下面的代碼:
#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引用參數傳遞,一方面,在函數申明中,使用非常量型的引用告訴編譯器你需要得到函數對某個對象的修改結果,可是你自己又不給變量起名字,直接丟棄了函數的修改結果,編譯器只能說:“大哥,你這是干啥呢,告訴我把結果給你,等我把結果給你了,你又直接給扔了,你這不是在玩我呢嗎?”所以編譯器一怒之下就不讓過了。這下大家明白了吧?
以上這篇c++中臨時變量不能作為非const的引用參數的方法就是小編分享給大家的全部內容了,希望能給大家一個參考,也希望大家多多支持VEVB武林網。
新聞熱點
疑難解答