返回顶部
首页 > 资讯 > 后端开发 > 其他教程 >C++模板template原理解析
  • 790
分享到

C++模板template原理解析

2024-04-02 19:04:59 790人浏览 泡泡鱼
摘要

目录前言1. 函数模板1.1函数模板的概念1.2函数模板的格式1.3 函数模板的原理1.4 函数模板的实例化1.4.1 隐式实例化1.4.2 显式实例化1.5 模

前言

 在学习模板之前我们首先要了解泛型编程。泛型编程是一种编程风格,其中算法以尽可能抽象的方式编写,而不依赖于将在其上执行这些算法的数据形式。泛型编程只编写与类型无关的通用代码,是代码复用的一种手段。本节学习的模板是泛型编程的基础。

模板分为:函数模板和类模板

1. 函数模板

1.1函数模板的概念

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

1.2函数模板的格式

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

返回值类型函数名(参数列表){}

//函数模板
void Swap(T& left, T& right)
{
T tmp = left;
left = right;
right = tmp;
}

其中typename是用来定义模板参数的关键字,也可以使用class.(但是不能使用struct代替class).

1.3 函数模板的原理

函数模板是一个蓝图,其本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具,所以其实模板就是将本来应该我们做的重复的事情交给了编译器。

我们以Swap()交换函数来进行举例。如何实现一个通用的交换函数呢?

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;
}
int main()
{
int a = 0;
int b = 1;
double c = 2.2;
double d = 3.3;
Swap(a, b);
Swap(c, d);
return 0;
}

在这段代码中,我们使用到了函数重载,但是仍然有几个不好的地方:

  • 1、重载的函数仅仅是类型不同,代码复用率比较低,只要有新的类型出现时,就需要我们自己新增对应的函数。
  • 2、代码的可维护行比较低,一个出错可能所有的重载均出错。

因此,介于上面可能发生的问题,c++便使用函数模板来解决这个问题。

根据上面的模板结构,Swap()函数用模板的方法来写如下所示:

//Swap()函数
//template<typename T>
template<class T>
void Swap(T& left, T& right)
{
T tmp = left;
left = right;
right = tmp;
}

我们使用模板解决了以上两个问题。其中,编译器对特定具体类型的函数会调用相对应类型的Swap函数。

在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。

比如:当用int类型使用函数模板时,编译器通过对实参类型的推演,将T确定为int类型,然后产生一份专门处理int类型的代码,对于其他类型也是如此

1.4 函数模板的实例化

用不同类型的参数使用函数模板时,成为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。

1.4.1 隐式实例化

隐式实例化是让编译器根据实参推演模板参数的实际类型。

template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 20.0, d2 = 10.0;
Add(a1, a2);
Add(d1, d2);
return 0;
}

其中Add(a1,a2)和Add(d1,d2)就是隐式实例化。编译器会根据实参推演模板参数的实际类型。 

template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10;
double d1 = 20.0;
Add(a1, d1);
return 0;
}

注意:上述代码是不能通过编译的,因为在编译期间,当编译器看到该实例化时,需要推演其实参类型来确定模板参数的具体类型,但是通过实参a1将T推演为int,通过实参d1将T推演为double,由于模板参数列表中只有一个T,因此编译器无法确定到底该将T确定为int或者是double类型,从而会报错。(在模板中,编译器一般不会进行类型转换的操作)

此时可以用两种处理方式:

  • 1、用户自己来强制转换
  • 2、使用显式实例化
int main()
{
int a1 = 10;
double d1 = 20.0;
Add(a1, (int)d1);//用户自己来强制转换
return 0;
}

1.4.2 显式实例化

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

template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10;
double d1 = 20.0;
Add<int>(a1, d1);//显示实例化成int
Add<double>(a1, d1);//显示实例化成double
return 0;
}

如果类型不匹配,编译器会尝试进行隐式类型转换,如果无法转换成功编译器将会报错。

1.5 模板参数的匹配原则

1. 一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。

