C++的非类型模板参数与模板分离编译（模板显式实例化）

非类型模板参数与模板分离编译（模板显式实例化）

前言

​ 本篇博客文章介绍了C++中的非类型模板参数和模板分离编译的概念。非类型模板参数是模板中的常量参数，可以在模板中当作常量使用，但不允许使用浮点数、类对象和字符串作为非类型模板参数。模板分离编译是将程序分为多个源文件进行单独编译生成目标文件，然后将目标文件链接为单一的可执行文件。文章还介绍了解决模板分离编译问题的方法，包括模板显式实例化和重新定义普通函数。最后，文章总结了模板的优点和缺点。

---

一、非类型模板参数

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

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

template<typename T>

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

template<size_t VAL = 100>

示例代码：

// 定义一个模板类型的静态数组
template<typename T, size_t N = 10>
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;