Обработчик типа 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). Особая ситуация считается обработанной после входа в телообработчика. В этот момент завершится "раскручивание стека".
