c参数入栈顺序总结.doc

《c参数入栈顺序总结.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、总结一下:  编译出来的ｃ/ｃ+＋程序的参数压栈顺序只和编译器相关！在C语言中,假设我们有这样的一个函数：ﻫ　inｔfuncｔion（inta，iｎtb)ﻫ调用时只要用resuｌt＝　fｕnction（1,２)这样的方式就可以使用这个函数。但是，当高级语言被编译成计算机可以识别的机器码时，有一个问题就凸现出来:在ＣPU中,计算机没有办法知道一个函数调用需要多少个、什么样的参数，也没有硬件可以保存这些参数.也就是说,计算机不知道怎么给这个函数传递参数，传递参数的工作必须由函数调用者和函数本身来协调.为此，计算机提供了一种被称为栈的数据结构

2、来支持参数传递.ﻫﻫ　栈是一种先进后出的数据结构，栈有一个存储区、一个栈顶指针。栈顶指针指向堆栈中第一个可用的数据项（被称为栈顶)。用户可以在栈顶上方向栈中加入数据,这个操作被称为压栈（Puｓｈ)，压栈以后，栈顶自动变成新加入数据项的位置，栈顶指针也随之修改。用户也可以从堆栈中取走栈顶，称为弹出栈(pop)，弹出栈后,栈顶下的一个元素变成栈顶，栈顶指针随之修改。ﻫ　函数调用时，调用者依次把参数压栈，然后调用函数，函数被调用以后,在堆栈中取得数据，并进行计算.函数计算结束以后，或者调用者、或者函数本身修改堆栈，使堆栈恢复原装。ﻫﻫ在参数传

3、递中，有两个很重要的问题必须得到明确说明:　当参数个数多于一个时，按照什么顺序把参数压入堆栈函数调用后,由谁来把堆栈恢复原装　　在高级语言中,通过函数调用约定来说明这两个问题。常见的调用约定有:ﻫﻫstｄcallﻫ　cdeｃｌﻫ　fastcallﻫthisｃall　nａｋedcallstdｃall调用约定ﻫ　ｓtdcａlｌ很多时候被称为ｐasｃａl调用约定，因为ｐaｓcal是早期很常见的一种教学用计算机程序设计语言，其语法严谨，使用的函数调用约定就是sｔｄｃａｌl。在Miｃｒosoft　C＋+系列的Ｃ/C++编译器中，常常用PASＣAL

4、宏来声明这个调用约定，类似的宏还有WINAPI和CALLＢACK。　　stdｃaｌｌ调用约定声明的语法为（以前文的那个函数为例)：ﻫ　int_＿ｓtdcaｌlｆuｎcｔion(inta,inｔb）ﻫ　sｔdcalｌ的调用约定意味着：1）参数从右向左压入堆栈，2)函数自身修改堆栈3)函数名自动加前导的下划线，后面紧跟一个@符号，其后紧跟着参数的尺寸　　以上述这个函数为例，参数b首先被压栈,然后是参数ａ，函数调用functiｏn（１,2)调用处翻译成汇编语言将变成:ﻫﻫpush　2第二个参数入栈ｐush１第一个参数入栈ｃａllfunｃｔio

5、n　调用参数，注意此时自动把ｃs：eｉp入栈ﻫ　而对于函数自身,则可以翻译为：ﻫﻫ　ｐusｈｅbp保存eｂp寄存器，该寄存器将用来保存堆栈的栈顶指针,可以在函数退出时恢复ｍoｖebp，esp保存堆栈指针ｍov　ｅax，［ebｐ　+８H]堆栈中eｂｐ指向位置之前依次保存有eｂｐ，cs:ｅｉp,a,ｂ，ebｐ+8指向aａdｄ　eax,［eｂp　+0CＨ]堆栈中ebp+　12处保存了ｂmoveｓp,ｅbp恢复esppｏpebpreｔ8ﻫ　而在编译时,这个函数的名字被翻译成_funcｔｉon＠８ﻫ　注意不同编译器会插入自己的汇编代码以提供编译的

6、通用性，但是大体代码如此.其中在函数开始处保留eｓp到ebp中,在函数结束恢复是编译器常用的方法。ﻫ从函数调用看,2和1依次被push进堆栈，而在函数中又通过相对于ebp（即刚进函数时的堆栈指针）的偏移量存取参数。函数结束后，ret8表示清理8个字节的堆栈，函数自己恢复了堆栈。ﻫ　　cdecｌ调用约定ﻫcdｅｃl调用约定又称为C调用约定，是C语言缺省的调用约定，它的定义语法是:ﻫ　iｎtfunctｉｏｎ（ｉnta　，intb)　//不加修饰就是C调用约定ｉnt__cdecｌfunctioｎ（inｔa，inｔ　b）／/明确指出C调用约定ﻫ

7、　　在写本文时,出乎我的意料，发现cdecｌ调用约定的参数压栈顺序是和stｄcall是一样的,参数首先由有向左压入堆栈。所不同的是,函数本身不清理堆栈，调用者负责清理堆栈.由于这种变化，C调用约定允许函数的参数的个数是不固定的，这也是C语言的一大特色。对于前面的functioｎ函数，使用ｃdeｃl后的汇编码变成:ﻫ　调用处pusｈ1pｕｓｈ　2ｃａllfunｃtionaddesp，８注意：这里调用者在恢复堆栈被调用函数＿function处puｓhｅbp保存ebp寄存器，该寄存器将用来保存堆栈的栈顶指针，可以在函数退出时恢复moｖebp,

8、esp　保存堆栈指针mｏv　eax,[ebｐ　+8H］堆栈中ebp指向位置之前依次保存有ｅbp,cｓ：eｉp，a,b，ebp+８指向aａddeaｘ，[ebp＋0CＨ]堆栈中ｅbp+12处保存了ｂmovesｐ