C++函数模板机制剖析

最新推荐文章于 2024-01-07 10:57:20 发布
最新推荐文章于 2024-01-07 10:57:20 发布
阅读量551 收藏
点赞数 1
CC 4.0 BY-SA版权
分类专栏： C++
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/qq_39478237/article/details/92847299

？思考：为什么函数模板可以和函数重载放在一起。C++编译器是如何提供函数模板机制的？

实例

#include<iostream>

using namespace std;

template<typename T>
void fun(T& a, T& b) {
	cout << "a" << a << "-b: " << b << endl;
	cout << "我是模板函数" << endl;
}

void fun(int a, char b) {
	cout << "a" << a << "-b: " << b << endl;
	cout << "我是函数调用" << endl;
}
int main() {

	int a = 1;
	char b = 'z';
	fun(a, b);//普通函数调用，可以进行隐式的类型转换
	fun(b, a);//  普通函数调用
	fun(a, a);//调用函数模板（本质：参数类型化），严格按照类型匹配，不会进行类型自动转换
	return 0;
}

编译

使用g++ test.c -S 生成test.s文件，内容如下：

	.file	"test.cpp"
.lcomm _ZStL8__ioinit,1,1
	.section .rdata,"dr"
.LC0:
	.ascii "a\0"
.LC1:
	.ascii "-b: \0"
.LC2:
	.ascii "\316\322\312\307\272\257\312\375\265\367\323\303\0"
	.text
	.globl	_Z3funic
	.def	_Z3funic;	.scl	2;	.type	32;	.endef
	.seh_proc	_Z3funic
_Z3funic:
.LFB1049:
	pushq	%rbp
	.seh_pushreg	%rbp
	pushq	%rbx
	.seh_pushreg	%rbx
	subq	$40, %rsp
	.seh_stackalloc	40
	leaq	128(%rsp), %rbp
	.seh_setframe	%rbp, 128
	.seh_endprologue
	movl	%ecx, -64(%rbp)
	movl	%edx, %eax
	movb	%al, -56(%rbp)
	movsbl	-56(%rbp), %ebx
	leaq	.LC0(%rip), %rdx
	movq	.refptr._ZSt4cout(%rip), %rcx
	call	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
	movl	-64(%rbp), %edx
	movq	%rax, %rcx
	call	_ZNSolsEi
	leaq	.LC1(%rip), %rdx
	movq	%rax, %rcx
	call	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
	movl	%ebx, %edx
	movq	%rax, %rcx
	call	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c
	movq	.refptr._ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(%rip), %rdx
	movq	%rax, %rcx
	call	_ZNSolsEPFRSoS_E
	leaq	.LC2(%rip), %rdx
	movq	.refptr._ZSt4cout(%rip), %rcx
	call	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
	movq	.refptr._ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(%rip), %rdx
	movq	%rax, %rcx
	call	_ZNSolsEPFRSoS_E
	nop
	addq	$40, %rsp
	popq	%rbx
	popq	%rbp
	ret
	.seh_endproc
	.def	__main;	.scl	2;	.type	32;	.endef
	.globl	main
	.def	main;	.scl	2;	.type	32;	.endef
	.seh_proc	main
main:
.LFB1050:
	pushq	%rbp
	.seh_pushreg	%rbp
	movq	%rsp, %rbp
	.seh_setframe	%rbp, 0
	subq	$48, %rsp
	.seh_stackalloc	48
	.seh_endprologue
	call	__main
	movl	$1, -8(%rbp)
	movb	$122, -1(%rbp)
	movsbl	-1(%rbp), %edx
	movl	-8(%rbp), %eax
	movl	%eax, %ecx
	call	_Z3funic
	movl	-8(%rbp), %eax
	movsbl	%al, %edx
	movsbl	-1(%rbp), %eax
	movl	%eax, %ecx
	call	_Z3funic
	leaq	-8(%rbp), %rdx
	leaq	-8(%rbp), %rax
	movq	%rax, %rcx
	call	_Z3funIiEvRT_S1_
	movl	$0, %eax
	addq	$48, %rsp
	popq	%rbp
	ret
	.seh_endproc
	.section .rdata,"dr"
