C++-模板

目录

一.泛型编程

二.模板的分类

三.函数模板

        1.函数模板的概念

        2.函数模板格式

        3.函数模板的原理

        4.函数模板的实例化

                a.隐式实例化

             b.显式实例化        

        5.模板参数的匹配原则

四.类模板

        1.类模板的定义格式

        2.类模板的实例化

五.class和typename的区别

六.非类型模板参数

        1.模板参数的分类

七.模板的特化

        1.什么是模板的特化

        2.全特化

        3.偏特化

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

                a.部分特化

                b.参数更进一步的限制

        4.模板特化的条件

八.模板的分离编译

        1.什么是模板的分离编译

        2.模板的分离编译

九.模板总结

一.泛型编程

  如何实现一个通用的交换函数呢？ 
void Swap(int& left, int& right)
{int temp = left;left = right;right = temp;
}
void Swap(double& left, double& right)
{double temp = left;left = right;right = temp;
}
void Swap(char& left, char& right)
{char temp = left;left = right;right = temp;
}
使用函数重载虽然可以实现，但是有一下几个不好的地方：
        1. 重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增加对应的函数。
        2. 代码的可维护性比较低，一个出错可能所有的重载均出错。
        那能否告诉编译器一个模子，让编译器根据不同的类型利用该模子来生成代码呢？
        如果在C++ 中，也能够存在这样一个 模具 ，通过给这个模具中 填充不同材料 ( 类型 ) ，来 获得不同材料的铸件 ( 即生成具体类型的代码） ，那将会节省许多头发。巧的是前人早已将树栽好，我们只需在此乘凉。
        泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。

二.模板的分类

三.函数模板

        1.函数模板的概念

                函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。   

        2.函数模板格式

                template<typename T1, typename T2,......,typename Tn>

                返回值类型函数名(参数列表){} 
#include <iostream>using namespace std;template<typename T>
void Swap(T& a, T& b)
{T tmp = 0;tmp = a;a = b;b = tmp;
}int main(void)
{int a = 10;int b = 20;printf("两数交换前分别为:%d %d\n", a, b);Swap(a, b);printf("两数交换后分别为:%d %d\n", a, b);return 0;
}
         注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)
        3.函数模板的原理
        
               那么如何解决上面的问题呢？大家都知道，瓦特改良蒸汽机，人类开始了工业革命，解放了生产力。机器生产淘汰掉了很多手工产品。本质是什么，重复的工作交给了机器去完成。有人给出了论调：懒人创造世界。
                
                 函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。
          
                在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型也是如此。

        4.函数模板的实例化

                用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。

                a.隐式实例化

        

                编译器根据传入模板函数的实参，来推导类型，此时如果两个形参的类型不同，会报错。            

#include <iostream>using namespace std;template<typename T>
void Swap(const T& a, const T& b)
{T tmp = 0;tmp = a;a = b;b = tmp;
}int main(void)
{int a = 10;double b = 1;Swap(a, (int)b);Swap((double)a, b);return 0;
}
             b.显式实例化        
#include <iostream>using namespace std;template<typename T>
void Swap(const T& a, const T& b)
{T tmp = 0;tmp = a;a = b;b = tmp;
}int main(void)
{int a = 10;double b = 1;Swap<int>(a,b);Swap<double>(a, b);return 0;
}
                        如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。        

        5.模板参数的匹配原则
                a. 一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函 数。
        
                 
// 专门处理int的加法函数
int Add(int left, int right)
{return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{return left + right;
}
void Test()
{Add(1, 2); // 与非模板函数匹配，编译器不需要特化Add<int>(1, 2); // 调用编译器特化的Add版本
}
                b. 对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模 板产生出一个实例。如果模板可以产生一个具有更好匹配的函数， 那么将选择模板。 
// 专门处理int的加法函数
int Add(int left, int right)
{return left + right;
}
// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right)
{return left + right;
}
void Test()
{Add(1, 2); // 与非函数模板类型完全匹配，不需要函数模板实例化Add(1, 2.0); // 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函
数
}
                c. 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换。

四.类模板

        1.类模板的定义格式
template<class T1, class T2, ..., class Tn>
class 类模板名
{// 类内成员定义
};
// 动态顺序表
// 注意：Vector不是具体的类，是编译器根据被实例化的类型生成具体类的模具
template<class T>
class Vector
{ 
public :Vector(size_t capacity = 10): _pData(new T[capacity]), _size(0), _capacity(capacity){}// 使用析构函数演示：在类中声明，在类外定义。~Vector();void PushBack(const T& data)；void PopBack()；// ...size_t Size() {return _size;}T& operator[](size_t pos)
{assert(pos < _size);return _pData[pos];}private:T* _pData;size_t _size;size_t _capacity;
};
// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{if(_pData)delete[] _pData;_size = _capacity = 0;
}
        2.类模板的实例化
                类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<> ，然后将实例化的类型放在 <> 中即可，类模板名字不是真正的类，而实例化的结果才是真正的类 。
       
