目录
模板参数
模板的特化
模板分离编译
模板参数
模板类型分为分类类型形参和非类型形参。
类型形参即:出现在模板参数列表中,跟在class(类模板)或者typename(函数模板)之类的参数类型名称。
非类型形参,就是用一个常量作为类(函数)模板的一个参数,在类(函数)模板中可将该参数当成常量来使用。
当模板无法对某个特定的类型实现时,我们就要提供一个更好的实现,这就是模板的特化。全特化和偏特化(也就是对部分类型实现特化)。
我们先来看函数模板特化的步骤,
1. 必须要先有一个基础的函数模板
2. 关键字template后面接一对空的尖括号<>
3. 函数名后跟一对尖括号,尖括号中指定需要特化的类型
4. 函数形参表: 必须要和模板函数的基础参数类型完全相同,如果不同编译器可能会报一些奇怪的错误template<> bool IsEqual(char*& left, char*& right) { if(strcmp(left,right) > 0) return ture; return false; }
下来我们来看类模板的特化,类模板有全特化和偏特化。
先看全特化,全特化就是将模板参数列表中所有的参数都确定化。
templateclass Data { public: Data() {cout<<"Data " < class Data { public: Data() {cout<<"Data " < d1; Data d2; }
偏特化:任何针对模板参数进一步进行限制设计的特化版本。
我们先看一个正常的类模板,一会来对比
templateclass Data { public: Data() {cout<<"Data " <
偏特化有以下两种表现方式:
·部分特化:将模板参数类表中的一部分参数特化
//将第二个参数特化为int templateclass Data { public: Data() {cout<<"Data " <
·参数更进一步的限制:偏特化不仅仅是指特化参数,而是针对模板参数而更进一步的条件限制设计出来的一个特化版本。
模板分离编译一个程序由若干个源文件共同实现,而每个源文件单独编译生成目标文件,最后将所有目标文件链
接起来形成单一的可执行文件的过程称为分离编译模式。
在工作中,我们实现的是代码的一部分,因此多半是需要分离编译的。
a.h 中用来写入接口名
a.cpp 中用来实现接口
main.cpp 用来写入主函数
//a.h 告诉你有ADD类模板 templateT ADD(const T& left, const T& right); //a.cpp 实现模板 template T ADD(const T& left,const T& right) { return left + right; } //main.cpp 实现主函数 int main9) { ADD(1,2); ADD(1.0,2,0); return 0; }
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)