.LC3:
	.ascii "\316\322\312\307\304\243\260\345\272\257\312\375\0"
	.section	.text$_Z3funIiEvRT_S1_,"x"
	.linkonce discard
	.globl	_Z3funIiEvRT_S1_
	.def	_Z3funIiEvRT_S1_;	.scl	2;	.type	32;	.endef
	.seh_proc	_Z3funIiEvRT_S1_
_Z3funIiEvRT_S1_:
.LFB1055:
	pushq	%rbp
	.seh_pushreg	%rbp
	pushq	%rsi
	.seh_pushreg	%rsi
	pushq	%rbx
	.seh_pushreg	%rbx
	movq	%rsp, %rbp
	.seh_setframe	%rbp, 0
	subq	$32, %rsp
	.seh_stackalloc	32
	.seh_endprologue
	movq	%rcx, 32(%rbp)
	movq	%rdx, 40(%rbp)
	movq	40(%rbp), %rax
	movl	(%rax), %ebx
	movq	32(%rbp), %rax
	movl	(%rax), %esi
	leaq	.LC0(%rip), %rdx
	movq	.refptr._ZSt4cout(%rip), %rcx
	call	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
	movl	%esi, %edx
	movq	%rax, %rcx
	call	_ZNSolsEi
	leaq	.LC1(%rip), %rdx
	movq	%rax, %rcx
	call	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
	movl	%ebx, %edx
	movq	%rax, %rcx
	call	_ZNSolsEi
	movq	.refptr._ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(%rip), %rdx
	movq	%rax, %rcx
	call	_ZNSolsEPFRSoS_E
	leaq	.LC3(%rip), %rdx
	movq	.refptr._ZSt4cout(%rip), %rcx
	call	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc
	movq	.refptr._ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(%rip), %rdx
	movq	%rax, %rcx
	call	_ZNSolsEPFRSoS_E
	nop
	addq	$32, %rsp
	popq	%rbx
	popq	%rsi
	popq	%rbp
	ret
	.seh_endproc
	.text
	.def	__tcf_0;	.scl	3;	.type	32;	.endef
	.seh_proc	__tcf_0
__tcf_0:
.LFB1062:
	pushq	%rbp
	.seh_pushreg	%rbp
	movq	%rsp, %rbp
	.seh_setframe	%rbp, 0
	subq	$32, %rsp
	.seh_stackalloc	32
	.seh_endprologue
	leaq	_ZStL8__ioinit(%rip), %rcx
	call	_ZNSt8ios_base4InitD1Ev
	nop
	addq	$32, %rsp
	popq	%rbp
	ret
	.seh_endproc
	.def	_Z41__static_initialization_and_destruction_0ii;	.scl	3;	.type	32;	.endef
	.seh_proc	_Z41__static_initialization_and_destruction_0ii
_Z41__static_initialization_and_destruction_0ii:
.LFB1061:
	pushq	%rbp
	.seh_pushreg	%rbp
	movq	%rsp, %rbp
	.seh_setframe	%rbp, 0
	subq	$32, %rsp
	.seh_stackalloc	32
	.seh_endprologue
	movl	%ecx, 16(%rbp)
	movl	%edx, 24(%rbp)
	cmpl	$1, 16(%rbp)
	jne	.L6
	cmpl	$65535, 24(%rbp)
	jne	.L6
	leaq	_ZStL8__ioinit(%rip), %rcx
	call	_ZNSt8ios_base4InitC1Ev
	leaq	__tcf_0(%rip), %rcx
	call	atexit
	nop
.L6:
	addq	$32, %rsp
	popq	%rbp
	ret
	.seh_endproc
	.def	_GLOBAL__sub_I__Z3funic;	.scl	3;	.type	32;	.endef
	.seh_proc	_GLOBAL__sub_I__Z3funic
