一、非类型模板参数

我们之前学过的模板虽然能很好地帮我们实现泛型编程，比如我们可以让一个栈存储int类型的数据，一个栈存储double类型的数据：

template <class T>
class Stack {
public :
	Stack() {
		cout << "Stack()" << endl;
	}
	~Stack() {
		cout << "~Stack()" << endl;
	}
private :
	T* _data;
}

int main() {
	Stack<int> st1;
	Stack<double> st2;
	return 0;
}

但是如果我们想实现两个静态的栈，一个容量为10，另个一容量为100，那就没有办法了。

对此，C++又引入了一个非类型模板参数：

template <class T, size_t N>
class Stack {
public:
	Stack() {
		cout << "Stack()" << endl;
	}
	~Stack() {
		cout << "~Stack()" << endl;
	}
private:
	T data[N];
}

这样我们就可以在实例化的时候给上对应的容量了：

int main() {
	Stack<int, 10> st1;
	Stack<double, 100> st2;
	return 0;
}

需要注意的是
非类型模板参数一定要是常量，不能是变量：

非类型模板参数一定要是整型(包括整型家族的所有成员char、short……)：

直到C++20版本才引入。

二、类模板的特化

模板的特化就是针对某些类型进行特殊化处理。
比如我们现在随便写一个类模板：

如果我们想针对两个参数一个是int一个是double的这种情况特殊处理，让它输出不同的内容就可以使用特化：

上面的这种叫做全特化，与之对应的还有偏特化：

在匹配的时候也是遵循最匹配原则，看哪个最符合条件就匹配哪个。

而且在特化的时候也并不需要写的很具体，其实也可以像下面这样写：

特化必须要有原模板，也就是最初的没有任何特化的模板。

三、模板的分离编译

模板其实是不支持分离编译的，即声明和定义分离(声明在一个文件，定义在另个文件)。


这样做的话会发生连接错误：

而我们若是讲一个普通函数分离编译就没问题：

这其中的原因是因为函数模板比普通函数多了一个步骤：实例化，因为函数模板其实和具体函数其实是一个一对多的关系，一个函数模板可以实例化出很多个功能相近但参数和返回值类型不同的函数。
也就是说我们在Stack.cpp中所写的可以比作一个骨架，从中只能得到这个函数的实现逻辑，所以在编译Stack.cpp的时候并不能生成具体的函数地址，这样main函数在调用的时候就自然找不到了。

解决这个问题的其中一种方法就是显示实例化：

但这种方法并不是一种很好的方法，因为它每一次只能解决一种类型，而且每一种类型都得要显示声明一次，这会是代码用于。

还有一种方法就是直接将声明和定义放在同一个文件里：