爆款云主机2核4G限时秒杀,88元/年起!
查看详情

活动

天翼云最新优惠活动,涵盖免费试用,产品折扣等,助您降本增效!
热门活动
  • 618智算钜惠季 爆款云主机2核4G限时秒杀,88元/年起!
  • 免费体验DeepSeek,上天翼云息壤 NEW 新老用户均可免费体验2500万Tokens,限时两周
  • 云上钜惠 HOT 爆款云主机全场特惠,更有万元锦鲤券等你来领!
  • 算力套餐 HOT 让算力触手可及
  • 天翼云脑AOne NEW 连接、保护、办公,All-in-One!
  • 中小企业应用上云专场 产品组合下单即享折上9折起,助力企业快速上云
  • 息壤高校钜惠活动 NEW 天翼云息壤杯高校AI大赛,数款产品享受线上订购超值特惠
  • 天翼云电脑专场 HOT 移动办公新选择,爆款4核8G畅享1年3.5折起,快来抢购!
  • 天翼云奖励推广计划 加入成为云推官,推荐新用户注册下单得现金奖励
免费活动
  • 免费试用中心 HOT 多款云产品免费试用,快来开启云上之旅
  • 天翼云用户体验官 NEW 您的洞察,重塑科技边界

智算服务

打造统一的产品能力,实现算网调度、训练推理、技术架构、资源管理一体化智算服务
智算云(DeepSeek专区)
科研助手
  • 算力商城
  • 应用商城
  • 开发机
  • 并行计算
算力互联调度平台
  • 应用市场
  • 算力市场
  • 算力调度推荐
一站式智算服务平台
  • 模型广场
  • 体验中心
  • 服务接入
智算一体机
  • 智算一体机
大模型
  • DeepSeek-R1-昇腾版(671B)
  • DeepSeek-R1-英伟达版(671B)
  • DeepSeek-V3-昇腾版(671B)
  • DeepSeek-R1-Distill-Llama-70B
  • DeepSeek-R1-Distill-Qwen-32B
  • Qwen2-72B-Instruct
  • StableDiffusion-V2.1
  • TeleChat-12B

应用商城

天翼云精选行业优秀合作伙伴及千余款商品,提供一站式云上应用服务
进入甄选商城进入云市场创新解决方案
办公协同
  • WPS云文档
  • 安全邮箱
  • EMM手机管家
  • 智能商业平台
财务管理
  • 工资条
  • 税务风控云
企业应用
  • 翼信息化运维服务
  • 翼视频云归档解决方案
工业能源
  • 智慧工厂_生产流程管理解决方案
  • 智慧工地
建站工具
  • SSL证书
  • 新域名服务
网络工具
  • 翼云加速
灾备迁移
  • 云管家2.0
  • 翼备份
资源管理
  • 全栈混合云敏捷版(软件)
  • 全栈混合云敏捷版(一体机)
行业应用
  • 翼电子教室
  • 翼智慧显示一体化解决方案

合作伙伴

天翼云携手合作伙伴,共创云上生态,合作共赢
天翼云生态合作中心
  • 天翼云生态合作中心
天翼云渠道合作伙伴
  • 天翼云代理渠道合作伙伴
天翼云服务合作伙伴
  • 天翼云集成商交付能力认证
天翼云应用合作伙伴
  • 天翼云云市场合作伙伴
  • 天翼云甄选商城合作伙伴
天翼云技术合作伙伴
  • 天翼云OpenAPI中心
  • 天翼云EasyCoding平台
天翼云培训认证
  • 天翼云学堂
  • 天翼云市场商学院
天翼云合作计划
  • 云汇计划
天翼云东升计划
  • 适配中心
  • 东升计划
  • 适配互认证

开发者

开发者相关功能入口汇聚
技术社区
  • 专栏文章
  • 互动问答
  • 技术视频
资源与工具
  • OpenAPI中心
开放能力
  • EasyCoding敏捷开发平台
培训与认证
  • 天翼云学堂
  • 天翼云认证
魔乐社区
  • 魔乐社区

支持与服务

为您提供全方位支持与服务,全流程技术保障,助您轻松上云,安全无忧
文档与工具
  • 文档中心
  • 新手上云
  • 自助服务
  • OpenAPI中心
定价
  • 价格计算器
  • 定价策略
