1

考虑这段代码（t0.c）：

typedef int T;
void f(int T);

调用：

gcc -std=c11 -Wall -Wextra -pedantic -c t0.c
<nothing>

clang -std=c11 -Wall -Wextra -pedantic -c t0.c
<nothing>

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 规则允许在函数声明器中使用之前定义为类型的标识符？
  2. 如果 msvc 说nonstandard extension，那么为什么符合标准的 gcc / clang 什么都不说？
4

3 回答 3

6

1

  1. 哪个 C 规则允许在函数声明器中使用标识符，该标识符以前定义为类型？

首先，typedef名称是标识符。C 2018 6.2.1 1 说：

一个标识符可以表示一个对象；一个函数；结构、联合或枚举的标记或成员；类型定义名称；标签名称；宏名；或者宏参数……</p>

同一段说我们可以使用相同的标识符来表示不同的实体：

……同一个标识符可以在程序的不同点表示不同的实体……</p>

第 4 段告诉我们T函数原型内部的声明隐藏了前面的T：

… 在内部范围内，标识符指定在内部范围内声明的实体；在外部范围内声明的实体在内部范围内隐藏（不可见）。

2

  1. 如果 msvc 说非标准扩展，那么为什么符合标准的 gcc / clang 什么都不说？

GCC 和 Clang 什么也没说，因为根据 C 标准，代码很好，而且它们的实现者没有选择发出任何警告。

C 标准允许 MSVC 报告超出标准要求的诊断，就像所有 C 实现一样，但声称它是非标准扩展是不正确的。

于 2021-07-09T12:41:38.103 回答
3

C17 6.2.1/2：

由同一标识符指定的不同实体要么具有不同的范围，要么位于不同的名称空间中。作用域有四种：函数、文件、块和函数原型。

C17 6.2.1/4：

每个其他标识符的范围由其声明的位置决定（在声明符或类型说明符中）。如果声明标识符的声明符或类型说明符出现在任何块或参数列表之外，则标识符具有文件范围，它在翻译单元的末尾终止。
如果声明标识符的声明符或类型说明符出现在块内或函数定义中的参数声明列表内，则标识符具有块作用域，它在关联块的末尾终止。
如果声明标识符的声明符或类型说明符出现在函数原型（不是函数定义的一部分）的参数声明列表中，则标识符具有函数原型作用域，它在函数声明符的末尾终止。

您的 typedef 位于文件范围内，但参数位于函数原型范围内。另见 6.2.3 关于标识符的命名空间。这些是“普通标识符”，因此内部范围一始终优先于外部范围一。

如果 msvc 说非标准扩展，那么为什么符合标准的 gcc / clang 什么都不说？

据说是因为 MSVC 不好、不合规并且已知会给出不正确的诊断。

于 2021-07-09T12:42:15.997 回答
-1

您显示的代码相当于

typedef int T;
void f(int);

也许你想要

typedef int T;
void f(int T) {
    (void)T; // ignore unused parameter
}

为此gcc ... -Wshadow ...并clang ... -Weverything ...发出诊断信息（gcc v6.3.0；clang v3.8.1）。

于 2021-07-09T12:55:13.227 回答