【c++】模板编程解密:C++中的特化、实例化和分离编译

Alt

🔥个人主页Quitecoder

🔥专栏c++笔记仓

Alt

朋友们大家好,本篇文章我们来学习模版的进阶部分

目录

  • `1.非类型模版参数`
    • `按需实例化`
  • `2.模版的特化`
    • `函数模版特化`
    • `函数模版的特化`
    • `类模版`
      • `全特化`
      • `偏特化`
  • `3.分离编译`
    • `模版分离编译`

1.非类型模版参数

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

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

非类型模板参数允许你将一个值(而不是一个类型)直接传递给一个模板。非类型模板参数可以是一个整型值、一个指针或者一个引用,因为这些参数不是类型,所以被称为“非类型模板参数”。

非类型模板参数可以让你根据这些值创建模板实例。例如,你可以根据整型非类型模板参数定义编译时决定大小的数组

引入下面的例子

#define N 10
template<class T>
class array
{
public:T& operator[](size_t index) { return _array[index]; }const T& operator[](size_t index)const { return _array[index]; }size_t size()const { return _size; }bool empty()const { return 0 == _size; }private:T _array[N];size_t _size;
};

对于这个静态数组,我们只能用宏定义来确定数组的大小,那如果我一次性想要开两个大小不同的数组呢

array<int> a1;//大小为10
array<int> a2;//大小为100

这里就需要非类型模版参数

template<class T, size_t N = 10>
class array
{
public:T& operator[](size_t index) { return _array[index]; }const T& operator[](size_t index)const { return _array[index]; }size_t size()const { return _size; }bool empty()const { return 0 == _size; }private:T _array[N];size_t _size;
};

在这个例子中,N 就是一个非类型模板参数,它表示数组的大小,而 T 是一个类型模板参数代表数组中元素的类型

使用方法:

array<int,10> a1;
array<int,100> a2;

注意:

  • 浮点数、类对象以及字符串是不允许作为非类型模板参数的
  • 使用非类型模板参数的时候,你传递的值必须在编译时就确定下来。这意味着你不能用动态计算的值或者运行时才能得知的值作为非类型模板参数的实参

按需实例化

按需实例化,是 C++ 模板的一个重要特性,指的是模板代码只有在真正被使用时才会被编译器实例化

在 C++ 中,模板本身并不直接生成可执行代码;它们是用于生成代码的蓝图。当你编写一个模板类或模板函数时,你实际上是在告诉编译器如何在需要的时候用具体的类型或值生成代码。这种生成过程只有在模板被用到的时候才会发生,换言之,只有在代码中显式或隐式地引用了模板的具体实例,编译器才会根据模板生成那个特定实例的代码。这就是所谓的按需实例化

比如,对于上面的代码,我在T& operator[]函数中写一个错误的语法:

T& operator[](size_t index) {size(1);return _array[index]; }

并没有产生编译错误

由于模板的这个行为,如果模板的某些部分(在本例中是 _size的使用)没有在代码中被实际使用,那么编译器可能不会去实例化或者编译这个部分,它可能不会产生编译错误

在一些编译器和编译设置下,成员函数模板只有在被调用时才会实例化。如果编译器没有看到 size() 或者 empty()的任何调用,它也就不会去检查 _size 是否已经初始化,就不会产生潜在的错误

此外,对于 operator[] 的实现:

T& operator[](size_t index)
{size(1); // 这里的调用看上去像是一个函数调用,但是没有意义,因为它对程序行为没有任何影响。return _array[index];
}

size(1); 这行代码试图调用 size() 成员函数并传递一个参数,但这显然是不正确的,因为 size() 没有定义接受参数的版本,应该是 size_t size()const如果在代码中有地方调用了这个重载的 operator[],并且编译器实例化了这部分代码,则会产生编译错误。但如果没有任何地方使用了这个重载的 operator[],编译器则不会去检查这部分代码,错误也就没有暴露出来

2.模版的特化

函数模版特化

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

template<class T>
bool Less(T left, T right)
{return left < right;
}
int main()
{cout << Less(1, 2) << endl; // 可以比较,结果正确Date d1(2022, 7, 7);Date d2(2022, 7, 8);cout << Less(d1, d2) << endl; // 可以比较,结果正确Date* p1 = &d1;Date* p2 = &d2;cout << Less(p1, p2) << endl; // 可以比较,结果错误return 0;
}

