解开缺省参数与函数重载的衣裳

解开缺省参数与函数重载的衣裳

    • 代码是如何由编译器变为可执行文件？
      • 预处理 ->编译->汇编->链接
      • 预处理
      • 编译
      • 汇编
      • 链接
    • 语法了解
      • 缺省参数
      • 语法实践
      • 语法探究
      • 函数重载
      • 语法实践
      • 语法探究
      • 结语

本期和大家一起探究C++中的缺省函数与重载函数的语法说明与汇编过程

请添加图片描述

代码是如何由编译器变为可执行文件？

预处理 ->编译->汇编->链接

代码在由编译器变为可执行文件时，要经过编译和链接在这两个大过程，其中编译又可分为预处理，编译，汇编三个过程。

预处理

在预处理阶段，源文件和头文件会被处理为.i为后缀的文件，在gcc环境中将test.c预处理为test.i的命令如下：

gcc -E test.c -o test.i

预处理的规则如下：

  1. 将所有的#define删除，同时展开所有宏定义
  2. 处理所有的条件编译指令，如:#if , #ifdef , #elif , #else , #endif
  3. 处理#include预编译指令，将包含的头文件内容插入到该预编译指令的位置，这个过程是递归实现的，所以说被包含的头文件也可能包含其他的文件
  4. 删除所有注释
  5. 添加行号和文件名标识，方便后续编译器生成调试信息
  6. 保留所有的#pragma的编译器指令，编译器后续会使用

编译

编译是将预处理后的文件进行词法分析、语法分析、语义分析及优化（检查语法）后，生成汇编代码，也就是.s文件
gcc中命令如下：

gcc -S test.i -o test.s

汇编

汇编器是将汇编代码转转变成机器可执⾏的指令，每⼀个汇编语句⼏乎都对应⼀条机器指令，所以在汇编就是将汇编码转成二进制机器码
gcc中指令如下：

gcc -c test.s -o test.o

链接

链接是将一堆文件链接到一起生成可执行文件，其主要过程包括：地址和空间分配，符号决议和重定位等这些步骤。解决了一个项目多文件，多模块之间相互调用的问题。

在了解 预处理 ->编译->汇编->链接 过程之后，我们来以缺省参数与函数重载来实践性的了解了解。

语法了解

缺省参数

概念：缺省参数是声明或定义时为函数的参数指定一个缺省值（默认值），在调用函数值，若没有指定实参则采用该形参的缺省值，否则使用指定的实参。
注意：

  1. 半缺省参数，缺省值必须从右往左给出，不能间隔着给。
  2. 当函数的声明与定义分离时，缺省值以该文件声明时的为主，若在同一文件下则只能声明。
  3. 缺省值必须是常数或者全局变量。
  4. C语言不支持。

语法实践

参考代码如下：

#include<iostream>

int add(int a = 0, int b = 1)
{
	return a + b;
}

int main()
{
	std::cout << add() << std::endl;
	std::cout << add(2) << std::endl;
	std::cout << add(2,2) << std::endl;
	return 0;
}

根据上述代码，我们可以看到当我们使用add函数时，

  1. 在全无实参的情况下，形参a,b使用缺省值，所以输出结果应为1 (0+1);
  2. 在只有一个实参的情况下，传值从左到右，唯一的实参1传给了a，b继续使用缺省值，所以输出结果应为3 (2+1);
  3. 在实参都没缺少的的时候，就相当于普通的函数实现一般，所以输出结果应为4 (2+2);
    测试结果如下：
    在这里插入图片描述

语法探究

我们可以看到如下定义的函数参数为全缺省参数

int add(int a = 0, int b = 1)
{
	return a + b;
}

我们再来看看在main函数中调用该函数语句的汇编码，如下：

	add();
00801AC1  push        1  
00801AC3  push        0  
00801AC5  call        add (0801375h)  
00801ACA  add         esp,8  
	add(2);
00801ACD  push        1  
00801ACF  push        2  
00801AD1  call        add (0801375h)  
00801AD6  add         esp,8  
	add(2,2);
00801AD9  push        2  
00801ADB  push        2  
00801ADD  call        add (0801375h)  
00801AE2  add         esp,8

我们可以看到由于栈的特性，在缺少实参时向栈中压入的缺省参数是由右到左的。
以add()为例，先push 1 即b=1在push 0 即a=0
这是否就可以间接地解释为什么半缺省参数，缺省值必须从右往左给出，不能间隔着给？
在调用函数时所开辟的栈帧中，先传参在调用，在缺少实参时就向栈中压入(push)缺省值，然后再调用add函数。

