• C/C++函数调用的几种方式


    我们知道,调用函数时,计算机常用栈来存放函数执行需要的参数,由于栈的空间大小是有限的,在windows下栈是向低地址扩展的数据结构,是一块连续的内存区域。这句话的意思是栈顶的地址和栈的最大容量是系统预先规定好的,windows下栈的大小是2M(也有的说是1M),如果申请的空间超过栈的剩余空间时,将提示overflow。
    在函数调用时,第一个进栈的是主函数中后的下一条指令(函数调用语句的下一条可执行语句)的地址,然后是函数的各个参数,在大多数的C编译器中,参数是由右往左入栈的,然后是函数中的局部变量。注意静态变量是不入栈的。
    在参数传递中,有两个重要的问题必须要明确说明:
    1. 当参数个数多于一个时,按照什么顺序把参数压入堆栈;
    2. 函数调用后,由谁来把堆栈恢复原状。
    在高级语言中,就是通过函数的调用方式来说明这两个问题的。常见的调用方式有:
    stdcall
    cdecl
    fastcall
    thiscall
    thiscall
    naked call
    下面就分别介绍这几种调用方式:
    1. stdcall
    stdcall调用方式又被称为Pascal调用方式。在Microsoft C++系列的C/C++编译器中,使用PASCAL宏,WINAPI宏和CALLBACK宏来指定函数的调用方式为stdcall。
    stdcall调用方式的函数声明为:
    int _stdcall function(int a, int b);
    stdcall的调用方式意味着:
    (1) 参数从右向左依次压入堆栈
    (2) 由被调用函数自己来恢复堆栈
    (3) 函数名自动加前导下划线,后面紧跟着一个@,其后紧跟着参数的尺寸
    上面那个函数翻译成汇编语言将变成:
    push b 先压入第二个参数
    push a 再压入第一个参数
    call function 调用函数
    在编译时,此函数的名字被翻译为_function@8
    2. cdecl
    cdecl调用方式又称为C调用方式,是C语言缺省的调用方式,它的语法为:
    int function(int a, int b) // 不加修饰符就是C调用方式
    int _cdecl function(int a, int b) // 明确指定用C调用方式
    cdecl的调用方式决定了:
    (1) 参数从右向左依次压入堆栈
    (2) 由调用者恢复堆栈
    (3) 函数名自动加前导下划线
    由于是由调用者来恢复堆栈,因此C调用方式允许函数的参数个数是不固定的,这是C语言的一大特色。
    此方式的函数被翻译为:
    push b // 先压入第二个参数
    push a // 在压入第一个参数
    call funtion // 调用函数
    add esp, 8 // 清理堆栈 。。。。。需要熟悉一下esp寄存器的功能,建议看一下汇编有关的书,基本都有讲
    在编译时,此方式的函数被翻译成:_function
    3. fastcall
    fastcall 按照名字上理解就可以知道,它是一种快速调用方式。此方式的函数的第一个和第二个DWORD参数通过ecx和edx传递,
    后面的参数从右向左的顺序压入栈。
    被调用函数清理堆栈。
    函数名修个规则同stdcall
    其声明语法为:
    int fastcall function(int a, int b);
    4. thiscall
    thiscall 调用方式是唯一一种不能显示指定的修饰符。它是c++类成员函数缺省的调用方式。由于成员函数调用还有一个this指针,因此必须用这种特殊的调用方式。
    thiscall调用方式意味着:
    参数从右向左压入栈。
    如果参数个数确定,this指针通过ecx传递给被调用者;如果参数个数不确定,this指针在所有参数压入栈后被压入栈。
    参数个数不定的,由调用者清理堆栈,否则由函数自己清理堆栈。
    可以看到,对于参数个数固定的情况,它类似于stdcall,不定时则类似于cdecl。
    5. naked call
    是一种比较少见的调用方式,一般高级程序设计语言中不常见。
    函数的声明调用方式和实际调用方式必须一致,必然编译器会产生混乱。
    函数名字修改规则:
    1. C编译时函数名修饰约定规则:
    __stdcall调用约定在输出函数名前加上一个下划线前缀,后面加上一个“@”符号和其参数的字节数,格式为_function@8。
    __cdecl调用约定仅在输出函数名前加上一个下划线前缀,格式为_function。
    __fastcall调用约定在输出函数名前加上一个“@”符号,后面也是一个“@”符号和其参数的字节数,格式为@function@8。
    它们均不改变输出函数名中的字符大小写,这和PASCAL调用约定不同,PASCAL约定输出的函数名无任何修饰且全部大写。
    2. C++编译时函数名修饰约定规则:
    __stdcall调用约定:
    (1)以“?”标识函数名的开始,后跟函数名;
    (2)函数名后面以“@@YG”标识参数表的开始,后跟参数表;
    (3)参数表以代号表示:
    X--void ,
    D--char,
    E--unsigned char,
    F--short,
    H--int,
    I--unsigned int,
    J--long,
    K--unsigned long,
    M--float,
    N--double,
    _N--bool,
    ....
    PA--表示指针,后面的代号表明指针类型,如果相同类型的指针连续出现,以“0”代替,一个“0”代
    表一次重复;
    (4)参数表的第一项为该函数的返回值类型,其后依次为参数的数据类型,指针标识在其所指数据类型前;
    (5)参数表后以“@Z”标识整个名字的结束,如果该函数无参数,则以“Z”标识结束。
    其格式为“?functionname@@YG*****@Z”或“?functionname@@YG*XZ”,例如
    int Test1(char *var1,unsigned long)-----“?Test1@@YGHPADK@Z”
    void Test2() -----“?Test2@@YGXXZ”
    __cdecl调用约定:
    规则同上面的_stdcall调用约定,只是参数表的开始标识由上面的“@@YG”变为“@@YA”。
    __fastcall调用约定:
    规则同上面的_stdcall调用约定,只是参数表的开始标识由上面的“@@YG”变为“@@YI”。
    VC++对函数的省缺声明是"__cedcl",将只能被C/C++调用。
  • 相关阅读:
    Javascript面向对象(三):非构造函数的继承
    Javascript面向对象(二):构造函数的继承
    Javascript 面向对象(一):封装
    .NET面试题系列[12]
    .NET面试题系列[11]
    .NET面试题系列[10]
    .NET面试题系列[9]
    .NET面试题系列[8]
    .NET面试题系列[7]
    .NET面试题系列[6]
  • 原文地址:https://www.cnblogs.com/robbychan/p/3786941.html
Copyright © 2020-2023  润新知