可以看到,Less绝对多数情况下都可以正常比较,但是在特殊场景下就得到错误的结果。上述示例中,p1指向的d1显然小于p2指向的d2对象,但是Less内部并没有比较p1和p2指向的对象内容,而比较的是p1和p2指针的地址,这就无法达到预期而错误

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

函数模版的特化

函数模板的特化步骤

  1. 必须要先有一个基础的函数模板
  2. 关键字template后面接一对空的尖括号<>
  3. 函数名后跟一对尖括号,尖括号中指定需要特化的类型
  4. 函数形参表: 必须要和模板函数的基础参数类型完全相同,如果不同编译器可能会报一些奇怪的错误
// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{return left < right;
}
// 对Less函数模板进行特化
template<>
bool Less<Date*>(Date* left, Date* right)
{return *left < *right;
}

特化,针对某些特殊类型可以进行特殊处理

注意:一般情况下如果函数模板遇到不能处理或者处理有误的类型,为了实现简单通常都是将该函数直接给出

bool Less(Date* left, Date* right)
{return *left < *right;
}

该种实现简单明了,代码的可读性高,容易书写,因为对于一些参数类型复杂的函数模板,特化时特别给出,因此函数模板不建议特化

类模版

全特化

比如我们有下面这个模版类:

template<class T1, class T2>
class Data
{
public:Data() { cout << "Data<T1, T2>" << endl; }
private:T1 _d1;T2 _d2;
};

全特化即是将模板参数列表中所有的参数都确定化,如下:

template<>
class Data<int, char>
{
public:Data() { cout << "Data<int, char>" << endl; }
private:int _d1;char _d2;
};

注意格式,template<>关键字加尖括号,尖括号里面为空,在类后面加尖括号给具体的类型

这个全特化是对于模板实参为 int 和 char 的情况。这意味着当创建一个 Data<int, char> 类型的实例时,这个特化版本会被使用,而不是泛型的基础模板

测试如下:

int main()
{Data<int, int> d1;Data<int, char> d2;return 0;
}

在这里插入图片描述

偏特化

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

template<class T1, class T2>
class Data
{
public:Data() { cout << "Data<T1, T2>" << endl; }
private:T1 _d1;T2 _d2;
};

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

  • 部分特化:将模板参数类表中的一部分参数特化
// 将第二个参数特化为int
template <class T1>
class Data<T1, int>
{
public:Data() { cout << "Data<T1, int>" << endl; }
private:T1 _d1;int _d2;
};

测试匹配结果:

int main()
{Data<int, double> d1;Data<int, char> d2;Data<int, int>d3;return 0;
}

在这里插入图片描述

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

比如,两个参数偏特化为指针类型

template <class T1, class T2>
class Data <T1*, T2*>
{
public:Data() { cout << "Data<T1*, T2*>" << endl; }
private:T1 _d1;T2 _d2;
};

两个参数偏特化为引用类型

template <class T1, class T2>
class Data <T1&, T2&>
{
public:Data(const T1& d1, const T2& d2): _d1(d1), _d2(d2){cout << "Data<T1&, T2&>" << endl;}
private:const T1& _d1;const T2& _d2;
};

测试如下:

Data<int, double> d1;
Data<int, char> d2;
Data<int, int>d3;
Data<int*, double*> d4;
Data<int&, int&> d5(1,3);

在这里插入图片描述

示例:

有如下专门用来按照小于比较的类模板Less

#include<vector>
#include <algorithm>
template<class T>
struct Less
{bool operator()(const T& x, const T& y) const{return x < y;}
};

我们可以进行下面的排序:

void test2()
{Date d1(2022, 7, 7);Date d2(2022, 7, 6);Date d3(2022, 7, 8);vector<Date> v1;v1.push_back(d1);v1.push_back(d2);v1.push_back(d3);// 可以直接排序,结果是日期升序sort(v1.begin(), v1.end(), Less<Date>());
}

但是看下面的排序对象:

vector<Date*> v2;
v2.push_back(&d1);
v2.push_back(&d2);
v2.push_back(&d3);
sort(v2.begin(), v2.end(), Less<Date*>());

可以直接排序,结果错误,日期还不是升序,而v2中放的地址是升序

通过观察上述程序的结果发现,对于日期对象可以直接排序,并且结果是正确的。但是如果待排序元素是指针,结果就不一定正确。因为:sort最终按照Less模板中方式比较,所以只会比较指针,而不是比较指针指向空间中内容,此时可以使用类版本特化来处理上述问题:

template<>
struct Less<Date*>
{bool operator()(Date* x, Date* y) const{return *x < *y;}
};

