Суть полученных ответов - что когда контроль покидает защищенную область любыми средствами, будь то «возврат», «переход», «прерывание», «продолжение» или «бросок», выполняется «наконец» - правильный. Тем не менее, я отмечаю, что почти каждый ответ говорит что-то вроде «блок finally всегда выполняется». Блок finally НЕ всегда выполняется. Существует множество ситуаций, в которых блок finally не выполняется.
Кто хочет попытаться перечислить их все?