C++类模板

类模板

• 一些主要用于存储和组织数据元素
• 类中数据组织的方式和数据元素的具体类型无关

数组类，链表类，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>{};

类模板特化注意事项

• 特化只是模板的分开实现
  • 本质上是用一个类模板
• 特化类模板的使用方式是统一的
  • 必须显示指定每一个类型参数

特化与重定义的不同

• 重定义
  • 一个类模板和一个新类（或者两个类模板）
  • 使用的时候需要考虑如何选择的问题
• 特化
  • 以统一的方式使用类模板和特化类
  • 编译器自动优先选择特化

一些建议

当需要重载函数模板时，优先考虑使用模板特化
当模板特化无法满足需求，再使用函数重载

小结

• 类模板可以定义任意多个不同的类型参数
• 类模板可以被部分特化和完全特化
• 特化的本质是模板的分开实现
• 函数模板只支持完全特化
• 工程中使用模板特化代替类（函数）重定义