Для шаблонов функций, как известно, параметры по умолчанию присваивать не разрешается, однако специализировать шаблон можно (см. п. 14.8 в [1]). Но и в этом случае есть ограничение — частичная специализация функций запрещена, разрешается только полная специализация.
СОВЕТ
В этом случае тоже можно «обернуть» функцию в класс-шаблон и использовать, частичную специализацию класса-шаблона.
Например, вместо рассмотренной ранее функции max О с параметрами-указателями на символы можно специализировать исходный первичный шаблон (листинг 12.4).
Листинг 12.4. Специализация шаблона функции
template<typename Т> // шаблон
inline
Т const& max(T const& х, Т const& у) { return (х > у)?х:у; }
templateo // специализация шаблона
inline
char* const& max(char* const& x, char* const& y) { return (strcmp(x,y) > 0)?x:y; }
Специализация начинается с того же ключевого слова template с пустыми угловыми скобками. Вообще-то для полной специализации требуется указывать специализирующие параметры после имени шаблона, например:
templateo inline
// специализация шаблона
char* const& max<char*>(char* const& x, char* const& y)
{ return (strcmp(x.y) > 0)?x:y; // сравнение строк
}
Но для шаблонов функций этого практически всегда можно не делать, поскольку компилятор может вывести тип самостоятельно. Вызов специализированной версии демонстрирует следующий фрагмент программы:
char *sl = "0123456789\ *s2 ="1234567890"; float a = 1.0, b = 2.0;
cout << max(l,2) << endl; // шаблон с типом int
cout << max(l.0,2.0) << endl; // шаблон с типом double
cout << max(a.b) << endl; // шаблон с типом float
cout << max<>(sl,s2) << endl; // специализация с типом char*
|
Главная
Каталог файлов
