在類的成員函數(shù)中調(diào)用delete this

?? 在類的成員函數(shù)中能不能調(diào)用delete this？答案是肯定的，能調(diào)用，而且很多老一點(diǎn)的庫(kù)都有這種代碼。假設(shè)這個(gè)成員函數(shù)名字叫release，而delete this就在這個(gè)release方法中被調(diào)用，那么這個(gè)對(duì)象在調(diào)用release方法后，還能進(jìn)行其他操作，如調(diào)用該對(duì)象的其他方法么？答案仍然是肯定的，調(diào)用release之后還能調(diào)用其他的方法，但是有個(gè)前提：被調(diào)用的方法不涉及這個(gè)對(duì)象的數(shù)據(jù)成員和虛函數(shù)。說(shuō)到這里，相信大家都能明白為什么會(huì)這樣了。

根本原因在于delete操作符的功能和類對(duì)象的內(nèi)存模型。當(dāng)一個(gè)類對(duì)象聲明時(shí)，系統(tǒng)會(huì)為其分配內(nèi)存空間。在類對(duì)象的內(nèi)存空間中，只有數(shù)據(jù)成員和虛函數(shù)表指針，并不包含代碼內(nèi)容，類的成員函數(shù)單獨(dú)放在代碼段中。在調(diào)用成員函數(shù)時(shí)，隱含傳遞一個(gè)this指針，讓成員函數(shù)知道當(dāng)前是哪個(gè)對(duì)象在調(diào)用它。當(dāng)調(diào)用delete this時(shí)，類對(duì)象的內(nèi)存空間被釋放。在delete this之后進(jìn)行的其他任何函數(shù)調(diào)用，只要不涉及到this指針的內(nèi)容，都能夠正常運(yùn)行。一旦涉及到this指針，如操作數(shù)據(jù)成員，調(diào)用虛函數(shù)等，就會(huì)出現(xiàn)不可預(yù)期的問(wèn)題。

為什么是不可預(yù)期的問(wèn)題？delete this之后不是釋放了類對(duì)象的內(nèi)存空間了么，那么這段內(nèi)存應(yīng)該已經(jīng)還給系統(tǒng)，不再屬于這個(gè)進(jìn)程。照這個(gè)邏輯來(lái)看，應(yīng)該發(fā)生指針錯(cuò)誤，無(wú)訪問(wèn)權(quán)限之類的令系統(tǒng)崩潰的問(wèn)題才對(duì)?。窟@個(gè)問(wèn)題牽涉到操作系統(tǒng)的內(nèi)存管理策略。delete this釋放了類對(duì)象的內(nèi)存空間，但是內(nèi)存空間卻并不是馬上被回收到系統(tǒng)中，可能是緩沖或者其他什么原因，導(dǎo)致這段內(nèi)存空間暫時(shí)并沒(méi)有被系統(tǒng)收回。此時(shí)這段內(nèi)存是可以訪問(wèn)的，你可以加上100，加上200，但是其中的值卻是不確定的。當(dāng)你獲取數(shù)據(jù)成員，可能得到的是一串很長(zhǎng)的未初始化的隨機(jī)數(shù)；訪問(wèn)虛函數(shù)表，指針無(wú)效的可能性非常高，造成系統(tǒng)崩潰。

大致明白在成員函數(shù)中調(diào)用delete this會(huì)發(fā)生什么之后，再來(lái)看看另一個(gè)問(wèn)題，如果在類的析構(gòu)函數(shù)中調(diào)用delete this，會(huì)發(fā)生什么？實(shí)驗(yàn)告訴我們，會(huì)導(dǎo)致堆棧溢出。原因很簡(jiǎn)單，delete的本質(zhì)是“為將被釋放的內(nèi)存調(diào)用一個(gè)或多個(gè)析構(gòu)函數(shù)，然后，釋放內(nèi)存” (來(lái)自effective c++)。顯然，delete this會(huì)去調(diào)用本對(duì)象的析構(gòu)函數(shù)，而析構(gòu)函數(shù)中又調(diào)用delete this，形成無(wú)限遞歸，造成堆棧溢出，系統(tǒng)崩潰。

--------------------我是分界面--------------------

上面是某大牛的分析，而在實(shí)際的運(yùn)行過(guò)程中使用delele this確實(shí)會(huì)直接出現(xiàn)錯(cuò)誤。這是因?yàn)椋涸诔蓡T函數(shù)中調(diào)用delete this，首先會(huì)調(diào)用類的析構(gòu)函數(shù)，this指針已刪除，會(huì)出現(xiàn)指針錯(cuò)誤。

下面是在XCode中使用delete this出現(xiàn)的錯(cuò)誤：

malloc: *** error for object 0xbffffa18: pointer being freed was not allocated

//注意0xbffffa18即為this的地址
*** set a breakpoint in malloc_error_break to debug

而在VS2010中使用delete this是直接導(dǎo)致 Debug Assertion Failed！

具體的描述是：invalid null pointer

總結(jié)：在成員函數(shù)中調(diào)用delete this，會(huì)導(dǎo)致指針錯(cuò)誤，而在析構(gòu)函數(shù)中調(diào)用delete this，出導(dǎo)致死循環(huán)，造成堆棧溢出。

PS：this是類中成員函數(shù)具有的一個(gè)附加的隱含形參，即指向該類對(duì)象的一個(gè)指針，它與調(diào)用成員函數(shù)的對(duì)象綁定在一起。同時(shí)1.在普通的非const成員函數(shù)中：this的類型是一個(gè)指向類類型的const指針，可以改變this指向的值，但是不能改變this所保存的地址；2.在const成員函數(shù)中，this的類型是一個(gè)指向const類類型對(duì)象的const指針，既不能改變this所指向的對(duì)象，也不能改變this所保存的地址。

注意：

成員函數(shù)中不能定義this形參，而是由編譯器隱含地定義，但是可以在成員函數(shù)中顯示使用this形參，不過(guò)也不是必須這么做。如果對(duì)類成員的引用沒(méi)有限定，編譯器會(huì)將這種引用處理成通過(guò)this指針的引用。 有一種情況下必須顯式使用this：當(dāng)我們需要將一個(gè)對(duì)象作為整體引用而不是引用對(duì)象的一個(gè)成員時(shí)。 從const成員函數(shù)返回＊this：不能從const成員函數(shù)返回指向類對(duì)象的普通引用。const成員函數(shù)只能返回＊this作為一個(gè)const引用。