Специализация шаблона функции

Несколько напоминает перегрузку шаблонов ситуация, когда определяется обычная функция, имя которой совпадает с именем шаблона и список параметров которой соответствует шаблону с некоторым специфическим набором фактических типов. Такую функцию называют специализированной функцией шаблона. Этот прием применяют, когда для некоторого типа или набора типов общий шаблон работать не будет.

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

char *Max(char *a, char *b) {

return strcmp(a, b) > 0? а : b;

}

Когда компилятор встречает вызов какой-то функции, для его разрешения он следует такому алгоритму:

Ниже приводится полный пример, иллюстрирующий различные аспекты перегрузки и специализации шаблонов.

////////////////////////////////////////////////////////

// Functemp.cpp: Шаблоны функций.

//

#include <string.h>

#include <iostream.h>

#pragma hdrstop

#include <condefs.h>

// Возвращает больший из двух аргументов.

template <class Т> Т Мах(Т а, Т b) {

return a > b? a : b;

}

// Возвращает наибольший элемент массива.

template <class Т> Т Мах(Т аrr[], size_t size) {

Т maxVal = arr[0] ;

for(unsigned i=l; i<size; i++)

if (arr[i] > maxVal)

maxVal = arr[i] ;

return maxVal;

}

// Возвращает большую из двух строк.

char *Max(char *a, char *b)

{

return strcmp(a, b) > 0? а : b;