Объектно-ориентированное программирование

10.5.5 Стандартные классы — индикаторы исключений

Стандартная библиотека C++ содержит иерархию стандартных классов- индикаторов исключений (рис. 10.5), объявленных в заголовочном файле stdexcept. Эти индикаторы можно использовать в собственных программах.

увеличить изображение
Рис. 10.5. Предопределённые индикаторы исключений

Назначение каждого класса-индикатора представлено в табл. 10.3.

Базовый класс exception содержит конструктор по умолчанию, конструктор копирования, деструктор, перегруженный оператор присваивания, а также единственный метод what(), возвращающий ASCIIZ-строку с человеко-читаемым описанием исключительной ситуации. Классы-потомки могут добавлять к этому свой собственный функционал, в зависимости от типа ошибок, для обработки которых они предназначены. Однако стандартные классы-индикаторы по существу являются простыми обёртками над exception, ограничиваясь возможностью указать конструктору класса-индикатора сообщение, которое должен возвращать метод what().

Воспользуемся в следующем примере двумя стандартными классами- индикаторами:

• выбрасываемым автоматически при выходе индекса за пределы строки (воспользуемся классом string из стандартной библиотеки);
• выбрасываемым при ошибке в ходе выполнения (соответствующее исключение будем генерировать сами).

#include <string>
#include <stdexcept>
#include <iostream>
using namespace std;
int main ( )
{
	//перехват выхода индекса за границу массива:
	try
	{
		string s ("sdf");
		s.replace (100, 1, 1, "c");
	}
	catch ( out_of_range &e )
	{
		cout << "Обнаружен выход индекса за границу массива: " << e.what ( ) << endl;
	}
	catch ( exception &e )
	{
		cout << "Обнаружена ошибка неопределённого вида: " << e.what ( ) << endl;
	}
	catch (...)
	{
		cout << "Неизвестная ошибка\n ";
	}
	//перехват ошибки, возникающей в момент выполнения:
	try
	{
		throw run time_error ( "ошибка в ходе выполнения" );
	}
	catch ( run time_error &e )
	{
		cout << "Обнаружена ошибка при выполнении программы: " << e.what ( ) << endl;
	}
	catch ( exception &e )
	{
		cout << "Обнаружена ошибка неопределённого вида: " << e.what ( ) << endl;
	}
	catch (...)
	{
		cout << "Неизвестная ошибка\n ";
	}
	return 0;
}

В первом случае исключение с индикатором out_of_range генерируется автоматически, когда мы допускаем выход индекса за границу строки (такая возможность реализована классом string из стандартной библиотеки). Во втором случае исключительную ситуацию с индикатором runtime_error (обозначающим ошибку, возникающую в момент выполнения программы) мы порождаем принудительно, передавая конструктору объекта — индикатора исключения строку с описанием подробностей.