【C++】模版进阶

目录

非类型模版参数

模版的特化

概念

函数模版特化

类模版特化

全特化

偏特化

模版分离编译

什么是分离编译

模版的分离编译

解决方法

模版总结

非类型模版参数

模板参数分类类型形参与非类型形参。

类型形参即：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。

非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。在当前的编译器中，只支持整形（char，int等）做非类型模版参数。可以使用缺省值。

namespace ghs
{
	// 定义一个模板类型的静态数组
	template
	class array
	{
	public:
		T& operator[](size_t index) { return _array[index]; }
		const T& operator[](size_t index)const { return _array[index]; }
		size_t size()const { return _size; }
		bool empty()const { return 0 == _size; }
	private:
		T _array[N];
		size_t _size;
	};
}

注意：

1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。

2. 非类型的模板参数必须在编译期就能确认结果，因为没有确认的类模版只算半成品。而函数参数在运行时才确认。

在C++中，因为引入了模版，所以在语法编译之前，还要根据模版实例化->半成品模版->实例化成具体的类/函数->语法编译。

在编译时，还会涉及到按需实例化的问题：

例如，在上面代码的array类中的[  ]运算符重载函数中，改写为：

T& operator[](size_t index) 
{ 
	assert(index  
如果在使用时未使用operator[  ]，那就不会报错，因为实例化这个类的时候，会按需实例化（调用哪个成员函数就实例化哪个），没有调用operator[  ]，所以operator[  ]里虽然有调用参数不匹配，但是没有检查出来。只有调用operator[  ]时，才会实例化，才会细致检查语法错误。
 
模版的特化
 
概念
 
通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理，比如：实现了一个专门用来进行小于比较的函数模板。
 
// 函数模板 -- 参数匹配
template
bool Less(T left, T right)
{
	return left