C++面向对象程序设计的一些知识点（4）

摘要：累继承可以实现源代码重用，模板技术也可以达到同样的目的。模板可以分为函数模板和类模板，其共同点是允许参数类进行类型化，编译器根据程序员传递的具体类型，又把函数模板实例化为具体函数，把类模板实例化为模板类。

1、函数模板

（1）、来自同一个模板的模板函数只能执行相同的操作而不能执行不同的操作。这与重载不同，重载的函数一般不执行相同的操作（否则是去重载的意义）。

（2）、函数模板可以包含类型化参数，也可以包含非类型化参数（多以int型出现，且允许有缺省值）。

（3）、函数只支持部分特化功能，而类模板支持完全特化功能和部分特化功能；函数模板特化是为了针对特殊类型的操作而定义的，相当于函数模板的重载。特化的函数模板名字一定要与普通函数模板名字一致，否则，他们不会有任何联系。

（4）、C++除了支持函数模板隐式实例化，也支持函数模板显示实例化,例如：template void swap<int>(int, int);

2、类模板

（1）、C++类模板完全特化的语法格式如下：

template<>

class 类模板名<特定数据类型>{

// 针对特定数据类型的代码

};

（2）、C++部分特化的语法格式如下：

template<类型化参数>

class 类模板名<特定类型形参列表，类型化参数列表>{

// 具体代码

}；

部分特化类模板的调用格式如下：

类模板名<特定类型实参列表， 类型化实参列表> 对象名（实参）；

含非类型化参数类模板的调用格式如下：

类模板名<类型实参列表， 值列表> 对象名（实参）；

注意：含有非类型化参数的类模板实例化时，需要传入的值必须是编译阶段就可以获得的，否则会出错。

（3）、类模板显示实例化

template class 模板名<实例化类型列表>;

typedef 模板名<实例化类型列表> 别名;

注意：当类模板实例化出一个具体类之后（不管该具体类是显示还是隐式实例化的），此后使用该具体类构建不同对象时就不会再去实例化出该具体类了。

（4）、编译器选择类的顺序：

普通的类->完全特化模板类->实例化模板类->部分特化模板类->类模板（未实例化过的）->报错。