Язык программирования C++ для профессионалов
Различение особых ситуаций
Естественно, в программе возможны несколько различных динамических ошибок. Эти ошибки можно сопоставить с особыми ситуациями, имеющими различные имена. Так, в классе Vector обычно приходится выявлять и сообщать об ошибках двух видов: ошибки диапазона и ошибки, вызванные неподходящим для конструктора параметром:
class Vector { int* p; int sz; public: enum { max = 32000 }; class Range { }; // особая ситуация индекса class Size { }; // особая ситуация "неверный размер" Vector(int sz); int& operator[](int i);
// ... };
Как было сказано, операция индексации запускает особую ситуацию Range, если ей задан выходящий из диапазона значений индекс. Конструктор запускает особую ситуацию Size, если ему задан недопустимый размер вектора:
Vector::Vector(int sz) { if (sz<0 || max<sz) throw Size(); // ... }
Пользователь класса Vector может различить эти две особые ситуации, если в проверяемом блоке (т.е. в блоке оператора try) укажет обработчики для обеих ситуаций:
void f() { try { use_vectors(); } catch (Vector::Range) { // ... } catch (Vector::Size) { // ... } }
В зависимости от особой ситуации будет выполняться соответствующий обработчик. Если управление дойдет до конца операторов обработчика, следующим будет выполняться оператор, который идет после списка обработчиков:
void f() { try { use_vectors(); } catch (Vector::Range) { // исправить индекс и // попробовать опять: f(); } catch (Vector::Size) { cerr << "Ошибка в конструкторе Vector::Size"; exit(99); } // сюда мы попадем, если вообще не было особых ситуаций // или после обработки особой ситуации Range }
Список обработчиков напоминает переключатель, но здесь в теле обработчика операторы break не нужны. Синтаксис списка обработчиков отличен от синтаксиса вариантов case переключателя частично по этой причине, частично потому, чтобы показать, что каждый обработчик определяет свою область видимости (см. §9.8).
Не обязательно все особые ситуации перехватывать в одной функции:
void f1() { try { f2(v); } catch (Vector::Size) { // ... } }
