Это, как ни странно, ожидаемое поведение. Документация гласит:
Within a handled exception, the associated finally block is guaranteed to be run. However, if the exception is unhandled, execution of the finally block is dependent on how the exception unwind operation is triggered. That, in turn, is dependent on how your computer is set up.
то есть
В случае пойманного исключения, блок finally
гарантированно выполнится. Однако в случае если исключение не поймано, выполнение блока finally
зависит от того, как именно была вызвана операция размотки стека. Это, в свою очередь, зависит от того, как настроен ваш компьютер.
В вашем случае как раз исключение не ловится, так что код в finally
имеет право потеряться.
Ещё несколько случаев, когда блок finally
не выполнится:
- Было брошено достаточно «вредное» исключение:
- Код блока
catch
(или одного из фильтров исключений) может никогда не завершиться, например, войти в бесконечный цикл или бесконечное ожидание (deadlock).
- Внутри блока
catch
(или одного из фильтров исключений) программа может быть завершена с использованием Environment.FailFast
или Environment.Exit
.
- Процесс может быть завершён операционной системой или другим процессом при помощи WinAPI-функции
TerminateProcess
. Ну или вашим же процессом тоже.
- Операционная система может перестать функционировать. Например, питание компьютера может отключиться за время выполнения
catch
.
Дополнение: Кажется, можно заставить выполниться блоки finally
в случае необработанного исключения, используя дополнительный блок try
/catch
/throw
вокруг всей программы:
try
{
try { Console.WriteLine(1); throw new Exception(); }
catch (DivideByZeroException) { Console.WriteLine(2); }
finally { Console.WriteLine(3); }
Console.WriteLine(4);
}
catch { throw; }
(Но я покамест не могу найти подтверждение этому в документации.)
За поведение размотки стека в отладчике отвечает вот эта настройка:
