关于C和C++中函数的调用约定.doc

在C和C++编程中，函数的调用约定（Calling Convention）和函数名修饰规则（Decorated Name）是两个至关重要的概念，它们直接影响到程序的链接和执行过程。当混合使用C和C++代码，或者在C++程序中调用第三方非C++库时，这些问题尤为突出。本文将详细阐述这两种语言的调用约定和修饰规则，以及它们可能导致的常见问题。 函数调用约定定义了函数参数如何入栈、谁负责清理栈帧，以及如何处理返回值。C和C++中常见的调用约定包括： 1. **__cdecl**：这是C/C++编译器的默认约定，也是C语言的标准调用约定。参数按从右到左的顺序压入栈，由调用者负责清理栈。因此，__cdecl允许可变参数列表，如`printf`和`wsprintf`。在C++中，非成员函数和未声明为其他约定的函数默认采用此约定。C函数的名字修饰是在函数名前加下划线，而C++函数通常使用更复杂的名字修饰。 2. **__fastcall**：这个约定尝试通过寄存器传递参数以提高效率。通常，前两个DWORD或更小的参数存储在ECX和EDX寄存器中，其余参数按从右到左的顺序入栈，由被调用函数负责清理。函数名修饰为`@function_name@number`，其中`number`表示参数列表的大小。然而，不同编译器的实现可能有所差异，使用时需谨慎。 3. **__stdcall**：这是Pascal语言的默认调用约定，也是Windows API通常采用的方式。参数同样按从右到左的顺序入栈，但由被调用函数清理栈。因此，__stdcall调用约定在Windows编程中广泛应用。函数名修饰为`_function_name@number`，表示参数列表的字节数。 4. **thiscall**：这是C++中成员函数的默认调用约定。参数按从右到左的顺序入栈，但`this`指针通常通过ECX寄存器传递，而非压入栈中。由被调用函数清理栈。 5. **naked call**：这种约定下，编译器不生成任何进入和退出函数的额外代码，如栈帧设置和清理，允许程序员使用汇编代码完全控制这些细节。 函数名修饰规则在C和C++之间也存在差异。在C++中，为了支持名字空间、类和重载，编译器会使用更复杂的修饰方式，如名称 mangling，以确保每个函数都有唯一的标识。而在C语言中，函数名修饰通常较为简单，主要涉及下划线的添加。 当C和C++代码混合使用，或者C++程序调用非C++编译的库时，如果不注意调用约定和名称修饰的匹配，就会导致链接错误（如LNK 2001）或运行时堆栈异常。解决这类问题的方法包括： - 明确声明函数的调用约定，如使用`extern "C"`来告诉C++编译器使用C风格的调用约定和名称修饰。 - 在头文件中正确地声明和定义函数，确保参数类型和调用约定一致。 - 对于库函数，了解其编译和链接的约定，确保与调用代码匹配。 理解并正确使用函数调用约定和函数名修饰规则是避免C和C++程序中常见错误的关键。正确应用这些规则可以保证程序的正确链接和执行，提高代码的兼容性和可维护性。