// Vector类名，Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;

五.class和typename的区别

        平时在使用class和typename声明模板时没有任何区别。

        但是：

        此时要在Container中加typename来告知编译器这是一个类型。如果不加的话因为此时还没有实例化，编译器不知道这个地方是什么，所以会报错。

六.非类型模板参数

        1.模板参数的分类
                 模板参数分类类型形参与非类型形参。
                类型形参即：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。
                非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。该参数是一个常量。 
namespace bite
{// 定义一个模板类型的静态数组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;}；
}
         注意：
                1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的。只可以是整型。
                2. 非类型的模板参数必须在编译期就能确认结果

        

七.模板的特化

        1.什么是模板的特化

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

                

// 函数模板 -- 参数匹配
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指针的地址，这就无法达到预期而错误。
                此时，就需要对模板进行特化。即：在原模板类的基础上，针对特殊类型所进行特殊化的实现方式。模板特化中分为函数模板特化与类模板特化。
        2.全特化
        
                 
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;
};
void TestVector()
{Data<int, int> d1;Data<int, char> d2;
}
        3.偏特化
                偏特化：任何针对模版参数进一步进行条件限制设计的特化版本。比如对于以下模板类： 
template<class T1, class T2>
class Data
{
public:Data() {cout<<"Data<T1, T2>" <<endl;}
private:T1 _d1;T2 _d2;
};
        偏特化有以下两种表现方式：
                a.部分特化
                        将模板参数类表中的一部分参数特化。 
// 将第二个参数特化为int
template <class T1>
class Data<T1, int>
{
public:Data() {cout<<"Data<T1, int>" <<endl;}
private:T1 _d1;int _d2;
};
                b.参数更进一步的限制
                        偏特化并不仅仅是指特化部分参数，而是针对模板参数更进一步的条件限制所设计出来的一个特化版本。 
//两个参数偏特化为指针类型
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; };
void test2 () 
{Data<double , int> d1; // 调用特化的int版本Data<int , double> d2; // 调用基础的模板 Data<int *, int*> d3; // 调用特化的指针版本Data<int&, int&> d4(1, 2); // 调用特化的指针版本
}
        4.模板特化的条件

                函数模板的特化步骤：

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

八.模板的分离编译

        1.什么是模板的分离编译
                
                一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。
        2.模板的分离编译
                假如有以下场景，模板的声明与定义分离开，在头文件中进行声明，源文件中完成定义： 
// a.h
template<class T>
T Add(const T& left, const T& right);
// a.cpp
template<class T>
T Add(const T& left, const T& right)
{return left + right;
}
// main.cpp
#include"a.h"
int main()
{Add(1, 2);Add(1.0, 2.0);return 0;
}

        但是此时即使完成了分离编译，但是依然会报错，因为模板并没有实例化，所以编译器不知到函数模板的类型到底是声明，所以无法生成正确的符号表，也就找不到函数。

        解决方法:              

                1. 将声明和定义放到一个文件 "xxx.hpp" 里面或者 xxx.h 其实也是可以的 。推荐使用这种。
                2. 模板定义的位置显式实例化。这种方法不实用，不推荐使用。

九.模板总结

         【优点】
                1. 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生
                2. 增强了代码的灵活性
        【缺陷】
                1. 模板会导致代码膨胀问题，也会导致编译时间变长
                2. 出现模板编译错误时，错误信息非常凌乱，不易定位错误

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

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

相关文章

docker配置redis插件

docker配置redis插件

docker配置redis插件 运行容器redis_6390 docker run -it \ --name redis_6390 \ --privileged \ -p 6390:6379 \ --network wn_docker_net \ --ip 172.18.12.19 \ --sysctl net.core.somaxconn1024 \ -e TIME_ZONE"Asia/Shanghai" -e TZ"Asia/Shanghai"…
阅读更多...
Nacos源码解读04——服务发现

