C++_模板进阶_非类型模板参数_模板特化_分离编译

news2024/12/26 0:13:04

一、非类型模板参数

模板参数,分为类型形参和非类型形参。

类型形参就是在模板中跟在typename和class之后的参数类型名称,非类型形参就是用一个常量作为类模板或者函数模板的一个参数,在类模板和函数模板中,可以将该参数当作常量来使用。

例如,现在要实现一个静态栈:

using namespace std;
#include <iostream>
#define N 10

template <typename T>
class Stack
{
	//......
private:
	T _a[N];
	int _top;
};

int main()
{
	Stack<int> st1;
	Stack<int> st2;

	return 0;
}

问题是,这个栈的大小只有10,因为先前就在宏定义中将N定义为了10。所以不能根据需求对栈进行实例化。

那么现在就可以用到非类型模板参数了,可以这样来实现栈:

using namespace std;
#include <iostream>

template <typename T,size_t N>
class Stack
{
	//......
private:
	T _a[N];
	int _top;
};

int main()
{
	Stack<int,10> st1;
	Stack<int,100> st2;

	return 0;
}

从监视1窗口可以看到,st1和st2大小分别为10和100:

除此之外,应该注意浮点数、类对象以及字符串是不允许作为非类型模板参数的;非类型的模板参数必须在编译期就能确认结果。

二、模板的特化

先来看几个例子。

定义一个函数模板如下:

template<class T>
bool Less(T left,T right)
{
	return left < right;
}

测试1:

int main()
{
	int num0 = 0;
	int num1 = 1;
	bool res = Less(num0,num1);
	return 0;
}

可以正常运行。

测试2:

int main()
{
	double num0 = 0;
	double num1 = 1;
	bool res = Less(num0, num1);
	return 0;
}

可以正常运行。

测试3,这次让指针进行比较:

int main()
{
	double num0 = 0;
	double num1 = 1;
	double* pnum0 = &num0;
	double* pnum1 = &num1;
	bool res = Less(pnum0, pnum1);
	return 0;
}

 

根据监视1窗口的结果,可以看到返回值为false。事实上,num0的值是小于num1的值的,返回值为true才对。但是这里是对指针进行大小比较,这是一种没有意义的比较。

因此就要用特化来处理。

特化即在原模板类的基础上,针对特殊类型所进行特殊化的实现方式。

模板特化中分为函数模板特化与类模板特化。

函数模板特化的步骤:

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

针对Less模板,当参数为指针时,应该这样特化:

template<class T>
bool Less(T left,T right)
{
	return left < right;
}

template<>
bool Less<double*>(double* left, double* right)
{
	return *left < *right;
}

这次调用,就会发现返回值正常了:

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

比如,刚才对double*类型进行特化,其实完全可以写成如下代码:

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

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

上述内容是函数模板的特化,接下来还有类模板的特化。

类模板的特化分为全特化和偏特化。

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

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

template<>
class Data<int, double>
{
public:
	Data()
	{
		cout << "template<>" << endl;
	}
private:
	int t1;
	int t2;
};

偏特化又分为部分特化和参数的进一步限制,部分特化如下:

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

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

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

这是将两个参数特化为指针:

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

这是将两个参数特化为引用:

template <typename T1, typename 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;
};

三、模板的分离编译

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

首先明确,模板要尽量避免分离编译!!!

这是因为,C++标准明确表示,当一个模板不被用到的时侯它就不该被实例化出来。

比如:

//a.cpp
#include "a.h"
template <class T>
bool Less(T left, T right)
{
	return left < right;
}

//a.h
template <class T>
bool Less(T left, T right);

//test.cpp
#include "a.h"
int main()
{
	int num0 = 0;
	int num1 = 1;
	Less(num0,num1);
}

 当调试的时候,会发现编译器会有如下提示:

先前已提到,当一个模板不被用到的时侯它就不该被实例化出来。

虽然说,在test.cpp中用到了Less函数,但是a.cpp中并没有用到cpp函数,也就是说它没有被实例化。

造成这一结果的原因是,.h文件里的代码将会被扩展到包含它的.cpp文件里,然后编译器编译该.cpp文件为一个.obj文件,在本例中,a.h的代码被扩展到a.cpp中,test.cpp和a.cpp都会被编译器生成为.obj文件。

正常情况下,编译器会将test.cpp中的Less看作外部链接,也就是会在其它的.obj文件中查找Less函数的二进制地址,去调用。

