约束违反是否必触发诊断？为何Clang未警告K&R函数缺参数声明？

我想了解在K&R函数定义中省略参数声明会发生什么，于是编写了如下代码：

#include <stdio.h>

void f(a) 
// int a;       <--- 省略`declaration-list`在gcc中会触发警告，但clang无任何提示
{
    printf("%d", 9);
}

int main() 
{
    f(9);
    return 0;
}

使用gcc 11编译时，会发出警告形式的诊断信息：warning: type of 'a' defaults to 'int'；但使用clang 14编译时，未产生任何诊断信息。这让我感到困惑，因为根据C标准，省略包含参数声明的declaration-list属于约束违反（见C11 6.9.1(6)），符合标准的实现必须发出诊断信息（见C11 5.1.1.3）。那么为何Clang未发出警告？我是否存在理解错误？

补充疑问 #

若编译器可通过标准中的其他条款“修复”约束违反，是否仍必须发出诊断信息？例如，上述代码中的空declaration-list从C89起就是约束违反，但在C99之前，标准存在隐式int规则（见C90 6.5.2），编译器可将未声明的参数默认视为int类型，从而“修复”该约束违反。那么符合ANSI标准的C99之前的编译器是否仍需发出诊断信息？我最初认为会，但Harbison and Steele的书中第287页提到（重点标注）：“在标准之前的传统形式中，参数名称列在declarator中，类型在declarator后的可选declaration-list中指定（顺序任意）。所有参数都应在declaration-list中声明，但在C99之前，省略的参数声明默认类型为int。”这段加粗内容似乎表明，空declaration-list是被允许的，因为隐式int规则会“修复”相关的约束违反。

关于Clang未发警告的原因 #

你的标准理解是准确的：C11标准6.9.1(6)明确要求，K&R风格函数定义中，参数列表里的每个标识符都必须在后续的declaration-list中声明，省略属于约束违反；C11 5.1.1.3规定，符合标准的实现必须对约束违反发出诊断信息（警告或错误）。

Clang未发警告是因为默认编译模式对旧C标准的兼容性做了宽松处理：

• Clang默认兼容C89的传统行为，即便在C99/C11编译模式下，也不会强制对所有旧标准中的约束违反发出诊断。
• 这种K&R风格的隐式int参数被Clang默认视为“兼容扩展”，除非你显式开启严格标准检查（比如添加-pedantic或-Wstrict-prototypes选项）。用clang -pedantic -std=c11编译代码，就能看到类似warning: parameter 'a' was not declared in parameter list的诊断信息。

关于“修复”约束违反是否仍需发诊断的问题 #

1. C99及之后标准：隐式int规则被移除，省略参数声明的情况明确是约束违反，无论编译器能否推断类型，都必须发出诊断信息。
2. C89/C90标准：
   • 虽然存在隐式int规则，但C89 6.7.1(6)同样要求K&R风格函数的每个参数必须在declaration-list中声明，这属于约束违反。
   • 隐式int规则是针对“声明缺少类型说明符”的补全逻辑，但约束违反是独立于修复行为的——即便编译器能用隐式int补全类型，也必须先对约束违反发出诊断。
   • Harbison and Steele的描述是从实际编译兼容性角度出发，而非标准的严格约束：传统编译器普遍支持这种省略写法，所以书中提到默认类型为int，但这并不代表标准允许该写法——标准仍将其视为约束违反，符合标准的编译器必须发出诊断，只是多数编译器默认未开启严格检查。

总结 #

• 你的标准理解没有错误，Clang未发警告是默认编译模式未开启严格标准检查，添加-pedantic选项后会发出符合标准要求的诊断。
• 无论编译器能否通过隐式int修复约束违反，只要是标准明确的约束违反，符合标准的实现就必须发出诊断；Harbison and Steele的描述是兼容性层面的实践总结，而非标准的严格规定。

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