热门标签 | 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. 如果函数模板可以产生一个更好的匹配,那么选择模板。

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


推荐阅读
  • Codeforces Round #566 (Div. 2) A~F个人题解
    Dashboard-CodeforcesRound#566(Div.2)-CodeforcesA.FillingShapes题意:给你一个的表格,你 ... [详细]
  • 本文探讨了 C++ 中普通数组和标准库类型 vector 的初始化方法。普通数组具有固定长度,而 vector 是一种可扩展的容器,允许动态调整大小。文章详细介绍了不同初始化方式及其应用场景,并提供了代码示例以加深理解。 ... [详细]
  • 题目Link题目学习link1题目学习link2题目学习link3%%%受益匪浅!-----&# ... [详细]
  • 扫描线三巨头 hdu1928hdu 1255  hdu 1542 [POJ 1151]
    学习链接:http:blog.csdn.netlwt36articledetails48908031学习扫描线主要学习的是一种扫描的思想,后期可以求解很 ... [详细]
  • C++实现经典排序算法
    本文详细介绍了七种经典的排序算法及其性能分析。每种算法的平均、最坏和最好情况的时间复杂度、辅助空间需求以及稳定性都被列出,帮助读者全面了解这些排序方法的特点。 ... [详细]
  • 题目描述:给定n个半开区间[a, b),要求使用两个互不重叠的记录器,求最多可以记录多少个区间。解决方案采用贪心算法,通过排序和遍历实现最优解。 ... [详细]
  • C++: 实现基于类的四面体体积计算
    本文介绍如何使用C++编程语言,通过定义类和方法来计算由四个三维坐标点构成的四面体体积。文中详细解释了四面体体积的数学公式,并提供了两种不同的实现方式。 ... [详细]
  • UNP 第9章:主机名与地址转换
    本章探讨了用于在主机名和数值地址之间进行转换的函数,如gethostbyname和gethostbyaddr。此外,还介绍了getservbyname和getservbyport函数,用于在服务器名和端口号之间进行转换。 ... [详细]
  • 本文探讨了如何在模运算下高效计算组合数C(n, m),并详细介绍了乘法逆元的应用。通过扩展欧几里得算法求解乘法逆元,从而实现除法取余的计算。 ... [详细]
  • 本文探讨了如何在给定整数N的情况下,找到两个不同的整数a和b,使得它们的和最大,并且满足特定的数学条件。 ... [详细]
  • 本文详细介绍了macOS系统的核心组件,包括如何管理其安全特性——系统完整性保护(SIP),并探讨了不同版本的更新亮点。对于使用macOS系统的用户来说,了解这些信息有助于更好地管理和优化系统性能。 ... [详细]
  • C++构造函数与初始化列表详解
    本文深入探讨了C++中构造函数的初始化列表,包括赋值与初始化的区别、初始化列表的使用规则、静态成员初始化等内容。通过实例和调试证明,详细解释了初始化列表在对象创建时的重要性。 ... [详细]
  • 深入理解Java泛型:JDK 5的新特性
    本文详细介绍了Java泛型的概念及其在JDK 5中的应用,通过具体代码示例解释了泛型的引入、作用和优势。同时,探讨了泛型类、泛型方法和泛型接口的实现,并深入讲解了通配符的使用。 ... [详细]
  • 并发编程:深入理解设计原理与优化
    本文探讨了并发编程中的关键设计原则,特别是Java内存模型(JMM)的happens-before规则及其对多线程编程的影响。文章详细介绍了DCL双重检查锁定模式的问题及解决方案,并总结了不同处理器和内存模型之间的关系,旨在为程序员提供更深入的理解和最佳实践。 ... [详细]
  • 本文深入探讨了C++对象模型中的一些细节问题,特别是虚拟继承和析构函数的处理。通过具体代码示例和详细分析,揭示了书中某些观点的不足之处,并提供了更合理的解释。 ... [详细]
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社区 版权所有