然而,模板函数的代码其实并不能直接编译成二进制代码,其中要有一个“实例化”的过程!!!

所以,为避免这种情况发生,可以采取以下两种方法:

1.将声明和定义放在同一个.h或.hpp文件中;

如:

//a.h
template<class T>
T Add(T left, T right);

template<class T>
T Add(T left, T right)
{
	return left + right;
}

//test.cpp
#include "a.h"

int main()
{
	int num0 = 0;
	int num1 = 1;
	int res = Add(num0,num1);
}

 2.模板定义的位置显式实例化,但是不推荐这种用法。

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

template
int Add<int>(int, int);

//a.h
template<class T>
T Add(T left, T right);

//test.cpp
#include "a.h"
int main()
{
	int num0 = 0;
	int num1 = 1;
	int res = Add(num0,num1);
}

 

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

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

相关文章

第三方软件安全测评如何收费,安全测试包括哪些测试项?

近年来&#xff0c;随着全球范围内网络安全事件的频发&#xff0c;第三方软件安全测评的需求也日益增长。软件安全对于企业的重要性不言而喻&#xff0c;那么如何收费和可做测试项就成了企业最为关注的问题&#xff0c;小编将就以上问题作出以下简析。 一、第三方软件安全测评…

Smartbi 修改用户密码漏洞

漏洞简介 通过查看 Smartbi 的补丁包信息&#xff0c;发现存在漏洞在某种特定情况下修改用户的密码&#xff0c;进行简单的复现和分析 ​ 漏洞复现 在页面上修改密码时&#xff0c;需要知道原本的用户对应的密码 ​ ​ 直接构造这样的数据包&#xff0c;就不需要知道原本…

Excelize Go语言操作 Office Excel文档基础库

Excelize 是 Go 语言编写的用于操作 Office Excel 文档基础库&#xff0c;基于 ECMA-376&#xff0c;ISO/IEC 29500 国际标准。可以使用它来读取、写入由 Microsoft Excel™ 2007 及以上版本创建的电子表格文档。支持 XLAM / XLSM / XLSX / XLTM / XLTX 等多种文档格式&#xf…

硬件-10-浏览器发展史和开源操作系统FydeOS

吊打 IE、Firefox&#xff0c;谷歌 Chrome 十年发展史 fydeos官方网站 全面了解浏览器内核发展史 1 浏览器内核 浏览器内核英文叫做&#xff1a;Rendering Engine&#xff0c;中文翻译很多&#xff0c;排版引擎、解释引擎、渲染引擎&#xff0c;现在流行称为浏览器内核。内核…

42、可靠传输——连续ARQ

上回内容我们学习到&#xff0c;一种保证可靠传输的机制——ARQ协议&#xff0c;ARQ协议通过设置超时定时器&#xff0c;当在规定时间内没有收到来自对方发来的“确认”报文&#xff0c;就自动报文重传。这其中&#xff0c;ARQ协议和停止等待机制的结合&#xff0c;我们把它称作…

USB PD快充保护方案有哪些?用集成式TVS还是分立式TVS?

USB Power Delivery &#xff0c;简称USB PD&#xff0c;是由USB-IF组织制定的一种快速充电规范&#xff0c;目前主流的快充协议之一。该规范可实现更高的电压和电流&#xff0c;输送的功率最高可达100瓦&#xff0c;并可以自由的改变电力的输送方向。在日常使用USB PD快充充电…

CNN卷积详解(三)

一、卷积层的计算 4 ∗ * ∗ 4的输入矩阵 I I I 和 3 ∗ * ∗ 3 的卷积核 K K K: 在步长&#xff08;stride&#xff09;为 1 时&#xff0c;输出的大小为 ( 4 − 3 1 ) ( 4 − 3 1) 计算公式&#xff1a; ● 输入图片矩阵 I I I 大小&#xff1a; w w w w ww ●…

【八大排序】-- 基数排序(动图演示)

基数排序(桶排序)介绍 &#xff08;1&#xff09;基数排序&#xff08;radix sort&#xff09;属于“分配式排序”&#xff08;distribution sort&#xff09;&#xff0c;又称“桶子法”&#xff08;bucket sort&#xff09;或bin sort&#xff0c;顾名思义&#xff0c;它是通…

【环境配置】Windows10-YOLOv8运行报错

问题如下&#xff1a; Windows10 运行 YOLOv8 出现如下错误&#xff1a; Traceback (most recent call last): File “”, line 1, in File “D:\anaconda3\envs\yolov8\Lib\multiprocessing\spawn.py”, line 116, in spawn_main exitcode _main(fd, parent_sentinel) ^^^^^…