// 专门处理int的加法函数
int Add(int left, int right) {
return left + right;
}
// 通用加法函数
template<class T> T Add(T left, T right) {
return left + right;
}
int main()
{
Add(1, 2); // 与非模板函数匹配,编译器不需要特化
Add<int>(1, 2); // 调用编译器特化的Add版本
return 0;
}

2.  对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例,如果模板可以产生一个具有更好匹配的函数,那么将选择模板

// 专门处理int的加法函数
int Add(int left, int right) {
return left + right;
}
// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right) {
return left + right;
}
int main()
{
//与非函数模板类型完全匹配,不需要函数模板实例化
Add(1, 2);
//模板函数可以生成更加匹配的版本
//编译器根据实参生成更加匹配的Add函数
Add(1, 2.0);
return 0;
}

3. 模板函数不允许自动类型转换,但普通函数可以进行自动类型转换

2. 类模板

2.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.2 类模板的实例化

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

// Vector类名,Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;

到此这篇关于 C++模板template原理的文章就介绍到这了,更多相关 C++模板template内容请搜索编程网以前的文章或继续浏览下面的相关文章希望大家以后多多支持编程网!

--结束END--

本文标题: C++模板template原理解析

本文链接: https://lsjlt.com/news/165424.html(转载时请注明来源链接)

有问题或投稿请发送至: 邮箱/279061341@qq.com    QQ/279061341

