생성자에서 예외가 발생하면 객체에 할당 된 메모리가 자동으로 삭제됩니까?

Question

이 코드가 있다고 가정 해보자 :

class CFoo 
{ 
public: 
    CFoo() 
    { 
     iBar = new CBar(); 
    } 
private: 
    CBar* iBar; 
}; 

.... 
CFoo* foo = new CFoo(); 

위의 라인이 실행될 때, 첫 번째 메모리는 CFoo 객체를 담기 위해 할당 될 것이다. 그러나 새로운 CBar() 라인이 메모리 부족으로 인해 예외를 던지면 시스템은 이전에 CFoo 객체에 할당되었던 메모리를 자동으로 할당 해제합니까? 필자는 그럴 필요가 있다고 말하지만 명시 적 참조는 찾을 수 없습니다. 그것이 foo에 할당되지 않았 으면 어떻게 코더에 의해 메모리가 할당 해제 될 수 있습니까?

Answer 1

는 예, CFoo 객체에 할당 된 메모리가이 경우에 해제됩니다 new 연산자의 다음과 같은 간단한 의사를 고려하십시오.

실패한 할당으로 인해 예외가 성공적으로 새로운 표현을 완료하는 데 실패 할 CFoo 생성자가 발생하기 때문에

그 CFoo 객체에 할당 된 메모리를 무료로 보장된다.

이 보증은 ISO/IEC 14882 : 2003의 5.3.4 [expr.new]/17에 명시되어 있습니다.

올바른 정리를 위해 항상 동적 할당 결과를 스마트 포인터에 할당하는 것이 좋습니다. 예를 들어, CFoo 생성자에 추가 코드가 있고 예외가 발생하면 CBar 개체가 이미 생성자에서 이전에 성공적으로 할당 된 이전에 누출 될 수 있습니다.

Answer 2

예 - 메모리가 자동으로 해제됩니다.

template<typename T> T* operator new() { 
    void* ptr = nullptr; 
    try { 
     ptr = ::operator new(sizeof(T)); 
     return new (ptr) T(); 
    } catch(...) { 
     ::operator delete(ptr); 
     throw; 
    } 
} 

Answer 3

컴파일러가 제공하는 연산자 new에 의존한다면 위의 경우 소멸자가 호출되지 않습니다. 그 이유는 : 새로운 CBar()가 예외를 던지면, 스택 풀기가 즉시 일어나기 시작하고, 객체 CFoo가 "완전히"생성되지 않기 때문입니다. 객체가 반 생성되었으므로 컴파일러는 CFoo에 대한 소멸자를 호출하지 않습니다. 엄지 손가락의

규칙 : 소멸자는 C에서 완전히 구성 객체 ++

Answer 4

예에 대해서만라고하지만, 더 이상의 멤버 포인터가 있다면 무슨 생각됩니다 : 이제 CBAR 객체가 유출 될

class CFoo 
{ 
public: 
    CFoo() 
    { 
     iBar = new CBar(); 
     iBaz = new CBaz(); // Throws an exception 
    } 
private: 
    CBar* iBar; 
    CBaz* iBaz; 
}; 

.... 
CFoo* foo = new CFoo(); 

. 네이티브 포인터 대신 스마트 포인터를 사용하면이 문제를 해결할 수 있습니다.

또한, 멤버 이니셜 라이저를 사용하는 것을 선호 :

class CFoo 
{ 
public: 
    CFoo() : iBar(new CBar()) 
    { 
     // Nothing here 
    } 
private: 
    CBar* iBar; 
}; 

.... 
CFoo* foo = new CFoo();