Когда неявно вызывается деструктор?

Question

[Hrefix]

Поиск по вопросам не дал ответов. Гугл и книги не дают четкого ответа.
Вопрос для меня довольно-таки не очевидный. Прошу перечислить возможные варианты (за исключением вызовов по выходу из области видимости блока; плюс, из той же оперы, по return)

Answer 1

[Олег Цилюрик]

Прошу перечислить возможные варианты

Вариант единственный: деструктор в C++ вызывается ровно в тот момент, когда уничтожается объект.
Всё. Точка.
Никаких других "вариантов" нет и быть не может, потому что в C++ не может быть сборки мусора.

А вот когда объект уничтожается - тут могут быть некоторые варианты: явное и неявное уничтожение, уничтожение по выходу из блока, уничтожение по эпилогу программы... Здесь разница уже в том. что называют "время жизни" объекта.

Comments

[Hrefix]

Ясное дело, что деструктор вызывается при уничтожении объекта. Извините, Вы читали вопрос? Там же написано – неявно. Я думаю, уже и так понятно, что требуется перечислить ситуации, когда такое возможно. Т.е. когда удаляется объект и при этом неявно вызывается деструктор.
Спасибо за ответ.

[Олег Цилюрик]

Я читал вопрос. ;-)

И вам ответили ... здесь и в другом ответе: деструктор неявно вызывается тогда и только тогда, когда уничтожается объект. Время жизни объекта (и точка его уничтожения) определяется стандартами языка, и никаких та подводных камней и особых случаев нет и быть не может.

Или вы открыл особо удивительный случай?
Тогда описывайте его подробнее скорее... ;-)

[Hrefix]

Олег Цилюрик: наш "спор" неуместен :-)
Никаких "удивительных" случаев нет. Ответы, приведенные пользователем Ринат Велиахмедов в точности отвечают моим критериям, заданным в пояснении к вопросу.
Однако, не могу сказать, что Вы говорите что-то не то. Все по делу. Просто не в той форме :-) Про время жизни, вызов деструктора случается <=> уничтожение объекта и т.д. – это еще до вопроса ясно. Я лишь просил дать четкий список.
Удачного времени суток. Еще раз спасибо за потраченное время.

[Даниил Демидко]

Ну не обязательно все так. Можно вызвать деструктор явно для объекта размещенного в стеке. А потом вполне себе спокойно снова использовать объект.
Например:
MyClass object;
// ...
object.~MyClass();

Answer 2

[Александр Ручкин]

Драфт стандарта n3337:

Destructors are invoked implicitly
— for constructed objects with static storage duration (3.7.1) at program termination (3.6.3),
— for constructed objects with thread storage duration (3.7.2) at thread exit,
— for constructed objects with automatic storage duration (3.7.3) when the block in which an object is created exits (6.7),
— for constructed temporary objects when the lifetime of a temporary object ends (12.2),
— for constructed objects allocated by a new-expression (5.3.4), through use of a delete-expression (5.3.5),
— in several situations due to the handling of exceptions (15.3).