【C++】模板进阶--类模板特化

这篇博客可参照我的上篇博客模板初阶 中讲的函数模板和类模板的内容，一起学习。

【本节内容】
非类型模板参数
类模板的特化

1.非类型模板参数

模板参数分 类型形参与非类型形参
类型形参：出现在模板参数列表中，跟在class或typename之类的参数类型名称。
非类型形参：用常量做类（函数）模板的参数，在类（函数）模板中可将该参数当常量使用。

   //定义模板类型的静态数组
template <class T,size_t N=10>
  //其中，T是类型形参，N是非类型形参
class array
{
public:
	T&operator [](size_t index)
	{
		return _array[index];
	}
	size_t Size()const
	{
		return _size;
	}
	bool Empty()const
	{
		return 0 == _size;
	}
private:
	T _array[N];
	size_t _size;
};

注意：
1.浮点型、类对象以及字符串是不允许作为非类型模板参数的（一般都为int）。
2.非类型模板参数必须在编译器就能确定结果。

2.模板特化

2.1 概念：使用模板可以实现一些与类型无关的代码，但对于一些特殊类型可能会得到一些错误的结果。

例如：

template<class T>
bool IsEqual( T& left,T& right)
{
	return left == right;
}