为何别名函数与原函数原型不同时无报错及警告？（GCC-ARM环境）

相关代码示例 #

// test.c
void __f () { /* Do something. */; }
int f (int) __attribute__ ((weak, alias ("__f")));

// test.h
void f ();

// main.c
// call f
f();

编译无报错/警告的原因 #

• GCC的alias属性设计不做原型校验：GCC在处理alias属性时，仅确保目标函数（__f）存在，不会检查别名函数与目标函数的签名（参数、返回值）是否一致，4.9版本的GCC对这类不匹配的检查尤为宽松。
• 分离编译的局限性：main.c引用的test.h中void f();的声明，与test.c里int f(int)的别名定义属于不同编译单元，编译阶段GCC不会跨单元校验签名一致性；链接阶段，别名只是符号层面的映射，链接器只处理符号引用，不校验函数的参数/返回值类型。
• 弱符号的特性：f被标记为weak弱符号，即使存在签名不匹配的情况，链接器也不会报错，只会优先使用该弱符号的映射关系。

这样操作的后果 #

• 触发未定义行为：C标准明确规定，函数调用的参数、返回值与实际定义不匹配属于未定义行为，程序可能出现任何不可预测的结果，比如崩溃、逻辑混乱等。
• 栈结构损坏：调用f()时不会传递参数，但别名f(int)声明需要一个int参数，调用时栈上会预留参数空间，实际无参数传入会破坏栈布局，可能覆盖其他栈数据，引发崩溃或奇怪的运行时错误。
• 返回值异常：__f是无返回值的void类型，但别名f被声明为返回int，调用后程序会尝试从栈或寄存器读取返回值，得到的是随机垃圾数据，可能导致后续逻辑错误。
• 调试难度大：这类问题不会在编译期暴露，仅在运行时出现随机故障，很难定位根源，因为代码调用看起来符合头文件声明，底层符号映射的不匹配难以察觉。

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