C++模版(进阶)

一、非类型模版参数

1.模板参数分为类类型形参与非类型形参。
类型形参即: 出现在模板参数列表中，跟在class或者typename之后的参数类型名称。
非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

1. namespace bite
2. {
3.         // 定义一个模板类型的静态数组
4.         //非类型模版参数N
5.         template<class T, size_t N = 10>
6.         class array
7.         {
8.         public:
9.                 T& operator[](size_t index) { return _array[index]; }
10.                 const T& operator[](size_t index)const { return _array[index]; }
12.                 size_t size()const { return _size; }
13.                 bool empty()const { return 0 == _size; }
15.         private:
16.                 T _array[N];
17.                 size_t _size;
18.         };
19. }

复制代码

【留意】
(1) 浮点数、类对象以及字符串是不允许作为非类型模板参数的。(非类型模版——只支持传整型(整型家族))
(2) 非类型的模板参数必须在编译期就能确认效果。
二、模版的特化

2.1 概念

通常环境下，使用模板可以实现一些与类型无关的代码，但对于一些特殊的类型，可能会得到一些错误的效果，必要特殊处理。比如: 实现了一个专门用来进行小于比较的函数模板：(模版特化：即针对某些类型进行特殊化处理)

1. // 函数模板 -- 参数匹配
2. template<class T>
3. bool Less(T left, T right)
4. {
5.         return left < right;
6. }
8. int main()
9. {
10.         cout << Less(1, 2) << endl;   // 可以比较,结果正确
12.         Date d1(2022, 7, 7);
13.         Date d2(2022, 7, 8);
14.         cout << Less(d1, d2) << endl;  // 可以比较,结果正确(Date类重载<的情况下)
16.         Date* p1 = &d1;
17.         Date* p2 = &d2;
18.         cout << Less(p1, p2) << endl;  // 可以比较,结果错误
20.         return 0;
21. }

复制代码

可以看到，Less绝大多数环境下都可以正常比较，但是在特殊场景下就会得到错误的效果。上述示例中，p1指向的d1显然小于p2指向的d2对象，但是Less内部并没有比较p1和p2指向对象的内容，而比较的是p1和p2指针的地址，这就无法达到预期而出现错误。此时，就必要对模板进行特化。即: 在原模板类的基础上，针对特殊类型进行特殊化的实现方式。模板特化分为函数模板特化与类模板特化。
2.2 函数模版特化

函数模板的特化步调：