当前位置：文档之家 › C语言中函数调用和参数传递机制的探讨

C语言中函数调用和参数传递机制的探讨

  • 格式：doc
  • 大小：69.50 KB
  • 文档页数：10

关于C语言中函数调用和参数传递机制的探讨函数，相信许多人也知道其重要性；一个文件往往由一个或者多个函数构成的。

然而可能许多人还不知道函数调用的一些深层问题，所以我写的这篇文章一来是应了一个好朋友的要求而写，二来希望一些朋友能够从我这篇文章了解函数调用的机制。

但是并不是每个人都可以完全读懂这文章，想完全读懂此文，我想必须具备三个条件：一、对于C语言有一定的了解，最起码有一个整体的初步了解；二、能够读懂UNIX/LINUX下的AT＆T语法的汇编；AT＆T汇编与Intel汇编的差别还是挺大的；这个条件可能一些人就不具备了，但是你通过阅读此文相信也能对函数调用机制有一个大概的了解；三、看到这么长的文章，一定要有耐心，用心看相信应该多少有点帮助；好了，不讲废话了，进入主题吧。

一、基本知识框架了解：这部分主要讲一些基本的东西，主要是关于堆栈的知识。

只有了解了堆栈的基础内容，才可以继续往下读。

1.概念性的知识：所谓堆栈，其实也就是程序使用的一种内存元素；它是内存中用来存放一些数据的区域。

我曾经写过一篇文章发表在这个论坛上里面也谈到了堆和栈的区别；平常经常说的堆栈，其实也是栈，而不是堆，所以这里也一样。

注意这和数据结构说的栈其实还是有区别的，不要混在一起。

2.堆栈的工作方式：平常我们所说的数据是怎么存放在内存的？是从低地址开始，然后按照数据占用字节大小往高地址逐个存放的。

但堆栈就不一样了。

堆栈的工作方式是数据插入堆栈区域然后从堆栈区域删除数据。

这是概括的说法。

具体是这样的：在UNIX/LINUX中，堆栈是从高地址向低地址衍生的。

这里得说一个重要的东东，那就是堆栈指针ESP。

堆栈指针是什么？它永远指向堆栈中的顶部（但如果按照地址值来说却是底部），是不是对顶部这个词的理解感觉有点模糊？就是说，比如说你压栈，就压进一个4字节的数据元素，那么ESP就向下移动了4个字节，注意这里是向下移动，所以ESP应该指向了更低的地址，所以说它是指向了底部。

你可以把堆栈想象成一个杯子，倒进水了水平线是不是上升了（这里把杯子最底端假设成高地址，把顶端设为低地址），倒出水了水平线是不是下降了？就和压栈和进栈的道理一样的。

如果还没有理解也没关系，自己画个图仔细比较就可以了。

这里让我偷懒一下就不画图了。

3.压栈和进栈指令简介：压栈指令: pushx source其中，'x'可以是'w'(表示字), 或者是'l'(表示长字);source可以是数值或者寄存器值或者内存地址；出栈指令：popx des同样，'x'可以是'w'(表示字), 或者是'l'(表示长字);des可以是寄存器值或内存值；关于最最基本的东西已经讲得差不多了，当然还有其他一些基本东西，留给大家去查资料了，这部分讲的都和本文有密切关系的东西。

二、函数如何通过堆栈来解决问题：这部分是对函数如何通过堆栈解决函数调用以及参数传递的理论性理解，相当重要，只有了解之后才可以进行实例的分析，这一大部分同样分成几个小部分：1.通过堆栈操作实现参数的传递：前面说过，堆栈的基本操作可以是压栈和出栈，而参数的传递就是通过这种方式来实现的。

ESP永远指向了堆栈顶部，如果这时候压进一个int型的数据元素，那么ESP向下移动了4个字节，这时候它还是指向了堆栈的顶部（注意了，顶部的地址比移动前的地址低，不要乱了）。

假如把一个int型数据元素出栈，那么ESP向上移动4个字节，这时候它还是指向了堆栈的顶部，只是现在地址是增加了4个字节。

