當(dāng)前位置:首頁(yè) > 芯聞號(hào) > 充電吧
[導(dǎo)讀]? ? ? ?缺省情況下C++ 以by value方式(一個(gè)繼承自C 的方式)傳遞對(duì)象至(或來(lái)自)函數(shù)。函數(shù)參數(shù)都是以實(shí)際實(shí)參的復(fù)件(副本)為初值。這些復(fù)件(副本)系由對(duì)象的copy構(gòu)造函數(shù)產(chǎn)出,這可

? ? ? ?缺省情況下C++ 以by value方式(一個(gè)繼承自C 的方式)傳遞對(duì)象至(或來(lái)自)函數(shù)。函數(shù)參數(shù)都是以實(shí)際實(shí)參的復(fù)件(副本)為初值。這些復(fù)件(副本)系由對(duì)象的copy構(gòu)造函數(shù)產(chǎn)出,這可能使得pass-by-value成為昂貴的(費(fèi)時(shí)的)操作??紤]以下class 繼承體系:

class?Person?{??
public:??
????Person?();??
????virtual?~Person();??
????......??
private:??
????std::string?name;??
????std::string?address;??
};??
class?Student:?public?Person?{??
public:??
????Student();??
????~Student();??
????......??
private:??
????std::string?schoolName;??
????std::string?schoolAddress;??
};

? ? ? ?現(xiàn)在考慮以下代碼,其中調(diào)用函數(shù)validateStudent ,后者需要一個(gè)Student 實(shí)參(by value) 并返回它是否有效:

bool?validateStudent(Student?s);????????//?函數(shù)以by?value方式接受學(xué)生??
Student?plato;??????????????????????????//?柏拉圖,蘇格拉底的學(xué)生??
bool?platoIsOK?=?validateStudent(plato);//?調(diào)用函數(shù)

? ? ? ?當(dāng)上述函數(shù)被調(diào)用時(shí),發(fā)生什么事?
? ? ? ?無(wú)疑地Student 的copy構(gòu)造函數(shù)會(huì)被調(diào)用,以plato 為藍(lán)本將s 初始化。同樣明顯地,當(dāng)validateStudent遺回s 會(huì)被銷(xiāo)毀。因此,對(duì)此函數(shù)而言,參數(shù)的傳遞成本是"一次Student copy構(gòu)造函數(shù)調(diào)用,加上一次Student析構(gòu)函數(shù)調(diào)用"。
? ? ? ?但那還不是整個(gè)故事喔。Student對(duì)象內(nèi)有兩個(gè)string對(duì)象,所以每次構(gòu)造一個(gè)Student對(duì)象也就構(gòu)造了兩個(gè)string對(duì)象。此外Student 對(duì)象繼承自Person 對(duì)象,所以每次構(gòu)造Student對(duì)象也必須構(gòu)造出一個(gè)Person對(duì)象。一個(gè)Person對(duì)象又有兩個(gè)string對(duì)象在其中,因此每一次Person構(gòu)造動(dòng)作又需承擔(dān)兩個(gè)string構(gòu)造動(dòng)作。最終結(jié)果是,以by value方式傳遞一個(gè)Student對(duì)象會(huì)導(dǎo)致調(diào)用一次Student copy構(gòu)造函數(shù)、一次Person copy 構(gòu)造函數(shù)、四次string copy 構(gòu)造函數(shù)。當(dāng)函數(shù)內(nèi)的那個(gè)Student復(fù)件被銷(xiāo)毀,每一個(gè)構(gòu)造函數(shù)調(diào)用動(dòng)作都需要一個(gè)對(duì)應(yīng)的析構(gòu)函數(shù)調(diào)用動(dòng)作。因此,以by value 方式傳遞一個(gè)Student對(duì)象,總體戚本是"六次構(gòu)造函數(shù)和六次析構(gòu)函數(shù)" !

? ? ? ?這是正確且值得擁有的行為,畢竟你希望你的所有對(duì)象都能夠被確實(shí)地構(gòu)造和析構(gòu)。但盡管如此,如果有什么方法可以回避所有那些構(gòu)造和析構(gòu)動(dòng)作就太好了。有的,就是pass by reference-to-const:

