C++_模板进阶

大家好！在C++入门:模板(初阶)中简单介绍了模板是如何使用的，那么模板还有哪些使用和特性呢？本文会讲解非类型模板参数，类模板的特化以及模板的分离编译

1. 非类型模板参数

模板参数分为类型形参与非类型形参，类型形参就是一般我们用class关键词就是的形参， 而非类型形参就是用int(size_t 等整形符号)修饰的参数

	// 定义一个模板类型的静态数组
	// N就是非类型模板参数
	template<class T, size_t N = 10>
	class array
	{
   
   
	public:
		
	private:
		T _array[N];
		size_t _size;
	};

备注：

1. C++20之前，只允许整形做非类型模板参数，C++20之后，可以支持double等其他内置类。
2. 非类型的模板参数必须在编译期就能确认结果。
3. 非类型模板参数是常量，不能改变它的值。

2. 模板的特化

2.1 概念

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理，比如：实现了一个专门用来进行小于比较的函数模板。

// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
   
   
	return left < right;
}
int main()
{
   
   
	cout << Less(1, 2) << endl; // 可以比较，结果正确
	Date d1(2022, 7, 7);
	Date d2(2022, 7, 8);
	cout << Less(d1, d2) << endl; // 可以比较，结果正确
	Date* p1 = &d1;
	Date* p2 = &d2;
	cout << Less(p1, p2) << endl; // 可以比较，结果错误
	return 0;
}

可以看到， Less绝对多数情况下都可以正常比较，但是在特殊场景下就得到错误的结果。上述示例中，p1指向的d1显然小于p2指向的d2对象，但是Less内部并没有比较p1和p2指向的对象内容，而比较的是p1和p2指针的地址，这就无法达到预期而错误。此时，就需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。

2.2 函数模板特化

语法：

// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
   
   
	return left < right;
}
</