【C++】模板进阶

目录

前言

一、非类型模板参数

 二、模板的特化

1、概念

2、函数模板特化

3、类模板特化

1）全特化

 2）偏特化

​ 三、模板的分离编译

1、什么是分离编译

2、模板的分离编译

四、模板总结

---

前言

前面我们已经学习了【模板初阶】，对模板有了基本的认识，下面我们将从非类型模板参数、模板的特化和模板分离编译对模板进行更加深入的学习。

一、非类型模板参数

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

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

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

下面是一个常见的模板类型的静态数组，它可以定义不同类型的对象。但是无法对不同类型的对象定义不同的大小。为了实现这个功能，C++提供了非类型形参。

 非类型参数必须是整型参数。

 二、模板的特化

1、概念

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

🌟【解答】Less绝对多数情况下都可以正常比较，但是在特殊场景下就得到错误的结果。上述示例中，p1指向的d1显然小于p2指向的d2对象，但是Less内部并没有比较p1和p2指向的对象内容，而比较的是p1和p2指 针的地址，这就无法达到预期而错误。 此时，就需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。 

2、函数模板特化

特化：对某些类型进行特殊化处理。

函数模板的特化步骤：

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

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

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

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

函数模板的特殊类型也可以使用函数重载，实现简单明了，代码的可读性高，容易书写，