Обработка множеств исключений

Обработка множеств исключений

В простейшем варианте блок try имеет единственный блок catch. Но на практике часто возникает ситуация, когда операторы в рамках блока try способны создавать множество возможных исключений. Например, представьте себе, что метод Accelerate() дополнительно генерирует определенное библиотекой базовых классов исключение ArgumentOutOfRangeException, когда вы передаете методу недопустимый параметр (мы предполагаем, что недопустимым считается любое значение, меньшее нуля).

// Прежде чем продолжить, проверим допустимость аргумента.

public void Accelerate (int delta) {

 if (delta ‹ 0) throw new ArgumentOutOfRangeException("Скорость должна быть выше нуля!");

}

Рис. 6.5. Шаблон программного кода Exception

Логика catch должна соответствовать каждому типу исключений.

static void Main(string [] args) {

 …

 // Здесь учитывается множество исключений.

try {

 for (int i = 0; i ‹ 10; i++) myCar.Accelerate(10);

} catch(CarIsDeadExeeption e) {

 // Обработка CarIsDeadException.

} catch (ArgumentOutOfRangeException e) {

 // Обработка ArgumentOutOfRangeException.

}

При создании множества блоков catch следует учитывать то, что сгенерированное исключение будет обработано "первым подходящим" бликом catch. Чтобы понять, что такое "первый подходящий" блок catch, добавьте в предыдущий фрагмент программного кода еще один блок catch, который будет обрабатывать все исключения после CarIsDeadException и ArgumentOutOfRangeException, выполняя захват System.Exception общего вида, как показано ниже.

// Этот программный код не компилируется!

static void Main(string[] args) {

 …

 try {

  for (int i = 0; i ‹ 10; i++) myCar.Accelerate(10);

 } catch(Exception e) {

  // Обработка всех остальных исключений?

 } catch(CarIsDeadException e) {

  // Обработка CarIsDeadException.

 } catch(ArgumentOutOfRangeException e) {

  // Обработка ArgumentOutOfRangeException.

 }

 …

}

Такая логика обработки исключений порождает ошибки компиляции. Проблема в том, что первый блок catch может обработать все, что оказывается производным от System.Exception, включая типы CarIsDeadException и ArgumentOutOfRangeException. Таким образом, оставшиеся два блока catch оказываются просто недостижимыми!

Правило, которое следует использовать на практике, заключается в необходимости размещать блоки catch так, чтобы первый блок соответствовал самому "частному" исключению (т.е. самому младшему производному типу в цепочке наследования), а последний блок – самому "общему" (т.е. базовому классу данной цепочки, в данном случае это System.Exception).

Поэтому если вы хотите определить оператор catch, который обработает все ошибки после CarIsDeadException и ArgumentOutOfRangeException, вы должны записать следующее.

// Этот программный код будет скомпилирован.

static void Main(string[] args) {

 …

 try {

  for (int i = 0; i ‹ 10; i++) myCar.Accelerate(10);

 } catch(CarIsDeadException e) {

  // Обработка CarIsDeadException.

 } catch(ArgumentOutOfRangeException) {

  // Обработка ArgumentOutOfRangeException.

 } catch (Exception e) {

  // Здесь будут обработаны все остальные возможные исключения,

  // генерируемые операторами в рамках try.

 }

 …

}