C语言中函数声明器使用已定义类型标识符的规则解析及多编译器行为差异咨询

先来看我们的测试代码t0.c：

typedef int T;
void f(int T);

各编译器编译结果 #

• GCC编译命令：gcc -std=c11 -Wall -Wextra -pedantic -c t0.c，执行后无任何输出（无警告/错误）
• Clang编译命令：clang -std=c11 -Wall -Wextra -pedantic -c t0.c，同样无任何输出
• MSVC编译命令：cl /std:c11 /Za /c t0.c，输出警告：

  t0.c(2): warning C4224: nonstandard extension used: formal parameter 'T' was previously defined as a type

问题1：C语言中的哪些规则允许在函数声明器中使用此前已被定义为类型的标识符？ #

这是C语言作用域遮蔽的标准规则带来的合法行为。根据C11标准的6.2.1节，函数参数的标识符拥有独立的作用域：它从参数声明的位置开始，一直延伸到函数声明/定义的末尾。

当你在函数声明的参数列表里用T作为参数名时，这个T会遮蔽外部作用域中通过typedef定义的类型别名T。在参数列表的局部作用域内，T被视作参数变量名，而非之前的类型别名——这种行为完全符合C标准的规定，属于合法用法。

简单总结：在函数参数的局部作用域中，参数名的优先级高于外部的typedef类型名，标准明确允许这种遮蔽行为。

问题2：为何符合C11标准的GCC与Clang编译器未给出任何提示信息？ #

因为GCC和Clang严格遵循C11标准，它们判定这种用法是完全合规的标准行为，而非非标准扩展，所以不会触发任何警告或错误。

而MSVC的C4224警告是它自身特有的诊断逻辑，属于对标准规则的“过度严格”解读——即使在/std:c11和/Za（禁用微软扩展）模式下，它依然把这种标准允许的遮蔽行为标记为“非标准扩展”，这并不是C标准的要求，只是MSVC的个性化诊断。

如果想让GCC/Clang针对这类遮蔽行为发出提示，可以启用-Wshadow选项，这个选项会检测标识符遮蔽的情况，此时编译器就会提醒你T被参数名遮蔽了。

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