【C++】C++函数模板的实现机制剖析

最新推荐文章于 2024-09-24 21:29:31 发布
最新推荐文章于 2024-09-24 21:29:31 发布
阅读量1.1k 收藏 2
点赞数 2
分类专栏： 知识记录 C++ 文章标签： C++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_39108291/article/details/102019805
版权

函数模板的实现机制剖析

要剖析函数模板的实现机制，我们要先了解程序的编译过程，这里以gcc为例

在这里插入图片描述
这里对下面代码进行剖析

#include "stdafx.h"//这是VS的固有头文件
#include <iostream>
using namespace std;

template <typename T>
void Fun(T a,T b)
{
	a = a + b;
	cout << "我是函数模板" << endl;
}
int main()
{
	Fun(1, 2);
	Fun(0.1, 0.2);
	system("pause");
	return 0;
}

打开控制台，使用命令生成汇编文件(当然环境变量里需要有g++编译器的路径才能这样使用，具体操作放在文末)

g++ -S 1.cpp -o 1.s

我们来查看汇编文件

	.file	"C++.cpp"
.lcomm __ZStL8__ioinit,1,1
	.def	___main;	.scl	2;	.type	32;	.endef
	.section .rdata,"dr"
LC2:
	.ascii "pause\0"
	.text
	.globl	_main
	.def	_main;	.scl	2;	.type	32;	.endef
_main:
LFB1062:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	andl	$-16, %esp
	subl	$16, %esp
	call	___main//--------------进入main函数
	movl	$2, 4(%esp)
	movl	$1, (%esp)
	call	__Z3FunIiEvT_S0_//-----第一次调用函数模板
	fldl	LC0
	fstpl	8(%esp)
	fldl	LC1
	fstpl	(%esp)
	call	__Z3FunIdEvT_S0_//-----第二次调用函数模板
	movl	$LC2, (%esp)
	call	_system
	movl	$0, %eax
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
LFE1062:
	.section .rdata,"dr"
LC4:
	.ascii "\316\322\312\307\272\257\312\375\304\243\260\345\0"
	.section	.text$_Z3FunIiEvT_S0_,"x"
	.linkonce discard
	.globl	__Z3FunIiEvT_S0_
	.def	__Z3FunIiEvT_S0_;	.scl	2;	.type	32;	.endef
__Z3FunIiEvT_S0_://------------第一次调用时函数模板的具体实现
LFB1063:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$24, %esp
	movl	12(%ebp), %eax
	addl	%eax, 8(%ebp)
	movl	$LC4, 4(%esp)
	movl	$__ZSt4cout, (%esp)
	call	__ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
	movl	$__ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, (%esp)
	movl	%eax, %ecx
	call	__ZNSolsEPFRSoS_E
	subl	$4, %esp
	nop
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
LFE1063:
	.section	.text$_Z3FunIdEvT_S0_,"x"
	.linkonce discard
	.globl	__Z3FunIdEvT_S0_//-第二次调用时函数模板的具体实现
	.def	__Z3FunIdEvT_S0_;	.scl	2;	.type	32;	.endef
__Z3FunIdEvT_S0_:
LFB1064:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$40, %esp
	movl	8(%ebp), %eax
	movl	%eax, -16(%ebp)
	movl	12(%ebp), %eax
	movl	%eax, -12(%ebp)
	movl	16(%ebp), %eax
	movl	%eax, -24(%ebp)
	movl	20(%ebp), %eax
	movl	%eax, -20(%ebp)
	fldl	-16(%ebp)
	faddl	-24(%ebp)
	fstpl	-16(%ebp)
	movl	$LC4, 4(%esp)
	movl	$__ZSt4cout, (%esp)
	call	__ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
	movl	$__ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, (%esp)
	movl	%eax, %ecx
	call	__ZNSolsEPFRSoS_E
	subl	$4, %esp
	nop
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
LFE1064:
	.text
	.def	___tcf_0;	.scl	3;	.type	32;	.endef
___tcf_0:
LFB1074:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$8, %esp
	movl	$__ZStL8__ioinit, %ecx
	call	__ZNSt8ios_base4InitD1Ev
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
LFE1074:
	.def	__Z41__static_initialization_and_destruction_0ii;	.scl	3;	.type	32;	.endef
__Z41__static_initialization_and_destruction_0ii:
LFB1073:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$24, %esp
	cmpl	$1, 8(%ebp)
	jne	L8
	cmpl	$65535, 12(%ebp)
	jne	L8
	movl	$__ZStL8__ioinit, %ecx
	call	__ZNSt8ios_base4InitC1Ev
	movl	$___tcf_0, (%esp)
	call	_atexit
L8:
	nop
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
LFE1073:
	.def	__GLOBAL__sub_I_main;	.scl	3;	.type	32;	.endef
__GLOBAL__sub_I_main:
LFB1075:
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	subl	$24, %esp
	movl	$65535, 4(%esp)
	movl	$1, (%esp)
	call	__Z41__static_initialization_and_destruction_0ii
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
LFE1075:
	.section	.ctors,"w"
	.align 4
	.long	__GLOBAL__sub_I_main
	.section .rdata,"dr"
	.align 8
