[Атас!]
Заметим, что следующий код всё равно оказывается неработоспособным:
double d = maximum( 1 , 2.0 ) ;
_________________
310 стр. Часть 5. Полезные особенности
Проблема в том, что типы первого и второго аргументов различны, а при инстанцировании типы аргументов должны точно соответствовать объявлению функции. Приведённое же выражение может соответствовать шаблону maximum< T1 , Т2 > ( Т1 , Т2 ) ( тогда С++ заменит Т1 на int , а Т2 на double ), но не использовавшемуся ранее шаблону с одним аргументом типа.
Вы можете заставить С++ инстанцировать шаблон, использовав в программе объявление требуемой функции:
float maximum( float , float ) ; /* Заставляет С++ */
/* инстанцировать шаблон функции */
/* maximum< T >( Т , Т ) для Т = float */
«С++ даже не пытается компилировать шаблон функции до тех пор, пока шаблон не будет преобразован в реальную функцию. Если ваш шаблон содержит ошибки, вероятно, вы не узнаете о них до тех пор, пока не инстанцируете его.»
[Атас!]
►Шаблоны классов...311
С++ позволяет программисту определять шаблоны классов. Шаблон класса следует тем же принципам, что и использование обычного класса, с заменой фиктивного неизвестного типа известным на этапе компиляции. Например, в приведённой далее программе создаётся вектор некоторого пользовательского класса ( вектор — это контейнер, в котором объекты хранятся в линейном порядке, так что массив является классическим примером вектора ).
/* TemplateVector — реализация шаблона вектора */
#include <cstdlib>
#include <cstdio>
#include <iostream>
#include <sstream>
#include <string.h>
using namespace std ;
/* TemplateVector — простой шаблон массива */
template < class T >
class TemplateVector
{
public :
TemplateVector( int nArraySize )
{
/* Количество элементов массива */
nSize = nArraySize ;
array = new T[ nArraySize ] ;
reset( ) ;
}
int size( ) { return nWriteIndex ; }
void reset( ) { nWriteIndex = 0 ; nReadIndex = 0 ; }
void add( T object )
{
if ( nWriteIndex < nSize )
{
array[ nWriteIndex++ ] = object ;
}
}
T get( )
{
_________________
311 стр. Глава 27. Шаблоны С++
return array[ nReadIndex++ ] ;
}
protected :
int nSize ;
int nWriteIndex ;
int nReadIndex ;
T* array ;
} ;
/* Работа с двумя векторами — целых чисел и имён */
void intFn( ) ;
void nameFn( ) ;
int main( int argc , char* pArgs[ ] )
{
setlocale ( LC_ALL , ".1251" ) ; /* печать русских текстов */
intFn( ) ;
nameFn( ) ;
/* Пауза для того, чтобы посмотреть на результат работы программы */
system( "PAUSE" ) ; return 0 ;
}
/* Работа с целыми числами */
void intFn( )
{
/* Создание вектора */
TemplateVector< int > integers( 10 ) ;
/* Добавляем значения в вектор */
cout << "Введите последовательность целых чисел\n"
"для внесения в вектор ( отрицательное\n"