0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

你们知道什么是函数模板、类模板?

FPGA之家 来源:嵌入式客栈 作者:嵌入式客栈 2021-05-17 15:29 次阅读

[导读] 最近使用C++做些编程,把日常遇到的些比较重要的概念总结分享一下。本文来分享一下模板类的原理,以及为什么需要模板类,使用时的基本要点。

为什么需要模板

比如需要设计一个描述点的类,大致很快可以写成这样:

class Point_F { public: /*默认传入参数为0,0*/ Point_F(float x0 = 0, float y0 = 0) :x(x0), y(y0) /*初始化列表*/ { } /*用const修饰函数,表示函数不会修改成员数据*/ float get_x() const { return x; } float get_y() const { return y; } private: /*一般会将数据放在私有区,以对外隐藏*/ float x; float y; };

可问题是,在有的场合这点的坐标系有可能不需要浮点,比如界面设计中点往往是整型表示即可,那此时就需要再设计一个整型成员类:

class Point_I { public: /*默认传入参数为0,0*/ Point_f(int x0 = 0, int y0 = 0) :x(x0), y(y0) /*初始化列表*/ { } /*用const修饰函数,表示函数不会修改成员数据*/ int get_x() const { return x; } int get_y() const { return y; } private: /*一般会将数据放在私有区,以对外隐藏*/ int x; int y; };

可是在应用代码中,往往发现对于不同数据成员的应用操作确实基本类似,而且应用代码往往这两种(甚至更多成员数据类型)都可能会同时用到,仅仅因为数据类型就需要笨笨的将原代码在改写一下,在现代高级语言中,这显然就比较机械了。

375e1134-b4c9-11eb-bf61-12bb97331649.png

C++中有没有可能将不同成员数据类型但是其顶层逻辑相同的对象,设计为一个类呢?就比如:

376f7c4e-b4c9-11eb-bf61-12bb97331649.png

C++模板编程正是为了解决这样的需求而设计的机制。该机制允许函数或类使用泛型类型(generic type)进行操作。从而,函数或类就可以处理许多不同的数据类型,而无需为每种数据类型重写相应的类或者函数。

怎么实现的呢?

这里又可以大致分这样三种情况:

函数模板(Function templates)

类模板(Class templates)

**成员模板(Member templates) **

函数模板

函数模板其基本语法范式为:

template 《class identifier》 function_declaration; template 《typename identifier》 function_declaration;

template 为模板关键字

《typename identifier》 、《class identifier》 定义函数参数泛型类型或函数体类变量泛型类型

比如:

#include 《iostream》 using namespace std; template 《typename T》 T max(T a, T b) { return a 》 b ? a : b ; }

又或者写成如下形式:

#include 《iostream》 using namespace std; template 《class T》 T max(T a, T b) { return a 》 b ? a : b ; }

那么或许有的朋友会任务关键字class就意味着自定义类,而typename则是基本数据类型,比如int,float等,这样理解其实是不对的,从C++编译器的角度template 《typename T》与template 《class T》其语义是一样的,都是泛型,用户在使用这个模板函数的时候,所传入的参数都既可以是基本数据类型,也可以是类名。

对于上面的代码,或许初使用的朋友还会问,是不是可以随便传入类,这有可能编译不过。为什么呢?你传入的类需要支持》操作符,如果对于某个类你想使用该函数,而本身不支持》操作符,则需要实现》操作符。

类模板

与函数模板类似,类内部成员数据或者函数的参数或变量会使用,模板关键字定义的泛型名。比如:

template 《typename T》 class Point_T { public: Point_T(T x0 = 0, T y0 = 0) :x(x0), y(y0) { } T get_x() const { return x; } T get_y() const { return y; } private: T x; T y; };

这小段代码就回答了之前提出的问题,可以支持不同数据类型的点。

int main() { Point_T《int》 p1(1, 2); Point_T《float》 p2(1.1f, 2.2f); cout 《《 p1.get_x() 《《 endl 《《 p1.get_y() 《《 endl; cout 《《 p2.get_x() 《《 endl 《《 p2.get_y() 《《 endl; }

