C++ 模版进阶【非类型模板参数、模板特化等】

前面我们针对模板已经讲过了一些基础知识，有需要的同志可以点击链接：C++模版初阶-CSDN博客

1. 非类型模板参数

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

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

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

我们除了将这个模板参数定义为整型，可不可以定义成其他类型，例如double？

根据上图，我们知道在C++20前只能定义整型，C++20后可定义double、int*等内置类型。

我们将语言标准更改成C++20，再来进行测试一下（更改标准过程如下两张图）

更改成C++20了之后，我们再进行测试，发现成功了（如下图）

2. 模板的特化

2.1 概念

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理，比如：实现了一个专门用来进行小于比较的函数模板

可以看到，Less绝对多数情况下都可以正常比较，但是在特殊场景下就得到错误的结果。

上述示例中，p1指向的d1显然大于p2指向的d2对象，但是Less内部并没有比较p1和p2指向的对象内容，而比较的是p1和p2指针的地址，这就无法达到预期而错误。

下图我们是直接对p1进行了解引用，在再给函数模板，这样也能得到正确的结果。但是有没有什么方法可以让我们在函数模板上操作呢？

此时，就需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。

2.2 函数模板特化

函数模板特化步骤：

1.必须要先有一个基础的函数模板

2.关键字template后面接一对空的尖括号<>

3.函数名后跟一对尖括号，尖括号中指定需要特化的类型

4.函数形参表：必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误。

必须要和模板函数的基础参数类型完全相同，否则会报错（如下图）

那我们给特化的函数模板参数也加上const（如下图），为什么还是错误的呢？

因为这个特化的函数模板的const放错了位置，原来的函数模板的const修饰的是参数本身，而在特化的函数模板添加const，修饰的是指向的内容，所以还是和模板函数的基础参数类型不相同。

修改过后成功运行（如下图）

如果函数模板只需要一种类型特化，还不如直接写一个函数，更为简单，以防出现特化的函数模板与基础函数模板不相同等的问题（如下图）。（如果普通函数和特化后的函数模板同时存在，编译器会优先调用普通的函数。）

那如果不只一种类型特化呢？比如Date*、int*、double*等。为了方便还是使用函数模板，但是使用限定模板类型，格式与上面不一样。（如下图）

2.3 类模板特化

2.3.1 全特化

全特化即是将模板参数列表中所有的参数都确定化。

2.3.2 偏特化

偏特化：任何针对模板参数进一步进行条件限制设计的特化版本，比如对于以下模板类：

偏特化有以下两种表现方式：

1.部分特化

        将模板参数类表中的一部分参数特化。

 2.参数更进一步的限制

        偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所涉及出来的一个特化版本。

3. 模板总结

【优点】

1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生

2. 增强了代码的灵活性

【缺陷】

1. 模板会导致代码膨胀问题，也会导致编译时间变长

2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误

再见~