所以，如果一个函数需要传递参数过去那么就得在调用函数之前先把参数压进栈，然后再调用。

关于这点后面我会详细说一下，现在你如果没理解也没关系。

2.函数调用的一般汇编指令:函数调用的一般汇编指令都是那么几条，下面我把他们按一般顺序罗列出来：#Asm Codefunction:pushl %ebpmovl %esp, %ebpsubl $8, %esp#...movl %ebp, %esppopl %ebpret下面先简单分析这几句一般汇编指令的意思和目的。

pushl %ebp #这句把寄存器%ebp压栈，目的是什么呢？看下一条指令：movl %esp, %ebp #把寄存器%esp的值给了寄存器%ebp;想想前面说到的%esp寄存器是干什么的？用于指向堆栈的顶部，现在通过这条指令，%ebp都是指向了堆栈的顶部了；所以看看第一条指令，其实就是为了保护原来在%ebp 寄存器中的内容#那么这里为什么又要把%esp的值赋给%ebp呢？这里的巧妙就来了。

在函数的处理过程中，可能一些数据会被压进栈，那么这时候就会破坏栈里面原有的内容了，如果栈的内容被破坏了，指向栈顶的指针%esp指向的地址不准确了（不知道能不能用“不准确”这个词来形容，可能不太合适），那么到时候要清栈就会发生更多的意外问题了。

清栈？先别管这个词，下面也会给出解释。

所以第二条指令是为了保证有一个寄存器永远指向了栈顶而不必担心会出现刚才所说的问题。

现在是寄存器%ebp永远指向栈顶了，而%esp可以移动而不必害怕数据会被破坏了。

subl $8, %esp#看这条指令，为什么无故要把%esp的值减去8呢？也就是说%esp向下移动8个字节，而这8个字节的空间到底用来干什么呢？这8个字节空间其实是为临时变量留出来的。

注意，它会根据临时变量占用的字节大小而留出不同的空间大小，所以不一定是8个字节，可能是24或者36甚至更大的空间；不过临时变量太多不是好事情，这点注意。

movl %ebp, %esp #这条指令把%ebp复制到%esp了，理由是什么？让%esp 重新指向栈顶，这样就可以方便函数调用完毕后的清栈了。

ret #函数调用完毕的返回指令，这句指令其实同时把函数调用刚刚开始压进的IP地址弹出栈。

在下面会有详细分析。

关于函数如何通过堆栈来解决问题的基本理论大概就说到这里，假如你对上面的内容不理解也没关系，下面第3个部分通过实例来分析可以让你有个比较深刻的理解。

三、函数调用和参数传递机制的实例分析：这是本文的实战分析部分了，通过例子来加深一下理解。

我会先列出C代码出来，然后列出反汇编的汇编代码，结合C代码来分析汇编代码。

我会尽可能对各种类型的函数调用或参数类型作一个分析，可能会显得比较累赘一点，不介意吧？准备好的话就开始吧：P1. 函数原型：void function(void);// C codevoid function(void){return;}int main(void){function();return 0;}反汇编一下看看汇编代码，下面是Linux 下的gcc反汇编后的代码（注意：是在我的机子上的反汇编代码）：function:pushl %ebpmovl %esp, %ebppopl %ebpret看看，因为函数function什么也没有做，所以直接就返回了，上面的指令和第2部分的代码基本上一样，甚至更简单，参照一下前面的分析：P下面看看main函数的反汇编代码了，相对来说复杂一点，看好了：main:pushl %ebpmovl %esp, %ebpsubl $8, %espandl $-16, %espmovl $0, %eaxaddl $15, %eaxaddl $15, %eaxshrl $4, %eaxsall $4, %eaxsubl %eax, %espcall function #函数调用指令movl $0, %eaxleaveret看看函数调用指令: call function,前面居然还有那么多据指令，那些指令到底干什么用？我一句一句分析吧:Ppushl %ebpmovl %esp, %ebpsubl $8, %esp这三句不分析，和前面第2部分的一样，忘记的回头看一下，其实这也反映了一件事：其实main函数也很普通，它跟其他函数其实差不多，只是地位稍微高一点而已。

