R.14.8 Статические члены и переменные

Для каждого шаблонного класса или функции, создаваемых по шаблону типа, образуется своя копия статических переменных или членов. Рассмотрим пример: template<class T> class X { static T s; // ... }; X<int> aa; X<char*> bb; Здесь в классе X<int> есть статический член типа int, а в классе X<char> есть статический член типа char*. Аналогично, в приведенном ниже примере, функция f(int*) имеет статический член s типа int, а функция f(char**) имеет статический член типа char**: template<class T> f(T* p) { static T s; // ... } void g(int a, char* b) { f(&a); f(&b); }

R.15 Обработка особых ситуаций r.15.1 Обработка особых ситуаций

При обработке особых ситуаций в ходе выполнения программы информация и управление передаются из некоторой точки обработчику особых ситуаций. Обработчик находится в цепочке выполненных вызовов функций. Управление обработчику передается с помощью выражения-запуска, которое может быть только в проверяемом-блоке обработчика или в функции, вызванной из проверяемого-блока. проверяемый-блок: try составной-оператор список-обработчиков список-обработчиков: обработчик список-обработчиков opt обработчик: catch ( описание-особой-ситуации ) составной-оператор описание-особой-ситуации: список-спецификаций-типа описатель список-спецификаций-типа абстрактный-описатель список-спецификаций-типа ... выражение-запуска: throw выражение opt Конструкция проверяемый-блок является оператором ($$R.6), а выражение-запуска - унарным выражением типа void ($$R.5). Иногда выражение-запуска называют "точкой запуска", а про функцию, в которой встретилось выражение-запуска, говорят, что она "запускает особую ситуацию. Часть программы, которой передается управление из точки запуска называется обработчиком.

R.15.2 Запуск особой ситуации

При запуске особой ситуации управление передается обработчику. Запуск сопровождается передачей объект, тип которого определяет, какой обработчик должен перехватить особую ситуацию. Так, выражение 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; // передача остальных особых ситуаций другому обработчику }