猜你喜欢
  • C++模板template原理解析
    目录前言1. 函数模板1.1函数模板的概念1.2函数模板的格式1.3 函数模板的原理1.4 函数模板的实例化1.4.1 隐式实例化1.4.2 显式实例化1.5 模...
    99+
    2024-04-02
  • [C++] 模板template
      目录 1、函数模板 1.1 函数模板概念 1.2 函数模板格式 1.3 函数模板的原理 1.4 函数模板的实例化 1.4.1 隐式实例化 1.4.2 显式实例化 1.5 模板参数的匹配原则 2、类模板 2.1 类模板的定义格式 2.2...
    99+
    2023-09-02
    c++ 开发语言
  • C++模板Template详解及其作用介绍
    目录1. 模板2. 函数模板2.1 函数模板概念2.2 函数模板格式2.3 函数模板原理2.4 函数模板的实例化2.5 模板参数的匹配原则2.6声明定义分离3. 类模板3.1 类模板...
    99+
    2024-04-02
  • Go模板template用法详解
    本文只介绍template的语法和用法,关于template包的函数、方法、template的结构和原理,见:深入解析Go template模板使用详解。 入门示例 以下为test....
    99+
    2024-04-02
  • C++中模板(Template)详解及其作用介绍
    目录概述函数模板类模板模板类外定义成员函数类库模板抽象和实例概述 模板可以帮助我们提高代码的可用性, 可以帮助我们减少开发的代码量和工作量. 函数模板 函数模板 (Function...
    99+
    2024-04-02
  • C++将模板实现放入头文件原理解析
    目录写在前面例子原因分析解决方案方案一方案二参考写在后面写在前面 本文通过实例分析与讲解,解释了为什么C++一般将模板实现放在头文件中。这主要与C/C++的编译机制以及C++模板的实...
    99+
    2024-04-02
  • Golang template 包基本原理分析
    目录template 概述解析流程Parse阶段Execute阶段小结template 概述 最近在做脚手架相关的内容, 研究了一下 Go 的 text/template 包, 接下...
    99+
    2024-04-02
  • C++ 类模板与成员函数模板示例解析
    目录类模板类模板与成员函数模板的区别类模板 前面以函数模板为例,介绍了具体化与实例化。那么对于类模板,有什么不同呢? 类包括成员变量和成员函数,他们都可以包含类模板的模板参数。而成...
    99+
    2023-01-03
    C++ 类模板成员函数模板 C++ 类模板成员函数模板
  • vue中template模板编译的过程全面剖析
    目录简述过程vue的渲染过程parseparse过程总结generate生成render函数简述过程 vue template模板编译的过程经过parse()生成ast(抽象语法树)...
    99+
    2024-04-02
  • C++函数模板和类模板分析
    本篇内容介绍了“C++函数模板和类模板分析”的有关知识,在实际案例的操作过程中,不少人都会遇到这样的困境,接下来就让小编带领大家学习一下如何处理这些情况吧!希望大家仔细阅读,能够学有所成!1.函数模板函数模板定义了参数化的非成员函数,这使得...
    99+
    2023-06-17
  • 浅析C++函数模板和类模板
    目录一、函数模板1、函数模板的定义和使用2、函数模板的编译原理3、函数模板的声明二、类模板1、类模板的定义和使用2、类模板的编译原理3、类模板的继承和派生C++语言全盘继承了C语言的...
    99+
    2024-04-02
  • C++详解非类型模板参数Nontype与Template及Parameters的使用
    目录非类型类模板参数非类型函数模板参数非类型模板参数的限制非类型模板参数 auto非类型类模板参数 前一章使用的例子 Stack 使用的是标准库中的容器管理元素,也可以使用固定大小的...
    99+
    2024-04-02
  • js模板引擎art template数组渲染的示例分析
    这篇文章主要介绍js模板引擎art template数组渲染的示例分析,文中介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们一定要看完!什么是art-templateart-template 是一个简约...
    99+
    2024-04-02
  • Python 中开发pattern的string模板(template) 实例详解
    定制pattern的string模板(template) 详解 string.Template的pattern是一个正则表达式, 可以通过覆盖pattern属性, 定义新的正则表达式. 如: 使用新的定界...
    99+
    2022-06-04
    详解 实例 模板
  • C++图文并茂分析讲解模板
    目录1.内容引入2.模板函数C语言写交换函数C++写交换函数模板交换函数的语法及其原理语法原理理解显示实例化和隐式实例化关于编译器也是懒人这件事3.类模板1.内容引入 ​ 不知道大家...
    99+
    2024-04-02
  • C++模板编程的深入理解
    什么是模板编程?模板编程是使用类型参数泛型化算法和数据结构,并生成可在编译时处理多种数据类型的代码。关键概念:模板函数和类:使用 template 关键字创建,接受类型参数,处理不同类型...
    99+
    2024-05-21
    c++ 模板编程
  • C++ 函数模板详解:揭秘泛型算法背后的原理
    回答: 函数模板用于编写可用于不同类型数据的通用函数,增强代码可重用性和效率。详细描述:语法: template returntype func++tionname(t arg1, t...
    99+
    2024-04-27
    c++ 函数模板
  • C++模板使用实例分析
    这篇文章主要介绍了C++模板使用实例分析的相关知识,内容详细易懂,操作简单快捷,具有一定借鉴价值,相信大家阅读完这篇C++模板使用实例分析文章都会有所收获,下面我们一起来看看吧。非类型模板参数模板参数分类类型形参与非类型形参。类型形参:出现...
    99+
    2023-06-30
  • nodejs中art-template模板语法引入及冲突的示例分析
    小编给大家分享一下nodejs中art-template模板语法引入及冲突的示例分析,希望大家阅读完这篇文章之后都有所收获,下面让我们一起去探讨吧!使用Webstorm创建nodejs express应用时...
    99+
    2024-04-02
  • C++模板基础之函数模板与类模板实例详解
    目录泛型编程 函数模板 函数模板的概念 函数模板的格式 函数模板的原理 函数模板的实例化 函数模板的匹配原则 类模板 类模板的定义格式 类模板的实例化 总结泛型编程  ...
    99+
    2024-04-02
软考高级职称资格查询
编程网,编程工程师的家园,是目前国内优秀的开源技术社区之一,形成了由开源软件库、代码分享、资讯、协作翻译、讨论区和博客等几大频道内容,为IT开发者提供了一个发现、使用、并交流开源技术的平台。
  • 官方手机版

  • 微信公众号

  • 商务合作