c的函数传递教案.docVIP

C/C++中的函数参数传递机制　　 一、 函数参数传递机制的基本理论　　函数参数传递机制问题在本质上是调用函数（过程）和被调用函数（过程）在调用发生时进行通信的方法问题。基本的参数传递机制有两种：值传递和引用传递。以下讨论称调用其他函数的函数为主调函数，被调用的函数为被调函数。　　值传递（passl-by-value）过程中，被调函数的形式参数作为被调函数的局部变量处理，即在堆栈中开辟了内存空间以存放由主调函数放进来的实参的值，从而成为了实参的一个副本。值传递的特点是被调函数对形式参数的任何操作都是作为局部变量进行，不会影响主调函数的实参变量的值。　　引用传递(pass-by-reference)过程中，被调函数的形式参数虽然也作为局部变量在堆栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。被调函数对形参的任何操作都被处理成间接寻址，即通过堆栈中存放的地址访问主调函数中的实参变量。正因为如此，被调函数对形参做的任何操作都影响了主调函数中的实参变量。二、 C语言中的函数参数传递机制　　在C语言中，值传递是唯一可用的参数传递机制。但是据笔者所知，由于受指针变量作为函数参数的影响，有许多朋友还认为这种情况是引用传递。这是错误的。请看下面的代码：int swap(int *x, int *y){int temp;temp = *x; *x = *y; *y = temp;return temp;}void main(){int a = 1, b = 2;int *p1 = a;int *p2 = b;swap(p1, p2)}　　函数swap以两个指针变量作为参数，当main()调用swap时，是以值传递的方式将指针变量p1、p2的值（也就是变量a、b的地址）放在了swap在堆栈中为形式参数x、y开辟的内存单元中。这一点从以下的汇编代码可以看出（注释是笔者加的）：22: void main()23: {…………13: int a = 1, b = 2;mov dword ptr [ebp-4],10040108F mov dword ptr [ebp-8],214: int *p1 = a;lea eax,[ebp-4]mov dword ptr [ebp-0Ch],eax15: int *p2 = b;0040109C lea ecx,[ebp-8]0040109F mov dword ptr [ebp-10h],ecx16: swap(p1, p2);004010A2 mov edx,dword ptr [ebp-10h] ；参数p2的值进栈004010A5 push edx004010A6 mov eax,dword ptr [ebp-0Ch] ；参数p1的值进栈004010A9 push eax004010AA call @ILT+15(swap) ；调用swap函数004010AF add esp,8 ；清理堆栈中的参数17: }　　阅读上述代码要注意，INTEL80x86系列的CPU对堆栈的处理是向下生成，即从高地址单元向低地址单元生成。从上面的汇编代码可知，main()在调用swap之前，先将实参的值按从右至左的顺序压栈，即先p2进栈，再p1进栈。调用结束之后，主调函数main()负责清理堆栈中的参数。Swap 将使用这些进入堆栈的变量值。下面是swap函数的汇编代码：14: void swap(int *x, int *y)15: {push ebpmov ebp,esp ；ebp指向栈顶…………16: int temp;17: temp = *x;4: int temp;5: temp = *x;mov eax,dword ptr [ebp+8] ；操作已存放在堆栈中的p1,将p1置； 入eax0040104B mov ecx,dword ptr [eax] ；通过寄存器间址将*p1置入ecx0040104D mov dword ptr [ebp-4],ecx；经由ecx将*p1置入temp变量的内；存单元。以下类似6: *x = *y;mov edx,dword ptr [ebp+8]mov eax,dword ptr [ebp+0Ch]mov ecx,dword ptr [eax]mov dword ptr [edx],ecx7: *y = temp;004010