函数模版和类模版

泛型编程的概念

如果我们要写一个函数，实现交换功能，那么要这样写

void Swap(int& left, int& right)
{
    int temp = left;
    left = right;
    right = temp;
}
void Swap(double& left, double& right)
{
    double temp = left;
    left = right;
    right = temp;
}
void Swap(char& left, char& right)
{
    char temp = left;
    left = right;
    right = temp;
}

要写多个函数才能完成不同类型交换的任务，这若干个函数的逻辑基本相同，但是由于类型不同，不能写成同一个函数

于是，C++的祖师爷本贾尼博士便引入了一个模版的概念，我们写一个模版给编译器，让编译器用这个模版自己生成函数，就像这样

template<typename T>
void Swap(T& left, T& right)
{
    T temp = left;
    left = right;
    right = temp;
}

模版是泛型编程的基础

函数模版

函数模版代表了一个函数家族，该函数模版与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本

模版参数可以用typename定义，也可以用class

函数模版其实就是一个图纸，编译器会根据这个图纸自己生成函数，其实就是把本来应该程序员自己做的事交给了编译器

template<class T>
T Add(const T& left, const T& right)
{
    return left + right;
}
int main()
{
    int a1 = 10, a2 = 20;
    double d1 = 10.0, d2 = 20.0;
    Add(a1, a2);
    Add(d1, d2);
}

上面代码属于函数模版的隐式实例化

int main(void)
{
    int a = 10;
    double b = 20.0;
    //显式实例化
    Add<int>(a, b);
    return 0;
}

直接在函数名后面加个<>指定类型就属于显式实例化

如果你自己写了一个函数，又写了模版，在你自己写的这个函数可以用的情况下，会优先调用你自己写的，但是如果编译器用模版生成的更适合的话，还是会调用编译器的

类模版

类模版的定义格式：

template<class T1, class T2, ..., class Tn>
class 类模板名
{
    //类内成员定义
};

类模版不建议把声明和定义放到两个文件，会出错

类模版的实例化与上述函数模版的显式实例化十分类似

//假设已经写好了一个Stack类
Stack<int>s1;
Stack<double>s2;