浅谈非类型模板参数、模板的特化

image-20230114122554287

非类型模板参数

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

image-20230114101637498

4非类型模板参数一般是常量、整形,比如int,char类型,而浮点数类对象以及字符串是不允许作为非类型模板参数的,若写了会报错。

5.非类型的模板参数必须在编译期就能确认结果

库里面也有一个Array,它与c语言的数组有啥区别呢?

底层上没有区别,但是数组对越界检查是抽查,而Array对越界检查严格。

image-20230114102329316

模板的特化

函数模板

这里如果按照Less函数,那么第二个比较就有问题,第二个是按照p1的地址和p2的地址进行的比较。

image-20230114104821833

第一种方式:函数重载

如图函数B对函数A构成重载

扫描二维码关注公众号,回复: 15693909 查看本文章

image-20230114105458676

第二种方式: 函数特化

函数模板的特化步骤:

  1. 必须要先有一个基础的函数模板
  2. 关键字template后面接一对空的尖括号<>
  3. 函数名后跟一对尖括号,尖括号中指定需要特化的类型
  4. 函数形参表: 必须要和模板函数的基础参数类型完全相同,如果不同编译器会报奇怪的错误。

函数D是函数C的特化(函数的特殊化处理)

image-20230114105753770

类模板特化

全特化,偏特化

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

偏特化:任何针对模版参数进一步进行条件限制设计的特化版本。又称半特化

偏特化有两种方式:

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

2.参数更进一步的限制:偏特化并不仅仅是指特化部分参数,而是针对模板参数更进一步的条件限制所设计出来的一个特化版本。

编译器根据参数选择更适合的类

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

编译器根据参数选择更适合的类

image-20230114122200234

模板的优缺点

【优点】
1. 模板复用了代码,节省资源,更快的迭代开发,C++的标准模板库(STL)因此而产生
2. 增强了代码的灵活性

【缺点】
1. 模板会导致代码膨胀问题,也会导致编译时间变长
2. 出现模板编译错误时,错误信息非常凌乱,不易定位错误

猜你喜欢

转载自blog.csdn.net/m0_71841506/article/details/128684050