编程语言
289
一、非类型模板参数
以Array来举例
template<typename T, size_t num> //T就是类型参数,N就是非类型模板参数 class Array{}; Array<int,100> a;
非类型模板参数类型一般为 long long/long/int/char/short 像string,double,float等都不能作为非类型模板参数,会报错
二、函数模板的特化
1.特化的简单使用
template<class T> bool IsEqual(T& left, T& right) { return left == right; } template<> //模板函数的特化 bool IsEqual<char*>(char*& left, char*& right) { return strcmp(left, right) == 0; } template<class T> class A { public: A() cout << "class A" << endl; }; template<> //类模板的特化 class A<string> { public: A() cout << "class A<string>" << endl; }; int main() { int a = 1, b = 2; cout << IsEqual(a, b) << endl; const char* pc1 = "abcd"; const char* pc2 = "abcdef"; cout << IsEqual(pc1, pc2) << endl; //两个指针传过去比较的是地址,虽然是正确的(创建字符串相同时的指针指向的位置是一样的(节约空间)因此两个指针哪怕都指向"abcd"还是有正确结果 //但是比较的是地址,违背了我们的本意,但是如果为此专门再写一个函数显的麻烦 A<int> a1; A<string> a2; return 0; }
2.全特化和偏特化
//类模板的特化 template<class T1,class T2> class Data { public: Data() { cout << "原函数:Data<T1,T2>" << endl; } private: T1 _d1; T2 _d2; }; //全特化,全部的参数都特化 template<> class Data<int, char> { public: Data() { cout << "全特化:Data<int,char>" << endl; } }; //偏特化,特化部分参数/对参数的进一步限制 template<class T2> class Data<int, T2> { public: Data() { cout << "偏特化:Data<int,T2>" << endl; } }; template<class T1,class T2> class Data<T1*, T2*> { public: Data() { cout << "偏特化:Data<T1*,T2*>" << endl; } }; template<class T1, class T2> class Data<T1&, T2&> { public: Data() { cout << "偏特化:Data<T1&,T2&>" << endl; } }; int main() { Data<char, char> d1; Data<int, char> d2; Data<int, double> d3; //自动匹配最接近的特化类型 Data<char*, char*> d4; Data<char&, char&> d5; return 0; }
三、模板的分离编译
一般的函数可以在头文件声明,cpp文件定义
但是模板函数却无法做到
并且会报错,链接错误
1.预处理 : 展开头文件,宏替换,条件编译,去掉注释,模板; 21processcon.cpp -> 21processcon.i 21process.cpp -> 21process.i . 2.编译 : 检查语法,生成汇编代码; procon.i -> procon.s pro.i -> pro.s . 3.汇编 : 将汇编代码转换为二进制机器码; procon.s -> procon.o pro.s -> pro.o . 4.链接 : 将目标文件合在一起,编译时F1F2函数有声名,所以编译通过了. 连接时要去procon.o找F1F2地址,F1能找到,F2找不到;符号表; a.out
由于类型没有确定,导致在符号表中找不到函数定义的地址
一般模板函数不分离编译,直接在头文件声明定义
也可,显示实例化,不常用
//.hpp template<class T> void F2(const T& x); //.cpp中 template<class T> void F2(const T& x) { cout << "F2(const T& x)" << endl; } template void F2<int>(const int& x); template void F2<double>(const double& x);
当实例化函数为另一个类型就又要显示实例化一次,过于麻烦.
