函数模板格式

在C++98添加关键字typename之前，C++使用关键字class创建模板。class和typename使用哪个都可以，一般使用typename。

  1. template <class/typename T>
  2. void Swap(T &a, T &b)
  3. {
  4. T temp;
  5. temp = a;
  6. a = b;
  7. b = temp;
  8. }

重载的模板

  1. template <typename T>
  2. void Swap(T &a, T &b);
  4. template <typename T>
  5. voido Swap(T *a, T *b, int n);

显示具体化(explict specialization)

  • 对于给定的函数名，可以有非模板函数、模板函数和显式具体化模板函数以及它们的重载版本。
  • 显示具体化的原型和定义应以template<>打头，并通过名称来指定类型。
  • 具体化优先于常规模板，而非模板函数优先于具体化和常规模板

以下是交换函数Swap非模板函数、模板函数和具体化原型

  1. struct job
  2. {
  3.     char name[40];
  4.     double salary;
  5.     int floor;
  6. };
  8. //非模板函数
  9. void Swap(job &, job &);
  11. //模板函数
  12. template <typename T>
  13. void Swap (T &, T &);
  15. //显示具体化 --- 以下两种方式都可以
  16. template <> void Swap<job>(job &, job &);
  17. template <> void Swap(job &, job &);

例子：

  1. #include <iostream>
  3. //函数模板
  4. template <typename T>
  5. void Swap(T &a, T &b);
  7. //显示具体化
  8. template <> void Swap<int>(int &a, int &b);
  10. template <typename T>
  11. void Swap(T &a, T &b)
  12. {
  13.     T temp;
  14.     temp = a;
  15.     a = b;
  16.     b = temp;
  17. }
  19. template <> void Swap<int>(int &a, int &b)
  20. {
  21.     int temp;
  22.     temp = a;
  23.     a = b;
  24.     b = temp;
  25. }
  27. int main()
  28. {
  29.     int x1 = 2, x2 = 3;
  31.     Swap(x1, x2); //调用显示具体化
  32.     std::cout << "x1:" << x1 << std::endl;
  33.     std::cout << "x2:" << x2 << std::endl;
  35.     std::string a1 = "123";
  36.     std::string a2 = "111";
  37.     Swap(a1, a2);
  38.     std::cout << "a1:" << a1 << std::endl;
  39.     std::cout << "a2:" << a2 << std::endl;
  41.     return 0;
  42. }

实例化

在代码中包含函数模板本身并不会生成函数定义，它只是一个用于生成函数定义的方案。编译器使用函数模板为特定类型生成函数定义时，得到的是模板实例。
最初编译器只能通过隐式实例化，来使用模板生成函数定义，也可以显示实例化一个函数定义。
语法：

  1. //实际使用中只需要在使用的位置，声明下就可以, 无需添加额外的定义;
  3. //以Swap函数为例
  4. template void Swap<int>(int, int);

注：试图在同一文件中使用同一类型的显示实例和具体化将出错