【C++升级之路】第十二篇：模板进阶 | 非类型模板参数 & 模板特化 & 类模板的分离编译 & 模板优缺点总结

🌟hello，各位读者大大们你们好呀🌟
🍭🍭系列专栏：【C++学习与应用】
✒️✒️本篇内容：非类型模板参数，函数模板特化，类模板特化（全特化，部分特化，参数更进一步的限制），类模板的分离编译问题，模板优缺点总结
🚢🚢作者简介：计算机海洋的新进船长一枚，请多多指教( •̀֊•́ ) ̖́-

---

一、非类型模板参数

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

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

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

非类型模板参数代码如下（示例）：

// 静态数组
// 非类型模板参数 -- 常量
template<class T, size_t N>
class Array
{
   
private:
	T _a[N];
};

int main()
{
   
	Array<int, 10> a1;        // 10
	Array<double, 1000> a2;     // 1000

	return 0;
}

array - 自定义类型可变数组使用示例

#include<iostream>
#include <array>
using namespace std;

int main()
{
   
	int a1[10];	//C语言和C++的对称用法，数据都存于栈上
	array<int, 10> a2;	//自定义类型的可变数组
	array<int, 100> a3;

	// C语言数组对于越界的检查
	// 越界读不检查
	// 越界写  抽查
	cout << a1[10] << endl;	//越界读不报错
	cout << a1[11] << endl;

	//a1[10] = 0; - 报错，越界写不一定报错，不同平台的抽查方式不同
	//a1[15] = 0; - 不报错

	// C++11  array		重载过[]，可以检查出来
	cout << a2[10] << endl;
	cout << a2[11] << endl;

	//a2[10] = 0;
	//a2[15] = 0;

	return 0;
}

【注意】

1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。
2. 非类型的模板参数在编译期就能确认结果。

template<class T, double N>	//报错
void Func(const T& x)
{
   
	cout << N << endl;
}

template<class T, size_t N>	//传入的不是直接的变量100，报错
void Func(const T& x)
{
   
	cout << N << endl;
}