基础服务
  • 售前咨询
  • 在线支持
  • 在线支持
  • 工单服务
  • 建议与反馈
  • 用户体验官
  • 服务保障
  • 客户公告
  • 会员中心
增值服务
  • 红心服务
  • 首保服务
  • 客户支持计划
  • 专家技术服务
  • 备案管家

了解天翼云

天翼云秉承央企使命,致力于成为数字经济主力军,投身科技强国伟大事业,为用户提供安全、普惠云服务
品牌介绍
  • 关于天翼云
  • 智算云
  • 天翼云4.0
  • 新闻资讯
  • 天翼云APP
基础设施
  • 全球基础设施
  • 信任中心
最佳实践
  • 精选案例
  • 超级探访
  • 云杂志
  • 分析师和白皮书
  • 天翼云·创新直播间
市场活动
  • 2025智能云生态大会
  • 2024智算云生态大会
  • 2023云生态大会
  • 2022云生态大会
  • 天翼云中国行
天翼云
  • 活动
  • 智算服务
  • 产品
  • 解决方案
  • 应用商城
  • 合作伙伴
  • 开发者
  • 支持与服务
  • 了解天翼云
      • 文档
      • 控制中心
      • 备案
      • 管理中心

      【C++】非类型模板参数、模板特化、模板的分离编译、模板总结

      首页 知识中心 软件开发 文章详情页

      【C++】非类型模板参数、模板特化、模板的分离编译、模板总结

      2024-09-25 10:15:15 阅读次数:426

      c++,开发语言

      一、非类型模板参数

      模板参数分类类型形参与非类型形参。
      类型形参:出现在模板参数列表中,跟在class或者typename之类的参数类型名称。

      #define N 10;
      //静态数组
      template <class T>
      class Array
      {
      private:
          T _a[N];
      }
      

      如果是这样的话,我们无法去灵活控制大小

      int main()
      {
          Array<int> a1;
          Array<int> a2;
          return 0;
      }
      

      这都是固定的了,写死的了,所以这时候我们可以使用非类型模板参数

      非类型形参:就是用一个常量作为类(函数)模板的一个参数,在类(函数)模板中可将该参数当成常量来使用。注意是常量,可以给缺省

      //非类型模板参数——常量
      template<class T,size_t N>
      class Array
      {
      private:
          T _a[N];
      }
      int main()
      {
          Array<int,10> a1;
          Array<double,100>a2;
          return 0;
      }
      

      注意:

      • 非类型模板参数只支持整型(浮点数、类对象以及字符串是不允许作为非类型模板参数的)

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

      实际上库里面的array也是非类型模板:

      【C++】非类型模板参数、模板特化、模板的分离编译、模板总结

      库里面的array与C语言的数组相比:

      int main()
      {
          int a1[10];
          array<int,10> a2;
          array<double,10> a3;
          return 0;
      }
      

      区别在于:array可以对越界进行检查,C语言数组对于越界读是不检查的,而对于越界写是抽查的(不同平台不一样)。而array可以assert检查是否越界。


      二、模板特化

      1.函数模板特化

      通常情况下,使用模板可以实现一些与类型无关的代码,但对于一些特殊类型的可能会得到一些错误的结果

      我们来以日期类为例子:

      class Date
      {
      public:
      	Date(int year = 1900,int month = 1,int day = 1)
      		:_year(year)
      		,_month(month)
      		,_day(day)
      	{}
      
      	bool operator<(const Date& d) const
      	{
      		return (_year < d._year) ||
      			(_year == d._year && _month < d._month) ||
      			(_year == d._year && _month == d._month && _day < d._day);
      	}
      
      	bool operator>(const Date& d) const
      	{
      		return (_year > d._year) ||
      			(_year == d._year && _month > d._month) ||
      			(_year == d._year && _month == d._month && _day > d._day);
      	}
      
      	friend ostream& operator<<(ostream& _cout, const Date& d)
      	{
      		_cout << d._year << "-" << d._month << "-" << d._day;
      		return _cout;
      	}
      
      private:
      	int _year;
      	int _month;
      	int _day;
      };
      template<class T>
      bool Less(T left, T right)
      {
      	return left < right;
      }
      
      int main()
      {
      	cout << Less(1, 2) << endl;
      	Date d1(2023, 1, 6);
      	Date d2(2023, 1, 9);
      	cout << Less(d1, d2) << endl;
      
      	Date* p1 = &d1;
      	Date* p2 = &d2;
      	cout << Less(p1, p2) << endl;
      	return 0;
      }
      

      【C++】非类型模板参数、模板特化、模板的分离编译、模板总结

      所以我们要去对Date*进行特殊化处理——Date*

      函数模板的特化步骤:

      1. 必须要先有一个基础的函数模板
      2. 关键字template后面接一对空的尖括号<>
      3. 函数名后跟一对尖括号,尖括号中指定需要特化的类型
      4. 函数形参表: 必须要和模板函数的基础参数类型完全相同,如果不同编译器可能会报一些奇怪的错误
      //针对某些类型进行特殊处理——Date*
      template<>
      bool Less<Date*>(Date* left, Date* right)
      {
      	return *left < *right;
      }
      

      函数模板也可以不写成模板,直接写成函数也是可以的,因为函数模板支持重载

      2.类模板特化

      1.全特化

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

      类模板的全特化将模板参数列表中的所有参数我们都将其写出来:

      【C++】非类型模板参数、模板特化、模板的分离编译、模板总结

      如果此时的数据类型是我们自己定义的,比如我们之前所说的Date*之时,比较的是地址,所以我们之前是通过自己写一个仿函数来实现比较大小的,代码如下:

      struct PDateLess
      {
      	bool operator()(const Date* d1, const Date* d2)
      	{
      		return *d1 < *d2;
      	}
      };
      
      struct PDateGreater
      {
      	bool operator()(const Date* d1, const Date* d2)
      	{
      		return *d1>*d2;
      	}
      };
      void TestPriorityQueue()
      {
          //大堆
      	priority_queue <Date*, vector<Date*>, PDateLess> q3;
      	q3.push(new Date(2018, 10, 29));
      	q3.push(new Date(2018, 10, 28));
      	q3.push(new Date(2018, 10, 30));
      	cout << *() << endl;
      	//小堆
      	priority_queue<Date*, vector<Date*>, PDateGreater> q4;
      	q4.push(new Date(2018, 10, 29));
      	q4.push(new Date(2018, 10, 28));
      	q4.push(new Date(2018, 10, 30));
      	cout << *() << endl;
      }
      

      现在,我们如果不写仿函数,这时候就可以通过针对Date*实现特化了:

      template <class T>
      class Greater
      {
      public:
          bool operator()(const T& x, const T& y) const
          {
              return x > y;
          }
      };
      //特化
      template<>
      class Greater<Date*>
      {
          public:
          bool operator()(Date* const& d1, Date* const& d2) const
          {
              return *d1 > *d2;
          }
      };
      int  main()
      {
          hwc::priority_queue<Date*, vector<Date*>, Greater<Date*>> q4;
      	q4.push(new Date(2018, 10, 29));
      	q4.push(new Date(2018, 10, 28));
      	q4.push(new Date(2018, 10, 30));
      	cout << *() << endl;
          return 0;
      }
      

      2.偏特化

      偏特化:任何针对模版参数进一步进行条件限制设计的特化版本。部分特化将模板参数类表中的一部分参数特化 :

      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, char>
      {
      public:
      	Data()
      	{
      		cout << "Data<T1,char>" << endl;
      	}
      };
      int main()
      {
          //模板
          Data<int,int>d;
          //偏特化
          Data<double,char> d1;
          Data<char,char> d2;
          return 0;
      }
      

      偏特化可以对参数进一步的限制:只要是指针,不管是什么类型的指针,针对指针,也可以针对引用:

      //参数类型进一步限制
      template<class T1,class T2>
      class Data<T1*, T2*>
      {
      public:
      	Data()
      	{
      		cout << "Data<T1*,T2*>" << endl;
      	}
      };
      
      template<class T1,class T2>
      class Data<T1&, T2&>
      {
      public:
      	Data()
      	{
      		cout << "Data<T1&,T2&>" << endl;
      	}
      };
      
      int main()
      {
          
          return 0;
      }
      int main()
      {
          //指针
      	Data<char*, char*> d5;
      	Data<double*, int*> d6;
          
          //引用
          Data<double&,int&> d7;
      	return 0;
      }
      

      特化的本质体现的是编译器的参数匹配原则


      三、模板的分离编译

      模板的分离编译我们之前就有说过,这里重新说一遍:

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

      而对于模板,链接之前并不会交互,分离编译就会导致用的地方.cpp没有实例化,没有实例化就会导致链接不上。

      比如:a.h,a.cpp,test.cpp这三个文件,

      编译链接过程:预处理——>编译——>汇编——>链接

      预处理:去注释,宏替换,头文件展开,条件编译(a.i,test.i)

      编译:生成汇编代码(a.s,test.s)、符号汇总

      汇编:把汇编变成二进制目标文件(a.o,test.o),形成符号表

      链接:符号表的合并与重定位,将多个obj文件合并成一个,形成可执行程序

      【C++】非类型模板参数、模板特化、模板的分离编译、模板总结

      解决方案:

      1. 将声明和定义放到一个文件 “xxx.hpp” 里面或者xxx.h其实也是可以的。推荐使用这种。此时在编译阶段中,就有了模板的实例化。
      2. 模板定义的位置显式实例化。这种方法不实用,不推荐使用 。如果实例化的类型少那还是可行的,如果要针对的类型很多,那就太麻烦了
      3. 【C++】非类型模板参数、模板特化、模板的分离编译、模板总结

      四、模板总结

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

      版权声明:本文内容来自第三方投稿或授权转载,原文地址:https://blog.csdn.net/weixin_60478154/article/details/128635277,作者:平凡的人1,版权归原作者所有。本网站转在其作品的目的在于传递更多信息,不拥有版权,亦不承担相应法律责任。如因作品内容、版权等问题需要同本网站联系,请发邮件至ctyunbbs@chinatelecom.cn沟通。

      上一篇:Python为数据添加拉普拉斯噪声Laplace noise

      下一篇:快速入门 - Spring Boot 集成 Redis 配置及使用

      相关文章

      2025-05-19 09:04:53

      查看RISC-V版本的gcc中默认定义的宏

      查看RISC-V版本的gcc中默认定义的宏

      2025-05-19 09:04:53
      c++ , linux
      2025-04-14 09:26:51

      STL详解(八)—— stack和queue的模拟实现

      stack和queue有一点需要注意的是,虽然stack和queue中也可以存放元素,但在STL中并没有将其划分在容器的行列,而是将其称为容器适配器,这是因为stack和queue只是对其他容器的接口进行了包装,STL中stack和queue默认使用deque容器。

      2025-04-14 09:26:51
      c++ , queue , stack , stl
      2025-04-14 09:26:51

      【算法入门08】青蛙跳台阶

      【算法入门08】青蛙跳台阶

      2025-04-14 09:26:51
      c++ , 动态规划 , 算法
      2025-04-14 09:26:51

      STL详解(九)—— priority_queue的使用与模拟实现

      优先级队列默认使用vector作为其底层存储数据的容器,在vector上又使用了堆算法将vector中的元素构造成堆的结构,因此priority_queue就是堆,所有需要用到堆的位置,都可以考虑使用priority_queue。

      2025-04-14 09:26:51
      c++ , stl , 数据结构
      2025-04-14 09:24:23

      【算法入门14】二叉树的镜像

      【算法入门14】二叉树的镜像

      2025-04-14 09:24:23
      c++ , 算法
      2025-04-14 09:24:23

      【算法入门09】矩形覆盖

      【算法入门09】矩形覆盖

      2025-04-14 09:24:23
      c++ , 动态规划 , 算法
      2025-04-07 10:28:48

      Python高维统计建模变量选择:SCAD平滑剪切绝对偏差惩罚、Lasso惩罚函数比较

      变量选择是高维统计建模的重要组成部分。许多流行的变量选择方法,例如 LASSO,都存在偏差。

      2025-04-07 10:28:48
      python , r语言 , 后端 , 开发语言
      2025-04-07 10:20:39

      ​Python是如何表示时间的?2个模块、3种方式,1文看懂~

      ​Python是如何表示时间的?2个模块、3种方式,1文看懂~

      2025-04-07 10:20:39
      python , 开发语言 , 时间戳 , 结构化
      2025-04-01 10:29:12

      golang与 C++数据结构类型对应关系是怎样的?

      uintptr和unsafe.Pointer相当于c++的void*,也就是任意指针。

      2025-04-01 10:29:12
      c++ , golang , 函数指针 , 数据结构
      2025-04-01 10:28:37

      找到非负数组中拥有“最大或的结果“的最短子数组,返回最短长度。

      找到非负数组中拥有"最大或的结果"的最短子数组,返回最短长度。

      2025-04-01 10:28:37
      java代码 , rust , 后端 , 开发语言 , 数组
      查看更多
      推荐标签

      作者介绍

      天翼云小翼
      天翼云用户

      文章

      33561

      阅读量

      5223133

      查看更多

      最新文章

      Python高维统计建模变量选择:SCAD平滑剪切绝对偏差惩罚、Lasso惩罚函数比较

      2025-04-07 10:28:48

      ​Python是如何表示时间的?2个模块、3种方式,1文看懂~

      2025-04-07 10:20:39

      golang与 C++数据结构类型对应关系是怎样的?

      2025-04-01 10:29:12

      找到非负数组中拥有“最大或的结果“的最短子数组,返回最短长度。

      2025-04-01 10:28:37

      【C语言】探索数据的存储(上篇)

      2025-04-01 09:21:49

      MFC编程 -- 判断是否按下ctrl和shift键

      2025-03-31 08:49:25

      查看更多

      热门文章

      Lambda函数

      2023-02-08 10:33:56

      QT中多线程的使用

      2023-02-07 10:34:04

      0030 简单的四则运算 c/c++

      2023-03-21 10:39:47

      C++虚函数知识点总结

      2023-02-21 06:21:46

      (10)Qt对象模型

      2023-02-13 07:55:59

      【C&C++】二进制数据的位运算(如何存储字符)

      2023-04-10 08:53:37

      查看更多

      热门标签

      java Java python 编程开发 代码 开发语言 算法 线程 Python html 数组 C++ 元素 javascript c++
      查看更多

      相关产品

      弹性云主机

      随时自助获取、弹性伸缩的云服务器资源

      天翼云电脑(公众版)

      便捷、安全、高效的云电脑服务

      对象存储

      高品质、低成本的云上存储服务

      云硬盘

      为云上计算资源提供持久性块存储

      查看更多

      随机文章

      算法练习之二叉查找树 C++实现

      详解Java可重入锁ReentrantLock

      【C++】引用、内联函数、函数重载、函数默认参数(缺省参数)与占位参数、extern “C“ 浅析

      Python文本向量化入门(五):自定义中文词袋

      Python进程池简单使用

      一个寄存器的bit2 bit3位由10修改成11,C示例

      • 7*24小时售后
      • 无忧退款
      • 免费备案
      • 专家服务
      售前咨询热线
      400-810-9889转1
      关注天翼云
      • 旗舰店
      • 天翼云APP
      • 天翼云微信公众号
      服务与支持
      • 备案中心
      • 售前咨询
      • 智能客服
      • 自助服务
      • 工单管理
      • 客户公告
      • 涉诈举报
      账户管理
      • 管理中心
      • 订单管理
      • 余额管理
      • 发票管理
      • 充值汇款
      • 续费管理
      快速入口
      • 天翼云旗舰店
      • 文档中心
      • 最新活动
      • 免费试用
      • 信任中心
      • 天翼云学堂
      云网生态
      • 甄选商城
      • 渠道合作
      • 云市场合作
      了解天翼云
      • 关于天翼云
      • 天翼云APP
      • 服务案例
      • 新闻资讯
      • 联系我们
      热门产品
      • 云电脑
      • 弹性云主机
      • 云电脑政企版
      • 天翼云手机
      • 云数据库
      • 对象存储
      • 云硬盘
      • Web应用防火墙
      • 服务器安全卫士
      • CDN加速
      热门推荐
      • 云服务备份
      • 边缘安全加速平台
      • 全站加速
      • 安全加速
      • 云服务器
      • 云主机
      • 智能边缘云
      • 应用编排服务
      • 微服务引擎
      • 共享流量包
      更多推荐
      • web应用防火墙
      • 密钥管理
      • 等保咨询
      • 安全专区
      • 应用运维管理
      • 云日志服务
      • 文档数据库服务
      • 云搜索服务
      • 数据湖探索
      • 数据仓库服务
      友情链接
      • 中国电信集团
      • 189邮箱
      • 天翼企业云盘
      • 天翼云盘
      ©2025 天翼云科技有限公司版权所有 增值电信业务经营许可证A2.B1.B2-20090001
      公司地址:北京市东城区青龙胡同甲1号、3号2幢2层205-32室
      • 用户协议
      • 隐私政策
      • 个人信息保护
      • 法律声明
      备案 京公网安备11010802043424号 京ICP备 2021034386号