函数模版和类模版

概述：
C++提供了函数模板(function template)。所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。

1）C++提供两种模板机制：函数模板、类模板
2）类属 —— 类型参数化，又称参数模板
使得程序（算法）可以从逻辑功能上抽象，把被处理的对象（数据）类型作为参数传递。
总结：
模板把函数或类要处理的数据类型参数化，表现为参数的多态性，称为类属。
模板用于表达逻辑结构相同，但具体数据元素类型不同的数据对象的通用行为。

为什么要有函数模版：
写n个函数，交换char类型、int类型、double类型变量的值。
函数模版语法：
template <类型形式参数表>
类型 函数名 （形式参数表）
｛
语句序列
｝
函数模版定义由模版说明和函数定义组成
模版说明的类属参数必须在函数定义中至少出现一次。
函数参数表中可以使用类属类型参数，也可以使用一般类型参数
myswap(a, b); //显示类型调用
myswap(a, b); //自动数据类型推导

函数模版遇上函数重载，函数模版和普通函数的区别：函数模板不允许自动类型转化
普通函数能够进行自动类型转换
函数模版和普通函数在一起调用规则
1 函数模板可以像普通函数一样被重载
2 C++编译器优先考虑普通函数
3 如果函数模板可以产生一个更好的匹配，那么选择模板
4 可以通过空模板实参列表的语法限定编译器只通过模板匹配
函数模版机制
编译器并不是把函数模板处理成能够处理任意类的函数
编译器从函数模板通过具体类型产生不同的函数
编译器会对函数模板进行两次编译
在声明的地方对模板代码本身进行编译；在调用的地方对参数替换后的代码进行编译。

为什么有类模版
类模板用于实现类所需数据的类型参数化
类模板在表示如数组、表、图等数据结构显得特别重要，这些数据结构的表示和算法不受所包含的元素类型的影响

继承中的类模版语法
派生普通类
class B : public A
{
public:
B(int a=10, int b=20) : A(a)
{
this->b = b;
}
void printB()
{
cout << “a:” << a << ” b: ” << b << endl;
}

protected:
private:
int b;
};
派生类模版
template
class C : public A
{
public:
C(T c, T a) : A(a)
{
this->c = c;
}
void printC()
{
cout << “c:” << c <