andl $-16, %esp这句可能吓倒一些人了。

andl 是逻辑与指令，而-16其实补码形式是0xfffffff0。

为什么要把%esp的值和－16进行逻辑与运算呢？不要小看这条指令，它的作用不容忽视，%esp指向堆栈顶部。

这条指令其实是为了强制让%esp的值是16的倍数。

为什么要16的倍数？这里必须懂得一个常识：Linux下的编译器GCC默认的堆栈是16字节对齐的，可能有些人要问为什么要对齐，对齐其实为了加快CPU的访问效率，这里你记住这点就可以了。

movl $0, %eaxaddl $15, %eaxaddl $15, %eaxshrl $4, %eaxsall $4, %eax看到这几句，又有更多人可能被吓到了，干嘛对%eax寄存器进行那么多的操作啊？的确，我也觉得没什么多大的必要，因为仔细看看这几条指令无非就是为了让%eax的值是0而已。

看看刚开始%eax = 0,经过两次addl之后，%eax的值变成30了，30其实就是0x11110,再下面两条指令是为了保证%eax最低5位的值全部为0。

注意，这只是在我的机子上的反汇编指令，不同机器对此处可能不一样，但有一点一样就是保证%eax的值是0。

看看下面这条指令：subl %eax, %esp看，%esp值减去%eax值后把结果送到%esp,所以经过这条指令后%esp值仍然是16的倍数，这就是保证%eax值是16的倍数的原因了。

call functionmovl $0, %eax这个简单了，调用函数function,最后又把%eax寄存器的值清0，结束整个main函数了。

这就是最简单的函数调用分析了，没有涉及到参数的传递，所以非常简单，下面就要开始讲到参数的传递了，事实上有了这个例子的分析，下面的简单多了。

2.函数原型：int function(int i)现在有了参数了，也有了返回值了，相对来说更比较复杂了。

这里就得引入%esp寄存器值的变化了，不然就难以把问题分析清楚了，如果想形象一点地描述那就画图，自己画个图根据我的数据变化一起分析吧。

看看一段简单的C代码：// C Codeint function(int i){return 2 * i;}int main(void){int j = function(10);return 0;}之所以些这么简单只是为了我们分析问题的方便，懂得个原理就算是复杂的其实稍微再分析一下也就懂了。

我们从main开始分析吧：main:pushl %ebpmovl %esp, %ebpsubl $24, %espandl $-16, %espmovl $0, %eaxaddl $15, %eaxaddl $15, %eaxshrl $4, %eaxsall $4, %eaxsubl %eax, %esp #到这里其实和前面的例子基本一样，就不分析了movl $10, (%esp)call functionmovl %eax, -4(%ebp)movl $0, %eaxleaveret看看上面的汇编代码，和前面一样的不分析。

合集下载

c语言function函数的用法

c语言function函数的用法

c语言function函数的用法C语言中的函数是一种非常重要的编程工具，它可以让程序员将代码分解成小块，使得代码更加模块化和易于维护。

在本文中，我们将探讨C语言中函数的用法，包括函数的定义、调用、参数传递和返回值等方面。

1. 函数的定义在C语言中，函数的定义通常包括函数名、参数列表和函数体。

函数名用于标识函数，参数列表用于传递参数，函数体则是函数的具体实现。

下面是一个简单的函数定义示例：```int add(int a, int b){return a + b;}```在上面的示例中，函数名为add，参数列表包括两个整型参数a和b，函数体中使用return语句返回a和b的和。

2. 函数的调用函数的调用是指在程序中使用函数的过程。

在C语言中，函数的调用通常使用函数名和参数列表来完成。

下面是一个简单的函数调用示例：```int result = add(1, 2);```在上面的示例中，我们调用了add函数，并将返回值赋值给result 变量。

