哪些C语言说明符会引发调用者与被调用者之间的ABI不兼容？

问题示例 #

FileA.c #

short foo();

int main(){
   foo();
}

FileB.c #

int foo(){
   //Some code
}

这段代码存在明显错误，核心问题是调用者与被调用者的ABI约定不匹配：调用者main认为foo返回short类型，只会为返回值分配对应大小的栈空间或使用指定寄存器；但实际foo返回int类型，会按照int的规则处理返回值，这会直接破坏调用栈或寄存器状态，引发未定义行为。

会引发ABI不兼容的说明符及原因 #

以下几类说明符如果在函数声明和定义中出现不一致，即便通过指针跨二进制调用，也会触发ABI不兼容问题：

1. 类型相关说明符 #

• 返回值/参数类型不匹配：像示例中short和int的差异，不同类型的大小、对齐方式、返回/传递规则完全不同——小类型可能只用寄存器低位存储，大类型可能依赖栈或多寄存器协同，调用者和被调用者的处理逻辑完全冲突。
• 类型限定符（const/volatile）：如果声明中参数是const int*但定义是int*，虽然类型本质兼容，但部分编译器会针对const做激进优化（比如假设参数指向内容不会被修改），而实际定义修改了该内容，会导致逻辑混乱；极端场景下也会触发ABI层面的未定义行为。

2. 存储类说明符 #

• static：声明无static（全局可见）但定义加static，会导致链接时找不到函数；反过来，声明加static但定义为全局函数，部分ABI中static函数会被编译器做特殊优化（比如内联、修改调用约定），通过指针调用时会出现不兼容。
• extern（含extern "C"）：如果声明用extern但定义未加，或跨语言场景下声明用extern "C"但定义是C风格，会直接改变函数的名字修饰规则，导致链接失败或调用时的ABI不匹配（C和C的调用约定、名字 mangling 逻辑完全不同）。

3. 原子说明符（_Atomic） #

若声明中参数/返回值是_Atomic int，但定义是普通int（或反过来），原子类型的传递和返回遵循特殊ABI规则（依赖原子指令、内存屏障或特定寄存器），普通类型的处理逻辑完全不兼容，会直接导致数据损坏或执行错误。

4. 调用约定说明符 #

显式指定调用约定的说明符（如__stdcall、__cdecl、__fastcall）：如果声明用__stdcall但定义用__cdecl，调用者和被调用者对栈的清理责任（谁恢复栈指针）、参数传递顺序的约定完全不同，会直接破坏调用栈，引发程序崩溃。

5. 可变参数相关说明符 #

如果声明是可变参数函数（如void foo(int, ...)），但定义是固定参数（如void foo(int a, int b)），调用者会按照可变参数规则传递参数（栈传递、无类型检查），而被调用者按固定参数读取，会导致参数读取错误，属于严重的ABI不兼容。

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