LC0:
	.long	-1717986918
	.long	1070176665
	.align 8
LC1:
	.long	-1717986918
	.long	1069128089
	.ident	"GCC: (i686-posix-dwarf-rev0, Built by MinGW-W64 project) 5.3.0"
	.def	_system;	.scl	2;	.type	32;	.endef
	.def	__ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc;	.scl	2;	.type	32;	.endef
	.def	__ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_;	.scl	2;	.type	32;	.endef
	.def	__ZNSolsEPFRSoS_E;	.scl	2;	.type	32;	.endef
	.def	__ZNSt8ios_base4InitD1Ev;	.scl	2;	.type	32;	.endef
	.def	__ZNSt8ios_base4InitC1Ev;	.scl	2;	.type	32;	.endef
	.def	_atexit;	.scl	2;	.type	32;	.endef

可以看到，在汇编码中编译器将模板void Fun(T a,T b)分别针对类型int和类型float进行了两次具体实现，这不是和没有使用模板，直接写两个函数一样么？没错就是一样的，只是C++将这个工作交从程序员手里移交给了编译器来做。

事实上C++对函数模板进行了两次编译，第一次编译仅仅生成一个函数头，第二次编译则是在函数调用时根据模板的类型参数列表具体的实现这个模板对应的类型的函数实例，注意这里是根据类型参数列表来实现，而不是根据调用次数，如：

Fun(1, 2);
Fun(0.1, 0.2);

编译器实现两个模板实例int和float

Fun(1, 2);
Fun(3 ,4);
Fun(0.1, 0.2);

编译器还是实现两个模板实例int和float

由此可以看出

编译器并不是把函数模板处理成能够处理任意类的函数

编译器将函数模板根据具体类型产生不同的函数

编译器会对函数模板进行两次编译，在申明的地方对模板代码本身进行编译，在调用的地方对参数替换后的代码进行编译。

g++命令的使用

首先电脑里要有g++这个软件，我这里使用的是Qt里集成的g++软件

在这里插入图片描述
然后右键我的电脑–>属性–>高级环境设置–>环境变量–>系统变量/Path–>编辑

在这里插入图片描述
再然后新建–>将g++.exe所在的路径拷贝到新建的环境变量中

在这里插入图片描述

测试一下，win+r–>cmd–>任意目录键入g++

在这里插入图片描述

可以看到系统没有提示无此命令，说明配置成功

