一、非类型模板参数

以Array来举例

1
2
3
4
template<typename T, size_t num> //T就是类型参数,N就是非类型模板参数
class Array{};

Array<int,100> a;

非类型模板参数类型一般为 long long/long/int/char/short
像string,double,float等都不能作为非类型模板参数,会报错

二、函数模板的特化

1.特化的简单使用

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
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.全特化和偏特化

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
//类模板的特化
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

1
由于类型没有确定,导致在符号表中找不到函数定义的地址

一般模板函数不分离编译,直接在头文件声明定义

也可,显示实例化,不常用

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//.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);

当实例化函数为另一个类型就又要显示实例化一次,过于麻烦.