►Обобщение функции в шаблон...309
Шаблонная функция позволяет вам написать нечто, выглядящее как обычная функция, но в отличие от обычной, такая функция может использовать один или несколько фиктивных заменителей типов, которые С++ затем преобразует в реальные типы во время компиляции. Вот программа, в которой определяется шаблон обобщённой функции maximum( ).
/* MaxTemplate — шаблон функции maximum( ), возвращающей */
/* наибольшее значение из двух аргументов */
#include <cstdio>
#include <cstdlib>
#include <iostream>
using namespace std ;
template < class T >
T maximum( T t1 , T t2 )
{
if ( t1 > t2 )
{
return t1 ;
}
return t2 ;
} ;
int main( int argc , char* pArgs[ ] )
{
/* печать кириллицы, если Вы не установите программки gccrus.exe и g++rus.exe */
setlocale ( LC_ALL , ".1251" ) ;
/* Ищем максимум из двух int */
cout << "Максимум из 1 и 2 равен "
<< maximum( 1 , 2 )
<< endl ;
/* Ищем максимум из двух double */
cout << "Максимум из 1.5 и 2.5 равен "
<< maximum( 1.5 , 2.5 )
<< endl ;
/* Пауза для того, чтобы посмотреть на результат работы программы */
system( "PAUSE" ) ; return 0 ;
}
_________________
309 стр. Глава 27. Шаблоны С++
Обратите внимание на ключевое слово template, за которым следуют угловые скобки — в скобках могут содержаться заменители типов, каждому из которых предшествует слово class, или константы. В нашем случае определение функции maximum( ) использует "неизвестный тип" Т. После угловых скобок идёт обычное определение функции, которая в нашем случае возвращает большее из двух значений типа Т — типа, который будет определён позже в программе.
Шаблон функции бесполезен до тех пор, пока он не преобразуется в реальную функцию, когда С++ заменяет Т ( для обозначения неизвестного типа могут использоваться любые идентификаторы, а не только Т ) реальным типом. В приведённой программе функция main( ) неявно заставляет С++ создать две версии функции maximum( ).
«Создание функции из шаблона называется его настройкой, или инстанцированием.»
[Советы]
Первый вызов maximum( 1 , 2 ) заставляет С++ создать версию функции, в которой Т заменяется на int. Второй вызов создаёт отдельную функцию maximum( double , double ). В результате вывод программы имеет следующий вид.
Максимум из 1 и 2 равен 2
Максимум из 1.5 и 2.5 равен 2.5
Press any key to continue...
«Будьте внимательны с терминологией. Шаблон функции не является функцией. Прототип шаблона функции — maximum< T >( Т , Т ), а функция, которую создаёт данный шаблон при замене Т на int, — maximum ( int , int ) ( это уже функция, а не шаблон ).»
[Атас!]
Заметим, что следующий код всё равно оказывается неработоспособным:
double d = maximum( 1 , 2.0 ) ;
_________________
310 стр. Часть 5. Полезные особенности
Проблема в том, что типы первого и второго аргументов различны, а при инстанцировании типы аргументов должны точно соответствовать объявлению функции. Приведённое же выражение может соответствовать шаблону maximum< T1 , Т2 > ( Т1 , Т2 ) ( тогда С++ заменит Т1 на int , а Т2 на double ), но не использовавшемуся ранее шаблону с одним аргументом типа.
Вы можете заставить С++ инстанцировать шаблон, использовав в программе объявление требуемой функции:
float maximum( float , float ) ; /* Заставляет С++ */
/* инстанцировать шаблон функции */
/* maximum< T >( Т , Т ) для Т = float */
«С++ даже не пытается компилировать шаблон функции до тех пор, пока шаблон не будет преобразован в реальную функцию. Если ваш шаблон содержит ошибки, вероятно, вы не узнаете о них до тех пор, пока не инстанцируете его.»
[Атас!]