Goulandis
关注
专栏目录
c++函数模板
weixin_50866517的博客
04-08 1623
函数模板介绍函数模板案例普通函数与函数模板的区别普通函数与函数模板的调用规则三级标题四级标题五级标题六级标题 介绍 1.函数模板，实际上是建立一个通用函数，它所用到的数据的类型（包括返回值类型、形参类型、局部变量类型）可不具体指定，而是用一个虚拟的类型来代替（实际上是用一个标识符来占位），等发生函数调用时再根据传入的实参来逆推出真正的类型。这个通用函数就称为函数模板。 2.语法 template<typename T> 函数声明或定义 注：template:声明创建模板；typename:表明其
C++函数模板及实现原理
热门推荐
常敲代码手不抖
08-25 1万+
C++为我们提供了函数模板机制。所谓函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称为函数模板。 凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型，从而实现了不同函数的功能。     为什么要有函数模板     下面，我们就通过一个例子来说
详解 C++中的模板
最新发布
我叫柱子哥
09-24 1404
这篇文章主要介绍C++中的模板。模板是一系列相关函数的模型或样板，这些函数的源代码形式相同，只是所针对的数据类型不同。在开发过程中，我们经常遇到这种情况，有两个或者两个以上的函数，其功能是相同的，仅仅是数据类型的不同。上面的三个函数都实现了对数据的加法运算，唯一不同的是参数类型不同。这样的函数可以采用函数模板实现简便化。类模板是通过引入模板参数来定义类的。在类模板的声明中，使用 template 关键字标识模板类型参数，然后在类的定义中可以使用这些模板参数，就像使用普通的数据类型一样。
C++重要知识清单：泛型编程（函数模板和类模板机制）包含模板机制的底层实现原理
weixin_39568744的博客
05-06 1443
1.泛型编程相关概念 模板机制 C++提供两种模板机制：函数模板、类模板 类属----类型参数化，又称参数模板：使得程序或算法可以从逻辑功能上抽象，把被处理的对象类型或数据类型作为参数进行传递 模板把函数或类要处理的数据类型参数化，表现为参数的多态性，称为类属。 模板用于表达逻辑结构相同，但具体数据元素类型不同的数据对象的通用行为 2.函数模板 2.1为什么要有函数模板呢？ 首先看下...
请写一个c++的模板类?并阐述c++模板类的实现机制?_C++ 模板 全特化与偏特化
weixin_39848953的博客
01-28 336
C++ 模板 全特化与偏特化模板模板定义：模板就是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型定义为参数， 从而实现了真正的代码可重用性。模版可以分为两类，一个是函数模版，另外一个是类模版。大白话：C++是一门强类型语言，编写一段通用的逻辑，可以把任意类型的变量传进去处理，通过把通用逻辑设计为模板，摆脱了类型的限制，极大地提升了代码的可重用性。**模板实例化：**模板定义本身不参与编...
c++模板机制
weixin_43873379的博客
05-28 153
实际上就是编译时生成了了两个函数： 先看cpp代码： template<class T> T get_min(T a, T b) { if(a > b) return a; return b; } int func(int &a, int *b) { a = get_min(a, *b); float c = 0, d ...
C++中函数模板的用法详细解析
09-04
总结来说，函数模板是C++中泛型编程的基础，它通过抽象数据类型实现了代码的复用，减少了冗余，提高了程序的可维护性和灵活性。理解并熟练运用函数模板是成为一名高级C++程序员的关键技能之一。在实际编程中，函数...
C++可变参数的函数与模板实例分析
01-20
本文实例展示了C++可变参数的函数与模板的实现方法，有助于大家更好的理解可变参数的函数与模板的应用，具体内容如下： 首先，所谓可变参数指的是函数的参数个数可变，参数类型不定的函数。为了编写能处理不同数量...
c++简单的函数模板求极值的操作
04-04
本文将深入探讨如何使用C++函数模板来求解不同数据类型的极值，以此为基础，我们将分析给定的实例004——使用函数模板实现不同数据类型的极值函数。 函数模板的基本概念是，它是一个未特化的函数定义，可以在编译时...
请写一个c++的模板类?并阐述c++模板类的实现机制?_C++中模板使用详解
weixin_42514433的博客
01-27 585
1. 模板的概念。我们已经学过重载(Overloading)，对重载函数而言,C++的检查机制能通过函数参数的不同及所属类的不同。正确的调用重载函数。例如，为求两个数的最大值，我们定义MAX()函数需要对不同的数据类型分别定义不同重载(Overload)版本。//函数1.int max(int x,int y);{return(x>y)?x:y ;}//函数2.float max( floa...
C++的模板机制
wsqfly06的博客
05-03 846
    C++中提供了两种模板机制，分别是函数模板和类模板。下面介绍这两种类型。    函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称函数模板。凡是函数体相同的函数都可用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参类型来取代模板中的虚拟内型，从而实现不同函数功能的调用。#include &lt;...
C++模板机制
ACdreamer
02-12 3031
对于执行功能都相同的函数，只是参数类型和返回值类型不同，那么我们可以利用C++的模板机制只需要写一套代码。模板是实现代码重用机制的一种工具，可以大幅度提高程序设计的效率。模板分为函数模板和类模板。 函数模板        函数模板的声明格式如下：    template    返回类型 函数名(模板参数表)    {         函数体    } 注
C++模板的原理及使用
稻草人敲代码的博客
03-18 1008
泛型：是一种在编程语言中用于创建可重用代码的机制。它允许我们定义类、接口和方法，可以使用不同类型的参数进行操作，从而提高代码的灵活性和复用性。如果我们想实现一个Swap函数，就需要考虑所有被交换变量的类型（double、int、char等）。我们可以很容易的观察到，以上三个函数只是参数的类型不一样，函数体中的代码是一样的。虽然可以通过函数重载来区分不同参数但函数名相同的函数，但对于这种函数体代码一致的函数，重载函数重复定义完全一样的函数体，无疑使代码过于冗长，且不方便维护。
浅谈c++的模板机制（二） -- 类模板
williamgavin的博客
06-17 911
初探类模板 类模板做函数参数 类模板的继承 从一个类模板派生出一个普通类 从一个类模板派生出一个类模板 初探类模板 上一篇文章简单介绍了c++的模板机制以及函数模板：浅谈c++的模板机制（一） – 函数模板 这篇文章主要介绍c++的类模板。先来看一个具体实例： template &lt;typename T&gt; class A { private: T...
C++模板的原理和使用
qq_64105689的博客
09-04 1514
1.泛型编程 2.函数模板 2.1函数模板概念 2.2 函数模板格式 2.3 函数模板的原理 2.4 函数模板的实例化 2.5 函数模板的匹配规则 3.类模板 3.1 格式 3.2 类模板的实例化
c++之模版的语法和原理
nnluop的博客
09-29 287
C++模版的语法和原理 1.泛型编程 如何实现一个通用的交换函数呢？ 第一种方法：使用函数重载实现 #include<ostream> void swap(int& a, int& b) { int temp = a; a = b; b = temp; } void swap(double& a, double& b) { double temp = a; a = b; b = temp; } int main() { int a = 1, b =
C++ Builder实现C++函数模板示例代码分析
资源摘要信息:"本文档展示了如何在C++ Builder环境下使用C++函数模板，参考余文溪所著的《C++ STL --数据结构与算法实现》中的原书代码，并将其改写为控制台应用程序以进行演示。这里提供了基于Windows 7 Service ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值