函数调用时，需要传递与函数定义中参数列表相匹配的参数。

3. 参数传递在C语言中，函数的参数传递可以通过值传递和指针传递两种方式来实现。

值传递是指将参数的值复制一份传递给函数，而指针传递则是将参数的地址传递给函数。

下面是一个简单的值传递和指针传递示例：```void swap(int a, int b){int temp = a;a = b;b = temp;}void swap_ptr(int* a, int* b){int temp = *a;*a = *b;*b = temp;}int main(){int x = 1, y = 2;swap(x, y);printf("x=%d, y=%d\n", x, y); // 输出 x=1, y=2swap_ptr(&x, &y);printf("x=%d, y=%d\n", x, y); // 输出 x=2, y=1return 0;}```在上面的示例中，我们定义了两个函数swap和swap_ptr，分别用于值传递和指针传递。

c语言形参和实参的传递规则

c语言形参和实参的传递规则

c语言形参和实参的传递规则C语言是一门非常重要的编程语言，其在计算机科学领域中有着广泛的应用。

在C语言中，函数是一个非常重要的概念，而函数的形参和实参的传递规则更是我们必须要了解的。

本文将详细介绍C语言中形参和实参的传递规则，以便读者更好地理解和掌握这一知识点。

一、什么是形参和实参在介绍C语言中形参和实参的传递规则之前，我们需要先了解什么是形参和实参。

1. 形参形式参数又称为形参，是函数定义时声明的参数。

它们只存在于函数内部，并且只在函数被调用时才会被赋值。

例如：```int add(int a, int b){return a + b;}```上述代码中，a和b就是add函数的两个形式参数。

2. 实参实际参数又称为实参，是在调用函数时传递给函数的参数。

它们可以是任意类型的表达式，并且可以通过变量或常量来表示。

例如：```int main(){int c = add(1, 2);return 0;}```上述代码中，1和2就是add函数的两个实际参数。

二、C语言中形参和实参的传递规则在C语言中，形参和实参的传递规则是非常重要的。

下面将详细介绍C语言中形参和实参的传递规则。

1. 形参和实参的类型必须匹配在调用函数时，实参的类型必须与形参的类型匹配。

如果不匹配，则会发生类型转换。

例如：```int add(int a, int b){return a + b;}int main(){float x = 1.5;float y = 2.5;int z = add(x, y);return 0;}```上述代码中，add函数需要两个整型参数，但是我们传递了两个浮点型参数。

由于浮点型不能直接赋值给整型，因此编译器会进行隐式类型转换。

在本例中，x和y会被转换为整型1和2，然后再进行相加操作。

2. 形参和实参的数量必须一致在调用函数时，实参的数量必须与形参的数量一致。

如果不一致，则会导致编译错误。

例如：```int add(int a, int b){return a + b;}int main(){int c = add(1, 2, 3);return 0;}```上述代码中，add函数需要两个整型参数，但是我们传递了三个整型参数。

C语言中函数参数传递

C语言中函数参数传递

C语⾔中函数参数传递C语⾔中函数参数传递的三种⽅式（1）值传递，就是把你的变量的值传递给函数的形式参数，实际就是⽤变量的值来新⽣成⼀个形式参数，因⽽在函数⾥对形参的改变不会影响到函数外的变量的值。

（2）地址传递，就是把变量的地址赋给函数⾥形式参数的指针，使指针指向真实的变量的地址，因为对指针所指地址的内容的改变能反映到函数外，能改变函数外的变量的值。

（3）引⽤传递，实际是通过指针来实现的，能达到使⽤的效果如传址，可是使⽤⽅式如传值。

说⼏点建议：如果传值的话，会⽣成新的对象，花费时间和空间，⽽在退出函数的时候，⼜会销毁该对象，花费时间和空间。

因⽽如果int，char等固有类型，⽽是你⾃⼰定义的类或结构等，都建议传指针或引⽤，因为他们不会创建新的对象。

