【C++】模板进阶

模板进阶

在这里插入图片描述

文章目录

  • 模板进阶
  • 1、非类型模板参数
  • 2、模板的特化
    • 2.1.概念
    • 2.2.函数模板特化
    • 2.3.类模板特化
      • 2.3.1.全特化
      • 2.3.2.偏特化
    • 2.4.类模板特化示例
  • 3、模板总结

1、非类型模板参数

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

假设我要实现一个静态数组，这里就需要用到非类型模板参数。

namespace static_array
{
	// 定义一个模板类型参数的静态数组
	template <class T, size_t N = 10> // N:非类型模板参数
	class array
	{
	public:
		T& operator[](size_t index)
		{
			return _array[index];
		}

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

		const size_t size() const 
		{
			return _size;
		}

		bool empty() const
		{
			return 0 == _size;
		}
	private:
		T _array[N]; // 利用非类型模板参数指定静态数组的大小
		size_t _size;
	};
}

如果我现在想指定实例化对象中创建数组的大小，那么就需要借助非类型模板参数来完成：

int main()
{
	array<int, 10> a1; //定义一个大小为10的静态数组
	cout << a1.size() << endl; //10
	array<int, 100> a2; //定义一个大小为20的静态数组
	cout << a2.size() << endl; //20
	return 0;
}

这里非类型模板参数在C语言中是通过宏来实现的，只不过宏不能使多个对象指定大小，宏只能统一更改大小，具有单一性，这里C++的非类型模板参数刚好可以解决这一问题。

注意：

  • 1、浮点数、类对象以及字符串（字符型可以）是不允许作为非类型模板参数的（只能是整型int、short、char……）。
  • 2、非类型的模板参数必须在编译期就能确认结果。
  • 3、非类型模板参数给出的值为常量，意味着不能修改：

image-20230218204912099

2、模板的特化

2.1.概念

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

// 函数模板——参数匹配
template <class T>
bool Less(T left, T right)
{
	return left < right;
}

int main()
{
	cout << Less(1, 3) << endl; // 可以比较，结果正确

	Date d1(2023, 1, 1);
	Date d2(2024, 1, 1);
	cout << Less(d1, d2) << endl; // 可以比较，结果正确

    /*Date* p1 = new Date(2023, 1, 1);
	Date* p2 = new Date(2024, 1, 1);*/
	Date* p1 = &d1;
	Date* p2 = &d2;
	cout << Less(p1, p2) << endl; // 可以比较，结果错误

	return 0;
}

image-20230218210622090

可以看到，Less大多数情况下都可以正常比较，但是在特殊场景下（比如上面比较地址）就得到错误的结果。上述示例中，p1指向值显然大于p2指向的值，但是Less内部并没有比较p1和p2指向的对象内容，而比较的是p1和p2指针的地址，我p1和p2都是new出来的，无法确定是谁先new的，也就无法判断大小，导致错误。

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

2.2.函数模板特化

函数模板的特化步骤：

  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;
}
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;
}

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

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

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

2.3.类模板特化

2.3.1.全特化

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

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;
};
int main()
{
	Data<int, int> d1; // Data<T1, T2>
	Data<int, char> d2; // Data<int, char>
	Data<int, double> d3; // Data<T1, T2>

	return 0;
}

全特化是要参数均匹配才能调用全特化，否则调用默认的模板。

2.3.2.偏特化

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

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

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

  • 1、部分特化：

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

template<class T1, class T2>
class Data
{
public:
	Data() { cout << "Data<T1, T2>" << endl; }
};
 
//全特化：
template<>
class Data<int, double>
{
public:
	Data() { cout << "Data<int, double>" << endl; }
};
 
//半特化/偏特化
template <class T1>
class Data<T1, char>// 将第二个参数特化为char
{
public:
	Data() { cout << "Data<T1, char>" << endl; }
private:
	T1 _d1;
	int _d2;
};
 
int main()
{
	Data<int, int> d1;//Data<T1, T2> 普通
	Data<int, double> d2;//Data<int, double> 全特化
	Data<char, double> d3;//Data<T1, T2> 普通
	//只要第二个参数为char都会匹配半特化（偏特化）
	Data<int, char> d4;//Data<T1, char> 偏特化
	Data<char, char> d5;//Data<T1, char>偏特化
}
  • 2、参数更进一步的限制

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

两个参数偏特化为指针类型：

template<class T1, class T2>
class Data
{
public:
	Data() { cout << "Data<T1, T2>" << endl; }
};
 
//全特化：
template<>
class Data<int, double>
{
public:
	Data() { cout << "Data<int, double>" << endl; }
};
 