特化之后,再运行上述代码,就可以得到正确的结果

3.分离编译

分离编译允许将程序的不同部分分别编译成单独的编译单元,通常是目标文件(object file,拓展名通常为 .o.obj)。然后,这些分别编译的编译单元将被链接器(linker)合并成一个完整的可执行程序或库

在分离编译的环境中,通常会有:

  • 头文件: .h.hpp 文件,包含类的声明、函数原型、模板、宏定义、全局变量的声明以及内联函数等。
  • 源文件: .cpp.cc 文件,包含定义在头文件中声明过的类的成员函数、全局变量的定义等。它并不包含那些在编译时必须要知道全部信息的实体,如模板的完整定义

举个具体的例子:

// myclass.h - 头文件
#ifndef MYCLASS_H
#define MYCLASS_Hclass MyClass {
public:void doSomething();
};#endif // MYCLASS_H// myclass.cpp - 源文件
#include "myclass.h"void MyClass::doSomething() {// 实现细节
}

假设还有一个 main.cpp 文件:

// main.cpp - 源文件
#include "myclass.h"int main() {MyClass myObj;myObj.doSomething();return 0;
}

在这个分离编译的例子中,当修改 MyClass 的实现(myclass.cpp)时,只需要重新编译 myclass.cpp,而不需要重新编译 main.cpp。这些独立的编译单元最后将被链接成一个单个的可执行文件

模版分离编译

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

  1. 在头文件 a.h 中声明了一个函数模板 Add
template<class T>
T Add(const T& left, const T& right);
  1. 接着在 a.cpp 文件中给出了这个模板的定义:
template<class T>
T Add(const T& left, const T& right)
{return left + right;
}
  1. 然后在 main.cpp 中,包含了头文件 a.h 并调用函数模板 Add
#include"a.h"int main()
{Add(1, 2);Add(1.0, 2.0);return 0;
}

存在问题:

在 C++ 中,编译器需要在编译时知道模板函数的完整定义,因为它必须用具体的类型对模板进行实例化。所以,当在 main.cpp 中调用 Add(1, 2)Add(1.0, 2.0) 时,编译器需要看到 Add 函数模板的完整定义,以便能够分别为类型 intdouble 实例化它

但是由于模板定义在 a.cpp 中,而且通常情况下源文件是单独编译的,编译 main.cpp 时,编译器看不到 Add 的定义,这会导致链接错误

解决方案:

为了解决这个问题(即确保编译器能在必要的时候看到完整的模板定义),常见的做法是将模板的声明和定义都放到头文件中,就像这样:

// a.h
template<class T>
T Add(const T& left, const T& right)
{return left + right;
}

这就意味着当你在 main.cpp 中包含 a.h 时,编译器能够看到 Add 的完整定义,从而能够实例化任何需要的模板。

如果你有特定的原因要将模板定义与声明分离(例如减少头文件的大小,或者模板的定义非常复杂),另一种解决方法是显式实例化。这是告诉编译器在编译 a.cpp 文件时创建特定类型的实例。显式实例化看起来像这样:

// a.cpp
#include "a.h"template<class T>
T Add(const T& left, const T& right)
{return left + right;
}// 显式实例化
template int Add<int>(const int& left, const int& right);
template double Add<double>(const double& left, const double& right);

但请注意,显式实例化依旧要求所有使用特定实例化的源文件需要被链接到包含这些实例化的目标文件。此外,这种显式实例化方式只适用于你能预先知道所需类型的情况,这在泛型编程中并不常见。因此,最通用且常用的方法是将模板的定义放在头文件中

前面我们知道,单个函数,进行定义分离没有错误,为什么类模版不行呢?

单个函数(非模板函数)和类模板在有很大的不同,特别是在声明和定义分离。

  1. 非模板函数的声明和定义分离

对于非模板函数,你可以在头文件中声明它们,并在一个单独的源文件中定义它们。编译器在处理非模板函数的声明时,无需知道函数的实现细节,它只需要知道函数的签名(返回类型、函数名和参数列表)。当编译器编译调用该函数的源文件时,它只检查函数的声明(通常在一个头文件中);实际的函数定义可以在程序的其他部分单独编译

// func.h
void myFunction(int x); // 声明// func.cpp
#include "func.h"
void myFunction(int x) { /* 定义 */ } // 定义

在链接阶段,链接器将解析这些调用,找到函数定义,并完成它们之间的连接。

  1. 类模板的声明和定义