bool?validateStudent(const?Student&?s);

? ? ? ? 這種傳遞方式的效率高得多:沒(méi)有任何構(gòu)造函數(shù)或析構(gòu)函數(shù)被調(diào)用,因?yàn)闆](méi)有任何新對(duì)象被創(chuàng)建。修訂后的這個(gè)參數(shù)聲明中的const 是重要的。原先的validateStudent以by value 方式接受一個(gè)Student參數(shù),因此調(diào)用者知道他們受到保護(hù),函數(shù)內(nèi)絕不會(huì)對(duì)傳入的Student 作任何改變; validateStudent只能夠?qū)ζ鋸?fù)件(副本)做修改?,F(xiàn)在Student 以by reference 方式傳遞,將它聲明為const 是必要的,因?yàn)椴贿@樣做的話(huà)調(diào)用者會(huì)憂(yōu)慮validateStudent會(huì)不會(huì)改變他們傳入的那個(gè)Student。

? ? ? ?以by reference方式傳遞參數(shù)也可以避免slicing ( 對(duì)象切割)問(wèn)題。當(dāng)一個(gè)derived class 對(duì)象以by value方式傳遞并被視為一個(gè)base class 對(duì)象, base class 的copy構(gòu)造函數(shù)會(huì)別調(diào)用,而"造成此對(duì)象的行為像個(gè)derived class 對(duì)象"的那些特化性質(zhì)全被切割掉了,僅僅留下一個(gè)base class 對(duì)象。這實(shí)在不怎么讓人驚訝,因?yàn)檎莃ase class 構(gòu)造函數(shù)建立了它。但這幾乎絕不會(huì)是你想要的。假設(shè)你在一組classes 上工作,用來(lái)實(shí)現(xiàn)一個(gè)圖形窗口系統(tǒng):

class?Window?{??
public:???
????......??
????std::string?name()?const;????//?返回窗口名稱(chēng)??
????virtual?void?display()?const;//?顯示窗口和其內(nèi)容??
};??
class?WindowWithScrollBars:?public?Window?{??
public:??
????......??
????virtual?void?display{}?const;??
};

? ? ? ? 現(xiàn)在假設(shè)你希望寫(xiě)個(gè)函數(shù)打印窗口名稱(chēng),然后顯示該窗口。下面是錯(cuò)誤示范:

void?printNameAndDisplay(Window?w)//?不正確!參數(shù)可能被切割。??
{??
????std::cout?<<?w.name();??
????w.display()?;??
}

? ? ? ?當(dāng)你調(diào)用上述函數(shù)并交給它一個(gè)WindowWithScrollBars 對(duì)象,會(huì)發(fā)生什么事呢?

WindowWithScrollBars?wwsb;??
printNameAndDisplay(wwsb);

? ? ? ?喔,參數(shù)W 會(huì)被構(gòu)造成為一個(gè)Window對(duì)象:它是passed by value ,還記得嗎?而造成wwsb" 之所以是個(gè)WindowWithScrollBars 對(duì)象"的所有特化信息都會(huì)被切除。在printNameAndDisplay 函數(shù)內(nèi)不論傳遞過(guò)來(lái)的對(duì)象原本是什么類(lèi)型,參數(shù)w 就像一個(gè)Window 對(duì)象(因?yàn)槠漕?lèi)型是Window) 。因此在printNameAndDisplay 內(nèi)調(diào)用display調(diào)用的總是Window::display,絕不會(huì)是WindowWithScrollBars::display。

? ? ? ?解決切割(slicing) 問(wèn)題的辦法,就是以by reference-to- const 的方式傳遞w:

void?printNameAndDisplay(const?Window&?w)//?很好,參數(shù)不會(huì)被切割??
{??
????std::cout?<<?w.name()?;??
????w.display();??
}

