【C++】格式与实例化操作——[模板]详解(7)

这篇具有很好参考价值的文章主要介绍了【C++】格式与实例化操作——[模板]详解(7)。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

前言

大家好吖,欢迎来到 YY 滴C++系列 ,热烈欢迎! 本章主要内容面向接触过C++的老铁
主要内容含:
【C++】格式与实例化操作——[模板]详解(7),YY滴 《C语言系列》,c++,开发语言

欢迎订阅 YY滴C++专栏!更多干货持续更新!以下是传送门!

  • YY的《C++》专栏
  • YY的《C++11》专栏
  • YY的《Linux》专栏
  • YY的《数据结构》专栏
  • YY的《C语言基础》专栏
  • YY的《初学者易错点》专栏
  • YY的《小小知识点》专栏

一. 模板参数与模板参数列表

模板参数分类类型形参与非类型形参:

  • 类型形参:出现在模板参数列表中,跟在class(typename)后面的参数类型名称
  • 非类型形参:就是用一个常量作为类(函数)模板的一个参数,在类(函数)模板中可将该参数当成常量来使用

1)模板参数&模板参数列表

【C++】格式与实例化操作——[模板]详解(7),YY滴 《C语言系列》,c++,开发语言

2)非类型模板参数

  • 非类型模板参数主要用于定义一个【静态栈】例如array
  • 要注意非类型模板参数只能用于整型 【浮点数、类对象以及字符串是不允许作为非类型模板参数的】
  • 非类型的模板参数必须在编译期就能确认结果
    【C++】格式与实例化操作——[模板]详解(7),YY滴 《C语言系列》,c++,开发语言
// 静态栈
// 非类型模板参数
// 1、常量
// 2、必须是整形
template<class T, size_t N>
class Stack
{
public:
	void func()
	{
		// 常量,不能修改(调用func会报错)
		N = 0;
	}
private:
	T _a[N];
	int _top;
};

二.函数模板

1)函数模板概念

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

2)函数模板的格式

template<typename T>
void Swap( T& left, T& right)
{
 T temp = left;
 left = right;
 right = temp;
}
//可识别不同的同种类型交换(例:char与char,int与int,double与double)

PS:typename是用来定义模板参数关键字,也可以使用class(切记:不能使用struct代替class) ;

3)函数模板的实例化

引入:

  • 用不同类型的参数使用函数模板时,称为 函数模板的实例化 。模板参数实例化分为: 隐式实例化 显式实例化
  • PS:实例化实现的任务是交给编译器的

1.【隐式实例化】

引入:

  • 隐式实例化的机制是让编译器 根据实参推演模板参数的实际类型 ,而这往往会出现一些问题
  • 适用情况:其交换的两者是同一类
    【C++】格式与实例化操作——[模板]详解(7),YY滴 《C语言系列》,c++,开发语言
  • 不适用情况:其交换的两者 不是同一类
template<class T> 
 T Add(const T& left, const T& right) 
 { 
   return left + right;
 }

int main()
 {  
   int a1 = 10;  
   double d1 = 10.0;
   Add(a1, d1); //解决方式:Add(a1, (int)d1);强制类型转换 }
 }

分析:

  • 该语句不能通过编译,因为在编译期间,当编译器看到该实例化时,需要推演其实参类型
  • 通过实参a1将T推演为int类型 ,通过实参d1将T推演为double类型 ,但模板参数列表中只有一个T,
  • 编译器无法确定此处到底该将T确定为int 或者 double类型而报错

解决方式:

  • 用户自己强制类型转换Add(a1, (int)d1);
  • 显式实例化

2.【显式实例化 】

显式实例化:在函数名后的<>中 指定 模板参数的实际类型

 int main(void)
  { 
   int a = 10;  
   double b = 20.0;  
    // 显式实例化 
   Add<int>(a, b);  
   return 0;
 }