//半特化/偏特化
template <class T1>
class Data<T1, char>// 将第二个参数特化为char
{
public:
	Data() { cout << "Data<T1, char>" << endl; }
};
 
//两个参数偏特化为指针类型
template <class T1, class T2>
class Data <T1*, T2*>//只要你T1和T2是指针，就走这里
{
public:
	Data() { cout << "Data<T1*, T2*>" << endl; };
};
int main()
{
	Data<int, int> d1;//Data<T1, T2> 普通
	Data<int, double> d2;//Data<int, double> 全特化
	Data<char, double> d3;//Data<T1, T2> 普通
	//只要第二个参数为char都会匹配半特化（偏特化）
	Data<int, char> d4;//Data<T1, char> 偏特化
	Data<char, char> d5;//Data<T1, char>偏特化
    //两个参数为指针
    Data<int*, int*> d6;//Data<T1*, T2*>
	Data<int*, string*> d7;//Data<T1*, T2*>
    //只有一个参数是指针不算
	Data<int*, int> d8;//Data<T1, T2>
	Data<int*, char> d9;//Data<T1, char>
}

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

template<class T1, class T2>
class Data
{
public:
	Data() { cout << "Data<T1, T2>" << endl; }
};
//全特化：
template<>
class Data<int, double>
{
public:
	Data() { cout << "Data<int, double>" << endl; }
};
 
//半特化/偏特化
template <class T1>
class Data<T1, char>// 将第二个参数特化为char
{
public:
	Data() { cout << "Data<T1, char>" << endl; }
};
 
//两个参数偏特化为指针类型
template <class T1, class T2>
class Data <T1*, T2*>//只要你T1和T2是指针，就走这里
{
public:
	Data() { cout << "Data<T1*, T2*>" << endl; };
};
 
//两个参数偏特化为引用类型
template <class T1, class T2>
class Data <T1&, T2&>//只要你T1和T2是指针，就走这里
{
public:
	Data() { cout << "Data<T1&, T2&>" << endl; };
};
int main()
{
	Data<int, int> d1;//Data<T1, T2> 普通
	Data<int, double> d2;//Data<int, double> 全特化
	Data<char, double> d3;//Data<T1, T2> 普通
	//只要第二个参数为char都会匹配半特化（偏特化）
	Data<int, char> d4;//Data<T1, char> 偏特化
	Data<char, char> d5;//Data<T1, char>偏特化
    //两个参数为指针
    Data<int*, int*> d6;//Data<T1*, T2*>
	Data<int*, string*> d7;//Data<T1*, T2*>
    //只有一个参数是指针不算
	Data<int*, int> d8;//Data<T1, T2>
	Data<int*, char> d9;//Data<T1, char>
    //两个参数为引用
	Data<int&, char&> d10;//Data<T1&, T2&>
	Data<int, char&> d11;//Data<T1, T2>
    //指针引用混用，调用的是普通的
    Data<int*, char&> d12;//Data<T1, T2>
}

2.4.类模板特化示例

  • 全特化运用场景：
#include<vector>
#include <algorithm>
template<class T>
struct Less
{
	bool operator()(const T& x, const T& y) const
	{
		return x < y;
	}
};
int main()
{
	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);
	// 可以直接排序，结果错误日期还不是升序，而v2中放的地址是升序
	// 此处需要在排序过程中，让sort比较v2中存放地址指向的日期对象
	// 但是走Less模板，sort在排序时实际比较的是v2中指针的地址，因此无法达到预期
	sort(v2.begin(), v2.end(), Less<Date*>());
	return 0;
}

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

// 对Less类模板按照指针方式特化
template<>
struct Less<Date*>
{
	bool operator()(Date* x, Date* y) const
	{
		return *x < *y;
	}
};

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

  • 偏特化运用场景：
#include<vector>
#include <algorithm>
template<class T>
struct Less
{
	bool operator()(const T& x, const T& y) const
	{
		return x < y;
	}
};
// 对Less类模板按照指针方式特化
//全特化
template<>
struct Less<Date*>
{
	bool operator()(Date* x, Date* y) const
	{
		return *x < *y;
	}
};
//偏特化
template<class T>
struct Less<T*>//只要你是指针，都走我
{
	bool operator()(T* x, T* y) const
	{
		return *x < *y;
	}
};
int main()
{
	//偏特化运用场景
	vector<int*> v3;
	v3.push_back(new int(3));
	v3.push_back(new int(1));
	v3.push_back(new int(2));
	sort(v3.begin(), v3.end(), Less<int*>());
	return 0;
}

3、模板总结

优点：

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

缺点：

  1. 模板会导致代码膨胀问题，也会导致编译时间变长
  2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误

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

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

相关文章

技术人的管理学-团队管理