我们再来想想为什么当函数的声明与定义分离时，push的缺省值以该文件声明时的为主？
这就不得不来看看编译阶段了。

  • 在编译阶段，首先扫描器会对代码进行词法分析，将代码中的字符分割为一系列的记号（关键字、标识符、字⾯量、特殊字符等）；
  • 接下来语法分析器，将对扫描产⽣的记号进⾏语法分析，从⽽产⽣语法树。
  • 由语义分析器来完成语义分析，即对表达式的语法层⾯分析，这个阶段会报告错误的语法信息。

如果声明与定义分离，例如将add函数定义在test.cc中，而add函数的声明在C语言是最好的语言.cpp中
我们先来看看两段有意思的运行代码：

1.在不同文件下函数的声明与定义分离缺省值以该文件声明时的为主。
在这里插入图片描述

2.在同一文件下，函数的声明与定义分离，缺省值只能在声明中。
在这里插入图片描述
看着这两组图片，我不禁陷入沉思，为什么会是这样的运行结果呢？

  • 对于第一种情况，不同文件下函数的声明与定义分离，编译器并不是对整个项目组同时一起进行检查，而是对每个文件进行检查（即每个文件独立检查）所以在第一种情况下，test.cc的add函数中可以理解为函数的声明和定义并没有分离,而在C语言是最好的语言.cpp中,可以看做add函数只是做了声明。而在后续调用该函数进行计算时能够运行,是因为编译器。在进行了。编译和汇编之后生成了与机器指令对应的汇编码，编译器将一个项目的多个文件链接在一起生成可执行程序，所以才有了如图的输出结果。
  • 而对于第二种情况，在同一文件下，缺省值在函数的声明与定义中同时定义，所以在编译阶段的语法检查时，就直接报错，并且中断了程序。

如下图就是一个add函数的调用过程：
在这里插入图片描述

函数重载

概念：函数重载是一种特殊的情况，C++允许在同一作用域中声明几个功能不同函数名相同，但是要求形参类型或个数或类型顺序不同。
实践作用：常用来处理功能类似数据类型不同的问题。

语法实践

参考代码如下：

#include<iostream>

int add(int a, int b)
{
	return a + b;
}

double add(double a, double b)
{
	return a + b;
}

double add(double a, int b)
{
	return a + b;
}

int main()
{
	std::cout << add(2.2,2.2) << std::endl;
	std::cout << add(2,2) << std::endl;
	std::cout << add(2.2,2) << std::endl;
	return 0;
}

根据上述代码，我们可以看到当我们使用add函数时，

  1. 当两个实参为2.2时，调用double add(double a, double b)返回4.4
  2. 当两个实参为2时，调用int add(int a, int b)返回4
  3. 当一个实参为2.2，另一个实参为2时，调用double add(double a, int b)返回4.2

测试结果如下：
在这里插入图片描述

语法探究

对于一个同名文件为什么可以通过参数的不同来进行调用呢？编译器又是如何区分的呢？

面对着这两个问题，我不经陷入沉思，于是打开了我的Linux来对其一趟究竟。

我们依旧使用上一个举例的代码。
输入Linux指令

g++ -S explore.cc -o explore.s

得到汇编码如下：

	.file	"explore.cc"
	.local	_ZStL8__ioinit
	.comm	_ZStL8__ioinit,1,1
	.text
	.globl	_Z3addii
	.type	_Z3addii, @function
_Z3addii:
.LFB971:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	%edi, -4(%rbp)
	movl	%esi, -8(%rbp)
	movl	-8(%rbp), %eax
	movl	-4(%rbp), %edx
	addl	%edx, %eax
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE971:
	.size	_Z3addii, .-_Z3addii
	.globl	_Z3adddd
	.type	_Z3adddd, @function
_Z3adddd:
.LFB972:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movsd	%xmm0, -8(%rbp)
	movsd	%xmm1, -16(%rbp)
	movsd	-8(%rbp), %xmm0
	addsd	-16(%rbp), %xmm0
	movsd	%xmm0, -24(%rbp)
	movq	-24(%rbp), %rax
	movq	%rax, -24(%rbp)
	movsd	-24(%rbp), %xmm0
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE972:
	.size	_Z3adddd, .-_Z3adddd
	.globl	_Z3adddi
	.type	_Z3adddi, @function
_Z3adddi:
.LFB973:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movsd	%xmm0, -8(%rbp)
	movl	%edi, -12(%rbp)
	cvtsi2sd	-12(%rbp), %xmm0
	addsd	-8(%rbp), %xmm0
	movsd	%xmm0, -24(%rbp)
	movq	-24(%rbp), %rax
	movq	%rax, -24(%rbp)
	movsd	-24(%rbp), %xmm0
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE973:
	.size	_Z3adddi, .-_Z3adddi
	.globl	main
	.type	main, @function