? ? ? ?現(xiàn)在,傳進(jìn)來(lái)的窗口是什么類(lèi)型,w 就表現(xiàn)出那種類(lèi)型。
? ? ? 如果窺視C++ 編譯器的底層,你會(huì)發(fā)現(xiàn), references往往以指針實(shí)現(xiàn)出來(lái),因此pass by reference 通常意味真正傳遞的是指針。因此如果你有個(gè)對(duì)象屬于內(nèi)置類(lèi)型(例如int) , pass by value 往往比pass by reference 的效率高些。對(duì)內(nèi)置類(lèi)型而言,當(dāng)你有機(jī)會(huì)選擇采用pass-by-value或pass-by-reference-to-const 時(shí),選擇pass-by-value并非沒(méi)有道理。這個(gè)忠告也適用于STL 的選代器和函數(shù)對(duì)象,因?yàn)榱?xí)慣上它們都被設(shè)計(jì)為passed by value。迭代器和函數(shù)對(duì)象的實(shí)踐者有責(zé)任看看它們是否高效且不受切割問(wèn)題(slicing problem) 的影響。
? ? ? ?內(nèi)置類(lèi)型都相當(dāng)小,因此有人認(rèn)為,所有小型types 都是pass-by-value的合格候選人,甚至它們是用戶(hù)自定義的class 亦然。這是個(gè)不可靠的推論。對(duì)象小并不就意味其copy構(gòu)造函數(shù)不昂貴。許多對(duì)象一一包括大多數(shù)STL 容器一一內(nèi)含的東西只比一個(gè)指針多一些,但復(fù)制這種對(duì)象卻需承擔(dān)"復(fù)制那些指針?biāo)傅拿恳粯訓(xùn)|西"。那將非常昂貴。
? ? ? ?即使小型對(duì)象擁有并不昂貴的copy構(gòu)造函數(shù),還是可能有效率上的爭(zhēng)議。某些編譯器對(duì)待"內(nèi)置類(lèi)型"和"用戶(hù)自定義類(lèi)型"的態(tài)度截然不同,縱使兩者擁有相同的底層表述(underlying representation) 。舉個(gè)例子,某些編譯器拒絕把只由一個(gè)double組成的對(duì)象放進(jìn)緩存器內(nèi),卻很樂(lè)意在一個(gè)正規(guī)基礎(chǔ)上對(duì)光禿禿的doubles 那么做。當(dāng)這種事發(fā)生,你更應(yīng)該以by reference 方式傳遞此等對(duì)象,因?yàn)榫幾g器當(dāng)然會(huì)將指針(references的實(shí)現(xiàn)體)放進(jìn)緩存器內(nèi),絕無(wú)問(wèn)題。
? ? ? ?"小型的用戶(hù)自定義類(lèi)型不必然成為pass-by-value優(yōu)良候選人"的另一個(gè)理由是,作為一個(gè)用戶(hù)自定義類(lèi)型,其大小容易有所變化。一個(gè)type 目前雖然小,將來(lái)也許會(huì)變大,因?yàn)槠鋬?nèi)部實(shí)現(xiàn)可能改變。甚至當(dāng)你改用另一個(gè)C++ 編譯器都有可能改變type的大小。舉個(gè)例子,在我下筆此刻,某些標(biāo)準(zhǔn)程序庫(kù)實(shí)現(xiàn)版本中的string 類(lèi)型比其他版本大七倍。

? ? ? ?一般而言,你可以合理假設(shè)" pass-by-value 并不昂貴"的唯一對(duì)象就是內(nèi)置類(lèi)型和STL 的迭代器和函數(shù)對(duì)象。至于其他任何東西都請(qǐng)遵守本條款的忠告,盡量以pass-by-reference-to-const 替換passφy-value。


需要記住的
1.盡量以pass-by-reference-to-const替換pass-by-value。前者通常比較高效,并可避免切割問(wèn)題(slicing problem) 。
2.以上規(guī)則并不適用于內(nèi)置類(lèi)型,以及STL 的迭代器和函數(shù)對(duì)象。對(duì)它們而言,pass-by-value往往比較適當(dāng)。



本站聲明: 本文章由作者或相關(guān)機(jī)構(gòu)授權(quán)發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀(guān)點(diǎn),本站亦不保證或承諾內(nèi)容真實(shí)性等。需要轉(zhuǎn)載請(qǐng)聯(lián)系該專(zhuān)欄作者,如若文章內(nèi)容侵犯您的權(quán)益,請(qǐng)及時(shí)聯(lián)系本站刪除。
換一批
延伸閱讀

