【C++】模板进阶

👀樊梓慕：个人主页

 🎥个人专栏：《C语言》《数据结构》《蓝桥杯试题》《LeetCode刷题笔记》《实训项目》《C++》《Linux》《算法》

🌝每一个不曾起舞的日子，都是对生命的辜负

目录

前言

1.非类型模板参数

2.模板的特化

2.1函数模板特化

2.2类模板特化 

2.2.1全特化

2.2.2偏特化

3.模板的分离编译

4.模板总结

前言

本篇文章博主会与大家共同学习非类型模板参数、类模板的特化以及模板的分离编译相关内容。

欢迎大家📂收藏📂以便未来做题时可以快速找到思路，巧妙的方法可以事半功倍。

=========================================================================

GITEE相关代码：🌟fanfei_c的仓库🌟

=========================================================================

1.非类型模板参数

我们之前学习的模板，知道模板参数一般都是『 类型』。

可是还存在有一种模板参数是非类型的，这种参数被称为非类型模板参数，一般为常量，或者说是『 整型常量』。

• 类型形参： 出现在模板参数列表中，跟在class或typename关键字之后的参数类型名称。
• 非类型形参： 用一个常量作为类（函数）模板的一个参数，在类（函数）模板中可将该参数当成常量来使用。

  比如：

  template //N：非类型模板参数
  class StaticArray
  {
  public:
  	size_t arraysize()
  	{
  		return N;
  	}
  private:
  	T _array[N]; //利用非类型模板参数指定静态数组的大小
  };

  非类型模板参数基本上是用来定义数组或某种个数值。 

  注意：

  1. 非类型模板参数只允许使用整型家族，浮点数、类对象以及字符串是不允许作为非类型模板参数的。
  2. 非类型的模板参数在编译期就需要确认结果，因为编译器在编译阶段就需要根据传入的非类型模板参数生成对应的类或函数。

  ---

  2.模板的特化

  特化可以理解为『 特殊处理』，即当模板参数为某一种指定类型时， 不走默认的模板，而走我们为该类型单独设计的模板。

  比如：

  下面是用于比较两个任意相同类型的数据是否相等的函数模板。

  template
  bool Equals(T x, T y)
  {
  	return x == y;
  }

  在以下场景，可以正确的使用；

  cout