ITPub博客

首页 > 应用开发 > IT综合 > 通过汇编看调用协定 (转)

通过汇编看调用协定 (转)

原创 IT综合 作者:amyz 时间:2007-08-14 15:14:42 0 删除 编辑
通过汇编看调用协定 (转)[@more@]

 调用函数的时候,有各种不同的调用约定。它们规定了参数的传送方式、参数是否可变,由谁来处理堆栈等。常用的调用约定有两种:C语言调用约定和Pascal语言调用约定。
  可以在工程设置中设定自定义函数的调用规则,也可以在函数声明和定义的时候在函数名前加关键词或api宏定义(如_cdecl、__stdcall、__fastcall、WINAPI、APIENTRY等)明确表示函数的调用协定。
  下面将分别说明各种调用协定的用法和意义,并附以相应的汇编代码分析。

1、C语言调用约定

  采用C语言编程的时候,默认使用C/C++语言调用约定。也可以手工指定,这需要在函数声明时加上__cdecl关键字。采用本约定时,参数从右到左入栈,个数可变。由于函数体不能预先知道传进来的参数个数,因此采用本约定时必须由调用函数者负责堆栈清理。由于参数可变,此约定比较灵活,但是性能比较低。生成的代码中函数名有一个_(下划线)做前缀。
  举例:
  int __cdecl Add(int a, int b)
  {
  return (a + b);
  }
 
  函数调用:
  Add(1, 2);

  push  2
  push  1
  call  @Add  ;其实还有编译器用于定位函数的表达式这里把它省略了
  add esp,8  ;清栈

  函数体:

  push  ebp
  mov  ebp,esp
  sub  esp,40h  ;函数使用的栈默认为40H(16*4),增加一个变量加4byteswin32下栈的粒度为4bytes。 
  push  ebx
  push  esi
  push  edi

  lea edi,[ebp-40h]  ;初始化用于该函数的栈空间为0XCCCCCCCC
  mov  ecx,10h
  mov  eax,0CCCCCCCCh
  rep stos  dword ptr [edi]

  return (a + b);

  mov  eax,dword ptr [ebp+8] 
  add  eax,dword ptr [ebp+0Ch]

  pop  edi
  pop  esi
  pop  ebx
  mov   esp,ebp  ;如果在此函数中对ESP进行操作,则会有add esp, 40h cmp esp,ebp call chkesp, 检查弹出的ESP指针是否和EBP相同,若不同则调用chkesp抛出异常 
 pop  ebp 

 ret

下图指出了该函数的栈的使用情况: 

 函数中栈的使用情况.jpg2003-4-28156100.jpg" align=baseline border=0>


2、Pascal语言调用约定

  大部分的windows API都采用Pascal语言调用约定。采用C语言编程的时候,如果要采用这种调用约定,需要在函数声明的时候加上__stdcall关键字。windows.h头文件中也定义了一个WINAPI的宏,起同样的作用。采用本约定时,参数从右到左入栈,个数固定。因此,函数体本身就能知道传进来的参数个数,可以用一条ret n指令直接清理堆栈。牺牲灵活性换来的,是性能的提高。生成的代码中函数名一个_(下划线)做前缀、一个@和参数总字节数(十进制)作后缀(参数的个数乘以4)。WINAPI CALLBACK APIENTRY PASCAL 都是__stdcall的宏定义,而__pascal是一个废弃的关键词。
  举例:
  int __stdcall Add(int a, int b)
  {
  return (a + b);
  }
 
  函数的调用:
  push  2
  push  1
  call  to:_Add@8">_Add@8   ;这里使用了连接时使用的函数名
 
  函数体:
  ;和__cdecl一样,最后一行如下:
  ret  8   ;清栈


3、This调用约定

  用于C++中的非静态类成员函数,它只能被编译器使用,没有相应的关键字。在intel IA32架构下,此调用约定跟PASCAL语言调用约定相同,只是另外通过ECX寄存器传送一个额外的参数—this指针。在函数中清理栈,不能在C中使用,没有C的换名规则,所以说类的非静态成员函数不能作为回调函数。
  举例:
  struct CSum
  {
  int Add(int a, int b)
  {
  return (a + b);
  }
  };
  函数调用:
  CSum  sum;
  sum.Add(1, 2);

  push  2
  push  1
  lea  ecx,[ebp-4]  ;ecx存放了this指针
  call  ?Add@CSum@@QAEHHH@Z   ;当重复定义一个类成员函数时,可以在输出框中得到该名字
 
  函数体:
  push  ebp
  mov  ebp,esp
  sub  esp,44h  ;多用了一个4bytes的空间用于存放this指针
  push  ebx
  push  esi
  push  edi
  push  ecx
  lea  edi,[ebp-44h]
  mov  ecx,11h
  mov  eax,0CCCCCCCCh
  rep stos  dword ptr [edi]
  pop  ecx
  mov  dword ptr [ebp-4],ecx
 
  return (a + b);

  mov  eax,dword ptr [ebp+8]
  add  eax,dword ptr [ebp+0Ch]

  pop  edi
  pop  esi
  pop  ebx
  mov  esp,ebp
  pop  ebp
  ret  8 ;清栈


4、快速调用约定

  这种调用约定用于对性能要求非常高的场合,关键字是__fastcall。它要求将参数放在寄存器中,以提高速度。在Intel IA32架构下,此调用约定将函数最左边两个大小小于4个字节(DWORD的大小)的参数放在ECX和EDX寄存器,其余规定同Pascal调用约定。生成的代码中函数名有一个@做前缀和一个@加上参数

总字节数(十进制)作后缀。
  举例:
  int __fastcall Add(int a, int b, int c)
  {
  return (a + b + c);
  }
  函数的调用:
  Add(1, 2, 3);

  push  3
  mov  edx, 2
  mov  ecx, 1
  call  @Add@8 ;这里使用了连接时使用的函数名

  函数体:
  push  ebp
  mov  ebp,esp
  sub  esp,48h    ;多使用了两个变量在[ebp-4]、[ebp-8]
  push  ebx
  push  esi
  push  edi
  push  ecx
  lea  edi,[ebp-48h]
  mov  ecx,12h
  mov  eax,0CCCCCCCCh
  rep stos  dword ptr [edi]
  pop  ecx
  mov  dword ptr [ebp-8],edx  ;还是将edx,ecx的内容放在
  mov  dword ptr [ebp-4],ecx  ;栈中似乎并没有提高速度

  return (a + b + c);

  mov  eax,dword ptr [ebp-4]
  add  eax,dword ptr [ebp-8]
  add  eax,dword ptr [ebp+8]

  pop  edi
  pop  esi
  pop  ebx
  mov  esp,ebp
  pop  ebp
  ret  4  ;清栈

5、裸调用约定

  当嵌入式汇编程序员需要手工控制调用约定的时候,使用这 种方法。它没有相应的关键字,但是有一个__declspec(naked)用来指定这种调用约定。它不能用于函数声明,只能用于函数定义,也就是说,它只能让编译器不要生成函数体中的堆栈管理代码,但是调用函数者依然需要前面的某种调用约定来生成调用函数的代码。此协定本人没用过,希望有高手补充。


本文参考:
ASP">http://www.codeproject.com/cpp/calling_conventions_demystified.asp
以及CSDN上众多网友的回答。


来自 “ ITPUB博客 ” ,链接:https://blog.itpub.net/10752019/viewspace-956269/ ,如需转载,请注明出处,否则将追究法律责任。

请登录后发表评论 登录
全部评论
  • 博文量
    3982
  • 访问量
    7895578