热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

C++模板——深入理解函数模板

本文参照于狄泰软件学院——《C++深度剖析课程》函数模板的工作机制函数模板的本质

本文参照于狄泰软件学院——《C++深度剖析课程》

      • 函数模板的工作机制
      • 函数模板的本质
      • 多参数函数模板
      • 函数重载与函数模板

函数模板的工作机制

问题:函数模板的工作原理是怎么样的?如何区分类型的?跟宏定义的方式有区别吗?

1. 编译器从函数模板通过具体类型产生不同的函数
根据自动推导类型的方式,我们就可以知道,函数模板实际是根据传入的实参来判断类型的。

2. 编译器会对函数模板进行两次编译

3. 第一次编译:对模板代码本身进行编译

4. 第二次编译:对参数替换后的代码进行编译

这个机制实际就是为了解决宏定义无法对类型检查的缺陷。第一次编译检查模板函数是否存在语法错误。 第二次编译是在我们调用这个函数的时候,为了得到相对应类型的函数,会再次进行编译。

根据编译器对函数模板的二次编译我们可以知道,函数模板并不是一个实际存在的一个函数,而是产生实际函数的模子。当我们使用参数进行调用,编译器第二次编译后才会产生一个真正的函数。

函数模板的本质

问题:我们如何证明函数模板第二次编译才产生对应类型的函数呢?

示例代码:函数模板的本质

#include 
#include 

using namespace std;

template <typename T >
void Swap(T& a, T& b)
{
    T c = a;
    a = b;
    b = c;
}

typedef void(FuncI)(int&, int&);
typedef void(FuncD)(double&, double&);

int main()
{
    FuncI* pi = Swap;    // 编译器自动推导 T 为 int
    FuncD* pd = Swap;    // 编译器自动推导 T 为 double

    cout <<"pi = " <<reinterpret_cast<void*>(pi) <cout <<"pd = " <<reinterpret_cast<void*>(pd) <return 0;
}

输出结果:
pi = 0x41bbb8
pd = 0x41bb84

分析:
1. 我们可以发现,函数指针指向同一个函数,但是输出地址却不相同。
这就说明了实际上编译器为我们产生了两个参数类型不同的函数。
而产生实际函数是在我们指定特定参数类型时才产生的,也就是第二次编译。不然怎么不产生别的类型的函数呢。

多参数函数模板

问题:在我们编写函数时,不可能说函数参数都是相同的,而我们上面所讲的都是函数相同的情况。那么函数参数各不相同时,有返回值时,应该怎么定义函数模板呢?

示例代码:多参数函数模板

#include 
#include 

using namespace std;

template 
<typename T1, typename T2, typename T3 >
T1 Add(T2 a, T3 b)
{
    return static_cast(a + b);
}


int main()
{
    int r1 = Add(3, 4);  //Error,cannot auto Type Inference

    // T1 = double, T2 = int, T3 = double
    double r2 = Add<double, int>(5, 0.8);

    // T1 = int, T2 = float, T3 = float
    float r3 = Add<int, float, float>(0.5, 0.8);

    cout <<"r2 = " <cout <<"r3 = " <return 0;
}

输出结果:
r2 = 5.8
r3 = 1

分析:
1. int r1 = Add(3, 4); 编译器报错。为什么呢?
就是因为编译器无法自动推导返回值类型。
2. double r2 = Add

函数重载与函数模板

实际上,函数模板的实现跟函数重载有点相似。但是函数模板不需要编写大量重复的函数,而是编译器自动帮我们生成了相对应的函数。
那儿,当有一个函数重载了 模板函数,那么编译器会产生什么呀的现象呢?

示例代码:重载函数模板

#include 
#include 

using namespace std;

template <typename T >
T Max(T a, T b)
{
    cout <<"T Max(T a, T b) = ";
    return a > b ? a : b;
}

int Max(int a, int b)
{
    cout <<"int Max(int a, int b) = " ;
    return a > b ? a : b;
}

template <typename T>
T Max(T a, T b, T c)
{
    cout <<"T Max(T a, T b, T c) = ";
    return Max(Max(a, b), c);
}

int main()
{
    int a = 1;
    int b = 2;

    cout <// 普通函数 Max(int, int)

    cout <(a, b) <// 函数模板 Max(int, int)

    cout <3.0, 4.0) <cout <3, 4, 5) <// 函数模板 Max(int, int, int)

cout <5.0, 6.0, 7.0) <cout <'a', 100) <// 普通函数 Max(int, int)

    return 0;
}

输出结果:
int Max(int a, int b) = 2
T Max(T a, T b) = 2
T Max(T a, T b) = 4
T Max(T a, T b, T c) = int Max(int a, int b) = int Max(int a, int b) = 5
T Max(T a, T b, T c) = T Max(T a, T b) = T Max(T a, T b) = 7
int Max(int a, int b) = 100

分析:
1. cout < 2. cout <(a, b) < 3. cout <

函数重载与函数模板并不冲突。当面对编译器面对选择时:
1. 当参数类型符合普通函数时,优先选择普通函数。
2. 如果函数模板可以产生一个更好的匹配,那么选择模板。

这种选择也符合我们人类的观点:有更好更方便的,优先选择。


