Гарантировано ли выполнение финализаторов в .NET в какой-то момент (перебои в подаче электроэнергии и т.п.)? Я знаю, как работает сборщик мусора, и что не детерминировано, когда именно они будут работать.
(Поиск не дал хороших ответов, поэтому я добавляю этот вопрос в ожидании слияния с не очень легкими для обнаружения фактическими ответами. Кроме того, я уже знаю ответ и собираюсь добавить его через несколько дней, если никто об этом не упомянул.)
На самом деле финализаторы могут быть никогда не запускаться, как объясняет Рэймонд Чен . Довольно забавно, что этот вопрос задают во время его ежегодной недели CLR, всего через два дня после того, как он это объяснил :)
Для ленивых вывод (а точнее, один):
Правильно написанная программа не может предполагать, что финализаторы когда-либо запустятся.
Если вам интересно, можно ли полагаться на финализаторы, это уже все, что вам нужно знать: не полагайтесь на финализаторы.
Как заявляет Раймонд Чен в связанной статье:
Финализаторы - это подстраховка, а не основное средство восстановления ресурсов.
Если вы ищете, как освободить ресурсы, взгляните на шаблон Disposable.
Финализатор может не работать, например, если:
(Примечание: значения времени могли со временем измениться, но определенно было верно некоторое время назад.)
Думаю, есть еще много вещей, из-за которых финализаторы никогда не запускаются. Суть в том, что помимо цитаты г-на Чена, финализаторы - это страховочная сетка, уменьшающая влияние ошибок, потому что, например, ресурсы высвобождаются когда-нибудь, что лучше, чем никогда, если вы забудете сделать это явно.
Если финализатор выдает исключение, другие финализаторы не будут выполняться.
Вы также можете подавить финализаторы, если вызовете SuppressFinalizer на объект.
Из MSDN (Object.Finalize):
Метод Finalize может не работать до конца или вообще не работать в следующих исключительных случаях:
- Другой финализатор блокируется на неопределенное время (входит в бесконечный цикл, пытается получить блокировку, которую он никогда не сможет получить, и так далее). Поскольку среда выполнения пытается запустить финализаторы до завершения, другие финализаторы могут не вызываться, если финализатор блокируется на неопределенное время.
- Процесс завершается, не давая среде выполнения возможности выполнить очистку. В этом случае первое уведомление среды выполнения о завершении процесса - это уведомление DLL_PROCESS_DETACH.
