警惕 C++ 中的隱式類型轉(zhuǎn)換
今天文章的主題靈感來自客戶的一個問題:
我在研究一個代碼中的棧溢出問題。為了減小棧幀的大小,我盡可能多地刪除了局部變量,但仍有很多??臻g無法解釋。除了局部變量、參數(shù)、保存的寄存器和返回地址之外,棧上還有什么其他的東西呢?
我的回答是,嗯,還有結(jié)構(gòu)化(SEH)的異常處理信息,但這通常不會占用太多棧空間,因此不會成為”大量”神秘棧使用的來源。
我的猜測是,代碼正在生成大量大型 C++ 臨時對象。請考慮以下程序片段:
有人會問了:”這段代碼是如何編譯的?函數(shù)Foo想要一個BigBuffer,而不是一個整數(shù)!” 然而編譯它確實(shí)如此。
這是因?yàn)榫幾g器使用 BigBuffer 構(gòu)造函數(shù)作為轉(zhuǎn)換器。換句話說,編譯器插入了以下臨時變量:
這樣做是因?yàn)椋唤邮芤粋€參數(shù)的構(gòu)造函數(shù)有兩個目的:它可以用作傳統(tǒng)的構(gòu)造函數(shù)(正如我們在 BigBuffer temp(3) 中看到的那樣),或者它可以用來提供從參數(shù)類型到構(gòu)造類型的隱式轉(zhuǎn)換。在本例中,BigBuffer(int) 構(gòu)造函數(shù)被用作從 int 到 BigBuffer 的轉(zhuǎn)換。
若要防止這種情況發(fā)生,請使用 explicit 關(guān)鍵字:
通過此更改, 對 Foo(3) 的調(diào)用會引發(fā)編譯器錯誤:
總結(jié)
通過今天的文章,我終于理解了在何種情況下需要在構(gòu)造函數(shù)上加 explicit 。
你呢?