《2022年C语言函数调用规定 .pdf》由会员分享，可在线阅读，更多相关《2022年C语言函数调用规定 .pdf（5页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、在 C 语言中，假设我们有这样的一个函数：int function（int a，int b）调用时只要用result=function（1，2）这样的方式就可以使用这个函数。但是，当高级语言被编译成计算机可以识别的机器码时，有一个问题就凸现出来：在 CPU 中，计算机没有办法知道一个函数调用需要多少个、什么样的参数，也没有硬件可以保存这些参数。也就是说，计算机不知道怎么给这个函数传递参数，传递参数的工作必须由函数调用者和函数本身来协调。为此，计算机提供了一种被称为栈的数据结构来支持参数传递。栈是一种先进后出的数据结构，栈有一个存储区、一个栈顶指针。栈顶指针指向堆栈中第一个可用的数据项（被称为栈
2、顶）。用户可以在栈顶上方向栈中加入数据，这个操作被称为压栈（Push），压栈以后，栈顶自动变成新加入数据项的位置，栈顶指针也随之修改。用户也可以从堆栈中取走栈顶，称为弹出栈（pop），弹出栈后，栈顶下的一个元素变成栈顶，栈顶指针随之修改。函数调用时，调用者依次把参数压栈，然后调用函数，函数被调用以后，在堆栈中取得数据，并进行计算。函数计算结束以后，或者调用者、或者函数本身修改堆栈，使堆栈恢复原装。在参数传递中，有两个很重要的问题必须得到明确说明：当参数个数多于一个时，按照什么顺序把参数压入堆栈函数调用后，由谁来把堆栈恢复原装在高级语言中，通过函数调用约定来说明这两个问题。常见的调用约定有：st
3、dcall cdecl fastcall thiscall naked call stdcall调用约定stdcall很多时候被称为pascal调用约定，因为pascal是早期很常见的一种教学用计算机程序设计语言，其语法严谨，使用的函数调用约定就是stdcall.在 Microsoft C+系列的 C/C+编译器中，常常用PASCAL宏来声明这个调用约定，类似的宏还有WINAPI和 CALLBACK.stdcall调用约定声明的语法为（以前文的那个函数为例）：int _stdcall function（int a，int b）stdcall的调用约定意味着：1）参数从右向左压入堆栈，2）函数自
4、身修改堆栈3）函数名自动加前导的下划线，后面紧跟一个符号，其后紧跟着参数的尺寸以上述这个函数为例，参数b 首先被压栈，然后是参数a，函数调用function（1，2）调用处翻译成汇编语言将变成：push 2 第二个参数入栈push 1 第一个参数入栈call function 调用参数，注意此时自动把cs：eip 入栈而对于函数自身，则可以翻译为：push ebp 保存 ebp 寄存器，该寄存器将用来保存堆栈的栈顶指针，可以在函数退出时恢复mov ebp，esp 保存堆栈指针名师资料总结-精品资料欢迎下载-名师精心整理-第 1 页，共 5 页 -mov eax，ebp+8H 堆栈中 ebp 指
5、向位置之前依次保存有ebp，cs：eip，a，b，ebp+8指向 a add eax，ebp+0CH 堆栈中 ebp+12处保存了 b mov esp，ebp 恢复 esp pop ebp ret 8 而在编译时，这个函数的名字被翻译成_function8 注意不同编译器会插入自己的汇编代码以提供编译的通用性，但是大体代码如此。其中在函数开始处保留esp 到 ebp 中，在函数结束恢复是编译器常用的方法。从函数调用看，2 和 1 依次被 push进堆栈，而在函数中又通过相对于ebp（即刚进函数时的堆栈指针）的偏移量存取参数。函数结束后，ret 8表示清理8 个字节的堆栈，函数自己恢复了堆栈。c
6、decl调用约定cdecl调用约定又称为C 调用约定，是 C 语言缺省的调用约定，它的定义语法是：int function（int a，int b）/不加修饰就是C 调用约定int _cdecl function（int a，int b）/明确指出 C 调用约定在写本文时，出乎我的意料，发现cdecl调用约定的参数压栈顺序是和stdcall是一样的，参数首先由有向左压入堆栈。所不同的是，函数本身不清理堆栈，调用者负责清理堆栈。由于这种变化，C 调用约定允许函数的参数的个数是不固定的，这也是C 语言的一大特色。对于前面的function函数，使用cdecl后的汇编码变成：调用处push 1 pu
7、sh 2 call function add esp，8 注意：这里调用者在恢复堆栈被调用函数 _function处push ebp 保存 ebp 寄存器，该寄存器将用来保存堆栈的栈顶指针，可以在函数退出时恢复mov ebp，esp 保存堆栈指针mov eax，ebp+8H 堆栈中 ebp 指向位置之前依次保存有ebp，cs：eip，a，b，ebp+8指向 a add eax，ebp+0CH 堆栈中 ebp+12处保存了 b mov esp，ebp 恢复 esp pop ebp ret 注意，这里没有修改堆栈MSDN中说，该修饰自动在函数名前加前导的下划线，因此函数名在符号表中被记录为 _fu
8、nction，但是我在编译时似乎没有看到这种变化。由于参数按照从右向左顺序压栈，因此最开始的参数在最接近栈顶的位置，因此当采用不定个数参数时，第一个参数在栈中的位置肯定能知道，只要不定的参数个数能够根据第一个后者后续的明确的参数确定下来，就可以使用不定参数，例如对于CRT 中的 sprintf函数，定义为：名师资料总结-精品资料欢迎下载-名师精心整理-第 2 页，共 5 页 -int sprintf（char*buffer，const char*format，）由于所有的不定参数都可以通过format确定，因此使用不定个数的参数是没有问题的。fastcall fastcall调用约定和stdc
9、all类似，它意味着：函数的第一个和第二个DWORD参数（或者尺寸更小的）通过 ecx 和 edx传递，其他参数通过从右向左的顺序压栈被调用函数清理堆栈函数名修改规则同stdcall 其声明语法为：int fastcall function（int a，int b）thiscall thiscall是唯一一个不能明确指明的函数修饰，因为 thiscall不是关键字。它是 C+类成员函数缺省的调用约定。由于成员函数调用还有一个this指针，因此必须特殊处理，thiscall意味着：参数从右向左入栈如果参数个数确定，this 指针通过 ecx 传递给被调用者；如果参数个数不确定，this指针在所有
10、参数压栈后被压入堆栈。对参数个数不定的，调用者清理堆栈，否则函数自己清理堆栈。为了说明这个调用约定，定义如下类和使用代码：class A public:int function1(int a,int b);int function2(int a,.);int A:function1(int a,int b)return a+b;#include int A:function2(int a,.)va_list ap;va_start(ap,a);int i;int result=0;for(i=0;i a;i+)result+=va_arg(ap,int);return result;void
11、callee()名师资料总结-精品资料欢迎下载-名师精心整理-第 3 页，共 5 页 -A a;a.function1(1,2);a.function2(3,1,2,3);callee函数被翻译成汇编后就变成：/函数 function1调用0401C1D push 2 00401C1F push 1 00401C21 lea ecx,ebp-8 00401C24 call function1 注意，这里this没有被入栈/函数 function2调用00401C29 push 3 00401C2B push 2 00401C2D push 1 00401C2F push 3 00401C31
12、lea eax,ebp-8 这里引入 this指针00401C34 push eax 00401C35 call function2 00401C3A add esp,14h 可见，对于参数个数固定情况下，它类似于 stdcall，不定时则类似cdecl naked call 这是一个很少见的调用约定，一般程序设计者建议不要使用。编译器不会给这种函数增加初始化和清理代码，更特殊的是，你不能用return返回返回值，只能用插入汇编返回结果。这一般用于实模式驱动程序设计，假设定义一个求和的加法程序，可以定义为：_declspec(naked)int add(int a,int b)_asm mov
13、 eax,a _asm add eax,b _asm ret 注意，这个函数没有显式的return返回值，返回通过修改eax寄存器实现，而且连退出函数的ret 指令都必须显式插入。上面代码被翻译成汇编以后变成：mov eax,ebp+8 add eax,ebp+12 ret 8 注意这个修饰是和 _stdcall及 cdecl结合使用的，前面是它和cdecl结合使用的代码，对于和stdcall结合的代码，则变成：_declspec(naked)int _stdcall function(int a,int b)_asm mov eax,a _asm add eax,b 名师资料总结-精品资料欢
14、迎下载-名师精心整理-第 4 页，共 5 页 -_asm ret 8/注意后面的 8 至于这种函数被调用，则和普通的cdecl及 stdcall调用函数一致。函数调用约定导致的常见问题如果定义的约定和使用的约定不一致，则将导致堆栈被破坏，导致严重问题，下面是两种常见的问题：函数原型声明和函数体定义不一致DLL 导入函数时声明了不同的函数约定以后者为例，假设我们在dll 种声明了一种函数为：typedef int(*WINAPI DLLFUNC)func(int a,int b);hLib=LoadLibrary(.);DLLFUNC func=(DLLFUNC)GetProcAddress(.)/这里修改了调用约定result=func(1,2);/导致错误由于调用者没有理解WINAPI的含义错误的增加了这个修饰，上述代码必然导致堆栈被破坏，MFC 在编译时插入的checkesp函数将告诉你，堆栈被破坏了。名师资料总结-精品资料欢迎下载-名师精心整理-第 5 页，共 5 页 -