【C++初阶】:模板进阶

雨点打透心脏的1/2处 2024-03-18 00:20 254阅读 0赞

模板进阶

  • 一.非类型模板参数
  • 二.模板的特化
    • 1.概念
    • 2.函数模板特化
    • 3.类的特化
      • 1.全特化
      • 2.偏特化
  • 三.模板的分离编译

一.非类型模板参数

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

一个例子

在这里插入图片描述

这里的T就是类型模板参数,N就是非类型模板参数。

在这里插入图片描述

二.模板的特化

1.概念

通常情况下,使用模板可以实现一些与类型无关的代码,但对于一些特殊类型的可能会得到一些错误的结果,需要特殊处理。例如下面一个比较函数。

在这里插入图片描述

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

2.函数模板特化

函数模板的特化步骤:
**1. 必须要先有一个基础的函数模板

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

在这里插入图片描述

3.类的特化

类的特化有两种,全特化和偏特化。

1.全特化

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

在这里插入图片描述

在这里插入图片描述

2.偏特化

部分特化

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

在这里插入图片描述

参数更进一步的限制

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

在这里插入图片描述

三.模板的分离编译

一个程序(项目)由若干个源文件共同实现,而每个源文件单独编译生成目标文件,最后将所有目标文件链
接起来形成单一的可执行文件的过程称为分离编译模式。

假如有以下场景,模板的声明与定义分离开,在头文件中进行声明,源文件中完成定义:

在test.h里声明。

在这里插入图片描述

在test.cpp里定义。

在这里插入图片描述

在mian.cpp里调用

在这里插入图片描述

在这里插入图片描述

在这里插入图片描述

也就是在使用模板时,编译器不知道具体类型,所以无法形成有效地址,最终在链接时无法找到地址。

在这里插入图片描述

发表评论

表情:
评论列表 (有 0 条评论,254人围观)

还没有评论,来说两句吧...

相关阅读

    相关 c++模板

    前言 在我们学习c语言中,我们发现很多逻辑一样但函数的数据类型不一样,我们都需重新写,这样就有点代码冗余了。当来到了c++就可以很好的解决这一问题,运用模板。这个模板其实

    相关 C++】模板

    非类型模板参数 模板参数分为类型形参与非类型形参。 类型形参:出现在模块参数列表中,跟在class或者typename之类的参数类型名称。 非类型形参:用一个常量

    相关 模板

    一、泛型编程 1、函数重载的缺点: (1)重载的函数仅仅只是类型不同,代码的复用率比较低,只要有新类型出现时,就需要增加对应的函数 (2)代码的可维护性比较低,一个