main:
.LFB974:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movabsq	$4612136378390124954, %rdx
	movabsq	$4612136378390124954, %rax
	movq	%rdx, -8(%rbp)
	movsd	-8(%rbp), %xmm1
	movq	%rax, -8(%rbp)
	movsd	-8(%rbp), %xmm0
	call	_Z3adddd
	movsd	%xmm0, -8(%rbp)
	movq	-8(%rbp), %rax
	movq	%rax, -8(%rbp)
	movsd	-8(%rbp), %xmm0
	movl	$_ZSt4cout, %edi
	call	_ZNSolsEd
	movl	$_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, %esi
	movq	%rax, %rdi
	call	_ZNSolsEPFRSoS_E
	movl	$2, %esi
	movl	$2, %edi
	call	_Z3addii
	movl	%eax, %esi
	movl	$_ZSt4cout, %edi
	call	_ZNSolsEi
	movl	$_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, %esi
	movq	%rax, %rdi
	call	_ZNSolsEPFRSoS_E
	movabsq	$4612136378390124954, %rax
	movl	$2, %edi
	movq	%rax, -8(%rbp)
	movsd	-8(%rbp), %xmm0
	call	_Z3adddi
	movsd	%xmm0, -8(%rbp)
	movq	-8(%rbp), %rax
	movq	%rax, -8(%rbp)
	movsd	-8(%rbp), %xmm0
	movl	$_ZSt4cout, %edi
	call	_ZNSolsEd
	movl	$_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_, %esi
	movq	%rax, %rdi
	call	_ZNSolsEPFRSoS_E
	movl	$0, %eax
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE974:
	.size	main, .-main
	.type	_Z41__static_initialization_and_destruction_0ii, @function
_Z41__static_initialization_and_destruction_0ii:
.LFB981:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	subq	$16, %rsp
	movl	%edi, -4(%rbp)
	movl	%esi, -8(%rbp)
	cmpl	$1, -4(%rbp)
	jne	.L9
	cmpl	$65535, -8(%rbp)
	jne	.L9
	movl	$_ZStL8__ioinit, %edi
	call	_ZNSt8ios_base4InitC1Ev
	movl	$__dso_handle, %edx
	movl	$_ZStL8__ioinit, %esi
	movl	$_ZNSt8ios_base4InitD1Ev, %edi
	call	__cxa_atexit
.L9:
	leave
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE981:
	.size	_Z41__static_initialization_and_destruction_0ii, .-_Z41__static_initialization_and_destruction_0ii
	.type	_GLOBAL__sub_I__Z3addii, @function
_GLOBAL__sub_I__Z3addii:
.LFB982:
	.cfi_startproc
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset 6, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register 6
	movl	$65535, %esi
	movl	$1, %edi
	call	_Z41__static_initialization_and_destruction_0ii
	popq	%rbp
	.cfi_def_cfa 7, 8
	ret
	.cfi_endproc
.LFE982:
	.size	_GLOBAL__sub_I__Z3addii, .-_GLOBAL__sub_I__Z3addii
	.section	.init_array,"aw"
	.align 8
	.quad	_GLOBAL__sub_I__Z3addii
	.hidden	__dso_handle
	.ident	"GCC: (GNU) 4.8.5 20150623 (Red Hat 4.8.5-44)"
	.section	.note.GNU-stack,"",@progbits

汇编码虽然有点长，但是我们可以看到在Linux下，采用g++编译完成后，函数名字的修饰发生改变，编译器将函数参数类型信息添加到修改后的名字中。
在该例子中代码与修饰后的名字如下：

int add(int ,int )  --> _Z3addii
int add(double ,double )  -->_Z3adddd
int add(double ,int )  -->_Z3adddi

所以这就是为什么有函数重载

Linux下g++的命名修饰规则：

_z + 后面接的数字表示函数名字的字符个数 + 函数名字 + 从左到右参数类型的依次缩写

这就很好的说明了形参类型或个数或类型顺序不同，可以支持函数重载。
同时，我们也可以看到Linux下g++的命名修饰规则并没有对函数的返回类型进行修饰，所以函数的返回类型不同不能理解为函数重载。

结语

以上就是本期的全部内容，若有错误请务必指出，喜欢就请多多关注吧！！！

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：/a/340358.html

如若内容造成侵权/违法违规/事实不符，请联系我们进行投诉反馈qq邮箱809451989@qq.com，一经查实，立即删除！

相关文章

Spring-配置文件

Spring-配置文件