3.【模板参数的匹配原则 】

  1. 一个非模板函数可以和一个 同名 的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
  2. 对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以 产生一个具有更好匹配的函数, 那么将选择模板
  3. 模板函数不允许自动类型转换 ,但普通函数可以进行自动类型转换

4)函数模板的特化

1.【特化的使用场景】

  • 特化有其使用需求与场景,但对于一些特殊类型的可能会得到一些错误的结果,比如:实现了一个专门用来进行小于比较的函数模板
  • 用于比较【整型】【日期类Date】时,可以正常比较,但要用于比较【日期类指针】指向的【日期类】的大小时,需求无法完成
// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
 return left < right;
}
int main()
{
 cout << Less(1, 2) << endl; // success
 Date d1(2022, 7, 7);
 Date d2(2022, 7, 8);
 cout << Less(d1, d2) << endl; // success
 Date* p1 = &d1;
 Date* p2 = &d2;
 cout << Less(p1, p2) << endl; // 比较的是指针的大小,需求无法完成
 return 0;
}

2.【特化的步骤】

步骤:

  1. 必须要先有一个基础的函数模板
  2. 关键字template后面接一对空的尖括号< >
  3. 函数名后跟一对尖括号,尖括号中指定需要特化的类型 【当传入参数类型是特化类型时,则不走模板生成】
  4. 函数形参列表: 必须要和模板函数的基础参数类型完全相同 (如果不同,编译器可能会报一些奇怪的错误)
//基础的函数模板
template<class T>
bool Less(T left, T right)
{
 return left < right;                          //步骤1:先有一个基础的函数模板
}

// 对Less函数模板进行特化
template<>                                     //步骤2:关键字template后面接一对空的尖括号
bool Less<Date*>                               //步骤3:函数名后跟一对尖括号,尖括号中指定需要特化的类型
(Date* left, Date* right)                      //步骤4:函数形参列表要和模板函数的基础参数类型完全相同
{ 
return *left < *right;
}

int main()
{
 cout << Less(1, 2) << endl; // success
 Date d1(2022, 7, 7);
 Date d2(2022, 7, 8);
 cout << Less(d1, d2) << endl; // success
 Date* p1 = &d1;
 Date* p2 = &d2;
 cout << Less(p1, p2) << endl; // 比较的是指针的大小,需求无法完成
 return 0;
}

3.【结论:函数模板不建议特化】

  • 注意:一般情况下如果函数模板遇到不能处理或者处理有误的类型,为了实现简单通常都是将该函数直接给出
bool Less(Date* left, Date* right)
{
 return *left < *right;
}

三.类模板

1)类模板的格式

template<class T1, class T2, ..., class Tn>
class xxx//(类模板名)
{
 // 类内成员定义
}; 

2)类模板的实例化

  • 类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可 ,类模板名字不是真正的类,而实例化的结果才是真正的类 ;
Vector<int> s1; 
Vector<double> s2; 

3)区分"访问类模板时"用【类型】而非【类名】

【※】类模板中函数放在类外进行定义时,需要加模板参数列表;并用"类型"访问;

注意区分:

  • 在类中:类名等同于类型
  • 在类模板中:类型是类型,类名是类名

例如:

  • 在下面代码中,类模板中函数放在类外进行定义时,需要加模板参数列表;在访问类模板时,用的是Vector(类型)而不是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;
}

4)使用类模板内相关时的注意事项【假设场景:取类模板内的迭代器】

  • 当我们想要实现一个打印任意容器元素的print函数,我们需要遍历容器,于是设置了模板参数Container
  • 如果我们直接写成Container::const_iterator it = v.begin(); 形式,其中的const_iterator可能是静态变量,内部类名等等
  • 所以我们要在前面加上typename,确保编译器能够识别到其是类型,等模板实例化再去找
