Деструкторы и исключения

@ramybozy · Регистрация: 01.07.2012

Студворк — интернет-сервис помощи студентам

В одном учебнике встретилась такая фраза:
Если деструктор, вызванный в процессе разматывания стека, выбрасывает исключение, вызывается
terminate.

Означает ли это, что в деструкторах невозможно использовать операторы try catch?

@OhMyGodSoLong · 18.09.2012, 15:55

Можно и нужно. Именно если не словить исключение с помощью try–catch, может случиться беда.

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

@CheshireCat · 18.09.2012, 15:57

Нет, это как раз говорит об обратном - что в деструкторах использовать try-catch полезно. Любая функция, вызываемая в теле сколько-нибудь нетривиального деструктора, может выбросить исключение. Это исключение не должно выйти за пределы деструктора, если же это все-таки произойдет, тогда гарантируется terminate и крах. Вот тут-то и нужны try-catch. :-)

@ramybozy · 18.09.2012, 16:45 **[ТС]**

Следует ли это понимать, как если обработчик исключений в данном деструкторе до конца не обработает возникшее исключение, то тогда надеяться на то, что обработчик исключений в деструкторе родительского объекта завершит обработку, не стоит?

@OhMyGodSoLong · 18.09.2012, 17:14

Угу. Стоит вообще не выпускать исключения из деструкторов. Боюсь, если что-то сломалось в процессе удаления объекта, то это всё, приехали. Их нельзя никак вменяемо обработать вне уничтожаемого объекта, потому что этот объект уже наполовину разобран и в кишки ему не залезешь, чтобы довершить начатое. Лучшее, что можно сделать: разве что записать в лог, что где сломалось, и начать процедуру спасения всего, что можно, с последующим рестартом.

@PSIAlt · 18.09.2012, 22:30

Кроме того, экзепшн внутри деструктора может привести к неопределенному поведению кучи других обьектов. Допустим в функции

C++
1
2
3
Foo f[10];
// Тут чета происходит
return;

Вот в момент ретюрна обьекты начинают уничтожаться. Допустим один из них кидает исключение. Что дальше делать? Половина уже уничтожена, один в неизвестном состоянии кишками наружу, оставшая часть еще не уничтожена. Выйти из функции до ближайшего try-catch? Но тогда мы должны уничтожить все оставшиеся в scope обьекты. А если они тоже кинут исключение? С++ не умеет обрабатывать 2 исключения одновременно. Короче, есть договоренность что деструкторы всегда должны быть exception-safe

@OhMyGodSoLong · 18.09.2012, 22:40

Это тоже раскрутка стека, только на один фрейм, а не на несколько, как (обычно) в случае проброса исключения до catch.

@Toshkarik · 18.09.2012, 23:18

Тут скорей всего имеется ввиду, что при раскрутки стека, если выбрасывается исключение в каком либо декструкторе объекта ( например при уничтожении локальных объектов ), то никакие try catch уже не помогут, сразу же вызывается terminate.

Новые блоги и статьи Все статьи Все блоги /
Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?	Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .
Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114	Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .

@ramybozy 9 / 9 / 1 Регистрация: 01.07.2012 Сообщений: 138

	Деструкторы и исключения 18.09.2012, 15:46. Показов 5118. Ответов 7 Метки нет (Все метки) В одном учебнике встретилась такая фраза: Если деструктор, вызванный в процессе разматывания стека, выбрасывает исключение, вызывается terminate. Означает ли это, что в деструкторах невозможно использовать операторы try catch? 0

@OhMyGodSoLong ~ Эврика! ~ 1258 / 1007 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	18.09.2012, 15:55
	Можно и нужно. Именно если не словить исключение с помощью try–catch, может случиться беда. Если просто в деструкторе, то часть деструкторов может не выполниться из-за этого. Если в процессе раскрутки стека, вызванного другим исключением, то тут нельзя однозначно сказать, какому из двух исключений (выброшенному деструктором или тому, которое вызвало этот деструктор в процессе раскрутки) отдать приоритет. Поэтому это запрещено. 1

@CheshireCat 2924 / 1274 / 114 Регистрация: 27.05.2008 Сообщений: 3,465
	18.09.2012, 15:57
	Нет, это как раз говорит об обратном - что в деструкторах использовать try-catch полезно. Любая функция, вызываемая в теле сколько-нибудь нетривиального деструктора, может выбросить исключение. Это исключение не должно выйти за пределы деструктора, если же это все-таки произойдет, тогда гарантируется terminate и крах. Вот тут-то и нужны try-catch. :-) 1

@ramybozy 9 / 9 / 1 Регистрация: 01.07.2012 Сообщений: 138
	18.09.2012, 16:45 [ТС]
	Следует ли это понимать, как если обработчик исключений в данном деструкторе до конца не обработает возникшее исключение, то тогда надеяться на то, что обработчик исключений в деструкторе родительского объекта завершит обработку, не стоит? 0

@OhMyGodSoLong ~ Эврика! ~ 1258 / 1007 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	18.09.2012, 17:14
	Угу. Стоит вообще не выпускать исключения из деструкторов. Боюсь, если что-то сломалось в процессе удаления объекта, то это всё, приехали. Их нельзя никак вменяемо обработать вне уничтожаемого объекта, потому что этот объект уже наполовину разобран и в кишки ему не залезешь, чтобы довершить начатое. Лучшее, что можно сделать: разве что записать в лог, что где сломалось, и начать процедуру спасения всего, что можно, с последующим рестартом. 1

@OhMyGodSoLong ~ Эврика! ~ 1258 / 1007 / 74 Регистрация: 24.07.2012 Сообщений: 2,002
	18.09.2012, 22:40
	Это тоже раскрутка стека, только на один фрейм, а не на несколько, как (обычно) в случае проброса исключения до catch. 0

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	18.09.2012, 23:18
	Тут скорей всего имеется ввиду, что при раскрутки стека, если выбрасывается исключение в каком либо декструкторе объекта ( например при уничтожении локальных объектов ), то никакие try catch уже не помогут, сразу же вызывается terminate. 0