以上述简单例子看,分别构造了整型点p1,以及浮点型点p2,那么究竟怎么做到的呢?为了理解得更清楚,这里将其关键汇编代码段拷贝下来简要看看:

Point_T《int》 p1(1, 2); 000C1D6C push 2 000C1D6E push 1 000C1D70 lea ecx,[p1] 000C1D73 call Point_T《int》::Point_T《int》 (0C11D1h) Point_T《float》 p2(1.1f, 2.2f); 000C1D78 push ecx 000C1D79 movss xmm0,dword ptr [__real@400ccccd (0C7B34h)] 000C1D81 movss dword ptr [esp],xmm0 000C1D86 push ecx 000C1D87 movss xmm0,dword ptr [__real@3f8ccccd (0C7B30h)] 000C1D8F movss dword ptr [esp],xmm0 000C1D94 lea ecx,[p2] 000C1D97 call Point_T《float》::Point_T《float》 (0C1064h)

可见编译器对不同类型参数实际上做了相应解析,相当于根据用户程序传入的参数编译出相应的多份代码。所以可以简单理解成编译器根据不同泛型实际参数类型生成了相应的处理代码。而前面所说的模板函数其原理也基本类似。

总结一下

通过些简单例子,梳理一下模板函数以及模板类的基本概念以及原理,理解了这两个概念,就比较容易理解成员模板。所谓泛型模板编程,其本质是编译器针对不同参数类型解析解析生成相应的处理代码。学会使用模板泛型编程你会发现你会少写很多代码,代码看起来会比较优雅,而其实操作起来也没有想象中那么难。

编辑:jq

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 编程
    +关注

    关注

    88

    文章

    3591

    浏览量

    93592
  • 函数
    +关注

    关注

    3

    文章

    4304

    浏览量

    62426
  • C++
    C++
    +关注

    关注

    22

    文章

    2104

    浏览量

    73485
  • 编译器
    +关注

    关注

    1

    文章

    1618

    浏览量

    49047

原文标题:什么是函数模板、类模板?怎么做到的?

