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

Эта программа состоит из двух файлов. В файле File1.C нет объявления явной специализации max(const char*, const char*). Вместо этого шаблон функции конкретизируется из обобщенного определения. В файле File2.C объявлена явная специализация, и при обращении к max("hi", "again") именно она и вызывается. Поскольку в одной и той же программе функция max(const char*, const char*) то конкретизируется по шаблону, то специализируется явно, компилятор считает программу некорректной. Для исправления этого объявление явной специализации шаблона должно предшествовать вызову функции max(const char*, const char*) в файле File1.C.

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

// --------- max.h -------

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

template class Type

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

// объявление явной специализации шаблона для const char*

typedef const char *PCC;

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

// --------- File1.C -------

#include iostream

#include "max.h"

void another();

int main() {

// специализация

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

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

// ....

}

Упражнение 10.10

Определите шаблон функции count() для подсчета числа появлений некоторого значения в массиве. Напишите вызывающую программу. Последовательно передайте в ней массив значений типа double, int и сhar. Напишите специализированный экземпляр шаблона count() для обработки строк.

10.7. Перегрузка шаблонов функций А

Шаблон функции может быть перегружен. В следующем примере есть три перегруженных объявления для шаблона min():

// определение шаблона класса Array

// (см. раздел 2.4)

template typename Type

class Array( /* ... */ };

// три объявления шаблона функции min()

template typename Type

Type min( const ArrayType, int ); // #1

template typename Type

Type min( const Type*, int ); // #2

template typename Type

Type min( Type, Type ); // #3

Следующее определение main() иллюстрирует, как могут вызываться три объявленных таким образом функции:

#include cmath

int main()

{

Arrayint iA(1024); // конкретизация класса

int ia[1024];

// Type == int; min( const Arrayint, int )

int ival0 = min( iA, 1024 );

// Type == int; min( const int*, int )

int ival1 = min( ia, 1024 );

// Type == double; min( double, double )

double dval0 = min( sqrt( iA[0] ), sqrt( ia[0] ) );

return 0;

}

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

template typename T

int min5( T, T ) { /* ... */ }

функция не конкретизируется по шаблону, если min5() вызывается с аргументами разных типов; при этом процесс вывода заканчивается с ошибкой, поскольку из фактических аргументов функции выводятся два разных типа для T.

int i;

unsigned int ui;

// правильно: для T выведен тип int

min5( 1024, i );

// вывод аргументов шаблона заканчивается с ошибкой:

// для T можно вывести два разных типа

min5 ( i, ui );

Для разрешения второго вызова можно было бы перегрузить min5(), допустив два различных типа аргументов:

template typename T, typename U

int min5( T, U );

При следующем обращении производится конкретизация этого шаблона функции: