C语言结构体成员命名空间澄清：结构体变量是否各有独立命名空间？

我正在通过K.N.King所著的《C程序设计：现代方法》学习C语言，书中提到：

每个结构体代表一个新作用域；该作用域内声明的任何名称都不会与程序中的其他名称冲突。（用C语言术语来说，每个结构体的成员都有独立的name space。）

之前我从未关注过结构体成员标识符，直到发现和局部变量同名的标识符并不会像预期那样隐藏其他标识符，于是查阅了C语言的name space概念以及C99标准文档。标准6.2.3节对结构体成员的命名空间规定如下：

结构体或联合体的成员；每个结构体或联合体的成员都有独立的name space（通过.或->运算符访问成员时，可通过表达式类型消除歧义）；

核心疑问是：“每个结构体或联合体的成员都有独立的name space”到底指的是**(a)特定结构体的每个变量都有自己的命名空间**，还是**(b)每个结构体（或联合体）标签在定义时拥有独立的命名空间**？比如声明struct s var_a, var_b;时，var_a和var_b是否各有自己的命名空间？

结论先行 #

答案是**(b)每个结构体/联合体标签对应的类型拥有独立的成员命名空间**，而非每个变量单独拥有。

具体解释 #

当你定义struct s { int x; };时，这个struct s类型就拥有了一个专属的成员命名空间，所有属于struct s类型的变量（比如var_a、var_b）都会共享这个命名空间。也就是说，var_a.x和var_b.x本质上是在同一个命名空间下的成员——它们都是struct s类型定义的x成员，只是分别属于不同的变量实例。

标准里的“每个结构体或联合体的成员都有独立的name space”，指的是不同结构体/联合体类型之间的成员命名空间相互独立。比如再定义一个struct t { int x; };，这里的x和struct s里的x完全不冲突，因为它们分属两个不同的结构体类型命名空间。

而你发现的“局部变量同名不会隐藏结构体成员”，原因是普通标识符（比如局部变量）和结构体成员属于不同类别的命名空间——C语言将标识符分为多个命名空间类别，结构体成员是单独的一类，和普通变量、函数名、标签名等互不干扰，所以不会出现“隐藏”的情况。

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