Как известно если в конструкторе класса кидается исключение то объект не считается созданным и его деструктор не вызывается.
Рассмотрим такой класс:
class A
{
class B
{
public:
void operator =(char* v)
{
_v = v;
}
~B()
{
delete[] _v;
}
private:
char* _v;
};
B _b;
public:
A()
{
_b = new char[10];
throw 1;
}
~A()
{
std::cout << "~A()" << std::endl;
}
};
int main()
{
try
{
A a;
}
catch(...)
{
}
}
В этом случае утечки памяти не будет. Но почему будет вызван деструктор класса B
? Откуда мы в него придем? Ведь объект его содержащий не будет разрушен.
A
будет считаться не созданным, а объект классаB
, являющийся полем создаваемого объекта классаA
, будет уже создан. Соответственно при выбрасывании исключения из конструктора классаA
будет вызван сгенерированный компилятором код для разрушения уже созданных полей классаA
.