//template<typename Container>
template<class Container>
void Print(const Container& v)
{
	// 编译不确定Container::const_iterator是类型还是对象
	// typename就是明确告诉编译器这里是类型,等模板实例化再去找
	
	//  Container::const_iterator it = v.begin();  
	typename Container::const_iterator it = v.begin();
	
	auto it = v.begin();
	while (it != v.end())
	{
		cout << *it << " ";
		++it;
	}
	cout << endl;
}

5) 类模板的特化【全特化&偏特化】

[1]简单介绍

  • 全特化即是将模板参数列表中的所有参数都确定化
  • 偏特化即是【任何针对模版参数进一步进行条件限制设计的特化版本】:部分参数确定化,增加限定条件(指针/引用)
  • 特化后的类是新的类不用带上原类所有的成员变量或者函数,编译器会处理这块问题
  • 特化后的类不能独立于原类存在

[2]全特化

template<>
class Data<int, char>

[3]偏特化

  template <typename T1>
  class Data<T1, char>//部分特化——————————>特化的char模板

  template <typename T1, typename T2>
  class Data <T1*, T2*>//两个参数偏特化为指针类型
  class Data <T1&, T2&>//两个参数偏特化为引用类型

  Data<double , int> d1; // 调用特化的char模板
  Data<int , double> d2; // 调用基础的模板
  Data<int *, int*> d3; //调用特化的指针模板

[4]偏特化运用场景

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

int main()
{
 Date d1(2022, 7, 7);
 Date d2(2022, 7, 6);
 Date d3(2022, 7, 8);
 vector<Date> v1;

//场景1
 v1.push_back(d1);
 v1.push_back(d2);
 v1.push_back(d3);
 // 可以直接排序,结果是日期升序
 sort(v1.begin(), v1.end(), Less<Date>());
 //场景2
 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;
 }

四. 模板的分离编译报错【声明定义要放在一个源(头)文件中】

1)分离编译模式

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

2)程序运行步骤简述

  • 要经过:预处理–>编译–>汇编–>链接
  • 编译:对程序进行一些分析&错误检查后生成汇编代码;
  • 头文件不参与编译,编译器对工程中的多个源文件是单独分开编译【把.c文件编译成.obj文件】
  • 链接:将多个obj文件合并成一个,处理没有解决的地址问题

3)报错内容:“无法解析的外部符号”

  • 如下所示:
    【C++】格式与实例化操作——[模板]详解(7),YY滴 《C语言系列》,c++,开发语言

报错原因分析:

  • 由于模板声明和定义是分离的,模板定义部分是在.c文件中,经过编译阶段变成.obj文件
  • 在.c文件中,编译器没有看到到对模板函数的实例化,因此不会生成对应函数
  • 最后编译器在链接阶段会去找函数的地址,但是在上一步中函数没有实例化没有生成具体的代码,因此报错

