C/C++编译器如何正确处理函数指针调用的ABI？如何确定其指向函数的ABI？

让我一步步拆解你的问题，帮你理清C/C++里函数指针和ABI的核心逻辑：

1. 编译器通过函数指针调用函数时，如何正确处理ABI？ #

当编译器生成函数指针的调用代码时，它完全是照着这个函数指针自身绑定的ABI（更准确地说，是调用约定）来生成指令的：

• 举个例子：如果函数指针是按cdecl约定声明的，编译器会生成让调用者负责清理栈的代码；要是stdcall约定，就会让被调用者来清理栈。
• 具体操作细节包括：严格按照约定的顺序传递参数（比如x86下cdecl是从右到左压栈）、使用指定的寄存器传递参数（比如x86-64的System V ABI会用RDI、RSI等寄存器传递前几个参数）、遵循约定的返回值存储规则（比如整数返回值用EAX/RAX寄存器）。
• 这里的核心是：编译器不管指针实际指向的函数原本用的是什么ABI，它只会按你声明的函数指针的ABI约定来生成调用代码——这也是为什么ABI不匹配时会直接触发栈损坏、程序崩溃这类未定义行为。

2. 编译器如何知晓函数指针所指向函数的ABI？ #

这里有个容易混淆的关键点：函数指针的类型本身就包含了ABI（调用约定）信息，它可不是只定义了函数的API接口。

• 在C/C++里，当你声明函数指针时，要么显式指定了调用约定，要么编译器会给它绑定默认的ABI。比如在MSVC中，void (__stdcall *fp)(int)就明确标记了这个指针遵循stdcall约定；而在GCC/Clang的Linux/macOS环境下，函数指针默认使用系统原生的System V ABI，这是编译器内置的默认规则。
• 编译器根本不需要“猜”指针指向的实际函数的ABI，它只需要严格按照函数指针类型携带的约定来工作。但这里的前提是：你作为程序员必须保证，赋值给指针的函数的实际ABI和指针声明的ABI完全一致——如果不一致，那就是未定义行为，编译器没法静态验证这种动态绑定的匹配性。

那这种情况对编译器会造成问题吗？其实不会，编译器是基于你提供的类型信息来生成代码的，它信任你会做好类型匹配。但对程序员来说，这确实是个需要格外留意的坑：

• 如果你需要跨ABI场景开发（比如调用Windows系统API，或者和其他语言编写的代码交互），就必须显式指定函数指针的调用约定，确保和目标函数的ABI完全对齐。
• 比如在MSVC中调用Win32 API时，这些API几乎都是stdcall约定，所以你声明函数指针时必须加上__stdcall修饰符；而在Linux下，默认的System V ABI不需要显式声明，除非你要和使用特殊约定的代码交互。

额外补充：C标准本身并没有定义ABI，ABI是平台和编译器实现层面的规则。不同编译器、不同操作系统的ABI可能差异很大，这也是跨平台使用函数指针时容易踩坑的原因。

内容的提问来源于stack exchange，提问作者JiaHao Xu