C++：處理資源，如果構造函數可能會拋出異常（參考FAQ 17.4]

Question

感謝所有的響應

我重新格式化我的問題，瞭解成員指針的狀態下，方含類構造函數拋出異常後

。

再我的例子類:)

class Foo 
{ 
public: 
    Foo() 
    { 
     int error = 0; 
     p = new Fred; 

     throw error; // Force throw , trying to understand what will happen to p 
    } 

    ~Foo() 
    { 
     if (p) 
     { 
      delete p; 
      p = 0; 
     } 
    } 
private: 
    Fred* p; 
}; 

int main() 
{ 
     try 
     { 
     Foo* lptr = new Foo; 
     } 
     catch (...) 
     {} 
} 

類FOO的consturctor會拋出一個異常，爲一些隨機的原因。我知道foo的desturctor永遠不會被調用，但在這種情況下，p的析構函數會被調用嗎？

它使p作爲boost智能指針而不是fred的原始指針有什麼區別。

謝謝。

Answer 1

有一個similar question here涵蓋了你的要求。

在這種情況下，如果new的調用失敗，則指針的內存將保證被釋放。如果調用成功，並且構造函數在此之後拋出，則會發生內存泄漏。

該類的析構函數將不會被調用，因爲該對象從未完全構造。有兩種方法可以解決這個問題。

1）

都有例外完全在構造函數中進行管理：

class Foo 
{ 
public: 
    Foo() 
    try 
    { 
     p = new p; 

     throw /* something */; 
    } 
    catch (...) 
    { 
     delete p; 

     throw; //rethrow. no memory leak 
    } 
private: 
    int *p; 
}; 

2）

或者使用智能指針。當輸入構造函數時，其所有成員都已構建。因爲當一個構造函數拋出，並且構造了對象成員時，它們必須被破壞。而一個智能指針修復了這個問題：

class Foo 
{ 
public: 
    Foo() : 
    p(new int) 
    { 
     throw /* something */; 
    } 
private: 
    std::auto_ptr<int> p; 
}; 

Answer 2

如果從未分配過，則不應該。

但不是NULL通過新的不良分配返回，你會得到一個異常std :: bad_alloc。

NULL如果無法進行分配，則由C malloc返回。

你也是正確的，如果一個對象沒有完全構建，它不會被破壞。因此，如果您在構造函數中的堆上有成功的分配，然後拋出異常，則會導致內存泄漏。

你也可以考慮有一個殭屍狀態，而不是拋出一個異常。一些標準的C++庫會這樣做。在這種情況下，對象不處於有效狀態，可以通過另一種方法檢查它是否處於有效狀態。

雖然通常在構造函數中拋出異常是最好的。

See my answer here for an extended discussion。

Answer 3

如果p的內存分配失敗，將不會調用p的析構函數。

Answer 4

這個問題真的沒有任何意義。 new Fred();將永遠不會返回NULL。它只會成功創建一個Fred對象，或者拋出一個異常。如果它拋出一個異常，Fred對象將永遠不存在，所以它的析構函數將不會被調用。