C++ для начинающих

Явное определение специализации – это такое определение, в котором за ключевым словом template следует пара угловых скобок , а за ними – определение специализированного шаблона. Здесь указывается имя шаблона, аргументы, для которых он специализируется, список параметров функции и ее тело. В следующем примере для max(const char*, const char*) определена явная специализация:

#include cstring

// явная специализация для const char*:

// имеет приоритет над конкретизацией шаблона

// по обобщенному определению

typedef const char *PCC;

template PCC max PCC ( PCC s1, PCC s2 ) {

return ( strcmp( s1, s2 ) 0 ? s1 : s2 );

Поскольку имеется явная специализация, шаблон не будет конкретизирован с типом const char* при вызове в программе функции max(const char*, const char*). При любом обращении к max() с двумя аргументами типа const char* работает специализированное определение. Для любых других обращений функция сначала конкретизируется по обобщенному определению шаблона, а затем вызывается. Вот как это выглядит:

#include iostream

// здесь должно быть определение шаблона функции max()

// и его специализации для аргументов const char*

int main() {

// вызов конкретизированной функции: int max int ( int, int );

int i = max( 10, 5 );

// вызов явной специализации:

// const char* max const char* ( const char*, const char* );

const char *p = max( "hello", "world" );

p endl;

return 0;

}

Можно объявлять явную специализацию шаблона функции, не определяя ее. Например, для функции max(const char*, const char*) она объявляется так:

// объявление явной специализации шаблона функции

template PCC max PCC ( PCC, PCC );

При объявлении или определении явной специализации шаблона функции нельзя опускать слово template и следующую за ним пару скобок . Кроме того, в объявлении специализации обязательно должен быть список параметров функции:

// ошибка: неправильные объявления специализации

// отсутствует template

PCC max PCC ( PCC, PCC );

// отсутствует список параметров

template PCC max PCC ;

Однако здесь можно опускать задание аргументов шаблона, если они выводятся из формальных параметров функции:

// правильно: аргумент шаблона const char* выводится из типов параметров

template PCC max( PCC, PCC );

В следующем примере шаблон функции sum() явно специализирован:

template class T1, class T2, class T3

T1 sum( T2 op1, T3 op2 );

// объявления явных специализаций

// ошибка: аргумент шаблона для T1 не может быть выведен;

// он должен быть задан явно

template double sum( float, float );

// правильно: аргумент для T1 задан явно,

// T2 и T3 выводятся и оказываются равными float

template double sumdouble( float, float );

// правильно: все аргументы заданы явно

template int sumint,char( char, char );

Пропуск части template в объявлении явной специализации не всегда является ошибкой. Например:

// обобщенное определение шаблона

template class T

T max( T t1, T t2 ) { /* ... */ }

// правильно: обычное объявление функции

const char* max( const char*, const char*);

Однако эта инструкция не является специализацией шаблона функции. Здесь просто объявляется обычная функция с типом возвращаемого значения и списком параметров, которые соответствуют полученным при конкретизации шаблона. Объявление обычной функции, являющееся конкретизацией шаблона, не считается ошибкой.