C语言中函数调用的解析及相关校验是否在编译阶段完成？

编译&链接阶段完成的工作 #

• 函数声明与调用的匹配检查：
  每个编译单元（.c文件）单独编译时，编译器会依据当前可见的函数原型检查调用的参数数量、类型是否匹配，不匹配直接抛出编译错误。
  • C99及之后的标准已禁止函数隐式声明，若调用未声明的函数，编译直接报错；
  • C89标准允许隐式声明，此时编译器会默认将函数视为int func()（接受任意参数、返回int），但这种隐式声明极易引发后续问题。
• 参数传递规则的确定：编译器会根据目标平台的调用约定（如cdecl、stdcall）生成对应的汇编代码，确定参数是通过栈传递还是寄存器传递、入栈顺序等，这些规则在编译阶段就已固定。
• 函数链接匹配：链接器负责将所有目标文件中的函数调用与对应的函数定义关联，它仅检查函数名是否存在，不会验证参数类型或返回值是否匹配——这也是为什么隐式声明导致的类型不匹配，链接阶段不会报错，但运行时会触发未定义行为（UB）。

运行时的函数处理逻辑 #

运行时不会再做任何函数声明、定义与调用的匹配检查，仅执行编译期生成的指令：

• 实际参数传递：按照编译期确定的调用约定，将参数的值（或地址）传递给函数；
• 函数执行流程：程序跳转到函数的内存入口地址，在栈上分配局部变量空间，执行函数体代码，完成后返回调用点继续执行；
• 动态链接场景：若调用的是动态链接库中的函数，在程序启动加载阶段（运行时初始化）会完成函数地址的绑定，但这仅涉及地址映射，同样不会检查参数或返回值类型。

关键注意事项 #

• 始终显式声明函数原型，最好通过头文件统一管理所有函数声明，确保所有编译单元使用的声明一致；
• 链接器不检查参数类型的特性，意味着即使函数调用与定义的参数不匹配，程序也可能通过链接，但运行时会出现不可预测的错误，必须在编译阶段通过显式原型规避这类问题。

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