推荐阅读
  • 经过两天的努力,终于成功解决了半平面交模板题POJ3335的问题。原来是在`OnLeft`函数中漏掉了关键的等于号。通过这次训练,不仅加深了对半平面交算法的理解,还提升了调试和代码实现的能力。未来将继续深入研究计算几何的其他核心问题,进一步巩固和拓展相关知识。 ... [详细]
  • 本文深入解析了 Kuangbin 数学训练营中的经典问题——Ekka Dokka,并通过详细的代码示例和数学推导,探讨了该问题的多种解法及其应用场景。通过对算法的优化和扩展,本文旨在为读者提供全面的理解和实用的参考。 ... [详细]
  • 在 Linux 环境下,多线程编程是实现高效并发处理的重要技术。本文通过具体的实战案例,详细分析了多线程编程的关键技术和常见问题。文章首先介绍了多线程的基本概念和创建方法,然后通过实例代码展示了如何使用 pthreads 库进行线程同步和通信。此外,还探讨了多线程程序中的性能优化技巧和调试方法,为开发者提供了宝贵的实践经验。 ... [详细]
  • 单链表的高效遍历及性能优化策略
    本文探讨了单链表的高效遍历方法及其性能优化策略。在单链表的数据结构中,插入操作的时间复杂度为O(n),而遍历操作的时间复杂度为O(n^2)。通过在 `LinkList.h` 和 `main.cpp` 文件中对单链表进行封装,我们实现了创建和销毁功能的优化,提高了单链表的使用效率。此外,文章还介绍了几种常见的优化技术,如缓存节点指针和批量处理,以进一步提升遍历性能。 ... [详细]
  • 本文深入探讨了Java多线程环境下的同步机制及其应用,重点介绍了`synchronized`关键字的使用方法和原理。`synchronized`关键字主要用于确保多个线程在访问共享资源时的互斥性和原子性。通过具体示例,如在一个类中使用`synchronized`修饰方法,展示了如何实现线程安全的代码块。此外,文章还讨论了`ReentrantLock`等其他同步工具的优缺点,并提供了实际应用场景中的最佳实践。 ... [详细]
  • NOIP2000的单词接龙问题与常见的成语接龙游戏有异曲同工之妙。题目要求在给定的一组单词中,从指定的起始字母开始,构建最长的“单词链”。每个单词在链中最多可出现两次。本文将详细解析该题目的解法,并分享学习过程中的心得体会。 ... [详细]
  • 解题心得:UVA1339(逻辑分析与字符串处理+排序算法)
    解题心得:UVA1339(逻辑分析与字符串处理+排序算法) ... [详细]
  • 本文深入探讨了佩尔方程 \( x^2 - dy^2 = 1 \) 的递推关系式。通过构造特定的矩阵并利用矩阵快速幂的方法,可以高效地计算出该方程的第 k 组解。此外,文章还详细分析了递推关系式的数学背景及其在数论中的应用,为相关研究提供了坚实的理论基础。 ... [详细]
  • Java中不同类型的常量池(字符串常量池、Class常量池和运行时常量池)的对比与关联分析
    在研究Java虚拟机的过程中,笔者发现存在多种类型的常量池,包括字符串常量池、Class常量池和运行时常量池。通过查阅CSDN、博客园等相关资料,对这些常量池的特性、用途及其相互关系进行了详细探讨。本文将深入分析这三种常量池的差异与联系,帮助读者更好地理解Java虚拟机的内部机制。 ... [详细]
  • 枚举类中enum关键字的常见应用与实践
    在枚举类中,`enum`关键字具有重要的作用,本文探讨了其常见的应用场景与实践。特别指出,枚举对象必须置于枚举类的首行,否则将导致编译错误。通过具体的代码示例,详细解析了这一规则及其背后的原理,帮助开发者更好地理解和使用枚举类。 ... [详细]
  • 在洛谷 P1344 的坏牛奶追踪问题中,第一问要求计算最小割,而第二问则需要找到割边数量最少的最小割。通过为每条边附加一个单位权值,可以在求解最小割时优先选择边数较少的方案,从而同时解决两个问题。这种策略不仅简化了问题的求解过程,还确保了结果的最优性。 ... [详细]
  • 第六章:枚举类型与switch结构的应用分析
    第六章深入探讨了枚举类型与 `switch` 结构在编程中的应用。枚举类型(`enum`)是一种将一组相关常量组织在一起的数据类型,广泛存在于多种编程语言中。例如,在 Cocoa 框架中,处理文本对齐时常用 `NSTextAlignment` 枚举来表示不同的对齐方式。通过结合 `switch` 结构,可以更清晰、高效地实现基于枚举值的逻辑分支,提高代码的可读性和维护性。 ... [详细]
  • Android中将独立SO库封装进JAR包并实现SO库的加载与调用
    在Android开发中,将独立的SO库封装进JAR包并实现其加载与调用是一个常见的需求。本文详细介绍了如何将SO库嵌入到JAR包中,并确保在外部应用调用该JAR包时能够正确加载和使用这些SO库。通过这种方式,开发者可以更方便地管理和分发包含原生代码的库文件,提高开发效率和代码复用性。文章还探讨了常见的问题及其解决方案,帮助开发者避免在实际应用中遇到的坑。 ... [详细]
  • ButterKnife 是一款用于 Android 开发的注解库,主要用于简化视图和事件绑定。本文详细介绍了 ButterKnife 的基础用法,包括如何通过注解实现字段和方法的绑定,以及在实际项目中的应用示例。此外,文章还提到了截至 2016 年 4 月 29 日,ButterKnife 的最新版本为 8.0.1,为开发者提供了最新的功能和性能优化。 ... [详细]
  • 本文介绍了如何在iOS平台上使用GLSL着色器将YV12格式的视频帧数据转换为RGB格式,并展示了转换后的图像效果。通过详细的技术实现步骤和代码示例,读者可以轻松掌握这一过程,适用于需要进行视频处理的应用开发。 ... [详细]
author-avatar
陈炘宇_573
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有