模板特化 非类型模板参数 仿函数

非类型模板参数

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

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

（2）非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

template<class T,size_t N>

2、注意

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

（2）非类型的模板参数必须在编译期就能确认结果。

3、array容器

（1）array对比的是C语言中的数组

定义：array<int,10> a1;

（2）针对越界array有更严格的检查

C语言中对于数组的使用本质是一个指针的解引用，但是array是一个函数调用，因此可以检查出来越界。

模板特化

1、概念

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。

2、分类

模板特化中分为函数模板特化与类模板特化。

3、函数模板特化

（1）函数模板特化步骤

①必须要先有一个基础的函数模板

②关键字template后面接一对空的尖括号<>，这里不需要写内容，可以理解为已经被实例化。

③函数名后跟一对尖括号，尖括号中指定需要特化的类型

④函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误。

template<class T1,class T2>
class Data
{public:
	Data()
	{cout << "Data<T1,T2" << endl;}
};
//特化处理：下面的类是上面的类的特化，是int和double会走下面的这个类
template<>
class Data< int, double >
{public:
	Data()
	{cout << "Data<int,double>" << endl;}
};

4、类模板特化

（1）全特化

即是将模板参数列表中所有的参数都确定化。

（2）偏特化

任何针对模版参数进一步进行条件限制设计的特化版本。

template<class T1,class T2>
class Data<T1, double>
{};
template<class T1,class T2>
class Data<T1*, T2*>//偏特化的一种
{};

仿函数

1、概念

一个函数对象是封装在类中， 从而看起来更像是一个对象。 这个类只有一个成员函数， 即重载了()(括号)的运算符。 它没有任何数据。 该类被模板化了， 从而可以应付多种数据类型。

2、仿函数的使用

例如：
template<class T> 
class Less
{
public:
	bool operator()(const T& x,const T& y)
	{
		return x < y;
	}
};
使用：
void adjust_down(int parent)
		{
			Compare com;
			size_t child = parent * 2 + 1;
			while (child < _con.size())
			{
				//if (child < _con.size()&&_con[child+1]<_con[child])
				if (child < _con.size() && com(_com[child + 1],_com[child]))
				{
					++child;
				}
			}
		}

（1）这个相当于是一个函数对象，不用参数也可以进行重载，并且模板的参数是可以根据传进来的实参推出形参的数据类型。

（2）仿函数的功能是替代函数指针。

3、仿函数使用起来局限性更小。