什么是函数调用约定？

目录

前言

一、函数调用约定的主要内容

二、常见的函数调用约定

1. __cdecl（C Declaration）

2. __stdcall（Standard Call）

3. __fastcall（Fast Call）

4. __thiscall（This Call）

5. __pascal

三、选择合适的调用约定

四、注意事项

---

前言

函数调用约定（Calling Convention）是在程序设计中定义函数如何调用和返回的一套规则。它规定了函数参数的传递方式、返回值的处理、堆栈的管理以及函数名的修饰方式等。不同的调用约定可能会影响程序的性能和可移植性，因此理解它们对于高效编程和调试非常重要。

一、函数调用约定的主要内容

1. 参数传递方式：

   • 传递顺序：参数是从左到右还是从右到左依次压入堆栈。
   • 传递方式：参数是通过寄存器传递还是通过堆栈传递。

2. 堆栈管理：

   堆栈清理者：调用者（caller）还是被调用者（callee）负责在函数调用结束后清理堆栈上的参数。

3. 返回值处理：

   返回值通常通过寄存器（如 EAX）传递。

4. 函数名修饰：

   编译器如何处理函数名，以支持函数重载和避免命名冲突。

二、常见的函数调用约定

1. __cdecl（C Declaration）

• 参数传递：

  • 顺序：从右到左依次压入堆栈。
  • 方式：通过堆栈传递。

• 堆栈管理：

  • 由调用者清理堆栈。这意味着调用者在函数调用后需要负责移除参数。

• 返回值：

  • 通常通过 EAX 寄存器返回。

• 函数名修饰：

  • 在函数名前加上下划线（如 _FunctionName）。
  • 适用于可变参数函数（如 printf），因为调用者负责堆栈清理，函数本身不需要知道参数的个数。

• 特点：

  • 是 C 语言的默认调用约定。
  • 支持函数重载。

• 示例：

// 声明
int __cdecl add(int a, int b);

// 定义
int __cdecl add(int a, int b) {
    return a + b;
}

2. __stdcall（Standard Call）

• 参数传递：

  • 顺序：从右到左依次压入堆栈。
  • 方式：通过堆栈传递。

• 堆栈管理：

  • 由被调用者清理堆栈。这意味着被调用的函数在返回前负责移除参数。

• 返回值：

  • 通常通过 EAX 寄存器返回。

• 函数名修饰：

  • 在函数名后加上 @ 和参数的字节数（如 FunctionName@8）。
  • 在函数名前加上下划线（如 _FunctionName@8）。

• 特点：

  • 常用于 Windows API 函数。
  • 不支持可变参数函数。

• 示例：

// 声明
int __stdcall add(int a, int b);

// 定义
int __stdcall add(int a, int b) {
    return a + b;
}

3. __fastcall（Fast Call）

• 参数传递：

  • 顺序：前两个双字（DWORD）或更小的参数通过寄存器传递（通常是 ECX 和 EDX），剩余参数从右到左压入堆栈。

• 堆栈管理：

  • 由被调用者清理堆栈。

• 返回值：

  • 通常通过 EAX 寄存器返回。

• 函数名修饰：

  • 在函数名前加上 @，并在函数名后加上 @ 和参数的字节数（如 @FunctionName@8）。

• 特点：

  • 通过使用寄存器传递部分参数，提高调用效率。
  • 适用于参数较少且频繁调用的函数。

• 示例：

// 声明
int __fastcall add(int a, int b);

// 定义
int __fastcall add(int a, int b) {
    return a + b;
}

4. __thiscall（This Call）

• 适用范围：

  • 专用于 C++ 类的成员函数调用。

• 参数传递：

  • 顺序：从右到左依次压入堆栈。
  • 方式：通过堆栈传递参数，this 指针通过寄存器（通常是 ECX）传递。

• 堆栈管理：

  • 由被调用者清理堆栈。

• 返回值：

  • 通常通过 EAX 寄存器返回。

• 函数名修饰：

  • 编译器根据具体实现进行修饰，通常与其他调用约定不同。

• 特点：

  • 不能显式指定为函数调用约定，编译器会自动处理。
  • 仅适用于成员函数，不适用于普通函数。

• 示例：

class MyClass {
public:
    void memberFunction(int a, int b);
};

// 编译器会自动使用 __thiscall 调用约定
void MyClass::memberFunction(int a, int b) {
    // 实现
}

5. __pascal

• 状态：

  • 已被废弃：在现代 Visual C++ 中，__pascal 已经被废弃，不再推荐使用。

• 特点：

  • 参数传递顺序与 __stdcall 类似，但从左到右压入堆栈。
  • 被早期的 Pascal 语言调用约定所采用。

• 示例：

// 已废弃，不推荐使用
int __pascal add(int a, int b);

三、选择合适的调用约定

1. 默认选择：对于普通的 C/C++ 函数，通常使用 __cdecl，因为它支持可变参数函数（如 printf）。
2. 性能优化：对于频繁调用且参数较少的函数，可以考虑使用 __fastcall，通过寄存器传递部分参数，提高调用效率。
3. 与外部库兼容：当调用 Windows API 函数或其他采用特定调用约定的外部库函数时，需使用对应的调用约定（如 __stdcall）。
4. 类成员函数：不需要手动指定，编译器会自动使用 __thiscall 调用约定。

四、注意事项

• 一致性：在同一个项目中，确保函数调用约定的一致性，避免因调用约定不匹配导致的程序错误或崩溃。

• 跨语言调用：当在不同编程语言之间调用函数时，需确保双方使用相同的调用约定，以保证参数传递和堆栈管理的正确性。

• 编译器支持： 不同的编译器可能对调用约定的支持有所不同，使用前应查阅相应编译器的文档。