СОЗДАНИЕ ПРОСТОГО ШАБЛОНА ФУНКЦИИ
Шаблон функции определяет типонезависимую функцию. С помощью такого шаблона ваши программы в дальнейшем могут определить конкретные функции с требуемыми типами. Например, ниже определен шаблон для функции с именем тах, которая возвращает большее из двух значений:
templateclass Т Т mах(Т а, Т b)
{
if (а b) return(а);
else return(b);
}
Буква T данном случае представляет собой общий тип шаблона. После определения шаблона внутри вашей программы вы объявляете прототипы функций для каждого требуемого вам типа. В случае шаблона тах следующие прототипы создают функции типа float и int.
float max(float, float);
int max(int, int);
Когда компилятор C++ встретит эти прототипы, то при построении функции он заменит тип шаблона T указанным вами типом. В случае с типом float функция тах после замены примет следующий вид:
templateclass Т Т max(Т а, Т b)
{
if (a b) return(а) ;
else return(b);
}
float max(float a, float b)
{
if (a b) return(a) ;
else return(b);
}
Следующая программа МАХ_ТЕМР.СРР использует шаблон тах для создания функции типа int и float.
#include iostream.h
templateclass T Т mах(Т а, Т b)
{
if (a b) return(a);
else return(b);
}
float max(float, float);
int max(int, int);
void main(void)
{
cout "Максимум 100 и 200 равен " max(100, 200) endl;
cout "Максимум 5.4321 и 1.2345 равен " max(5.4321, 1.2345) endl;
}
В процессе компиляции компилятор C++ автоматически создает операторы для построения одной функции, работающей с типом int, и второй функции, работающей с типом float. Поскольку компилятор C++ управляет операторами, соответствующими функциям, которые вы создаете с помощью шаблонов, он позволяет вам использовать одинаковые имена для функций, которые возвращают значения разных типов. Вы не смогли бы это сделать, используя только перегрузку функций, как обсуждалось в уроке 13.
Использование шаблонов функций
По мере того как ваши программы становятся более сложными, возможны ситуации, когда вам потребуются подобные функции, выполняющие одни и те же операции, но с разными типами данных. Шаблон функции позволяет вашим программам определять общую, или типонезависимую, функцию. Когда программе требуется использовать функцию для определенного типа, например int или float, она указывает прототип функции, который использует имя шаблона функции и типы возвращаемого значения и параметров. В процессе компиляции C++ создаст соответствующую функцию. Создавая шаблоны, вы уменьшаете количество функций, которые должны кодировать самостоятельно, а ваши программы могут использовать одно и то же имя для функций, выполняющих определенную операцию, независимо от возвращаемого функцией значения и типов параметров.
