类模板
- 一些主要用于存储和组织数据元素
- 类中数据组织的方式和数据元素的具体类型无关
数组类,链表类,Stack类,Queue类
C++中的类模板
- 以相同的方式处理不同的类型
- 以类声明前使用template进行标识
<typename T>
用于说明类中使用的泛型T
template <typename T>
class Operator
{
public:
T op(T a,T b){};
};
类模板的应用
- 只能显示指定具体类型,无法自动推导
- 使用具体类型
<Type>
定义对象
Operator<int> op1;
Operator<string> op2;
- 声明的泛指类型T可以出现在类模板的任意地方
- 编译器对类模板的处理方式和函数模板相同
- 从类模板通过具体类型产生不同的类
- 在声明的地方对类模板代码本身进行编译
- 在使用的地方对参数替换后的代码进行编译
类模板的工程应用
- 类模板必须在头文件中定义
- 类模板不能分开实现在不同的文件中
- 类模板外部定义的成员函数需要加上模板
<>
声明
小结
- 泛型编程的思想可以应用于类
- 类模板以相同方式处理不同类型的数据
- 类模板非常适用于编写数据结构相关代码
- 类模板在使用是只能显示指定类型
多参数类模板
类模板可以定义任意多个不同类型参数
template <typename T1,typename T2>
class Test
{
public:
void add(T1 a,T2 b);
};
类模板可以被特化
- 指定类模板的特定实现
- 部分类型参数必须显示指定
- 根据类型参数分开实现类型模板
template <typename T>
class Test <T,T>{};
类型模板特化的类型
- 部分特化
- 用特定规则约束类型参数
- 完全特化
- 完全显示指定类型参数
//完全特化
template <>
class Test<int,int>{};
类模板特化注意事项
- 特化只是模板的分开实现
- 本质上是用一个类模板
- 特化类模板的使用方式是统一的
- 必须显示指定每一个类型参数
特化与重定义的不同
- 重定义
- 一个类模板和一个新类(或者两个类模板)
- 使用的时候需要考虑如何选择的问题
- 特化
- 以统一的方式使用类模板和特化类
- 编译器自动优先选择特化
一些建议
当需要重载函数模板时,优先考虑使用模板特化
当模板特化无法满足需求,再使用函数重载
小结
- 类模板可以定义任意多个不同的类型参数
- 类模板可以被部分特化和完全特化
- 特化的本质是模板的分开实现
- 函数模板只支持完全特化
- 工程中使用模板特化代替类(函数)重定义