Вариант шаблона для конкретного набора шаблонных аргументов называется специализацией (specialization). Процесс генерации специализаций на основе шаблона и набора аргументов называется конкретизацией шаблона (template instantiation). Как правило, эту задачу решает компилятор, но программист также может самостоятельно определить отдельную специализацию. Обычно это делается, когда общий шаблон для конкретного набора аргументов неприемлем. Рассмотрим пример.
template struct Compare { // общее сравнение bool operator()(const T& a, const T& b) const {
return a
}
};
template<> struct Compare { // сравнение C-строк bool operator()(const char* a, const char* b) const {
return strcmp(a,b)==0;
}
};
Compare c2; // общее сравнение
Compare c; // сравнение С-строк
bool b1 = c2(1,2); // общее сравнение
bool b2 = c(MasdM,MdfgM); // сравнение С-строк
Аналогом специализации для функций является перегрузка. template bool compare(const T& a, const T& b)
{
return a
}
bool compare (const char* a, const char* b) // сравнение С-строк {
return strcmp(a,b)==0;
}
bool b3 = compare(2,3); // общее сравнение
bool b4 = compare("asd",MdfgM); // сравнение С-строк
Отдельная компиляция шаблонов (когда в заголовочных файлах содержатся только объявления, а в исходных файлах — однозначные определения) не гарантирует переносимость программы, поэтому, если шаблон необходимо использовать в разных исходных файлах, в заголовочном файле следует дать его полное определение.
Шаблонные типы членов-классов
Шаблон может иметь как члены, являющиеся типами, так и члены, не являющиеся типами (как данные-члены и функции-члены). Это значит, что в принципе трудно сказать, относится ли имя члена к типу или нет. По техническим причинам, связанным с особенностями языка программирования, компилятор должен знать это, поэтому мы ему должны каким-то образом передать эту информацию. Для этого используется ключевое слово typename. Рассмотрим пример.
template struct Vec {
typedef T value_type; // имя члена
A. 14. ИСКЛЮЧЕНИЯ
1129
static int count; // данное-член
// . . .
};
template void my_fct(Vec& v)
{
int x = Vec::count; // имена членов по умолчанию
// считаются относящимися не к типу v.count = 7; // более простой способ сослаться
// на член, не являющийся типом typename Vec::value_type xx = x; // здесь нужно слово
// "typename"
// . . .
}
Исключения используются (посредством инструкции throw) для того, чтобы сообщить вызывающей функции об ошибке, которую невозможно обработать на месте. Например, спровоцируем исключение Bad_size в классе Vector.
struct Bad_size { int sz;
Bad_size(int s) : ss(s) { }
};
class Vector {
Vector(int s) { if (s<0 || maxsize
// . . .
};
Как правило, мы генерируем тип, определенный специально для представления конкретной ошибки. Вызывающая функция может перехватить исключение.
void f(int x)
{
try {
Vector v(x); // может генерировать исключения // . . .
}
catch (Bad_size bs) {
cerr << "Вектор неправильного размера (" << bs.sz << ")\n"; // . . .
}
}
Для перехвата всех исключений можно использовать инструкцию catch (... ) .
try {
// . . .
} catch (...) { // перехват всех исключений
// . . .
}
Как правило, лучше (проще, легче, надежнее) применять технологию RAII (“Resource Acquisition Is Initialization” — “выделение ресурсов — это инициализация”), чем использовать множество явных инструкций try и catch.
Инструкция throw без аргументов (т.е. throw;) повторно генерирует текущее исключение. Рассмотрим пример.
try {
// . . .
} catch (Some_exception& e) {
// локальная очистка
throw; // остальное сделает вызывающая функция
}
Опубликовал katy
May 04 2015 20:25:45 ·
0 Комментариев ·
2610 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
