в заголовочных файлах содержатся только объявления, а в исходных файлах — однозначные определения) не гарантирует переносимость программы, поэтому, если шаблон необходимо использовать в разных исходных файлах, в заголовочном файле следует дать его полное определение.
A.13.3. Шаблонные типы членов-классов
Шаблон может иметь как члены, являющиеся типами, так и члены, не являющиеся типами (как данные-члены и функции-члены). Это значит, что в принципе трудно сказать, относится ли имя члена к типу или нет. По техническим причинам, связанным с особенностями языка программирования, компилятор должен знать это, поэтому мы ему должны каким-то образом передать эту информацию. Для этого используется ключевое слово
typename
. Рассмотрим пример.
template<class T> struct Vec {
typedef T value_type; // имя члена
static int count; // данное-член
// ...
};
template<class T> void my_fct(Vec<T>& v)
{
int x = Vec<T>::count; // имена членов по умолчанию
// считаются относящимися не к типу
v.count = 7; // более простой способ сослаться
// на член, не являющийся типом
typename Vec<T>::value_type xx = x; // здесь нужно слово
// "typename"
// ...
}
Более подробная информация о шаблонах приведена в главе 19.
A.14. Исключения
Исключения используются (посредством инструкции
throw
) для того, чтобы сообщить вызывающей функции об ошибке, которую невозможно обработать на месте. Например, спровоцируем исключение
Bad_size
в классе
Vector
.
struct Bad_size {
int sz;
Bad_size(int s):ss(s) { }
};
class Vector {
Vector(int s) { if (s<0 || maxsize<s) throw Bad_size(s); }
// ...
};
Как правило, мы генерируем тип, определенный специально для представления конкретной ошибки. Вызывающая функция может перехватить исключение.
Для перехвата всех исключений можно использовать инструкцию
catch (...)
.
try {
// ...
} catch (...) { // перехват всех исключений
// ...
}
Как правило, лучше (проще, легче, надежнее) применять технологию RAII (“Resource Acquisition Is Initialization” — “выделение ресурсов — это инициализация”), чем использовать множество явных инструкций
try
и
catch
(см. раздел 19.5).
Инструкция
throw
без аргументов (т.е.
throw;
) повторно генерирует текущее исключение. Рассмотрим пример.
try {
// ...
} catch (Some_exception& e) {
// локальная очистка
throw; // остальное сделает вызывающая функция
}
В качестве исключений можно использовать типы, определенные пользователем. В стандартной библиотеке определено несколько типов исключений, которые также можно использовать (раздел Б.2.1). Никогда не используйте в качестве исключений встроенные типы (это может сделать кто-то еще, и ваши исключения могут внести путаницу).
Когда генерируется исключение, система поддержки выполнения программ на языке С++ ищет вверх по стеку раздел
catch
, тип которого соответствует типу генерируемого объекта. Другими словами, она ищет инструкции
try
в функции, генерирующей исключение, затем в функции, вызвавшей функцию, генерирующую исключение, затем в функции, вызвавшей функцию, вызвавшей функцию, которая генерирует исключение, пока не найдет соответствие. Если соответствие найдено не будет, программа прекратит работу. В каждой функции, обнаруженной на этом пути, и в каждой области видимости, в которой проходит поиск, вызывается деструктор. Этот процесс называется раскруткой стека (stack unwinding).
Объект считается созданным в тот момент, когда заканчивает работу его конструктор. Он уничтожается либо в процессе раскрутки стека, либо при каком-либо ином выходе из своей области видимости. Это подразумевает, что частично созданные объекты (у которых некоторые члены или базовые объекты созданы, а некоторые — нет), массивы и переменные, находящиеся в области видимости, обрабатываются корректно. Подобъекты уничтожаются, если и только если они ранее были созданы. Не генерируйте исключение, передающееся из деструктора в вызывающий модуль. Иначе говоря, деструктор не должен давать сбой. Рассмотрим пример.