文章出处:【微信号:zhuyandz,微信公众号:FPGA之家】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    图纸模板中的文本变量

    “  文本变量和系统自带的内置变量,可以帮助工程师灵活、高效地配置标题栏中的信息,而不用担心模板中的文字对象被意外修改。   ” 文本变量的语法 文本变量以 ${VARIABLENAME} 的方式
    的头像 发表于 11-13 18:21 113次阅读
    图纸<b class='flag-5'>模板</b>中的文本变量

    A0到A4的图框只要一个图纸模板就搞定了?

    “  图纸模板规范了图纸的尺寸大小,同时可以在标题栏显示与图纸相关的信息,如产品名称、版本、日期等。从标准化的角度考虑,公司通常会定义A0~A4的图纸模板,用于不同的设计场合。KiCad提供了一种
    的头像 发表于 11-13 18:13 154次阅读
    A0到A4的图框只要一个图纸<b class='flag-5'>模板</b>就搞定了?

    摩尔线程开源高性能线性代数模板库MUTLASS

    近日,摩尔线程宣布开源高性能线性代数模板库MUTLASS,以便开发者能够更高效针对摩尔线程全功能GPU的MUSA Core及Tensor Core等单元进行编程,加速基于国产GPU的算子开发以及算法创新。
    的头像 发表于 11-13 11:53 231次阅读

    手写图像模板匹配算法在OpenCV中的实现

    OpenCV中的模板匹配是支持基于NCC相似度查找的,但是不是很好用,一个主要的原因是查找最大阈值,只能匹配一个,自己比对阈值,又导致无法正确设定阈值范围,所以问题很多。于是我重新写了纯Python版本的NCC图像模板匹配的代码实现了一个Python版本的,简单易用,支持
    的头像 发表于 11-11 10:12 164次阅读
    手写图像<b class='flag-5'>模板</b>匹配算法在OpenCV中的实现

    使用C语言实现函数模板

      用C语言能不能实现一个通用的函数,既能完成整数的相加,又能完成浮点数的相加?
    的头像 发表于 11-09 11:38 287次阅读

    CW32F003E4芯片入门学习:4.工程模板创建(使用例程或模板)

    模板路径:CW32F003_StandardPeripheralLib_V1.4ExamplesTemplate
    的头像 发表于 04-24 14:14 376次阅读
    CW32F003E4芯片入门学习:4.工程<b class='flag-5'>模板</b>创建(使用例程或<b class='flag-5'>模板</b>)

    TouchGFX的Application Templates模板里面为什么只有2个?

    如题,手边有一块F429 Discovery的板子,然后打开touchGFX , 发现模板里面只有两种类型。我卸载了TouchGFX再重新装也没有用。找不到配置的地方,那个online的选项,明明已经连接上了网络,但是还是显示灰色,不知道为什么。
    发表于 04-09 06:49

    Altium Designer与Gerber模板的导入指南

    我们在设计完成后,准备输出Gerber的时候,有时候想用自己的Gerber模板导入PCB进行编辑,那么是如何设置导入的呢?
    的头像 发表于 03-28 09:41 1225次阅读
    Altium Designer与Gerber<b class='flag-5'>模板</b>的导入指南

    CW32F003E4芯片入门学习:4.工程模板创建(使用例程或模板)

    1.3.1拷贝模板工程和库文件 模板路径:CW32F003_StandardPeripheralLib_V1.4ExamplesTemplate 库文件路径
    的头像 发表于 03-27 09:39 477次阅读
    CW32F003E4芯片入门学习:4.工程<b class='flag-5'>模板</b>创建(使用例程或<b class='flag-5'>模板</b>)

    LabVIEW模板匹配位置信息导出

    大家好,我在利用ni vision assistant生成的模板匹配界面时,想要将每一个匹配物体的位置信息导出到word或者Excel,但是他这个匹配个数不确定,怎么样把匹配到的所有物体信息导出呀?利用哪些编程?谢谢大家了
    发表于 03-11 20:22

    Samtec - 通过优化焊膏模板开孔来扩大连接器的选择范围

    然而,Samtec Inc.和Phoenix Contact的一项研究表明,通过优化焊膏模板的开孔形状,设计师就可以选择已广泛提供的、价格更低的、共面度为0.15 mm的连接器来与更精细的0.10
    发表于 01-02 15:33 193次阅读
    Samtec - 通过优化焊膏<b class='flag-5'>模板</b>开孔来扩大连接器的选择范围

    使用Jenkins和单个模板部署多个Kubernetes组件

    YAML模板文件(.tpl)来部署多个类似的Kubernetes组件,而不需要为每个组件提供单独的模板文件。
    的头像 发表于 01-02 11:40 701次阅读
    使用Jenkins和单个<b class='flag-5'>模板</b>部署多个Kubernetes组件

    如何使用CMW500测试频谱模板

    在使用CMW500测试频谱模板之前,首先我们需要了解什么是频谱模板以及其在通信系统测试中的作用。频谱模板是指在特定的频率范围内,记录了该频率范围内的信号功率谱密度的一种图形表示。在通信系统测试中
    的头像 发表于 12-25 15:10 1460次阅读

    OpenCV边缘模板匹配算法原理详解

    OpenCV中自带的模板匹配算法,完全是像素基本的模板匹配,特别容易受到光照影响,光照稍微有所不同,该方法就会歇菜了!搞得很多OpenCV初学者刚学习到该方法时候很开心,一用该方法马上很伤心
    的头像 发表于 12-07 10:56 1325次阅读
    OpenCV边缘<b class='flag-5'>模板</b>匹配算法原理详解

    鸿蒙原生应用/元服务开发-新版本端云一体化模板体验反馈

    Ability模板即可。 三、体验 新增: 最新端云一体化新增“云数据库端云一体组件”, 版本对比(旧版本未加入云数据库组件) 优化: 云函数的本地调试 云开发控制台 各云服务调用 功能代码示例(添加代码后
    发表于 12-05 14:57