【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_H

class 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. 类模板的声明和定义

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

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

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

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

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

Ubuntu GUI使用Root用户登录指南

Ubuntu GUI使用Root用户登录指南 一、前言 默认情况下&#xff0c;Ubuntu 禁用了 root 账户&#xff0c;我们必须使用 sudo 命令来执行任何需要 root 权限的任务&#xff0c;比如像这样删除一个系统配置文件&#xff08;操作危险&#xff0c;请勿尝试&#xff09;&#xff1a;…

一探究竟轻松畅玩:我独自升级崛起怎么玩 怎么快速上手的教程

一探究竟轻松畅玩&#xff1a;我独自升级崛起怎么玩 怎么快速上手的教程 最近一款漫改的MMORPG游戏《我独自升级&#xff1a;崛起》给玩家们带来了不少惊喜。在刚进入游戏时&#xff0c;玩家们需要从E级猎人开始玩起&#xff0c;逐步成长为S级猎人&#xff0c;通过升级学习新技…

ES与关系数据库的同步练习(hotel_admin)

目录 1 es与数据库同步的方法2 实践2.1 任务介绍2.2 MQ方面操作2.2.1 声明交换机队列并且绑定2.2.2 hotel_admin端web层设置mq发送消息2.3 hotel_demo端监听接受消息并执行es操作 1 es与数据库同步的方法 方式一&#xff1a;同步调用 优点&#xff1a;实现简单&#xff0c;粗…

jupyter notebook导出pdf文件显示不了中文

找到文件index.tex.j2&#xff0c;我的在 C:\Users\Administrator\miniconda3\envs\opencv2\share\jupyter\nbconvert\templates\latex 我安装miniconda3并配置opencv2所需要的环境, 配置前 最后&#xff1a;用文本编辑器打开&#xff0c;修改图中article为ctexart&#xf…

spring boot 自定义starter示例

springboot 约定规范 Starter项目的命名规范 建议自定义的starter 以 xxx-spring-boot-starter 命名&#xff0c;官方的Starter一般都是以spring-boot-starter-为前缀。这样做的目的是为了避免与官方或其他第三方提供的Starter产生冲突或混淆。 Starter项目的结构规范(重要) …

ubuntu22.04 cmake 配置mysql

报错信息&#xff1a; CMake Error at CMakeLists.txt:33 (find_package): By not providing “FindMySQL.cmake” in CMAKE_MODULE_PATH this project has asked CMake to find a package configuration file provided by “MySQL”, but CMake did not find one. Could not…

python - 3D图表绘制

Pyecharts 和 3D 图表绘制 Pyecharts 是一个用于生成各种图表的 Python 库&#xff0c;它基于 Echarts&#xff0c;支持大量的图表类型&#xff0c;非常适合用于数据分析和可视化。Pyecharts 主要优点是易于使用&#xff0c;可以直接在 Python 环境中绘制富有交互性的图表&…

【电路笔记】-石英晶体振荡器

石英晶体振荡器 文章目录 石英晶体振荡器1、概述2、石英晶体等效模型3、石英晶体振荡器示例14、Colpitts 石英晶体振荡器5、Pierce振荡器6、CMOS晶体振荡器7、微处理器水晶石英钟8、石英晶体振荡器示例21、概述 任何振荡器最重要的特性之一是其频率稳定性,或者换句话说,其在…

脸爱云一脸通智慧管理平台 SystemMng 管理用户信息泄露漏洞(XVE-2024-9382)

0x01 产品简介 脸爱云一脸通智慧管理平台是一套功能强大,运行稳定,操作简单方便,用户界面美观,轻松统计数据的一脸通系统。无需安装,只需在后台配置即可在浏览器登录。 功能包括:系统管理中心、人员信息管理中心、设备管理中心、消费管理子系统、订餐管理子系统、水控管…

关于海康相机和镜头参数的记录

对比MV-CS020-10UC和大家用的最多的MV-CS016-10UC 其实前者适合雷达站使用&#xff0c;后者适合自瞄使用 一&#xff1a;MV-CS020-10UC的参数 二&#xff1a;对比 三&#xff1a;海康镜头选型工具

SpringCloudAlibaba:3.1dubbo

