Почему это «наконец» выполняется?

Question

Если вы запустите приведенный ниже код он на самом деле выполняет наконец после каждого вызова Goto:

int i = 0; 
Found: 
    i++; 
    try 
    { 
     throw new Exception(); 
    } 
    catch (Exception) 
    { 
     goto Found; 
    } 
    finally 
    { 
     Console.Write("{0}\t", i); 
    } 

Почему?

Answer 1

Почему вы ожидаете, что он не будет выполнен?

Если у вас есть попытка/уловка/наконец или попытка/окончательный блок, то, наконец, блок выполняет независимо от того, какой код вы можете иметь в блоке try или catch most of the time.

Вместо того, чтобы перейти, рассмотрим «возвращение».

//imagine this try/catch/finally block is inside a function with return type of bool. 
try 
{ 
    throw new Exception(); 
} 
catch (Exception) 
{ 
    return false; //Let's say you put a return here, finally block still executes. 
} 
finally 
{ 
    Console.WriteLine("I am in finally!"); 
} 

Answer 2

Это по дизайну. В обработчике исключений вы можете принять какое-то конкретное действие с конкретными исключениями. В блоке finally вы должны выполнить очистку ресурсов - вот почему блок finally всегда выполняется независимо от того, какой код обработки исключений.

Answer 3

Кажется разумным. Блок finally всегда запускается после try или catch.

Аналогично

try 
{ 
    // do something 
    return; 
} 
finally 
{ 
    // do something else 
} 

будет всегда запускать finally блок. EDIT - но см. Комментарии Эрика выше.

Answer 4

Поскольку ожидается, что инструкция finally будет выполнена после выхода try (или catch, когда будет обнаружено исключение). Это включает в себя, когда вы делаете свой перехват.

Answer 5

Следующий текст приходит из C# Спецификация языка (8.9.3 The goto statement)

---

Оператор Гото выполняется следующим образом:

• Если оператор Гото выходит один или несколько TRY блоков с связанных блоков finally, управление сначала переносится в блок finally самого внутреннего заявления try. Когда и если управление достигает конечной точки блока finally, управление передается блоку finally следующего прилагаемого оператора try. Этот процесс повторяется до тех пор, пока не будут выполнены окончательные блоки всех промежуточных операторов try.
• Управление передается цели оператора goto.

Answer 6

Как уже упоминалось, finally работает независимо от программы. Конечно, блок finally не является обязательным, поэтому, если он вам не нужен, не используйте его.

Answer 7

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

Кто хочет попробовать перечислить их все?

Answer 8

Это точка блока finally. Он всегда выполняется (в значительной степени).