技术人的管理学-团队管理

主要内容前言团队管理&#xff0c;如何让猪上树&#xff1f;选人育人用人留人总结前言 本周报名参加了 风 变 科 技推出的管理学MTP培训课&#xff0c;花了点小钱&#xff0c;感觉还是有用的&#xff0c;可惜时间安排都在8点以后&#xff0c;刚好是看孩子的时间&#xff0c;只…
阅读更多...
io流概述

io流概述

public static void main(String[] args) throws IOException {//1.与文件建立联系 File->数据源File src new File("D://AAA/test.txt");//2.创建文件字节输入流->管道//InputStream is new FileInputStream(src);InputStream is new FileInputStream(&quo…
阅读更多...
中科亿海微FPGA

中科亿海微FPGA

国产FPGA中&#xff0c;紫光、安路、高云称得上是三小龙&#xff0c;其他的半斤八两&#xff0c;中科亿海微也算是其中之一。 其产品为亿海神针系列&#xff0c;如下&#xff1a; 可见其最小规模也有9.2KLUT&#xff0c;最大竟有136K之多了&#xff0c;对比其他国产&#xff0…
阅读更多...
18、江科大stm32视频学习笔记——USART串口发送串口发送和接收

18、江科大stm32视频学习笔记——USART串口发送串口发送和接收

目录 一、USART串口发送 1、电路图 2、printf函数的移植方法 3、serial.c 4、main.c 5、解决直接写汉字&#xff0c;编译器报错 二 、USART串口发送和接收 1、查询实现 2、中断实现 &#xff08;1&#xff09;在Serial.c中添加的代码 &#xff08;2&#xff09;主函…
阅读更多...
【Spring从入门到实战】第 4 讲：SpringAOP实现以及原理

【Spring从入门到实战】第 4 讲：SpringAOP实现以及原理

本文已收录于专栏&#x1f332;《Spring从入门到实战》&#x1f332;专栏前言 大家好&#xff0c;我是执梗。本专栏将从Spring入门开始讲起&#xff0c;详细讲解各类配置的使用以及原因&#xff0c;到使用SpringBoot进行开发实战&#xff0c;旨在记录学习生活的同时也希望能帮到…
阅读更多...
IDEA常用插件列表

IDEA常用插件列表

一 背景 IDEA常用插件列表&#xff0c;用来提供工作效率。你都安装了吗 IntelliJ IDEA 默认安装并提供了非常多的工具&#xff0c;比如 Maven Integration、Markdown support、SSH Remote Run 等。其中有很多好用&#xff0c;但是不为人知的工具。 二 插件列表 阿里代码规约…
阅读更多...
Linux基础命令大全（上）

Linux基础命令大全（上）

♥️作者&#xff1a;小刘在C站 ♥️个人主页&#xff1a;小刘主页 ♥️每天分享云计算网络运维课堂笔记&#xff0c;努力不一定有收获&#xff0c;但一定会有收获加油&#xff01;一起努力&#xff0c;共赴美好人生&#xff01; ♥️夕阳下&#xff0c;是最美的绽放&#xff0…
阅读更多...
pytorch-在竞赛中去摸索用法,用房价预测比赛了解数据处理流程

pytorch-在竞赛中去摸索用法,用房价预测比赛了解数据处理流程

实战Kaggle比赛&#xff1a;房价预测 让我们动手实战一个Kaggle比赛&#xff1a;房价预测House Prices - Advanced Regression Techniques | Kaggle。本文将提供未经调优的数据的预处理、模型的设计和超参数的选择。通过动手操作、仔细观察实验现象、认真分析实验结果并不断调…
阅读更多...
【算法入门】字符串基础

【算法入门】字符串基础

目录 一.字符串引言1.字符串基础二.洛谷P5734详解1.字符串相关库函数&#x1f4ab;&#xff08;1&#xff09; strcpy函数 &#x1f4ab;&#x1f4ab;&#xff08;2&#xff09; strcat函数 &#x1f4ab;&#x1f4ab;&#xff08;3&#xff09;strstr函数 &#x1f4ab;2.题…
阅读更多...
JavaScript的事件传播机制

JavaScript的事件传播机制

你在学习和编写JavaScript时可能听说过事件冒泡&#xff08;event bubbling&#xff09;。它会发生在多个元素存在嵌套关系&#xff0c;并且这些元素都注册了同一事件(例如click)的监听器时。 但是事件冒泡只是事件机制的一部分。它经常与事件捕获(event capturing)和事件传播…
阅读更多...
ChatGPT的N种用法（持续更新中。。。）

ChatGPT的N种用法（持续更新中。。。）

目录前言一、语法更正二、文本翻译三、语言转换3-1、Python-->JAVA四、代码解释-1五、代码解释-2六、修复代码错误六、作为百科全书七、信息提取七、好友聊天八、创意生成器8-1、VR和密室结合8-2、再结合AR九、采访问题9-1、采访问题清单9-2、采访问题清单并给出相应答案十、…
阅读更多...
2分钟彻底搞懂“高内聚，低耦合”

2分钟彻底搞懂“高内聚，低耦合”

&#x1f497;推荐阅读文章&#x1f497; &#x1f338;JavaSE系列&#x1f338;&#x1f449;1️⃣《JavaSE系列教程》&#x1f33a;MySQL系列&#x1f33a;&#x1f449;2️⃣《MySQL系列教程》&#x1f340;JavaWeb系列&#x1f340;&#x1f449;3️⃣《JavaWeb系列教程》…
阅读更多...
一个nginx的小项目，不写代码，实现在局域网内访问其他电脑的网页

一个nginx的小项目，不写代码，实现在局域网内访问其他电脑的网页

准备工作 下载nginx //官网 https://nginx.org/en/download.html //直接下载 https://nginx.org/download/nginx-1.23.3.zip解压 下载一个html项目&#xff0c;或者自己随便写一个 我是直接下载的&#xff0c;然后使用的是第一个01 https://gitee.com/StarPort/HTML_CSSTe…
阅读更多...
从SpringBoot生命周期来看服务注册到Eureka/Nacos的时机

从SpringBoot生命周期来看服务注册到Eureka/Nacos的时机

文章目录服务注册入口1、Eureka2、Nacos总结服务注册入口 无论是将服务注册到哪种服务注册中心&#xff0c;服务注册的时机都是在AbstractApplicationContext#finishRefresh()方法中&#xff1b;即Spring容器加载完成、Web服务启动之后&#xff1b; 从SpringCloud规范来看&am…
阅读更多...
C语言实现学生成绩管理系统思考

C语言实现学生成绩管理系统思考

学生成绩管理系统思考 作业要求&#xff1a; 目录 思路 基本函数 学习理解大佬的代码&#xff1a; 完成作业&#xff1a; 思路 学生成绩管理系统&#xff0c;首先要初始化系统&#xff0c; 用C语言做学生实验管理系统要求实现对某班学生3门课程&#xff08;包括语文、数…
阅读更多...
Python 基础教程【2】：条件语句和循环语句

Python 基础教程【2】：条件语句和循环语句

本文已收录于专栏&#x1f33b;《Python 基础》文章目录1、流程控制语句1.1 顺序语句1.2 条件语句1.2.1 if语句注意事项1.2.2 三元运算符1.2.3 自动类型转换1.3 循环语句1.3.1 while 循环1.3.2 for-in 循环1.3.3 for...else 循环1.3.4 break 和 continue 的区别2、实践——猜数…
阅读更多...
SpringBoot：手写一个 SpringBoot Starter

SpringBoot：手写一个 SpringBoot Starter

声明&#xff1a;原文作者&#xff1a;yuan_404 文章目录1. 说明2 . 编写启动器3 . 新建项目测试自己写的启动器1. 说明 启动器模块是一个 空 jar 文件&#xff0c;仅提供辅助性依赖管理&#xff0c;这些依赖可能用于自动装配或者其他类库 命名归约&#xff1a; 官方命名&…
阅读更多...
面试必会-MySQL篇

面试必会-MySQL篇

1. Mysql查询语句的书写顺序Select [distinct ] <字段名称>from 表1 [ <join类型> join 表2 on <join条件> ]where <where条件>group by <字段>having <having条件>order by <排序字段>limit <起始偏移量,行数>2. Mysql查询语…
阅读更多...
14个你需要知道的实用CSS技巧

14个你需要知道的实用CSS技巧

让我们学习一些实用的 CSS 技巧&#xff0c;以提升我们的工作效率。这些 CSS 技巧将帮助我们开发人员快速高效地构建项目。 现在&#xff0c;让我们开始吧。 1.CSS :in-range 和 :out-of-range 伪类 这些伪类用于在指定范围限制之内和之外设置输入样式。 (a) : 在范围内 如…
阅读更多...
SQL代码编码原则和规范

SQL代码编码原则和规范

目录专栏导读1、先了解MySQL的执行过程2、数据库常见规范3、所有表必须使用Innodb存储引擎4、每个Innodb表必须有个主键5、数据库和表的字符集统一使用UTF86、查询SQL尽量不要使用select *&#xff0c;而是具体字段7、避免在where子句中使用 or 来连接条件8、尽量使用数值替代字…
阅读更多...
最新文章

Copyright @ 2022~2023