Net framework 5, а также среды Visual Studio 2012 и C#

Глава.20 .Исключения.и.управление.состоянием
чения) обрабатывались все остальные виды исключений. Это эквивалентно блоку 
catch
для исключений типа 
System.Exception
, не считая того, что информация 
исключения в коде, заключенном в фигурные скобки, недоступна.
ПриМеЧание
При.отладке.блока.catch.в.Microsoft.Visual.Studio.для.просмотра.текущего.исклю-
чения.следует.добавить.в.окно.контрольных.значений.специальную.переменную.
$exception 
Поиск подходящего блока 
catch
в CLR осуществляется сверху вниз, поэтому 
наиболее конкретные обработчики должны находиться в начале списка. Снача-
ла следуют потомки с наибольшей глубиной наследования, потом — их базовые 
классы (если таковые имеются) и, наконец, — класс 
System.Exception
(или блок 
с неуказанным типом исключений). В противном случае компилятор сообщит об 
ошибке, так как более узкоспециализированные блоки в такой ситуации окажутся 
для него недостижимыми.
Исключение, сгенерированное при выполнении кода блока 
try
(или любого вы-
званного этим блоком метода), инициирует поиск блоков 
catch
соответствующего 
типа. При отсутствии совпадений CLR продолжает просматривать стек вызовов 
в поисках типа исключения, соответствующего данному исключению. Если при до-
стижении вершины стека блок 
catch
нужного типа обнаружен не будет, исключение 
считается необработанным. Эту ситуацию мы рассмотрим чуть позже.
При обнаружении блока 
catch
нужного типа CLR исполняет все внутренние 
блоки 
finally
, начиная со связанного с блоком 
try
, в котором было вброшено 
исключение, и заканчивая блоком 
catch
нужного типа. При этом ни один блок 
finally
не выполняется до завершения действий с блоком 
catch
, обрабатывающим 
исключение.
После того как код внутренних блоков 
finally
будет выполнен, исполняется 
код из обрабатывающего блока 
catch
. Здесь выбирается способ восстановления 
после исключения. Затем можно выбрать один из трех вариантов действий:
‰
еще раз сгенерировать то же исключение для передачи информации о нем коду, 
расположенному выше в стеке;
‰
сгенерировать исключение другого типа для передачи дополнительной инфор-
мации коду, расположенному выше в стеке;
‰
позволить программному потоку выйти из блока 
catch
естественным образом.
О том, в каких ситуациях следует выбрать каждый из этих способов, мы по-
говорим немного позже. При выборе первого или второго варианта действий CLR 
работает по уже рассмотренной схеме: просматривает стек вызовов в поисках блока 
catch
, тип которого соответствует типу сгенерированного исключения.

---

501
Механика.обработки.исключений
В последнем же случае происходит переход к блоку 
finally
(если он, конечно, 
существует). После выполнения всего содержащегося в нем кода управление пере-
ходит к расположенной после блока 
finally
инструкции. Если блок 
finally
отсут-
ствует, поток переходит к инструкции, расположенной за последним блоком 
catch
.
В C# после типа перехватываемого исключения можно указать имя перемен-
ной, которая будет ссылаться на сгенерированный объект, потомок класса 
System.
Exception
. В коде блока 
catch
эту переменную можно использовать для получения 
информации об исключении (например, данных трассировки стека, приведшей 
к исключению). Объект, на который ссылается переменная, в принципе можно 
редактировать, но я рекомендую рассматривать его как предназначенный только 
для чтения. Впрочем, подробный разговор о типе 
Exception
и манипуляциях им 
вынесен в отдельный раздел.