Nacos源码解读04——服务发现

Nacos服务发现的方式 1.客户端获取 1.1:先是故障转移机制判断是否去本地文件中读取信息&#xff0c;读到则返回 1.2:再去本地服务列表读取信息(本地缓存)&#xff0c;没读到则创建一个空的服务&#xff0c;然后立刻去nacos中读取更新 1.3:读到了就返回&#xff0c;同时开启定时…
阅读更多...
Linux下activemq的安装与安装成功确认

Linux下activemq的安装与安装成功确认

一、下载 apache-activemq-5.14.0-bin.tar.gz 二、安装 将压缩包拷入linux内&#xff0c;进行解压tar -zxvf apache-activemq-5.14.0-bin.tar.gz&#xff0c;与redis、nginx不同的是&#xff0c;active解压不需要安装就可以直接启动&#xff01; 启动命令&#xff1a;./bin…
阅读更多...
1949-2021年全国31省公路里程数据

1949-2021年全国31省公路里程数据

1949-2021年全国31省公路里程数据 1、指标&#xff1a;公路里程 2、范围&#xff1a;包括31省 1978-2021年期间无缺失 3、来源&#xff1a;各省NJ、产业NJ、各省统计GB 4、指标解释&#xff1a;公路里程指报告期末公路的实际长度。 统计范围&#xff1a;包括城间、城乡间、乡…
阅读更多...
Rocketmq架构

Rocketmq架构

NameServer&#xff1a;作为注册中心&#xff0c;提供路由注册、路由踢出、路由发现功能&#xff0c;舍弃强一致&#xff0c;保证高可用&#xff0c;集群中各个节点不会实时通讯&#xff0c;其中一个节点下线之后&#xff0c;会提供另外一个节点保证路由功能。 Rocket mq name…
阅读更多...
java学习part32StringBuffer和StringBuilder

java学习part32StringBuffer和StringBuilder

Java中的值传递和引用传递&#xff08;详解&#xff09; - 知乎 (zhihu.com) 146-常用类与基础API-StringBuffer与StringBuilder的源码分析、常用方法_哔哩哔哩_bilibili 1. 2.扩容机制 不够用&#xff1a;长度为 原长度*22&#xff1b;如果还不够&#xff0c;那么就扩容到目…
阅读更多...
多文件夹图片预处理：清除空值、重置大小、分割训练集

多文件夹图片预处理：清除空值、重置大小、分割训练集

→ 清理空值 防止出现cannot identify image file 参考Python数据清洗----删除读取失败图片__简单版_python用pil读取图片出错删除掉-CSDN博客 #%pip install -i https://pypi.tuna.tsinghua.edu.cn/simple opencv-python #可能需要重启jupyter import os import shutil imp…
阅读更多...
【Unity动画】状态机添加参数控制动画切换（Animator Controller）

【Unity动画】状态机添加参数控制动画切换（Animator Controller）

Unity - 手册&#xff1a;动画参数 在Unity中&#xff0c;动画状态的切换是通过Animator Controller中的过渡&#xff08;Transition&#xff09;来实现的。过渡是状态之间的连接&#xff0c;控制过渡一般都是靠调用代码参数 我们来实现一个案例&#xff1a; 创建动画状态机&a…
阅读更多...
leetcode 142.环形链表2

leetcode 142.环形链表2

我来更新 leetcode 题目了&#xff0c;接着上一次&#xff0c;这一次是上一道题目的提升&#xff08;有点数学题的感觉&#xff09; 142.环形链表2 题目 给定一个链表的头节点 head &#xff0c;返回链表开始入环的第一个节点。 如果链表无环&#xff0c;则返回 null。 如果链表…
阅读更多...
识KDJ指标，看懂超买超卖信号

识KDJ指标，看懂超买超卖信号

一、认识KDJ 1、KDJ的含义 KDJ分析股票中短期趋势的一个常用指标&#xff0c;中文名称“随机指标”。它是一个综合考虑股票最高价、最低价和收盘价的技术指标&#xff0c;能够帮助我们根据历史价格预测出股票未来的价格走势。在实际应用的过程中&#xff0c;它的短期预测功能要…
阅读更多...
JAVA毕业设计113—基于Java+Springboot+Vue的体育馆预约系统(源代码+数据库+12000字论文)

