【C++模板】函数模板与类模板

模板

模板的概念

使用模板可以创建通用的函数和类。

在通用的函数和类当中，将被操作的数据类型被指定为参数，这样就可以将一个函数或类被多种数据类型一起使用，而不必为每个类型都重新编写特定的函数或类，从而实现代码的复用。

函数模板

定义函数模板

template <class T>	//或者<typename T>
void func(T x)
{
  // body of function
}

函数模板的一些机制

• 函数模板与重载密切相关，从函数模板产生的相关函数都是同名的，编译程序用重载的解决方法调用相应的模板函数。

• 函数模板可以有多个参数，也可以和其他通用类型参数混合。

• 允许用一个模板函数重载另一个模板函数。

• 数据类型参数T 可以用来指定函数的形参类型和（或）返回值类型，以及声明函数中的局部变量

• 函数模板参数表中指明的类型参数必须用于函数参数表

  例如：

  template <class T> T f1() {……} 
  //错误
  template <class T> void f2()
   { //错误
        T a;
         ……
   }
  template <class T> void f3(T t);
  //正确
  
  

调用函数模板的两种形式

调用格式：

• 函数模板名（实参表）
• 函数模板名<类型实参表> (实参表)

// Function template example. 

#include <iostream>
using namespace std;

// This is a function template. 
template <class T>
inline void swapargs(T &a, T &b)
//函数模板也可以定义成内联函数
{
    T temp;

    temp = a;
    a = b;
    b = temp;
}

int main()
{
    int i=10, j=20;
    float x=10.1f, y=23.3f;
    double d=23.3;
    char a='x', b='z';

    cout << "Original i, j: " << i << ' ' << j << '\n';
    cout << "Original x, y: " << x << ' ' << y << '\n';
    cout << "Original a, b: " << a << ' ' << b << '\n';

    swapargs(i, j);        // swap integers 
    swapargs<float>(x, y); // swap floats 
    swapargs(a, b);        // swap chars 

    //swapargs(i, b);        // swap int and chars,ERROR!

    cout << "Swapped i, j: " << i << ' ' << j << '\n';
    cout << "Swapped x, y: " << x << ' ' << y << '\n';
    cout << "Swapped a, b: " << a << ' ' << b << '\n';

    return 0;
}

显式重载模板函数

函数模板不具有隐式类型转换的能力，在这种情况下，可以利用函数重载机制：

• 用普通函数**（优先于模板函数）**重载一个同名的函数模板
• 或采用“函数模板名<类型实参表> (实参表)”调用格式显式给出类型实参。

类模板

类模板的概念

• 使用类模板（通用类）使用户可以为类声明一种模式，使得类中的某些数据成员、成员函数的参数/返回值能取任意类型（系统定义的内部类型或自定义类型）。
• 类是一组对象的公共性质的抽象，而类模板(也称为参数化类)是属于更高层次的抽象。

定义类模板

template <class T>
class MyClass
{
  //body of class
  
};

创建模板类的实例：

MyClass<int> c1;
MyClass<double> c2;

定义模板类的成员函数

• 在类内部：

  在类内部定义成员函数与平常定义一致。

• 当在类体外定义时

  如果成员函数中用到类型参数，则要按函数模板格式进行定义，并且函数名前要用类模板名加以限定。例如：

  template <class Type>   
  void TwoNum<Type>::SetAB(Type aa,Type bb)
  {a=aa;b=bb;}
  
  

默认参数

//类模板可以使用默认参数：
template <class/typename Ttype=int>

class class_name {

  //body of class

}

//用下述格式创建该类(默认参数)的实例:
class_name<> ob;