當變量仍然活着時被調用的C++析構函數

Question

我有一個帶有指向整數的指針的類。

然後一個靜態函數將返回該整數的值。

我注意到當調用靜態函數時，每次都會爲該對象調用析構函數。

我不明白爲什麼會發生這種行爲。

class Dog 
{ 
public: 

Dog(int val){ 
this->pVal = new int(val); 
} 

~Dog(){ 
delete this->pVal; 
} 

static int GetVal(Dog d){ 
    return *(d.pVal); 
} 

int *pVal; 
}; 

這是班級。

這是我的測試驅動程序代碼。

Dog fido(20); 
std::cout << Dog::GetVal(fido); //20 and destructor for fido called 
Dog rex(21); 
std::cout << Dog::GetVal(fido); //21 but should be 20 
std::cout << Dog::GetVal(rex); // should be 21 

我注意到兩個狗對象都住在不同的內存地址，但是int指針居住在同一個地址。我相信這是因爲調用GetVal時會調用fido的析構函數，但我不知道爲什麼會出現這種行爲。

Answer 1

雖然「Fido」的析構函數確實被調用，但這不是原始的「Fido」，而是它的副本。您的GetVal(Dog d)函數按值取值爲Dog，這意味着「Fido」在傳遞到GetVal之前被複制，然後在完成時銷燬副本。

傳遞Dog&通過const參考修復了這個問題：

static int GetVal(const Dog& d){ 
    return *(d.pVal); 
} 

Demo.

注：上面沒有解釋爲什麼你21 「菲多」。由於您沒有定義複製構造函數或賦值運算符，因此編譯器會爲您生成一個簡單的複製構造函數。因此，「Fido」副本中的pVal指向與原始「Fido」中的pVal相同的位置。一旦從Dog::GetVal(fido)返回時拷貝被破壞，內存就有資格重用，並且原始「Fido」內的指針變爲懸空。當您第二次調用Dog::GetVal(fido)時，該函數通過取消引用懸掛指針而導致未定義的行爲。第二次調用打印21這一事實，即您傳遞給「Rex」的構造函數的值，強烈表明在銷燬「Fido」副本時釋放的內存正在構建「Rex」時立即重用。但是，C++沒有這樣做的要求。如果發生這種情況，當「Rex」和「Fido」在運行結束時被銷燬時，代碼會第二次產生UB。