C++---模板进阶（非类型模板参数，模板的特化，模板分离编译）

我们都学习和使用过模板，而这篇文章我们来将一些更深入的知识。在此之前，我们在使用C++编程时可以看到模板是随处可见的，它能支持泛型编程。模板包括函数模板和类模板，我们有的人可能会说是模板函数和模板类，但严格讲这样说是错误的。而在我们实际使用中，类模板用的场景是比函数模板多的，如STL中vector，list等都是类模板，而算法中sort，find等是函数模板。

非类型模板参数

模板参数分为类型模板形参，非类型形参。

类型形参：出现在模板参数列表中，跟在class或typename关键字之后的参数类型名称。（我们之前一直使用的）

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

举个例子：

我们想要创建一个大小固定，可以存储不同类型元素的数组类，我们可以这样写：

#include<iostream>
using namespace std;
#define N 10

template<class T>
class Array
{
private:
	int _a[N];	
};
int main()
{
	Array<int> arr1;
	Array<int> arr2;
	return 0;
}

这时实例化出来的arr1，arr2都是大小为10的定长数组。但我们假如说想改变一个数组的长度呢？例如我们想将数组长度改为20，怎么办呢？有同学说我们可以将N define为20呀。但是假如我们想要一个数组长为10，另一个长为20呢？

这时候我们的非类型模板参数就有作用了，我们可以将Array定义为下面的形式：

#include<iostream>
using namespace std;

//这里的N叫做非类型模板参数,它是一个常量 
template<class T, size_t N>
class Array
{
private:
	int _a[N];
};
int main()
{
	Array<int, 10> arr1;
	Array<int, 20> arr2;
	int n = 10;
	Array<int, n> arr3;//error 这里非类型模板参数是常量，这里会报错
	return 0;
}

对于非类型模板参数的使用场景，STL中的deque和array容器中都用了。deque中的非类型模板参数用来传一个一个常量来控制buff的大小。

我们下面介绍一下array容器：

C++11支持array，它的结构类似于vector，只不过vector是动态数组，而array是静态的。它不提供头插，头插，尾插，尾删，任意位置插入删除这种操作，因为它根本不存在这种说法，而且它可以直接使用operator[ ] 访问修改任意位置的数据。

array的缺陷：

我们不推荐使用array，array底层是在栈上开辟空间的，而栈空间又是很有限的，例如：在32位的linux下栈空间只有8M，所以一般开大空间时极不推荐使用array，相比之下vector就很有优势。而且在知道要开多大