为什么 typedef 的名称可以用作结构成员的名称？

Question

我刚刚发现gcc 和clang 都接受以下代码：

typedef int blah;
struct s { char blah; };

但是，他们拒绝这样做，因为类型名称被用作标识符：

typedef int blah;
char blah;

这是否意味着 typedef 的名称在结构定义中不可见？不，因为这在 gcc 和 clang 中都有效：

typedef int blah;
struct s { blah blah; }

我正在查看 C99 标准，但找不到任何解释为什么 typedef 的名称可以用作结构成员的名称，但不能用作同一范围内的变量的名称。

有人能解释这是为什么吗？参考任何适用的标准将不胜感激。

Answer 1

取自这里：https://www.spinellis.gr/cscout/doc/name.html

C 有 4 个不同的命名空间。这些不是来自 C++ 的命名空间，它们是使用关键字 namespace 访问的。相反，这些是符号的单独区域：

• 结构/联合/枚举的标签

• struct/union 的成员（实际上为每个struct/union 分配了一个单独的命名空间）

• 标签

• 普通标识符（在 C 标准中称为对象）

Answer 2

结构和普通变量的成员位于不同的命名空间中。这就是为什么有两个具有相同标识符名称的普通变量会失败，而如果在结构成员中使用相同的标识符名称并且普通变量很好。

C 标准定义了不同的命名空间：

6.2.3 Name spaces of identifiers

如果特定标识符的多个声明在 翻译单元中的任何点，句法上下文消除歧义 引用不同实体的用途。因此，有单独的名称 各类标识符的空格，如下：

• 标签名称（通过标签声明和使用的语法消除歧义）；
• 结构体、联合体和枚举的标记（通过关键字struct、union 或enum 的任意³²⁾ 来消除歧义）；
• 结构或工会的成员；每个结构或联合对其成员都有一个单独的名称空间（由 用于通过 . 访问成员的表达式。或 -> 运算符）；
• 所有其他标识符，称为普通标识符（在普通声明符中声明或作为枚举常量声明）。

（最后两个项目符号直接解决了这个问题）

是的，typedef'ed 标识符与普通标识符共享名称空间。 6.7.8 Type definitions:

[...] typedef 名称与在普通声明器中声明的其他标识符共享相同的名称空间。