新聞中心
C++11 引入了 std::move 語義、右值引用、移動構(gòu)造和完美轉(zhuǎn)發(fā)這些特性。由于這部分篇幅比較長,分為3篇來進行闡述。
成都創(chuàng)新互聯(lián)是一家集網(wǎng)站建設(shè),潢川企業(yè)網(wǎng)站建設(shè),潢川品牌網(wǎng)站建設(shè),網(wǎng)站定制,潢川網(wǎng)站建設(shè)報價,網(wǎng)絡(luò)營銷,網(wǎng)絡(luò)優(yōu)化,潢川網(wǎng)站推廣為一體的創(chuàng)新建站企業(yè),幫助傳統(tǒng)企業(yè)提升企業(yè)形象加強企業(yè)競爭力。可充分滿足這一群體相比中小企業(yè)更為豐富、高端、多元的互聯(lián)網(wǎng)需求。同時我們時刻保持專業(yè)、時尚、前沿,時刻以成就客戶成長自我,堅持不斷學(xué)習(xí)、思考、沉淀、凈化自己,讓我們?yōu)楦嗟钠髽I(yè)打造出實用型網(wǎng)站。
在了解這些特性之前,我們先來引入一些問題。
一、問題導(dǎo)入
- 函數(shù)返回值是傳值的時候發(fā)生幾次對象構(gòu)造、幾次拷貝?
- 函數(shù)的形參是值傳遞的時候發(fā)生幾次對象構(gòu)造?
讓我們先來看一段代碼,
// main.cpp #includeusing namespace std; class A{ public: A(){ cout<<"class A construct!"<
使用 g++ 編譯;注意使用 -fno-elide-constructors關(guān)閉省略構(gòu)造優(yōu)化
g++ main.cpp -fno-elide-constructors
可以得到以下輸出
class A construct!
class A destruct!
class A copy!
class A destruct!
class A destruct!
可以看到A a=get_A_value(); 一行代碼居然產(chǎn)生1次對象構(gòu)造和2次對象的拷貝構(gòu)造!具體為
- 在 get_A_value() 里 A() 構(gòu)造了臨時對象,發(fā)生了一次構(gòu)造;
- 函數(shù)返回的時候會把臨時對象拷貝后作為返回值,發(fā)生一次拷貝;
- A a = 函數(shù)返回值發(fā)生了拷貝構(gòu)造。
如果使用編譯器優(yōu)化(默認(rèn)), 則會把臨時對象拷貝的那次 和 用返回值構(gòu)造最終對象的拷貝的給省略了;也即,只有一次拷貝和析構(gòu)。
class A construct!
class A destruct!
如果把上面代碼改一下
// ... A void pass_A_by_value(A a){ } int main(){ A a; pass_A_by_value(a); return 0; }
在去掉優(yōu)化 g++ main.cpp -fno-elide-constructors時輸出為
class A construct!
class A copy!
class A destruct!
class A destruct!
1次構(gòu)造加上1次拷貝。
因此,下次如果面試的時候有人問這個問題,你就可以說:默認(rèn)情況下經(jīng)過編譯器優(yōu)化后臨時對象的拷貝就會被省去,如果使用 -fno-elide-constructors 省略優(yōu)化,則還要考慮臨時對象的拷貝。
事實上,在未經(jīng)優(yōu)化的情況下,以下時候拷貝構(gòu)造函數(shù)會被調(diào)用:
- 函數(shù)內(nèi)的局部對象做為返回值返回(不是引用)的時候會發(fā)生拷貝(拷貝為臨時對象返回)
- 函數(shù)形參為傳值的時候,會發(fā)生拷貝構(gòu)造
- 一個對象以另外一個對象進行初始化的時候
對象的頻繁構(gòu)造是程序的開銷,特別是當(dāng)對象內(nèi)部有堆上內(nèi)存(比如有 new 出來的成員)的時候,每次拷貝構(gòu)造的時候都需要用 new 申請一塊內(nèi)存,造成性能的降低。對于情況2,好習(xí)慣是如果函數(shù)參數(shù)是只讀的(也即不會在程序內(nèi)進行修改),傳引用作為參數(shù),也即 pass_A_by_refrence(const A &a); 對于情況1,編譯器會為我們進行優(yōu)化; 對于情況3,C++11 引入了一種移動構(gòu)造函數(shù)的概念,它將獲取**右值引用*,右值的“資源” move 到新對象中,這個過程中不會申請新的內(nèi)存,從而達到提高了效率和性能。
所以,要理解些關(guān)鍵詞 “移動構(gòu)造”、“移動語義” ,首先要理解右值和右值引用。
二、右值和右值引用
2.1 左值(lvalue)和右值(rvalue)
在 一、問題導(dǎo)入 里我們提到了臨時對象,也即函數(shù)返回值的時候只會“臨時”存在的對象(運行超過那一行就會結(jié)束它的生存期),這個臨時返回值就是一個右值;
右值的最直觀的定義為,顧名思義:
位于賦值運算符 = 右邊的值,為右值;在左邊的則為左值
如
A a = foo(); // foo() 為右值 char *x = "thu"; // “thu”為字面值也為右值 a = b + c; // b + c這個結(jié)果也是一個右值
在C++中,還有個定義為:
左值可以取得地址、有名字; 不可以取得地址、沒有名字的為右值。
所以 A a = foo()可以用 &a取得a的地址,a 是左值,然是不能取得 foo()的地址,(&foo())無法通過編譯, foo()返回的臨時對象也是沒有名字的,所以是右值。
在C++11中,右值包括兩種,一中是將亡值(xvalue, eXpiring Value),一種是純右值(prvalue,Pure Rvalue)[1]。函數(shù)非引用返回的臨時對象、運算表達式的結(jié)果、1, 3.14,'c'這樣的字面值等都屬于純右值。而xvalue則是由 C++11引入的 如返回值為 A&& 的函數(shù)返回值或者std::move()的返回值等。
不深究的話,我們只需要知道左值和右值的區(qū)別就行了。對于右值的詳細(xì)分類則不必深究。
2.2 左值引用和右值引用
左值引用就是一般的引用,一般用一個&表示,例如
const A &a_ref = a; // 取得對象 a 的引用
左值引用相當(dāng)于別名,指向一個具體的對象。
右值引用
右值引用顧名思義,就是右值的引用, 用 &&表示;
A &&r_ref = getRvalue(); // r_ref 是一個右值引用
右值引用也相當(dāng)于別名,與左值的區(qū)別為右值引用是無名變量的別名。
getRvalue() 是一個返回右值的函數(shù),右值在這一句執(zhí)行完就該結(jié)束他的生存期了,如果是對象就該調(diào)用析構(gòu)函數(shù)了;但是==右值引用讓它強行續(xù)命==;使用右值引用指向右值,右值的生存期和右值引用一樣長了,這也就少一次對象的析構(gòu)和構(gòu)造了。
C++的右值引用主要有兩個用處,一個是移動語義,一個是完美轉(zhuǎn)發(fā)。這個將在接下來的兩篇來講。
總結(jié)
為了導(dǎo)入右值和移動語義,首先復(fù)習(xí)了以下臨時對象在函數(shù)返回值和傳參數(shù)時構(gòu)造了幾次;然后對比介紹了左值和右值,以及右值引用的形式和含義。為移動語義和完美轉(zhuǎn)發(fā)的介紹做鋪墊。
參考資料
Michale Wang| IBM XL 編譯器中國 《深入理解C++11》, 機械工業(yè)出版社
以上就是本文的全部內(nèi)容,希望對大家的學(xué)習(xí)有所幫助,也希望大家多多支持創(chuàng)新互聯(lián)。
網(wǎng)頁標(biāo)題:C++11的右值引用的具體使用
分享路徑:http://www.dlmjj.cn/article/gdehid.html