При запуске особой ситуации управление передается обработчику. Запусксопровождается передачей объект, тип которого определяет, какойобработчик должен перехватить особую ситуацию. Так, выражение throw "Help!"; может быть перехвачено некоторым обработчиком с типом char*: try { //... } catch(const char* p) { // здесь обрабатывается особая ситуация в символьных строках } а особая ситуация 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; // передача остальных особых ситуаций другому обработчику }