9月2日消息,不造車(chē)的華為或?qū)⒋呱龈蟮莫?dú)角獸公司,隨著阿維塔和賽力斯的入局,華為引望愈發(fā)顯得引人矚目。

關(guān)鍵字: 阿維塔 塞力斯 華為

倫敦2024年8月29日 /美通社/ -- 英國(guó)汽車(chē)技術(shù)公司SODA.Auto推出其旗艦產(chǎn)品SODA V,這是全球首款涵蓋汽車(chē)工程師從創(chuàng)意到認(rèn)證的所有需求的工具,可用于創(chuàng)建軟件定義汽車(chē)。 SODA V工具的開(kāi)發(fā)耗時(shí)1.5...

關(guān)鍵字: 汽車(chē) 人工智能 智能驅(qū)動(dòng) BSP

北京2024年8月28日 /美通社/ -- 越來(lái)越多用戶(hù)希望企業(yè)業(yè)務(wù)能7×24不間斷運(yùn)行,同時(shí)企業(yè)卻面臨越來(lái)越多業(yè)務(wù)中斷的風(fēng)險(xiǎn),如企業(yè)系統(tǒng)復(fù)雜性的增加,頻繁的功能更新和發(fā)布等。如何確保業(yè)務(wù)連續(xù)性,提升韌性,成...

關(guān)鍵字: 亞馬遜 解密 控制平面 BSP

8月30日消息,據(jù)媒體報(bào)道,騰訊和網(wǎng)易近期正在縮減他們對(duì)日本游戲市場(chǎng)的投資。

關(guān)鍵字: 騰訊 編碼器 CPU

8月28日消息,今天上午,2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)開(kāi)幕式在貴陽(yáng)舉行,華為董事、質(zhì)量流程IT總裁陶景文發(fā)表了演講。

關(guān)鍵字: 華為 12nm EDA 半導(dǎo)體

8月28日消息,在2024中國(guó)國(guó)際大數(shù)據(jù)產(chǎn)業(yè)博覽會(huì)上,華為常務(wù)董事、華為云CEO張平安發(fā)表演講稱(chēng),數(shù)字世界的話(huà)語(yǔ)權(quán)最終是由生態(tài)的繁榮決定的。

關(guān)鍵字: 華為 12nm 手機(jī) 衛(wèi)星通信

要點(diǎn): 有效應(yīng)對(duì)環(huán)境變化,經(jīng)營(yíng)業(yè)績(jī)穩(wěn)中有升 落實(shí)提質(zhì)增效舉措,毛利潤(rùn)率延續(xù)升勢(shì) 戰(zhàn)略布局成效顯著,戰(zhàn)新業(yè)務(wù)引領(lǐng)增長(zhǎng) 以科技創(chuàng)新為引領(lǐng),提升企業(yè)核心競(jìng)爭(zhēng)力 堅(jiān)持高質(zhì)量發(fā)展策略,塑強(qiáng)核心競(jìng)爭(zhēng)優(yōu)勢(shì)...

關(guān)鍵字: 通信 BSP 電信運(yùn)營(yíng)商 數(shù)字經(jīng)濟(jì)

北京2024年8月27日 /美通社/ -- 8月21日,由中央廣播電視總臺(tái)與中國(guó)電影電視技術(shù)學(xué)會(huì)聯(lián)合牽頭組建的NVI技術(shù)創(chuàng)新聯(lián)盟在BIRTV2024超高清全產(chǎn)業(yè)鏈發(fā)展研討會(huì)上宣布正式成立。 活動(dòng)現(xiàn)場(chǎng) NVI技術(shù)創(chuàng)新聯(lián)...

關(guān)鍵字: VI 傳輸協(xié)議 音頻 BSP

北京2024年8月27日 /美通社/ -- 在8月23日舉辦的2024年長(zhǎng)三角生態(tài)綠色一體化發(fā)展示范區(qū)聯(lián)合招商會(huì)上,軟通動(dòng)力信息技術(shù)(集團(tuán))股份有限公司(以下簡(jiǎn)稱(chēng)"軟通動(dòng)力")與長(zhǎng)三角投資(上海)有限...

關(guān)鍵字: BSP 信息技術(shù)
關(guān)閉
關(guān)閉