}
а особая ситуация Overflow (переполнение):
class Overflow {
//…
public:
Overflow(char,double,double);
};
void f(double x)
{
//…
throw Overflow('+',x,3.45e107);
}
может быть перехвачена обработчиком
try {
//…
f(1.2);
//…
}
catch(Overflow& oo) {
// здесь обработка особой ситуации типа Overflow
}
При запуске особой ситуации управление передается ближайшему обработчику соответствующего типа. "Ближайший" - это обработчик, проверяемый-блок которого последним получил управление и оно еще не было передано оттуда. Что такое "соответствующий" тип определяется в §R.15.4.
При выполнении выражения-запуска создается временный объект статического типа, который служит операндом в команде throw, Этот объект используется для инициализации переменной, соответствующего типа, описанной в обработчике. Если не считать ограничений на сопоставление типов (см. §R.15.4) и использование временной переменной, то операнд throw аналогичен параметру функции при вызове (§R.5.2.2) или операнду в операторе return.
Если можно было бы, не меняя смысла программы за счет отказа от вызовов конструкторов и деструкторов для временного объекта (§R.12.1), обойтись совсем без временного объекта, то особую ситуацию можно было бы непосредственно инициализировать в обработчике параметром выражения запуска.
Если в выражении-запуска операнд не задан, то происходит перезапуск обработки особой ситуации. Такое выражение-запуска может появится только в самом обработчике или в функции, которая непосредственно или опосредованно вызывается из него. Например, фрагмент программы, который выполняется при обработке особой ситуации, если нельзя еще полностью провести эту обработку, может выглядеть так:
try {
//…
}
catch (…) { // перехват всех особых ситуаций
// (частичная) обработка особых ситуаций
throw; // передача остальных особых ситуаций другому обработчику
}
R.15.3 Конструкторы и деструкторы
Когда управление передается из точки запуска особой ситуации обработчику, то вызываются деструкторы для всех автоматических объектов, построенных с момента входа в проверяемый-блок.
Если объект не был построен полностью, то деструкторы вызываются только для полностью построенных вложенных в него объектов. Кроме того, если особая ситуация запускается в конструкторе при построении элемента автоматического массива, то уничтожаться будут только уже построенные элементы этого массива.
Процесс вызова деструкторов для уничтожения автоматических объектов, построенных в ходе выполнения программы от начала проверяемого-блока до выражения-запуска, называется "раскручиванием стека".
R.15.4 Обработка особой ситуации
Обработчик типа T, const T, T& или const& сопоставим с выражением-запуска, имеющим операнд типа E, если:
[1] T и E являются одним типом;
[2] T является доступным (§R.4.6) базовым классом E в точке запуска;
[3] T является типом указателя, а E является таким типом указателя, который можно в точке запуска преобразовать в T с помощью стандартных преобразований указателя (§R.4.6).
Рассмотрим пример:
class Matherr {/*… */ virtual vf(); };
class Overflow: public Matherr {/*… */};
class Underflow: public Matherr {/*… */};
class Zerodivide: public Matherr {/*… */};
void f()
{
try {
g();
}
catch (Overflow oo) {
//…
}
catch (Matherr mm) {
//…
}
}
Здесь обработчик Overflow будет перехватывать ситуации типа Overflow, а обработчик Matherr будет перехватывать ситуации типа Matherr и всех типов, являющихся общими производными от Matherr, включая Underflow и Zerodivide.
Обработчики в проверяемом-блоке подбираются для данной особой ситуации в порядке их описания. Считается ошибкой, если обработчик для базового класса помещен перед обработчиком для производного класса, поскольку при таком расположении управление никогда не попадет к обработчику для производного класса.
Эллипсис … в описании-особой-ситуации действует так же как, и в описании параметров функции, он сопоставим с любой особой ситуацией. Если задан эллипсис, то использующий его обработчик должен идти последним в проверяемом-блоке.
Если в проверяемом-блоке не произошло сопоставления ни с одним из обработчиков, поиск соответствующего обработчика продолжается в динамически объемлющем проверяемом-блоке. Если во всей программе не произошло сопоставления ни с одним обработчиком, вызывается функция terminate() (§R.15.7).
Особая ситуация считается обработанной после входа в тело обработчика. В этот момент завершится "раскручивание стека".