函数模板与类模板

使代码具有通用性，不受数据类型的影响，并且可以自动适应数据类型的变化，这被称为参数化程序设计，实现参数化多态性。

what is 参数化多态性？
将程序所处理的对象的类型参数化，使得一段程序可以用于处理多种不同类型的对象。

一、函数模板
编写模板使代码适用于不同数据类型。
只需编写一次，然后基于调用函数时提供的参数类型，C++编译器将自动产生相应的函数来正确地处理该类型的数据。

syntax：
template <模板参数表>
类型名 函数名（参数表）
{
函数体的定义
}

模板参数表，由用逗号分隔的模板参数构成
可包括的内容：
1）class（或typename）标识符，指明可以接受一个类型参数；
2）“类型说明符”标识符，指明可以接受一个由“类型说明符”所规定的常量作为参数；
3）template<参数表>class标识符，指明可以接受一个类模板名作为参数。

函数调用函数模板时，编译器从实参的类型推导出函数模板的类型参数，然后以函数模板为样板，生成一个函数，这过程称为函数模板的实例化。

函数模板与函数的区别：
1）函数模板在编译时不会生成任何目标代码，只有由模板生成的实例会生成目标代码；
2）被多个源文件引用的函数模板，应当连同函数体一同放在头文件中，而不能像普通函数那样只将声明放在头文件中；
3）函数指针只能指向模板的实例，而不能指向模板本身。

二、类模板
为类定义一种模式，使得类中的某些数据成员、某些成员函数的参数、返回值或局部变量能取任意类型。

类：对一组对象的公有性质的抽象。
类模板：不同类的公有性质的抽象。

由于类模板需要一种或多种类型参数，所以类模板也常称为参数化类。

syntax：
template<模板参数表>
class 类名
{
类成员声明
}

if要在类模板以外定义其成员函数，syntax：
template<模板参数表>
类型名 类名<模板参数标识符列表>: :函数名（参数表）

使用一个模板类来建立对象时，syntax：
模板名<模板参数表>对象名1，…，对象名n ;