JAVA毕业设计113—基于Java+Springboot+Vue的体育馆预约系统(源代码+数据库+12000字论文)

基于JavaSpringbootVue的体育馆预约系统(源代码数据库12000字论文)113 一、系统介绍 本项目前后端分离&#xff0c;本系统分为管理员、用户两种角色 用户角色包含以下功能&#xff1a; 注册、登录、场地(查看/预订/收藏/退订)、在线论坛、公告查看、我的预订管理、我的收藏…
阅读更多...
TimeGPT：时间序列预测模型实例

TimeGPT：时间序列预测模型实例

时间序列预测领域正在经历一个非常激动人心的时期。在过去的三年里&#xff0c;我们见证了许多重要的贡献&#xff0c;如N-BEATS、N-HiTS、PatchTST和TimesNet等。同时&#xff0c;大型语言模型&#xff08;LLM&#xff09;近来在流行度方面取得了很大的成功&#xff0c;例如Ch…
阅读更多...
PMP-01

PMP-01

考纲 需要看的书籍 学习计划
阅读更多...
04-数据库操作对象Statement对象和PreparedStatement对象的区别,SQL注入的优缺点

04-数据库操作对象Statement对象和PreparedStatement对象的区别,SQL注入的优缺点

Statement对象和查询结果集 Statement对象相关的方法 Connection接口中获取数据库操作对象Statement对象的方法 方法名功能Statement createStatement()创建Statement对象 Statement对象执行增删改查的SQL语句(不含占位符"?")的方法,JDBC中的SQL语句不需要提供分…
阅读更多...
Verilog 入门（八）（验证）

Verilog 入门（八）（验证）

文章目录 编写测试验证程序波形产生值序列重复模式 测试验证程序实例从文本文件中读取向量实例&#xff1a;时序检测器 测试验证程序用于测试和验证设计方法的正确性。Verilog 提供强有力的结构来说明测试验证程序。 编写测试验证程序 测试验证程序有三个主要目的&#xff1a;…
阅读更多...
minigpt4安装的一系列问题

minigpt4安装的一系列问题

问题一 合并权重&#xff1a; python -m fastchat.model.apply_delta --base /data/qq/llama2-7b-chat-hf --target /data/qq/MiniGPT-4/vicuna_weights/ --delta /data/qq/vicuna-7b-delta-v0fastchat版本与模型版本 不兼容 解决方法&#xff1a; 第一种&#xff1a;用低版…
阅读更多...
【算法】滑动窗口题单——5.多指针滑动窗口醒醒⭐

【算法】滑动窗口题单——5.多指针滑动窗口醒醒⭐

文章目录 930. 和相同的二元子数组解法1——前缀和 哈希表解法2——滑动窗口 ⭐ 1248. 统计「优美子数组」1712. 将数组分成三个子数组的方案数⭐⭐⭐2444. 统计定界子数组的数目解法——多指针滑动窗口代码2——简洁写法&#xff1a;一次遍历O(1) 空间&#x1f402;⭐ 992. K…
阅读更多...
《Junit单元测试》

《Junit单元测试》

目录 SpringBoot2.2.0版本之前的单元测试模式 SpringBoot2.2.0版本之后的单元测试模式 SpringBoot2.4以上版本移除了默认对Vintage的依赖 SpringBoot2.2.0版本之前的单元测试模式 SpringBooot 2.2.0 版本开始引入Junit5作为单元测试默认库&#xff0c;之前的版本是使用Junit…
阅读更多...
Centos图形化界面封装OpenStack Centos镜像

Centos图形化界面封装OpenStack Centos镜像

目录 背景 环境 宿主机环境安装 创建与安装Centos7.8虚机 虚机设置 安全相关 安装ACPI服务 安装cloud-init 安装cloud-utils-growpart 停⽌虚拟机 删除个性化信息 模板化与压缩 登录与验证 背景 今天早上在Centos官网下载的CentOS-7-aarch64-GenericCloud-2003.…
阅读更多...
nodejs介绍

nodejs介绍

nodejs官网支持的各种库api https://nodejs.org/docs/latest-v21.x/api/http.html nodejs包括vp8引擎和内置的基本库如fs,path,http,querystring等&#xff0c;也可以用npm按转第三方库 npm是nodejs环境的包管理工具&#xff0c;可以为这个环境安装卸载各种包。 npm install pk…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023