c++ 생성자에서 exception을 throw 하도록 했을 때, exception이

5.3.4/17
If any part of the object initialization described above terminates
by throwing an exception and a suitable deallocation function can be
found, the deallocation function is called to free the memory in which
the object was being constructed, after which the exception continues
to propagate in the context of the new-expression. [...]

c++에서 생성자에서 멤버 값을 초기화 할 때, 어떤 오류가 발생했을 경우 exception을 throw 하도록 하였습니다. 예를 들어 다음과 같이 말이죠.

class A
{
public:
  ...
  A(int a);
  ...
}

A::A(int a)
{
  ...
  if( a <0 )
    throw 1;
  ...
}

그리고 메인에서는 아래와 같이 처리하였습니다.

...
A* a;

try
{
  a = new A(-1);
}
catch(int e)
{
  cout << e << endl;
}

이 경우 catch 문으로 넘어옴과 동시에 a가 delete된다고 알고 있었는데, 알아본 결과 catch 문으로 넘어와도 a는 delete 안되더군요.
생성자에서 exception을 throw 하도록 처리해놓으면, exception이 발생함과 동시에 객체가 유효하지 않게 처리된다고 알고 있었습니다만, 제가 잘 못 알고 있던 건가요?
아니면 제가 exception을 제대로 사용하지 못하고 잇는 건가요?

vudghkzm wrote:

이 경우 catch 문으로 넘어옴과 동시에 a가 delete된다고 알고 있었는데, 알아본 결과 catch 문으로 넘어와도 a는 delete 안되더군요.
생성자에서 exception을 throw 하도록 처리해놓으면, exception이 발생함과 동시에 객체가 유효하지 않게 처리된다고 알고 있었습니다만, 제가 잘 못 알고 있던 건가요?
아니면 제가 exception을 제대로 사용하지 못하고 잇는 건가요?

무슨 근거로 delete가 안된다고 판단하셨는지는 모르겠지만, delete 됩니다. global operator delete나, class-specific operator delete를 정의해서 테스트해보시기 바랍니다.

그리고 C++ Standard의 15.2절에서도 이 상황에 대해서 언급하고 있습니다.

Quote:

An object that is partially constructed or partially destroyed will have destructors executed for all of its fully constructed subobjects, that is, for subobjects for which the constructor has completed execution and the destructor has not yet begun execution. Should a constructor for an element of an automatic array throw an exception, only the constructed elements of that array will be destroyed. If the object or array was allocated in a new-expression, the matching deallocation function (3.7.3.2, 5.3.4, 12.5), if any, is called to free the storage occupied by the object.