dubbo 概述 简介 Apache Dubbo 是一款 RPC 服务开发框架&#xff0c;用于解决微服务架构下的服务治理与通信问题 官方提供了 Java、Golang、Rust 等多语言 SDK 实现 Dubbo的开源故事 最早在2008年&#xff0c;阿里巴巴就将Dubbo捐献到开源社区&#xff0c;它很快成为了国内开源…

张鸣独到解读:规矩与自信的政治影响

在当今多变的政治舞台上&#xff0c;学者张鸣教授以其犀利而深邃的视角&#xff0c;对规矩与自信提出了新的解读。他的言论不仅引发了公众的广泛关注&#xff0c;也为我们提供了思考社会政治问题的一个新的角度。张教授指出&#xff0c;规矩并非僵化的教条&#xff0c;而应是动…

02_机器学习算法_基于XGBoost的分类预测

1. XGBoost 算法 1.1 XGBoost 的介绍 XGBoost是2016年由华盛顿大学陈天奇老师带领开发的一个可扩展机器学习系统。严格意义上讲XGBoost并不是一种模型,而是一个可供用户轻松解决分类、回归或排序问题的软件包。它内部实现了梯度提升树(GBDT)模型,并对模型中的算法进行了诸多…

linux 光驱(光盘)安装

文章目录 自带 YUM 库创建 repo创建文件夹挂载光驱开机自启动挂载安装软件YUM 安装RPM 安装 自带 YUM 库 ls /etc/yum.repos.d创建 repo vim /etc/yum.repo.d/demo.repo // 编写 repo 相关配置 [demo] namedemo baseurlfile:///mnt/cdrom gpkcheck0创建文件夹挂载光驱 /dev/…

Dynamic-Programming

目录 前言 引入 1) Fibonacci 2) 最短路径 - Bellman-Ford 3) 不同路径-Leetcode 62 4) 0-1 背包问题 降维 5) 完全背包问题 降维 6) 零钱兑换问题-Leetcode322 降维 零钱兑换 II-Leetcode 518 7) 钢条切割问题 降维 类似题目 Leetcode-343 整数拆分 8) 最长…

是机遇?是未来?拥抱 AI Agent ,拥抱 AI 2.0时代~

✍️ 作者&#xff1a;哈哥撩编程&#xff08;视频号同名&#xff09; 博客专家全国博客之星第四名超级个体COC上海社区主理人特约讲师谷歌亚马逊演讲嘉宾科技博主极星会首批签约作者 &#x1f3c6; 推荐专栏&#xff1a; &#x1f3c5; 程序员&#xff1a;职场关键角色通识宝…

手搓带头双向循环链表(C语言)

目录 List.h List.c ListTest.c 测试示例 带头双向循环链表优劣分析 List.h #pragma once#include <stdio.h> #include <stdlib.h> #include <assert.h>typedef int LTDataType;typedef struct ListNode {struct ListNode* prev;struct ListNode* next…

【tcl脚本实践Demo 1】文本生成、匹配、修改、读写

引言 在芯片设计的流程中,各种EDA工具在设计、综合、布局布线、验证、时序分析等等环节都会产出大量的文件信息。这些信息是海量的,如果单纯靠程序员自己查看信息效率很低并且很容易纰漏。所以脚本语言可以很好的解决这个问题,可以利用脚本语言匹配到敏感的信息,完成对信息…

政安晨:【Keras机器学习示例演绎】(二十九)—— 利用卷积 LSTM 进行下一帧视频预测

目录 简介 设置 数据集构建 数据可视化 模型构建 模型训练 帧预测可视化 预测视频 政安晨的个人主页&#xff1a;政安晨 欢迎 &#x1f44d;点赞✍评论⭐收藏 收录专栏: TensorFlow与Keras机器学习实战 希望政安晨的博客能够对您有所裨益&#xff0c;如有不足之处&…

python web开发开源规范

Hello , 大家好。首先在五一假期给所有劳动者创造者们送上祝福&#xff0c; 本文聊聊我对python web开源相关的规范 PEP 8 Python编程风格指南:PEP 8是Python编程的官方风格指南&#xff0c;提供了关于代码格式、命名规范、注释等方面的建议。遵循PEP 8可以使代码更易于阅读和…