一、非类型模板参数
以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);
当实例化函数为另一个类型就又要显示实例化一次,过于麻烦.