类模板涉及到模板的实例化。模板本质上是编译时的一种生成代码的指令集,它们告诉编译器如何创建类型或函数的特定版本

当你在代码中使用类模板时,比如创建一个模板类的对象或调用一个模板函数,编译器必须能看到模板的整个定义,以便能够实例化模板实例化过程中,编译器使用具体的类型替换模板参数。

对于非模板函数,声明和定义可以分离,因为编译器知道函数的大小和调用约定,所以它可以在没有函数体的情况下编译调用该函数的代码。但是对于类模板,编译器需要在编译时创建模板实例,所以它需要能够看到完整的定义

本节内容到此结束!感谢大家阅读!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/831020.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

综合性练习(后端代码练习4)——图书管理系统

目录 一、准备工作 二、约定前后端交互接口 1、需求分析 2、接口定义 &#xff08;1&#xff09;登录接口 &#xff08;2&#xff09;图书列表接口 三、服务器代码 &#xff08;1&#xff09;创建一个UserController类&#xff0c;实现登录验证接口 &#xff…

网络应用层之(6)L2TP协议详解

网络应用层之(6)L2TP协议 Author: Once Day Date: 2024年5月1日 一位热衷于Linux学习和开发的菜鸟&#xff0c;试图谱写一场冒险之旅&#xff0c;也许终点只是一场白日梦… 漫漫长路&#xff0c;有人对你微笑过嘛… 全系列文档可参考专栏&#xff1a;通信网络技术_Once-Day的…

Apollo Dreamview+之播放离线数据包

前提条件 完成 Dreamview 插件安装&#xff0c;参见 Studio 插件安装 。 操作步骤 您可以通过包管理和源码两种方式快速体验离线数据包播放操作。其中进入 docker 环境和启动 dreamview 的命令有所区别&#xff0c;请您按照命令进行操作。 步骤一&#xff1a;启动并打开 Dr…

C++学习第十四课:运算符类型与运算符重载

C学习第十四课&#xff1a;运算符类型与运算符重载 在C中&#xff0c;运算符重载是一种使得自定义类型&#xff08;如类对象&#xff09;能够使用C内建运算符的能力。运算符重载允许程序员定义运算符对用户定义类型的特殊行为&#xff0c;这增加了程序的可读性和自然表达能力。…

PaLmTac嵌入软体手手掌的视触觉传感器

触觉是感知和操作之间的桥梁。触觉信息对于手部行为反馈和规划具有重要意义。软体手的柔性特性在人机交互、生物医学设备和假肢等方面具有潜在应用的优势。本文提出了一种名为 PaLmTac的嵌入软体手手掌的视触觉传感器&#xff08;vision-based tactile sensor, VBTS&#xff09…

学习mysql相关知识记录

执行一条select语句&#xff0c;期间发生了什么&#xff1f; MySQL的执行流程&#xff1a; 连接器 TCP连接 查询缓存 很鸡肋被取消 解析SQL 解析器 语法分析词法分析 执行SQL 预处理器 检查是否存在将 select * 中的 * 符号&#xff0c;扩展为表上的所有列 优化器 优化器主要…

LeetCode 198—— 打家劫舍

阅读目录 1. 题目2. 解题思路3. 代码实现 1. 题目 2. 解题思路 此题使用动态规划求解&#xff0c;假设 d p [ i ] [ 0 ] dp[i][0] dp[i][0] 代表不偷窃第 i i i 个房屋可以获得的最高金额&#xff0c;而 d p [ i ] [ 1 ] dp[i][1] dp[i][1] 代表偷窃第 i i i 个房屋可以获…

Bluetooth Profile 蓝牙协议栈总结

GAP-Generic Access Profile 控制设备广播和连接 GAP profile 的目的是描述&#xff1a; Profile rolesDiscoverability modes and proceduresConnection modes and proceduresSecurity modes and procedures 设备连接过程 LE中GAP有4种角色&#xff1a;BroadcasterObserv…

关于npm命令

我们知道nodejs安装后&#xff0c;用npm命令来安装管理依赖包&#xff0c;npm默认源是https://registry.npmjs.org 国内访问可能不够快&#xff0c;所以大家一般会配置使用国内镜像源&#xff0c;比如https://registry.npmmirror.com &#xff0c;这样可能访问和下载会快一些。…

RTMP 直播推流 Demo(二)—— 音频推流与视频推流