【ROS】话题通信--从理论介绍到模型实现

1.简单介绍 话题通信是ROS中使用频率最高的一种通信模式&#xff0c;话题通信是基于发布订阅模式的&#xff0c;也即:一个节点发布消息&#xff0c;另一个节点订阅该消息。像雷达、摄像头、GPS… 等等一些传感器数据的采集&#xff0c;也都是使用了话题通信&#xff0c;换言之…

帆软大屏2.0企业制作

&#xfffc; 数字化观点中心 / 当前页 如何从0-1制作数据大屏&#xff0c;我用大白话给你解释清楚了 文 | 商业智能BI相关文章 阅读次数&#xff1a;18,192 次浏览 2023-06-08 11:51:49 好莱坞大片《摩天营救》中有这么一个场景&#xff1a; &#xfffc; 你可以看见反派大b…

设备数字化平台的优势和应用价值

在现代工业领域&#xff0c;设备的高效管理和维护对于企业的运营和竞争力至关重要。而设备管理系统作为一个强大的工具&#xff0c;可以极大地提升设备管理和维护的效率&#xff0c;从而实现生产效益的最大化。本文将探讨设备数字化平台的优势和应用价值。 设备数字化平台是一款…

蓝桥杯嵌入式省一教程:(一)点亮LED

如同所有编程入门的第一个教程——打印"Hello world"一样&#xff0c;点亮LED可以算得上是嵌入式开发中的"Hello world"&#xff0c;所有的单片机开发入门都从这里开始。 在点亮LED前&#xff0c;我们需要先了解一个重要概念——GPIO(General Purpose Inp…

【C++】queue容器

1.queue容器基本概念 2.queue常用接口 #include <iostream> using namespace std;//队列queue #include<queue>//创建Person类 class Person { public:Person(string name, int age){this->m_Name name;this->m_Age age;}string m_Name; //姓名int m_Age; …

【hive】hive中row_number() rank() dense_rank()的用法

hive中row_number() rank() dense_rank()的用法 一、函数说明 主要是配合over()窗口函数来使用的&#xff0c;通过over(partition by order by )来反映统计值的记录。 rank() over()是跳跃排序&#xff0c;有两个第二名时接下来就是第四名(同样是在各个分组内)dense_rank() …

04-分支语句和逻辑运算符

分支语句和逻辑运算符 6.1、if语句 if 结构 例子 统计输入的字符数、空格数 // if.cpp -- using the if statement #include <iostream> int main() {using std::cin; // using declarationsusing std::cout;char ch;int spaces 0;int total 0;cin.get(ch);wh…

mysql数据库设置创建时间和更新时间自动更新

1、创建时间&#xff1a;CURRENT_TIMESTAMP 2、修改时间&#xff1a;ON UPDATE CURRENT_TIMESTAMP DROP TABLE IF EXISTS mall_pay_info; CREATE TABLE mall_pay_info (id int(11) NOT NULL AUTO_INCREMENT,user_id int(11) DEFAULT NULL COMMENT 用户id,order_no bigint(20)…

IS3DH加速度计使用SPI和IIC方式读取数据LIS3DH中英文文档和测试代码

最近博主在研究一款低功耗加速度计LIS3DH&#xff0c;该加速度计有两种通信模式&#xff0c;IIC和SPI方式。IIC通信方式搞了一下 就好了&#xff0c;但是SPI方式针扎了两天才做出来&#xff0c;现在和大家分享一下心得。 开发环境&#xff1a;MDK keil5 使用芯片&#xff1a…

Centos7 配置Docker镜像加速器

daemon.json 文档说明&#xff1a; docker安装后默认没有daemon.json这个配置文件&#xff0c;需要进行手动创建&#xff0c;docker不管是在哪个平台以何种方式启动, 默认都会来这里读取配置,使用户可以统一管理不同系统下的 docker daemon 配置。 如果在daemon.json文件中进行…

Syncfusion Essential Studio JavaScrip Crack

Syncfusion Essential Studio JavaScrip Crack 数据透视表 添加了在将数据透视表导出到PDF文档时自定义列宽的支持。 签名 添加了对在特定位置绘制文本的支持。 Syncfusion Essential Studio for JavaScript在一个包中包含80多个高性能、轻量级、模块化和响应式UI组件。包括Jav…