19. Иерархии исклю­чений

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

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

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

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

class Matherr{}:

class Overflow: public Matherr{}: // Переполнение

class Underflow: public Matherr{}: // Исчезновение порядка

class ZeroDivide: public Matherr{}: // Деление на ноль

20. Исключения в конструкторах и деструкторах

Механизм исключений дает возможность сообщить об ошибке, возникшей в конструкторе

или деструкторе объекта.

В обработчике может использоваться стандартный набор основных способов выдачи

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

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

21. Преобразование типов. Неявные преобразования типов

При выполнении программы производятся явные и неявные преобразования величин

из одного типа в другой. Неявное преобразование типов данных выполняет компилятор С++, ну а явное преобразование данных выполняет сам программист.

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

x	y	Результат деления	Пример
Делимое	делитель	частное	x = 15 y = 2
int	int	int	15/2=7
int	float	float	15/2=7.5
float	int	float	15/2=7.5

Из таблицы видно, что меняя переменные различных типов данных местами, результат остается тот же (в нашем случае это делимое и делитель).