_GLOBAL__sub_I__Z3funic:
.LFB1063:
	pushq	%rbp
	.seh_pushreg	%rbp
	movq	%rsp, %rbp
	.seh_setframe	%rbp, 0
	subq	$32, %rsp
	.seh_stackalloc	32
	.seh_endprologue
	movl	$65535, %edx
	movl	$1, %ecx
	call	_Z41__static_initialization_and_destruction_0ii
	nop
	addq	$32, %rsp
	popq	%rbp
	ret
	.seh_endproc
	.section	.ctors,"w"
	.align 8
	.quad	_GLOBAL__sub_I__Z3funic
	.ident	"GCC: (tdm64-1) 4.9.2"
	.def	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc;	.scl	2;	.type	32;	.endef
	.def	_ZNSolsEi;	.scl	2;	.type	32;	.endef
	.def	_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_c;	.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
	.section	.rdata$.refptr._ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, "dr"
	.globl	.refptr._ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_
	.linkonce	discard
.refptr._ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_:
	.quad	_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_
	.section	.rdata$.refptr._ZSt4cout, "dr"
	.globl	.refptr._ZSt4cout
	.linkonce	discard
.refptr._ZSt4cout:
	.quad	_ZSt4cout

函数模板机制结论

  1. 编译器并不是把函数模板处理成能够处理任意类的函数
  2. 编译器从函数模板通过具体类型产生不同的函数
  3. 编译器会对函数模板进行两次编译
    在声明的地方对模板代码本身进行编译

在调用的地方对参数替换后的代码进行编译
其中的两次编译发生了什么？

  • 第一个编译根据函数模板进行词法分析、语法分析、句法分析产生一个简要的函数模板类型
  • d第二次编译根据调用产生一个具体的函数原型，若还有新的调用，则再产生一个新的函数原型，并将函数原型放在test.s中
C++的模板机制
wsqfly06的博客
05-03 906
    C++中提供了两种模板机制，分别是函数模板和类模板。下面介绍这两种类型。    函数模板，实际上是建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟的类型来代表。这个通用函数就称函数模板。凡是函数体相同的函数都可用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参类型来取代模板中的虚拟内型，从而实现不同函数功能的调用。#include &lt;...
