C++ —— 《模板进阶详解》，typedef和class的区别以及用法，非类型模板参数，模板的特化，模板的分离编译

news2024/11/26 4:47:14

目录

1.非类型模板参数

2.模板特化

2.1 概念

2.2 函数模板特化

2.3 类模板特化

2.3.1 全特化

2.3.2 偏特化

3 模板分离编译

3.1 什么是分离编译

3.2 模板的分离编译

4.模板总结

在讲解模板进阶之前，我想先简单单独聊聊class和typename的用法

我们在平时定义模板的时候使用class或typename都是可以的

但是有种情况，请看下面段代码

void Print2(const vector<int>& v)
{
    vector<int>::const_iterator it = v.begin();

	while (it != v.end())
	{
		cout << *it << ' ';
		++it;
	}
	cout << endl;
}

int main()
{
	vector<int> v(10, 8
	Print2(v);

	return 0;
}

我们来看看运行情况

测试运行：

template<class container>
void Print1(const container& v)
{
	container::const_iterator it = v.begin();

	while (it != v.end())
	{
		cout << *it << ' ';
		++it;
	}
	cout << endl;
}

以上段代码我们修改为泛型，让其可以接收更多不同的类型，变的更加灵活

template<class container>
void Print1(const container& v)
{
	container::const_iterator it = v.begin();

	while (it != v.end())
	{
		cout << *it << ' ';
		++it;
	}
	cout << endl;
}
int main()
{
	vector<int> v(10, 8);
	Print1<vector<int>>(v);

	return 0;
}

运行结果：

我们确实是根据模板语法写出来的代码，为什么编译器会报错呢？  

container::const_iterator it = v.begin();

编译器在编译期间检查的时候，它不知道container::const_iterator这个是类型还是对象，我们知道在类中只要是public权限的都是可以类名加域作用限定符进行访问的，如果编译器将它实例化为变量那么这条语句就会报错，所以为了在编译期间不让它报错，我们应该在这条语句前面加上typename，告诉编译器这是类型

typename container::const_iterator it = v.begin();

我们来运行试一下

template<class container>
void Print1(const container& v)
{
	typename container::const_iterator it = v.begin();

	while (it != v.end())
	{
		cout << *it << ' ';
		++it;
	}
	cout << endl;
}
int main()
{
	vector<int> v(10, 8);
	Print1<vector<int>>(v);

	return 0;
}

1.非类型模板参数

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

类型形参：出现在模板参数列表中，跟在class或者typename之后的参数类型名称。

非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

这里来看一个例子：

#define N 100
template<class T>
class Stack
{	
private:
	T _a[N];
	size_t _top;
};

这里我创建了一个容量为100的静态栈，我将它封装在一个模板类中，这个静态栈的容量是固定的，并不能对其进行修改，这时有一种场景我们需要两个不同容量的静态栈，我们应该怎么实现呢？

正是为了解决这种需求，C++引入了非类型模板参数，由于非类型模板参数的引入，在我们写模板参数时，不仅可以写类型，也可以使用常量作为参数

template<class T, size_t n>
class Stack
{
private:
	T _a[n];
	size_t _top;
};

int main()
{
	Stack<int, 10> s1;
	Stack<int, 100> s2;

	return 0;
}

可以看到由于非模板参数的引入，使我们可以指定静态栈的大小，让静态栈变得更加的灵活

使用非模板类型参数需要注意：

1.非模板类型参数只能是整型家族（例如：size，int，char.....）

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

还有一点需要注意的是，非类型模板参数是一个常量，你不能在类域中对它进行赋值操作，不然编译器会报错

可以看到这里编译器并没有报错，我们在类型中明明更改了n的取值为什么编译器不报错呢？在VS下编译器是按需实例化的，我们并没有调用func1，所以编译器不会去改变n

template<class T, size_t n>
class Stack
{
public:
	void func1()
	{
		n = 88;
	}

private:
	T _a[n];
	size_t _top;
};

int main()
{
	//Stack<int, 10> s1;
	Stack<int, 100> s2;
	s2.func1();

	return 0;
}

在调用func1函数之后，编译器果然就报错了，“左操作数必须为左值” ，常量不能为左值

2.模板特化

2.1 概念

接下来我举个例子来讲解模板特化

template<class T>
bool compare(T left, T right)
{
	return left > right;
}
int main()
{
	int x = 1, y = 2;
	cout << compare(x, y) << endl;
	double a = 1.4, b = 2.4;
	cout << compare(a, b) << endl;

	return 0;
}

根据编译器编译结果，可以发现结果在我们的预期之内，并没有出现奇怪的现象

继续传一组数据，看它的结果是否能符合我们的预期

int main()
{
	int x = 1, y = 2;
	cout << compare(x, y) << endl;
	double a = 1.4, b = 2.4;
	cout << compare(a, b) << endl;
    cout << compare(&a, &b) << endl;    

	return 0;
}

这次测试的结果并没有达到我们的预期，我们将传a，b的地址以传参的方式传递过去，事实上compare并没有报错，是可以比较的，但是结果与上一次并不相同，这与我们想看到的结果不一致，因为我们将a，b的地址传入compare进行比较，虽然T实例化了int*，但compare比较的是a和b的地址而不是a和b的值

为了让传地址也能达到我们的目的，这里我们特化一个函数模板

2.2 函数模板特化

函数模板的特化步骤：

1. 必须要先有一个基础的函数模板

2. 关键字template后面接一对空的尖括号<>

3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型

4. 函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误

方法1：

//基础模板
template<class T>
bool compare(T left, T right)
{
	return left > right;
}

//模板特化
template<>
bool compare<double*>(double* left, double* right)
{
	return *left > *right;
}

这里针对double*类型特化一个函数模板

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

方法2：

bool compare(double* left, double* right)
{
	return *left > * right;
}

方法3：

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

如果我们这样写，也是可以完成以上比较操作的，在VS下编译器的优先选择情况：方法2>方法3>方法1

2.3 类模板特化

类模板也可以针对特殊类型进行特殊化实现，而且与函数特化不同，类模板的特化分为：半特化和全特化

类模板特化步骤：

1. 必须要先有一个基础的函数模板

2. 关键字template后面接一对空的尖括号<>

3. 函数名后跟一对尖括号，尖括号中指定需要特化的类型

2.3.1 全特化

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

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

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

int main()
{
	Date<int, int> d1;
	Date<int, double> d2;

	return 0;
}

对于类模板的全特化，当我们实例化对象类型为int，int时编译器会自动调用与它最匹配的模板，可以看终端上函数调用情况

2.3.2 偏特化

部分特化即是将模板参数列表中部分的参数都确定化。

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

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

template<class T1>
class Date<T1, double>
{
public:
	Date()
	{
		cout << "Date<T1, T2>" << endl;
	}
};

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

对某种类型的进一步限制

template<class T1, class T2>
class Date<T1*, T2*>
{
public:
	Date()
	{
		cout << "Date<T1*, T2*>" << endl;
	}
};

template<class T1, class T2>
class Date<T1&, T2&>
{
public:
	Date()
	{
		cout << "Date<T1&, T2&>" << endl;
	}
};

测试案例：

int main()
{
	Date<int, int> d1;
	Date<int, double> d2;
	Date<int*, double*> d3;
	Date<int&, double&> d4;
	Date<void*, double*> d5;

	return 0;
}

3 模板分离编译

3.1 什么是分离编译

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

3.2 模板的分离编译

我将模板函数的声明和定义分离，我原本以为将要编译成功的时候，编译器报错了，然后我思考了很久，难道模板的声明和定义不能分离吗？我们接着往下看

无法解析的外部符号，这样的报错一般都是在链接期间，这样可以证明我们并没有语法错误

通常程序需要运行起来，都需要以下四个步骤：

1.预处理

预处理也叫预编译：编译器在预处理期间，会处理预处理指令，预处理指令包括，头文件的包含，定义符号的替换和删除，注释的删除，那我们是不是可以理解，处在预处理期间，编译器做的都是文本操作

2.编译

编译期间需要做的操作细分为以下几点：语法分析，词法分析，语义分析，符号汇总，简单来说就是检查代码的规范性们是否有语法错误等，确定代码实际让计算机所做的操作，在检查没什么问题之后，将代码翻译成汇编语言

3.汇编

编译将高级语言翻译成汇编语言代码，然后将汇编语言代码翻译成二进制指令（存放在目标文件）

4.链接

将多个目标文件（.obj），并处理没有解决的地址问题

3.3 解决方法

解决方法一：

在a.cpp为文件下显示实例化，在链接的时候让编译器链接到Add函数

解决方法二：

将声明和定义放在同一个文件中

函数模板和类模板的解决方法是相同的

4.模板总结

【优点】

1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生

2. 增强了代码的灵活性

【缺陷】

1. 模板会导致代码膨胀问题，也会导致编译时间变长

2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误

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

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

相关文章

Mac使用Git仓库上传文件夹方法

Mac使用Git仓库上传文件夹方法

环境&#xff1a;mac 仓库&#xff1a;GitLink Q: 首先我们先了解到&#xff0c;远程下载&#xff08;用ssh&#xff09;仓库会默认下载到电脑的哪里呢&#xff1f; A: 如下图&#xff0c;路径为/Users/bb&#xff0c;&#xff08;bb是我的用户名&#xff09; 那么我们在将a文…
阅读更多...
筑牢理性防线，“卡游启智，理性护航”青少年健康消费倡议发布

筑牢理性防线，“卡游启智，理性护航”青少年健康消费倡议发布

新华网北京10月22日电&#xff08;记者周靖杰&#xff09;10月21日&#xff0c;国内针对青少年卡牌盲盒消费的倡议在京发布。 “卡游启智&#xff0c;理性护航”青少年健康消费倡议在京正式发布 近年来&#xff0c;卡牌盲盒在青少年中悄然流行&#xff0c;买卡、拆包、集卡成为…
阅读更多...
临时配置linux Bridge网桥

临时配置linux Bridge网桥

Linux Bridge&#xff08;网桥&#xff09;是用纯软件实现的虚拟交换机&#xff0c;有着和物理交换机相同的功能&#xff0c;例如二层交换&#xff0c;MAC地址学习等。因此我们可以把tun/tap&#xff0c;veth pair等设备绑定到网桥上&#xff0c;就像是把设备连接到物理交换机上…
阅读更多...
数据可视化示例

数据可视化示例

用eclipse软件 java 代码&#xff1a; <!DOCTYPE html> <html> <head> <meta charset"UTF-8"> <!-- 引入ECharts脚本&#xfe63;-> <script src"js/echarts.js"></script> <title&#xff1e;网格…
阅读更多...
红日靶场（三）1、环境介绍及环境搭建

红日靶场（三）1、环境介绍及环境搭建

1、靶场介绍 红日靶场03是一个用于安全测试和渗透测试的虚拟化环境&#xff0c;可以帮助用户通过模拟攻击和防御场景来提升网络安全技能。该靶场包含了多个虚拟机和网络配置&#xff0c;用户可以在其中进行各种安全测试活动&#xff0c;如信息收集、漏洞利用、权限提升等。 2…
阅读更多...
Java项目-基于Springboot的高校党务系统项目(源码+说明).zip

Java项目-基于Springboot的高校党务系统项目(源码+说明).zip

作者&#xff1a;计算机学长阿伟 开发技术&#xff1a;SpringBoot、SSM、Vue、MySQL、ElementUI等&#xff0c;“文末源码”。 开发运行环境 开发语言&#xff1a;Java数据库&#xff1a;MySQL技术&#xff1a;SpringBoot、Vue、Mybaits Plus、ELementUI工具&#xff1a;IDEA/…
阅读更多...
ACL访问控制

ACL访问控制

要求&#xff1a; PC1与PC2不能通信。PC1可以和PC3通信。PC2可以和PC3通信。 1. VLAN配置 根据拓扑图的连接&#xff0c;PC1、PC2、PC3属于不同的VLAN。我们需要确保交换机上的端口已经正确划分到不同的VLAN。假设交换机接口的VLAN配置已经完成&#xff08;其他博文有)&…
阅读更多...
在VMware中安装LInux

在VMware中安装LInux

1.打开VMware选择新建虚拟机 2.这里建议初学者选择“典型&#xff08;推荐&#xff09;”。 3.已提前准备好 Linux 系统的映像文件&#xff08;.iso 文件&#xff09;&#xff0c;此处可选择“安装程序光盘映像文件”&#xff0c;并通过“浏览”按钮找到要安装 Linux 系统的 i…
阅读更多...
“金秋敬老月 浓浓孝老情”2024中益孝行大爱进万家敬老月公益活动走进涿州

“金秋敬老月 浓浓孝老情”2024中益孝行大爱进万家敬老月公益活动走进涿州

为贯彻实施积极应对人口老龄化国家战略&#xff0c;弘扬中华民族孝亲敬老传统美德&#xff0c;10月22日&#xff0c;中益老龄事业发展中心和涿州市东城坊镇人民政府在安享城养老院联合开展“金秋敬老月&#xff0c;浓浓孝老情”2024中益孝行大爱进万家敬老月公益活动。中益老龄…
阅读更多...
android openGL ES详解——混合

android openGL ES详解——混合

一、混合概念 混合是一种常用的技巧&#xff0c;通常可以用来实现半透明。但其实它也是十分灵活的&#xff0c;你可以通过不同的设置得到不同的混合结果&#xff0c;产生一些有趣或者奇怪的图象。混合是什么呢&#xff1f;混合就是把两种颜色混在一起。具体一点&#xff0c;就…
阅读更多...
数学学习——积化和差、和差化积

数学学习——积化和差、和差化积

1.积化和差 2.和差化积
阅读更多...
《Python游戏编程入门》注-第2章2

《Python游戏编程入门》注-第2章2

《Python游戏编程入门》的“2.2.5 绘制线条”中提到了通过pygame库绘制线条的方法。 1 相关函数介绍 通过pygame.draw模块中的line()函数来绘制线条&#xff0c;该函数的格式如下所示。 line(surface, color, start_pos, end_pos, width1) -> Rect 其中&#xff0c;第一…
阅读更多...
面试题：Redis（八）

面试题：Redis（八）

1. 面试题 2. 锁的特性 单机版同一个jvm虚拟机内&#xff0c;synchronized或者Lock接口 分布式多个不同jvm虚拟机&#xff0c;单机的线程锁机制不再起作用&#xff0c;资源类在不同的服务器之间共享 一个靠谱分布式锁所需的条件 3. 手写分布式锁 3.1 独占性&#xff08;线程安…
阅读更多...
VScode运行C语言终端输出中文乱码问题解决方案

VScode运行C语言终端输出中文乱码问题解决方案

VScode运行C语言输出中文乱码问题解决方案 由于 VSCode 的终端是对系统的 cmd 命令行工具的调用&#xff0c;而 cmd 的默认编码为 GBK。当我们在 VSCode 中以 UTF-8 编码进行代码编写且代码里含有中文字符时&#xff0c;在终端运行代码便会出现中文乱码现象。要解决此问题&…
阅读更多...
传统企业应该如何突破管理瓶颈？

传统企业应该如何突破管理瓶颈？

传统企业应该如何突破管理瓶颈&#xff1f; 【导读】 作为传统企业&#xff0c;有很多传承的传统机制&#xff0c;然而在市场机制下&#xff0c;越来越能够深刻感受到外部市场变化快的特点&#xff0c;在逐步适应以市场为导向的环境下&#xff0c;传统企业自身如何做好管理工…
阅读更多...
C/C++每日一练：实现一个环形队列

C/C++每日一练：实现一个环形队列

队列&#xff08;queue&#xff09; 队列是一种先进先出&#xff08;FIFO&#xff0c;First In First Out&#xff09; 的数据结构&#xff0c;类似于排队的场景。最先进入队列的元素最先被处理&#xff0c;而后加入的元素则排在队列的末尾。 常见的队列操作&#xff1a; 入队…
阅读更多...
【linux 多进程并发】0301 Linux创建后台服务进程，daemon进程，自己的进程可以被一号进程接管啦

【linux 多进程并发】0301 Linux创建后台服务进程，daemon进程，自己的进程可以被一号进程接管啦

0301 Linux创建后台进程 ​专栏内容&#xff1a; postgresql使用入门基础手写数据库toadb并发编程 个人主页&#xff1a;我的主页 管理社区&#xff1a;开源数据库 座右铭&#xff1a;天行健&#xff0c;君子以自强不息&#xff1b;地势坤&#xff0c;君子以厚德载物. 一、概述…
阅读更多...
Matlab实现鲸鱼优化算法（WOA）求解路径规划问题

Matlab实现鲸鱼优化算法（WOA）求解路径规划问题

目录 1.内容介绍 2.部分代码 3.实验结果 4.内容获取 1内容介绍 鲸鱼优化算法&#xff08;WOA&#xff09;是一种受自然界座头鲸捕食行为启发的优化算法&#xff0c;它通过模拟座头鲸的环绕猎物、螺旋游动和搜索猎物三种主要行为来探索和优化问题的解。WOA因其强大的全局搜索能…
阅读更多...
RabbitMQ最新版本4.0.2在Windows下的安装及使用

RabbitMQ最新版本4.0.2在Windows下的安装及使用

RabbitMQ 是一个开源的消息代理和队列服务器&#xff0c;提供可靠的消息传递和队列服务。它支持多种消息协议&#xff0c;包括 AMQP、STOMP、MQTT 等。本文将详细介绍如何在 Windows 系统上安装和使用最新版本的 RabbitMQ 4.0.2。 前言 RabbitMQ 是用 Erlang 语言开发的 AMQP&…
阅读更多...
攻坚金融关键业务系统，OceanBase亮相2024金融科技大会

攻坚金融关键业务系统，OceanBase亮相2024金融科技大会

10月15-16日&#xff0c;第六届中新数字金融应用博览会与2024金融科技大会&#xff08;简称“金博会”&#xff09;在苏州工业园区联合举办。此次大会融合了国家级重要金融科技资源——“中国金融科技大会”&#xff0c;围绕“赋能金融高质量发展&#xff0c;金融科技创新前行”…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023