C++ за 21 день седьмое издание

using namespace std;

0. 
   

0. 
   template
   

Введение в шаблоны

363

5: const Туре& GetMax (const Types valuel, const Types value2)


6 : {

0. 
   if (valuel > value2)
   

0. 
   return valuel;
   

0. 
   else
   

0. 
   return value2;
   

11: }
1 2 :

0. 
   template ctypename Type>
   

0. 
   void DisplayComparison(const Types valuel, const Types value2)
   

0. 
   {
   

16: cout « "GetMax(" « valuel « ", " « value2 « ") = ";

0. 
   cout « GetMax(valuel, value2) « endl;
   

0. 
   }
   

19:

0. 
   int main()
   

21: {

0. 
   int Inti = -101, Int2 = 2011;
   

0. 
   DisplayComparison(Inti, Int2);
   

0. 
   

0. 
   double dl = 3.14, d2 = 3.1416;
   

0. 
   DisplayComparison(dl, d2);
   

0. 
   

0. 
   string Namel("Jack"), Name2("John");
   

0. 
   DisplayComparison(Namel, Name2);
   

30:

0. 
   return 0;
   

0. 
   }
   

Результат


GetMax(-101, 2011) = 2011


GetMax(3.14, 3.1416) = 3.1416


GetMax(Jack, John) = John


Анализ

Это пример возможностей двух шаблонов функций: GetM ax () (строки 4 -11), кото­ рая используется в функции D isp la y C o m p a ris o n () (строки 13-18). Строки 23, 26 и 29 функции m ain () демонстрируют многократное использование того же шаблона функции для совершенно разных типов данных: i n t , d o u b le и s t d : : s t r i n g . М ало того, что этот шаблон функции используется повторно (точно так же, как и его аналог-макрос), его про­ ще создать и поддерживать, а кроме того, он обеспечивает безопасность типов! Обратите внимание: вполне возможно вызвать функцию D isp la y C o m p a riso n () с явным указанием типа:

0. 
   DisplayComparison(Inti, Int2);
   

Однако при вызове шаблона функции это не является обязательным. Вы не обязаны определять тип(ы) параметров шаблона, поскольку компилятор в состоянии вывести его самостоятельно. При применении шаблонов класса, тем не менее, это необходимо.

364 ЗАНЯТИЕ 14. Макросы и шаблоны

Шаблоны и безопасность типов

Ш аблоны функции D is p la y C o m p a ris o n () и GetM ax (), представленные в листин­ ге 14.3, обеспечивают безопасность типов. Это значит, что они не позволят такой, напри­ мер, бессмысленный вызов: