C++《模板进阶》

在之前的C++《模板初阶》当中我们初步了解了在C++当中模板的作用，并且了解了模板类和模板函数的定义和实例化时的使用方式，那么接下来在本篇我将进一步的学习模板的相关概念，例如特化，非类型模板参数等，相信通过本篇的学习你将对模板有更深的理解，要求加油吧！！！

1.非类型模板参数

在之前我们使用模板时template模板之后的参数都是类型，其实除了类型参数之外C++还存在非类型模板参数，在此类型参数和非类型参数的区别如下所示：

类型形参：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。
非类型形参：是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

#include
using namespace std;
namespace bite
{
	// 定义一个模板类型的静态数组
	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. 非类型的模板参数必须在编译期就能确认结果。 

2.模板特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些

错误的结果，需要特殊处理。

例如：以下实现了一个专门用来进行小于比较的函数模板。

//在此假设在以上已经实现日期类Date
// 函数模板 -- 参数匹配
template
bool Less(T left, T right)
{
    return left