一言以蔽之:可以取地址的謂之左值,反之我們稱之為右值澈吨。
Q1:如何用int變量初始化double&類型的變量?
用const double&類型。
const double &r = i;
由于類型不匹配洲押,實際相當于:
const double inner_tmp = (double)i; //這里就產(chǎn)生了一個臨時變量
const double &r = inner_tmp;
臨時的中間變量都是const,所有沒有const的引用會失敗圆凰。
什么是左值引用:
區(qū)分清楚了左值與右值杈帐,我們再來看看左值引用。左值引用根據(jù)其修飾符的不同专钉,可以分為非常量左值引用(eg.1 double &r =i;)和常量左值引用(eg.1 const double &r =i;)挑童。
非常量左值引用只能綁定到非常量左值,不能綁定到常量左值跃须、非常量右值和常量右值站叼。如果允許綁定到常量左值和常量右值,則非常量左值引用可以用于修改常量左值和常量右值菇民,這明顯違反了其常量的含義(eg.1中就是出現(xiàn)了非常量左值引用綁定到常量右值的情況)尽楔。如果允許綁定到非常量右值,則會導(dǎo)致非常危險的情況出現(xiàn)第练,因為非常量右值是一個臨時對象阔馋,非常量左值引用可能會使用一個已經(jīng)被銷毀了的臨時對象。
常量左值引用可以綁定到所有類型的值娇掏,包括非常量左值呕寝、常量左值、非常量右值和常量右值驹碍。
為什么要區(qū)分非常量右值引用:
可以看出壁涎,使用左值引用時,我們無法區(qū)分出綁定的是否是非常量右值的情況志秃。那么怔球,為什么要對非常量右值進行區(qū)分呢,區(qū)分出來了又有什么好處呢浮还?這就牽涉到C++中一個著名的性能問題——拷貝臨時對象竟坛。考慮下面的代碼:
vector<<span style="color: rgb(0, 0, 255); ">int> GetAllScores()
{
vector<<span style="color: rgb(0, 0, 255); ">int> vctTemp;
vctTemp.push_back(90);
vctTemp.push_back(95);
returnvctTemp;
}
當使用vector vctScore = GetAllScores()進行初始化時钧舌,實際上調(diào)用了三次構(gòu)造函數(shù)担汤。盡管有些編譯器可以采用RVO(Return Value Optimization)來進行優(yōu)化,但優(yōu)化工作只在某些特定條件下才能進行洼冻≌钙纾可以看到,上面很普通的一個函數(shù)調(diào)用撞牢,由于存在臨時對象的拷貝率碾,導(dǎo)致了額外的兩次拷貝構(gòu)造函數(shù)和析構(gòu)函數(shù)的開銷楼雹。當然浆熔,我們也可以修改函數(shù)的形式為void GetAllScores(vector &vctScore),但這并不一定就是我們需要的形式。另外数焊,考慮下面字符串的連接操作:
strings1("hello");
strings = s1 + "a"+ "b"+ "c"+ "d"+ "e";
在對s進行初始化時蕉毯,會產(chǎn)生大量的臨時對象示姿,并涉及到大量字符串的拷貝操作冕屯,這顯然會影響程序的效率和性能。怎么解決這個問題呢躯泰?如果我們能確定某個值是一個非常量右值(或者是一個以后不會再使用的左值)谭羔,則我們在進行臨時對象的拷貝時,可以不用拷貝實際的數(shù)據(jù)麦向,而只是“竊取”指向?qū)嶋H數(shù)據(jù)的指針(類似于STL中的auto_ptr口糕,會轉(zhuǎn)移所有權(quán))。C++ 11中引入的右值引用正好可用于標識一個非常量右值磕蛇。C++ 11中用&表示左值引用,用&&表示右值引用十办,如:
int&&a = 10;
右值引用根據(jù)其修飾符的不同秀撇,也可以分為非常量右值引用和常量右值引用。
非常量右值引用只能綁定到非常量右值向族,不能綁定到非常量左值呵燕、常量左值和常量右值(VS2010 beta版中可以綁定到非常量左值和常量左值,但正式版中為了安全起見件相,已不允許)再扭。如果允許綁定到非常量左值,則可能會錯誤地竊取一個持久對象的數(shù)據(jù)夜矗,而這是非常危險的泛范;如果允許綁定到常量左值和常量右值紊撕,則非常量右值引用可以用于修改常量左值和常量右值罢荡,這明顯違反了其常量的含義。
常量右值引用可以綁定到非常量右值和常量右值对扶,不能綁定到非常量左值和常量左值(理由同上)区赵。可以看出浪南,使用左值引用時笼才,我們無法區(qū)分出綁定的是否是非常量。