模板：是一系列函数/类的样板，对于实际只是类型不同。

1.函数模板

1.1概念和定义

格式为：

template <“模板形参表声明”> ”函数声明“

1. ”模板形参声明“

”模板形参声明“ 是由一个或多个”模板形参“组成的，用逗号隔开

”模板形参“具有以下几种形式：

• typename ”参数名“
• class ”参数名“
• ”类型修饰“ ”参数名“

前两种等价，功能一样，前两种声明的参数被称为==虚拟类型参数==，即是一种虚拟的数据类型；用"类型修饰"声明的参数被称为==常规参数==

2. ”函数声明“

与一般函数的声明一样

比如：

template <class T> T add (T a, T b){
    return a + b;
}

T是一个虚拟类型参数，既可以做函数返回类型，又可以做函数的形参的类型

再比如下面这个实例：

#include <iostream>
using namespace std;

template<typename T>     //与下面的函数声明是连起来的，这一般被称为函数头
void Swap(T &a, T &b){   //T作为参数即可代替掉需要替换的地方
    T temp = a;
    a = b;
    b = temp;
}

int main(){
    //交换 int 变量的值
    int n1 = 100, n2 = 200;
    Swap(n1, n2);
    cout<<n1<<", "<<n2<<endl;

    //交换 float 变量的值
    float f1 = 12.5, f2 = 56.93;
    Swap(f1, f2);
    cout<<f1<<", "<<f2<<endl;

    //交换 char 变量的值
    char c1 = 'A', c2 = 'B';
    Swap(c1, c2);
    cout<<c1<<", "<<c2<<endl;

    //交换 bool 变量的值
    bool b1 = false, b2 = true;
    Swap(b1, b2);
    cout<<b1<<", "<<b2<<endl;

    return 0;
}

1.2函数模板调用之模板实参和函数实参

在函数模板调用的时候，编译系统唯一需要判断清楚的，就是数据类型，判断方式有两种

调用格式

"函数名" <”模板实参表“> (”函数实参表“)

由上，两种方式为即分别通过”模板实参表“和”函数实参表“来判断

比如上例中：

Swap<int, int> (n1, n2);

• 若几个实参的数据类型都一样，可以只写一个模板实参，如下：

Swap<int > (n1, n2);

• 若函数实参可以判断，则可以不写模板实参
• 若模板实参不写，<>也可以直接省略，如下：

Swap (n1, n2)

• “模板实参”优先于”函数实参“

1.3不能省略模板实参的情况

1. 两种数据类型获取方式冲突

2. 需要特定的返回类型

3. 函数实参为空，比如

   int a, b;
   template 
      void show(){
      T num = a + b;
      cout << num;
   }
   
   void main(){
      a=10;b=1;
      show  show();
   }

2.类模板

由函数模板可以看出模板的特殊之处就是在于数据类型的替换，模板头定义的虚拟类型参数T，用于主体需要替换数据类型的地方

在类中可以类比，也是如此

格式

template <”模板形参表声明“> ”类声明“

”类声明“即与普通类的声明相同