例1：下⾯这段代码的输出结果为：#include<stdio.h>void change(int*a, int&b, int c){c=*a;b=30;*a=20;}int main ( ){int a=10, b=20, c=30;change(&a,b,c);printf(“%d,%d,%d,”,a,b,c)；return 0；}结果：20 30 30解析：1，指针传参 -> 将变量的地址直接传⼊函数，函数中可以对其值进⾏修改。

2，引⽤传参 -> 将变量的引⽤传⼊函数，效果和指针相同，同样函数中可以对其值进⾏修改。

3，值传参 -> 在传参过程中，⾸先将c的值复制给函数c变量，然后在函数中修改的即是函数的c变量，然后函数返回时，系统⾃动释放变量c。

⽽对main函数的c没有影响。

例2：#include<stdio.h>void myswap(int x, int y){int t;t=x;x=y;y=t;}int main(){int a, b;printf("请输⼊待交换的两个整数：");scanf("%d %d", &a, &b);myswap(a,b); //作为对⽐，直接交换两个整数，显然不⾏printf("调⽤交换函数后的结果是：%d 和 %d\n", a, b);return 0;}#include<stdio.h>void myswap(int *p1, int *p2){int t;t=*p1;*p1=*p2;*p2=t;}int main(){int a, b;printf("请输⼊待交换的两个整数：");scanf("%d %d", &a, &b);myswap(&a,&b); //交换两个整数的地址printf("调⽤交换函数后的结果是：%d 和 %d\n", a, b);return 0;}#include<stdio.h>void myswap(int &x, int &y){int t;t=x;x=y;y=t;}int main(){int a, b;printf("请输⼊待交换的两个整数：");scanf("%d %d", &a, &b);myswap(a,b); //直接以变量a和b作为实参交换printf("调⽤交换函数后的结果是：%d 和 %d\n", a, b);return 0;}第⼀个的运⾏结果：输⼊2 3，输出2 3第⼆个的运⾏结果：输⼊2 3，输出3 2第三个的运⾏结果：输⼊2 3，输出3 2解析：在第⼀个程序中，传值不成功的原因是指在形参上改变了数值，没有在实参上改变数值。

c语言中形参和实参的关系

c语言中形参和实参的关系

c语言中形参和实参的关系在C语言中，形参和实参是函数传递信息的重要组成部分。

在函数调用过程中，实参传递给形参，形成了一种参数的传递关系。

首先我们先了解一下形参和实参的概念。

形参指的是函数定义中的参数列表，它是函数中用来接收传递进来的参数值的变量。

而实参则是在函数调用时传递给形参的具体数值或变量。

形参是函数的局部变量，它只在函数内部生效，不会影响到函数外部的变量。

而实参则是函数的调用者传递给函数的值，可以是具体的数值、变量或者表达式。

在C语言中，函数调用时使用的实参值会被传递给函数定义中的形参。

当函数被调用时，实参的值会被传递给形参，形成一种参数传递的关系。

这种传递是通过值传递的方式进行的，即将实参的值复制一份传递给形参。

这样在函数内部，形参就可以使用这些实参的值来进行计算和处理。

而实参的值本身不会被改变，函数对形参的操作也不会影响到实参。

下面我们通过一个简单的例子来说明形参和实参的关系：```c#include <stdio.h>void add(int a, int b) {int result = a + b;printf("The result of %d + %d is %d\n", a, b, result); }int main() {int x = 10;int y = 20;add(x, y);return 0;}```在这个例子中，我们定义了一个add函数，它有两个形参a和b。

在main函数里，我们定义了两个变量x和y，然后将它们作为实参传递给add函数。

在add函数内部，a和b分别接收了x和y的值，然后进行相加的操作，并打印出结果。

从这个例子可以看出，实参的值会被传递给形参，并且在函数内部可以使用这些值进行计算。

这种参数传递的方式可以使函数得到外部数据并进行处理，同时不会影响到外部的实参值。

在C语言中，形参和实参的关系是非常重要的。

它使得函数可以接收外部的数据并进行处理，增加了函数的灵活性和通用性。