4)类模板在C++11支持声明定义分离

  • 在 C++中,类模板的声明和定义必须放在一起,因为编译器在编译时需要检查类模板的具体实现。如果将声明和定义分离,编译器就无法检查类模板的具体实现,这将导致编译错误。

  • 在 C++11 中引入了模板具体化 (template specialization 的概念,允许程序员在另一个文件中声明和定义模板的一个特殊版本,但这只适用于模板具体化,对于普通的类模板而言,声明和定义仍然必须放在一起。文章来源地址https://www.toymoban.com/news/detail-713895.html

到了这里,关于【C++】格式与实例化操作——[模板]详解(7)的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • 【开发语言】C语言与Python的互操作详解

    博主未授权任何人或组织机构转载博主任何原创文章,感谢各位对原创的支持! 博主链接 本人就职于国际知名终端厂商,负责modem芯片研发。 在5G早期负责终端数据业务层、核心网相关的开发工作,目前牵头6G算力网络技术标准研究。 博客内容主要围绕:        5G/6G协议

    2024年02月10日
    浏览(66)
  • ES之API系列--index template(索引模板)的用法(有实例)

    原文网址:ES之API系列--index template(索引模板)的用法(有实例)_IT利刃出鞘的博客-CSDN博客 说明 本文介绍ElasticSearch的index template(索引模板)的用法(有实例)。 官网网址 https://www.elastic.co/guide/en/elasticsearch/reference/8.0/index-templates.html 作用概述         在 新建 索引时,如果索引名

    2024年04月09日
    浏览(41)
  • ES之API系列--dynamic template(动态模板)的用法(有实例)

    原文网址:ES之API系列--dynamic template(动态模板)的用法(有实例)_IT利刃出鞘的博客-CSDN博客 说明         本文介绍ElasticSearch的dynamic template(动态模板)的用法(有实例)。 官网网址 https://www.elastic.co/guide/en/elasticsearch/reference/8.0/dynamic-templates.html 作用概述         动态模板是针对

    2023年04月16日
    浏览(37)
  • OpenAI开发系列(二):大语言模型发展史及Transformer架构详解

    全文共1.8w余字,预计阅读时间约60分钟 | 满满干货,建议收藏! 在2020年秋季,GPT-3因其在社交媒体上病毒式的传播而引发了广泛关注。这款拥有超过1.75亿参数和每秒运行成本达到100万美元的大型语言模型(Large Language Models,LLMs)开启了自然语言处理(NLP)领域的新纪元。

    2024年02月07日
    浏览(48)
  • Opencv (C++)系列学习---模板匹配

    目录 1.模板匹配的定义 2.API介绍 3.寻找最优匹配位置(匹配后的配套操作) 4.具体代码         模板匹配就是在整个图像区域发现与给定子图像匹配的小块区域,该匹配方法并不是基于直方图,而是使用一个图像块在输入图像上进行“”滑动“”。(也就是在图像上按照

    2024年02月08日
    浏览(49)
  • 微信小程序 | 微信公众平台SpringBoot开发实例 │ 模板消息的应用开发

     在手机微信公众号中输入文本(如“你好”),公众号发送两条模板消息,如下图所示。 模板消息用来帮助公众号进行业务通知,是在模板内容中设定参数(参数必须以{ {开头,且以.DATA} }结尾)并在调用时为这些参数赋值并发送的消息。模板消息仅用于向用户发送重要的服务

    2024年02月03日
    浏览(54)
  • python %s格式化输出的五种用法,实例详解

    %s是python中的一个用于格式化输出的符号,与python内置的print()函数搭配使用,通常情况下用于格式化输出字符串或字符,但实际上,%s也可以用于输出其他的python数据类型。除此之外,%和s之间还可以传递一些参数,比如数值或符号等等,具体的见下方的实例代码。 基本用法

    2024年02月06日
    浏览(49)
  • C#语言实例源码系列-伪装文件

    专栏分享 点击跳转=Unity3D特效百例 点击跳转=案例项目实战源码 点击跳转=游戏脚本-辅助自动化 点击跳转=Android控件全解手册 众所周知,人生是一个漫长的流程,不断 克服困难 ,不断反思前进的过程。在这个过程中会产生很多对于人生的质疑和思考,于是我决定将自己的思

    2023年04月18日
    浏览(64)
  • C#语言实例源码系列-身份证验证

    专栏分享 点击跳转=Unity3D特效百例 点击跳转=案例项目实战源码 点击跳转=游戏脚本-辅助自动化 点击跳转=Android控件全解手册 众所周知,人生是一个漫长的流程,不断 克服困难 ,不断反思前进的过程。在这个过程中会产生很多对于人生的质疑和思考,于是我决定将自己的思

    2024年02月02日
    浏览(77)
  • C#语言实例源码系列-电脑系统挂机锁

    专栏分享 点击跳转=Unity3D特效百例 点击跳转=案例项目实战源码 点击跳转=游戏脚本-辅助自动化 点击跳转=Android控件全解手册 众所周知,人生是一个漫长的流程,不断 克服困难 ,不断反思前进的过程。在这个过程中会产生很多对于人生的质疑和思考,于是我决定将自己的思

    2023年04月23日
    浏览(54)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包