C++函数匹配机制
2301_80224556的博客
04-03 1224
实参类型与形参类型越接近，它们匹配得越好。在我们的例子中，调用只提供了一个(显式的)实参，它的类型是double。如果调用f(int)，实参将不得不从double转换成int。另一个可行函数f(double,double)则与实参精确匹配。
剖析C++模板（上）
程序员手记
06-22 1148
无类型的模板参数       这里有一个用来产生随机数的类，它可以接受一个的数字，然后通过重载()符号，来产生一个符合要求的随机数。具体代码如下：//: C03:Urand.h// Unique random number generator#ifndef URAND_H#define URAND_H#include #include templateclass
浅谈C++模板机制
wangzhicheng2013的专栏
08-09 1800
一、     什么是模板？ 1. 模板(Template)可以看做成对于某一类问题一种通用的解决方案，而实现的具体细节则需要根据实际问题对模板做出调整和优化。 2. 如我们在使用Word进行文档处理时，模板决定了文档的基本结构和文档的设置，如果你想要某种风格的文档结构，你可以对模板进行修改。模板提供了更加通用、灵活的解决方案。 3. 在C++中，模板是泛型编程的基础，是创建类和函数的蓝图或公
剖析C++模板
qingyue_bao的专栏
07-06 689
无类型的模板参数       这里有一个用来产生随机数的类，它可以接受一个的数字，然后通过重载()符号，来产生一个符合要求的随机数。具体代码如下：　//: C03:Urand.h// Unique random number generator#ifndef
C++函数模板及实现原理
12-27
C++的函数模板机制是现代C++编程的重要组成部分，它不仅为程序员提供了编写通用代码的能力，还支持编译时多态。掌握函数模板的使用是C++开发人员必须具备的技能之一，这对于编写高效、可重用和可维护的代码至关重要...
C++函数模板详解及其应用：提升代码复用性的关键技术
03-25
内容概要：本文详细介绍了C++函数模板的基础概念、实现机制以及其实战应用。文章从常见的代码重复问题引出函数模板的需求，讲述了函数模板的定义语法与基本用法，包括模板实例化、模板实参推演的规则，并探讨了一些...
C++定义函数模板代码，可以编写通用的函数来处理多种类型的容器
08-16
### C++函数模板详解 #### 一、函数模板概述 函数模板是C++语言中一种重要的泛型编程机制，它允许我们定义一个可以处理不同数据类型的函数。这不仅提高了代码的复用性，而且增强了程序的灵活性。在本文中，我们将...
C++ 模板进阶
Han同学
01-07 1833
C++ 非类型模板参数，模板的特化
数据结构中的最小最大堆c++模板实现(高级数据结构)
12-26
最小最大堆只的是一颗最小层和最大层相互交替的完全二叉树,我的最小最大堆继承自完全二叉树类和双端有先队列类,用c++模板实现.实现的功能包括创建堆,插入元素,删除最大元素,删除最小元素,并且重载<<方便输出.输出使用的形式是广义表. 最小最大堆的删除非常复杂,我想这个想了满长时间.
C++模板机制
ECH00O00的博客
06-20 389
C++提供了模板机制，即函数模板和类模板。
c++模板机制
weixin_43873379的博客
05-28 176
实际上就是编译时生成了了两个函数： 先看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++模板——类模板深度剖析
食梦者
06-01 344
本文参照于狄泰软件学院——《C++深度剖析课程》
C++模板机制笔记
KEEP PERFECTING MYSELF
04-24 746
《C & c++ CODE CAPSULES》读书笔记 引子：
c与c++相互调用机制分析与实现
weixin_34332905的博客
12-12 103
c++通常被称为Better c，多数是因为c++程序可以很简单的调用c函数，语法上基本实现兼容。最常用的调用方式就是c++模块调用c实现的dll导出函数，很简单的用法，使用extern "C"将c头文件或者函数修饰下。 本文主要涉及到在c模块中如何调用c++函数，或者换个名字，extern "C"在c语言中的功能介绍 c++中的extern "C" 通常，我们在需要调用c函数或者c实现的模块时，...
请写一个c++的模板类?并阐述c++模板类的实现机制?_C++中模板使用详解
weixin_42514433的博客
01-27 622
1. 模板的概念。我们已经学过重载(Overloading)，对重载函数而言,C++的检查机制能通过函数参数的不同及所属类的不同。正确的调用重载函数。例如，为求两个数的最大值，我们定义MAX()函数需要对不同的数据类型分别定义不同重载(Overload)版本。//函数1.int max(int x,int y);{return(x>y)?x:y ;}//函数2.float max( floa...
请写一个c++的模板类?并阐述c++模板类的实现机制?_C++ 模板 全特化与偏特化
weixin_39848953的博客
01-28 357
C++ 模板 全特化与偏特化模板模板定义：模板就是实现代码重用机制的一种工具，它可以实现类型参数化，即把类型定义为参数， 从而实现了真正的代码可重用性。模版可以分为两类，一个是函数模版，另外一个是类模版。大白话：C++是一门强类型语言，编写一段通用的逻辑，可以把任意类型的变量传进去处理，通过把通用逻辑设计为模板，摆脱了类型的限制，极大地提升了代码的可重用性。**模板实例化：**模板定义本身不参与编...
c++函数模板的显式实例化
最新发布
04-30
在 C++ 中，函数模板的显式实例化是一种机制，用于手动告诉编译器为特定类型生成模板的具体版本。这种方式可以减少重复编译的时间开销，并优化链接阶段的行为[^2]。 #### 显式实例化的语法 显式实例化的声明形式...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值