警惕 C++ 中的隱式類(lèi)型轉(zhuǎn)換
今天文章的主題靈感來(lái)自客戶的一個(gè)問(wèn)題:
我在研究一個(gè)代碼中的棧溢出問(wèn)題。為了減小棧幀的大小,我盡可能多地刪除了局部變量,但仍有很多??臻g無(wú)法解釋。除了局部變量、參數(shù)、保存的寄存器和返回地址之外,棧上還有什么其他的東西呢?
我的回答是,嗯,還有結(jié)構(gòu)化(SEH)的異常處理信息,但這通常不會(huì)占用太多??臻g,因此不會(huì)成為”大量”神秘棧使用的來(lái)源。
我的猜測(cè)是,代碼正在生成大量大型 C++ 臨時(shí)對(duì)象。請(qǐng)考慮以下程序片段:

有人會(huì)問(wèn)了:”這段代碼是如何編譯的?函數(shù)Foo想要一個(gè)BigBuffer,而不是一個(gè)整數(shù)!” 然而編譯它確實(shí)如此。
這是因?yàn)榫幾g器使用 BigBuffer 構(gòu)造函數(shù)作為轉(zhuǎn)換器。換句話說(shuō),編譯器插入了以下臨時(shí)變量:

這樣做是因?yàn)?,只接受一個(gè)參數(shù)的構(gòu)造函數(shù)有兩個(gè)目的:它可以用作傳統(tǒng)的構(gòu)造函數(shù)(正如我們?cè)?BigBuffer temp(3) 中看到的那樣),或者它可以用來(lái)提供從參數(shù)類(lèi)型到構(gòu)造類(lèi)型的隱式轉(zhuǎn)換。在本例中,BigBuffer(int) 構(gòu)造函數(shù)被用作從 int 到 BigBuffer 的轉(zhuǎn)換。
若要防止這種情況發(fā)生,請(qǐng)使用 explicit 關(guān)鍵字:

通過(guò)此更改, 對(duì) Foo(3) 的調(diào)用會(huì)引發(fā)編譯器錯(cuò)誤:

總結(jié)
通過(guò)今天的文章,我終于理解了在何種情況下需要在構(gòu)造函數(shù)上加 explicit 。
你呢?



























