C语言中向无参数函数传参的问题及C23标准修改的防护作用

一、C23的修改能预防的编程与安全问题 #

• 编译期参数校验缺失问题：在旧标准中，int foo();属于旧式函数声明，编译器不会对调用时的参数数量、类型做校验，哪怕写成foo(5, 6)这种明显错误的调用也能通过编译。C23将其等价于int foo(void);后，编译器会强制检查调用是否无参，直接在编译阶段拦截这类错误，避免问题流入运行期。
• 未定义行为的触发：错误传参给无参数函数属于C标准明确的未定义行为，可能引发栈溢出、数据损坏、程序崩溃等不可预测的结果。新规则通过编译期检查从源头杜绝了这类未定义行为的触发。
• 代码可读性与维护隐患：旧式声明的语义模糊，其他开发者可能误以为该函数可以接受任意参数，导致后续维护时出现错误调用。新规则让函数的无参意图清晰明确，降低了团队协作中的误解成本。

二、向不期望参数的函数传参的严重问题 #

• 栈布局破坏与程序崩溃：无参数函数的定义中不会处理额外传入的参数，调用时压入栈的多余数据会在函数返回时干扰栈指针的恢复，直接导致栈溢出或程序崩溃。
• 寄存器/内存数据污染：部分调用约定下，参数会通过寄存器传递，无参数函数不会清理或使用这些寄存器的值，后续代码若依赖这些寄存器，会出现逻辑错误，甚至篡改程序关键数据。
• 安全漏洞风险：未定义行为可能被攻击者利用，通过构造特定参数触发程序执行异常逻辑，比如泄露敏感内存数据、执行恶意代码，这在安全敏感的应用场景中是极高的风险点。
• 调试难度剧增：这类错误引发的问题没有明确的编译报错，运行时的异常表现混乱，栈回溯信息可能失真，开发者很难快速定位问题根源。

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