Стенли Липпман - Язык программирования C++. Пятое издание

Исключения обеспечивают взаимодействие частей программы, обнаруживающих проблему и решающих ее. Обработка исключений в языке С++ подразумевает следующее.

• Оператор throwиспользуется частью кода обнаружившего проблему, с которой он не может справиться. Об операторе throwговорят, что он передает (raise) исключение.

• Блок tryиспользуется частью обработки исключения. Блок tryначинается с ключевого слова tryи завершается одной или несколькими директивами catch( catchclause). Исключения, переданные из кода, расположенного в блоке try, как правило, обрабатываются в одном из разделов catch. Поскольку разделы catchобрабатывают исключение, их называют также обработчиками исключений (exception handler).

• Набор определенных в библиотеке классов исключений (exception class) используется для передачи информации о произошедшем между операторами throwи соответствующими разделами catch.

В остальной части этого раздела три компонента обработки исключений рассматриваются последовательно. Более подробная информация об исключениях приведена в разделе 18.1.

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

Для примера вернемся к программе раздела 1.5.2, в которой суммируются два объекта класса Sales_item. Она проверяет, относятся ли обе прочитанные записи к одной книге. Если нет, она отображает сообщение об ошибке и завершает работу.

Sales_item item1, item2;

cin >> item1 >> item2;

// сначала проверить, представляют ли объекты item1 и item2

// одну и ту же книгу

if (item1.isbn() == item2.isbn()) {

cout << item1 + item2 << endl;

return 0; // свидетельство успеха

} else {

cerr << "Data must refer to same ISBN"

<< endl;

return -1; // свидетельство отказа

}

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

// сначала проверить, представляют ли объекты item1 и item2

// одну и ту же книгу

if (item1.isbn() != item2.isbn())

throw runtime_error("Data must refer to same ISBN");

// если управление здесь, значит, ISBN совпадают

cout << item1 + item2 << endl;

Если теперь ISBN окажутся разными, будет передан объект исключения типа runtime_error. Передача исключения завершает работу текущей функции и передает управление обработчику, способному справиться с этой ошибкой.

Тип runtime_errorявляется одним из типов исключения, определенных в заголовке stdexceptстандартной библиотеки. Более подробная информация по этой теме приведена в разделе 5.6.3. Объект класса runtime_errorследует инициализировать объектом класса stringили символьной строкой в стиле С (см. раздел 3.5.4). Эта строка представляет дополнительную информацию о проблеме.

Блок tryимеет следующий синтаксис:

try {

операторы_программы

} catch ( объявление_исключения ) {

операторы_обработчика

} catch ( объявление_исключения ) {

операторы_обработчика

} // ...

Блок tryначинается с ключевого слова try, за которым следует блок кода, заключенный в фигурные скобки.

Блок tryсопровождается одним или несколькими блоками catch. Блок catchсостоит из трех частей: ключевого слова catch, объявления (возможно, безымянного) объекта в круглых скобках (называется объявлением исключения (exception declaration)) и операторного блока. Когда объявление исключения в блоке catchсовпадает с исключением, выполняется связанный с ним блок. По завершении выполнения кода обработчика управление переходит к оператору, следующему непосредственно после него.

Операторы_программы в блоке tryявляются обычными программными операторами, реализующими ее логику. Подобно любым другим блокам кода, блоки tryспособны содержать любые операторы языка С++, включая объявления. Объявленные в блоке tryпеременные недоступны вне блока, в частности, они не доступны в блоках catch.