音视频编解码系列目录&#xff1a; Android 音视频基础知识 Android 音视频播放器 Demo&#xff08;一&#xff09;—— 视频解码与渲染 Android 音视频播放器 Demo&#xff08;二&#xff09;—— 音频解码与音视频同步 RTMP 直播推流 Demo&#xff08;一&#xff09;—— 项目…

vue计算属性是什么 怎么选择?

写在computed对象中的属性&#xff0c;本质上是一个方法&#xff0c;不过使用时依旧当属性来使用 虽然模板语法使用非常便利&#xff0c;但是它是被设计成用于简单运算的。在模板中放入太多的逻辑会让模板过重且难以维护 无论计算属性还是methos&#xff0c;这两种实现方式的…

抽象类和接口的区别你知道吗

抽象类和接口是Java中两种重要的机制&#xff0c;它们都用于实现多态性和代码的灵活性&#xff0c;但在某些方面有着不同的特点。下面我将详细介绍抽象类和接口的区别&#xff0c;并通过示例进行说明。 抽象类&#xff08;Abstract Class&#xff09; 定义&#xff1a; 抽象类…

暴雨服务器引领信创算力新潮流

去年大模型的空前发展&#xff0c;人工智能也终于迎来了属于自己的“文艺复兴”&#xff0c;众多的模型相继发布&#xff0c;继而催生了整个行业对于智能算力需求的激增。 市场需求与技术驱动仿佛现实世界的左右脚&#xff0c;催动着世界文明的齿轮向前滚动。在全球经济角逐日…

力扣:61. 旋转链表(Java,双指针)

目录 题目描述&#xff1a;输入&#xff1a;输出&#xff1a;代码描述&#xff1a; 题目描述&#xff1a; 给你一个链表的头节点 head &#xff0c;旋转链表&#xff0c;将链表每个节点向右移动 k 个位置。 输入&#xff1a; head [1,2,3,4,5], k 2 输出&#xff1a; [4,5,1,…

Win系统常用操作

文章目录 1、常用快捷键 1、常用快捷键 锁屏&#xff1a;WinL截屏&#xff1a;WInShiftS新建文件夹&#xff1a;CtrlShiftN关闭程序&#xff1a;CtrlW放大/缩小页面&#xff1a;Ctrl加号/减号最小化当前窗口&#xff1a;Alt空格N返回桌面&#xff1a;WinD&#xff08;再次按Wi…

linux高性能服务器--定长内存池设计

内存池 内存池是指程序预先从操作系统申请一块足够大内存&#xff0c;此后当程序中需要再次申请内存的时候&#xff0c;直接从内存池中获取&#xff1b;当程序释放内存的时候&#xff0c;是返回给内存池保管。 开源内存池&#xff1a; tcmalloc 功能&#xff1a; 避免频繁分…

扒开kafka内部组件,咱瞅一瞅都有啥?

Apache Kafka 是一个分布式流处理平台&#xff0c;主要用于构建实时数据管道和流式应用程序。它由几个核心组件组成&#xff0c;这些组件共同工作以提供高吞吐量、持久性、容错性和可扩展性。关于 Kafka 与其它类似的中间件的对比&#xff0c;这里V 哥就不再阐述了&#xff0c;…

leetcode-滑动窗口的最大值-95

题目要求 思路 1.这个题是可以暴力求解的&#xff0c;但是时间复杂度比较高&#xff0c;因此&#xff0c;这里说一个时间复杂度为O(n)的方法 2.因为这个代码是优化后的结果&#xff0c;第一次写如果直接写成这样着实不容易&#xff0c;因此&#xff0c;我直接讲每一行的含义。…

Linux系统应用与设置(1):比较、生成补丁以及应用补丁(diff与patch指令)

1. 简述 在我们应用Linux系统或基于Linux系统做一些软件应用开发时&#xff0c;经常会遇到需要将文件的改动记录下来&#xff0c;并且讲这些改动和差异应用到其他的Linux系统时&#xff0c;我们会用到diff和patch指令。 在Linux中&#xff0c;diff和patch是两个非常有用的命令行…

【网络基础】深入理解TCP协议:协议段、可靠性、各种机制

文章目录 1. TCP协议段格式1.1. 如何解包 / 向上交付1.1.1. 交付1.1.2. 解包 1.2. 如何理解可靠性1.2.1. 确认应答机制&#xff08;ACK&#xff09;1.2.2. 序号 与 确认序号 2. TCP做到全双工的原因2.1. 16位窗口大小2.2. 6个标记位 3. 如何理解连接3.1 连接管理机制3.1.1. 三次…