一、引子 了解完Spring的基本概念后&#xff0c;我们紧接着来了解Spring中的核心文件--Spring配置文件。 二、配置Bean 我们在上一节Spring的基本概念中快速使用了一下Spring&#xff0c;其中我们在配置文件中主要涉及到就是Bean标签的配置&#xff1a;主要的配置字段有id, …
阅读更多...
【动态规划】【C++算法】801. 使序列递增的最小交换次数

【动态规划】【C++算法】801. 使序列递增的最小交换次数

作者推荐 【动态规划】【广度优先搜索】【状态压缩】847 访问所有节点的最短路径 本文涉及知识点 动态规划汇总 数组 LeetCode801使序列递增的最小交换次数 我们有两个长度相等且不为空的整型数组 nums1 和 nums2 。在一次操作中&#xff0c;我们可以交换 nums1[i] 和 num…
阅读更多...
18.鸿蒙HarmonyOS App(JAVA)日期选择器-时间选择器

18.鸿蒙HarmonyOS App(JAVA)日期选择器-时间选择器

18.鸿蒙HarmonyOS App(JAVA)日期选择器-时间选择器 点击button按钮触发事件显示月份与获取的时间 Button button3 (Button) findComponentById(ResourceTable.Id_button3);button3.setClickedListener(new Component.ClickedListener() {Overridepublic void onClick(Compon…
阅读更多...
IP地址组成

IP地址组成

一、简介 ​ IP地址由四段组成&#xff0c;每个字段是一个字节&#xff0c;即4个字节、 每个字节有8位&#xff0c;最大值是255(256&#xff1a;0~255)&#xff0c;是全世界范围是唯一的 32 位&#xff08;4个字节 * 8位&#xff09;的标识符。 ​ IP地址由两部分组成&#x…
阅读更多...
npm pnpm yarn 报错或常见问题处理集锦

npm pnpm yarn 报错或常见问题处理集锦

各种卡死&#xff0c;报错问题处理汇总 1. npm 安装 卡死了怎么办&#xff0c;npm # 切换源 npm config set registry https://registry.npmmirror.com # 查看源 npm config get registry2. pnpm安装 卡死了怎么办 方法1&#xff1a;切换源 npx pnpm config set registry h…
阅读更多...
[Unity] Tilemap瓦片左右翻转（上下翻转）

[Unity] Tilemap瓦片左右翻转（上下翻转）

Tile&#xff08;瓦片&#xff09;左右翻转感觉是很常用的一个功能啊&#xff01;看了一些教程都没有提及&#xff0c;心想难道要把每张Sprite再做一张对称的、再做成瓦片吗&#xff1f; 图片量x2 、瓦片量x2、不现实&#xff01;一定有方法&#xff01; 搜索了了半天没找到方…
阅读更多...
规范文字引言与材料

规范文字引言与材料

撰写引言 什么是引言&#xff1f; 引言又叫前言、绪论、引子、绪言等。 引言写在书或文章的正文前面&#xff0c;是类似序言或导言的部分。 在科研论文中&#xff0c;引言是引导读者了解研究背景、目的、 意义和研究问题的关键部分。对于人工智能方向的论 文&#xff0c;引言…
阅读更多...
＜C++＞STL-＞vector

＜C++＞STL-＞vector

vector的介绍 vector的使用文档 vector是一个可改变数组大小的序列容器vector和数组一样采取连续的空间存放数据&#xff0c;可以使用方括号访问vector的元素&#xff0c;和数组一样高效。但是vector的大小可以动态增长&#xff0c;而数组不行实际上vector内部使用一个动态分…
阅读更多...
鸿蒙开发教程-管理组件状态

鸿蒙开发教程-管理组件状态

概述 在应用中&#xff0c;界面通常都是动态的。如图1所示&#xff0c;在子目标列表中&#xff0c;当用户点击目标一&#xff0c;目标一会呈现展开状态&#xff0c;再次点击目标一&#xff0c;目标一呈现收起状态。界面会根据不同的状态展示不一样的效果。 ArkUI作为一种声明式…
阅读更多...
【Unity】AB包下载

【Unity】AB包下载

【Unity】AB包下载 1.使用插件打AB包 a.AB包分类 一般地&#xff0c;将预制体作为AB包资源&#xff0c;不仅需要对预制体本身进行归类&#xff0c;还要对其涉及的动画&#xff08;AnimationClip&#xff09;、动画状态机&#xff08;AnimatorController&#xff09;、以及所…
阅读更多...
数据可视化 | 期末复习 | 补档

数据可视化 | 期末复习 | 补档

文章目录 &#x1f4da;介绍可视化&#x1f407;什么是可视化&#x1f407;科学可视化&#xff0c;信息可视化&#xff0c;可视分析系统三者之间有什么区别&#x1f525;&#x1f407;可视化的基本流程&#x1f407;可视化的两个基本设计原则&#x1f407;数据属性&#x1f407…
阅读更多...
Linux基本常用命令大全（一）

Linux基本常用命令大全（一）

一、基本命令 1.1 关机和重启 关机 shutdown -h now 立刻关机 shutdown -h 5 5分钟后关机 poweroff 立刻关机 重启 shutdown -r now 立刻重启 shutdown -r 5 5分钟后重启 reboot 立刻重启 1.2 帮助命令 –help命令 shutdown --help&#xff1a; ifconfig --help&#xff1a…
阅读更多...
蓝牙资产标签

蓝牙资产标签

在高科技信息行业的迅猛发展下&#xff0c;信息化管理在各领域的应用体现了很大的优势&#xff0c;从人员、资产、车辆、物料等的各类应用的定位信息是数字化管理的重要组成部分&#xff0c;小编详细 介绍下蓝牙资产标签在物资管理的应用。 G806采用低功耗蓝牙技术&#xff0c…
阅读更多...
JavaScript 操作（DOM）文档对象模型

JavaScript 操作（DOM）文档对象模型

文章目录 什么是DOM浏览器内置解析器JavaSiript 如何修改结构与样式浏览器解析顺序DOM相关APIgetElementByIdgetElementsByTagNamecreateElementinnerText与innerHTMLappendChild JavaScript 修改结构与样式案例 什么是DOM DOM&#xff1a;DOM&#xff08;文档对象模型&#x…
阅读更多...
gradle构建spring-framework源码

gradle构建spring-framework源码

5.3.22版本构建 通过启动的jvm参数配置代理下载 Could not download jruby-stdlib-9.2.20.1.jar (org.jruby:jruby-stdlib:9.2.20.1) Could not get resource https://repo.maven.apache.org/maven2/org/jruby/jruby-stdlib/9.2.20.1/jruby-stdlib-9.2.20.1.jar. Could not GE…
阅读更多...
如何在Linux部署JumpServer堡垒机并实现远程访问本地服务

如何在Linux部署JumpServer堡垒机并实现远程访问本地服务

文章目录 前言1. 安装Jump server2. 本地访问jump server3. 安装 cpolar内网穿透软件4. 配置Jump server公网访问地址5. 公网远程访问Jump server6. 固定Jump server公网地址 前言 JumpServer 是广受欢迎的开源堡垒机&#xff0c;是符合 4A 规范的专业运维安全审计系统。JumpS…
阅读更多...
数据结构：非完全二叉树（递归实现）

数据结构：非完全二叉树（递归实现）

非完全二叉树是指在二叉树中&#xff0c;除了叶子节点&#xff08;无子节点&#xff09;外&#xff0c;其他节点的子节点个数可以不同&#xff0c;即不一定是每个节点都有两个子节点&#xff0c;有右孩子时也不一定有左孩子。 tree.h /* * 文件名称&#xff1a;tree.h * …
阅读更多...
VMware workstation平台下配置Fedora-Server-39-1.5虚拟机网络

VMware workstation平台下配置Fedora-Server-39-1.5虚拟机网络

VMware workstation平台下配置Fedora-Server-39-1.5虚拟机网络 Fedora包含的软件以自由及开放源码许可来发布&#xff0c;并旨在成为该技术领域的领先者。Fedora在专注创新、抢先集成新技术、与上游Linux社区紧密工作方面拥有良好名声。该文档适用于在VMware workstation平台下…
阅读更多...
项目03——《古罗马战场》

项目03——《古罗马战场》

接下来我们布置场景&#xff0c;我们的预期结果&#xff08;功能分析&#xff09;是&#xff1a; 实现两角色阵列面向冲锋 首先进入资源商店准备下载角色模型资源&#xff0c; 搜索Monster&#xff0c; 将免费资源导入unity包&#xff0c; 创建一个地面Plane&#xff0c; 对两…
阅读更多...
2023.1.17 关于 Redis 持久化 AOF 策略详解

2023.1.17 关于 Redis 持久化 AOF 策略详解

目录 引言 AOF 策略 实例演示一 缓冲区 重写机制 手动触发 自动触发 AOF 重写流程 实例演示二 引言 Redis 实现持久化的两大策略 RDB ——> Redis DataBase&#xff08;定期备份&#xff09;AOF ——> Append Only File&#xff08;实时备份&#xff09; 注意&…
阅读更多...
最新文章

Copyright @ 2022~2023