c - C 中的 "struct namespace"是否有技术原因？

Question

在 C 语言中，大多数声明结构的代码都遵循这种模式:

/* struct forward-declaration */
typedef struct T T ;

/* struct definition */
typedef struct T
{
   /* etc. */
} T ;

这种情况非常普遍，与我交谈过的大多数开发人员甚至都不知道上面的代码同时做了两件事(结构声明，然后在普通命名空间中为结构名称别名)，只是出于习惯编写它。

在 C++ 中，这个问题得到了缓解，因此您可以省略类型定义部分。在 C# 和 Java 中，设计者甚至都懒得理会。所以这些语言无助于理解为什么 C 会那样做。

所以，在 Oliver Charlesworth 之后的建议:

是否有技术原因将 struct T 置于与其他普通标识符不同的命名空间中？

编辑

C89/C90 标准中的相关部分是:

6.1.2.3 Name spaces of identifiers

It more than one declaration of a particular identifier is visible at any point in a translation unit. the syntactic context disambiguates uses that refer to different entities. Thus. there are separate name spaces for various categories of identifiers, as follows:

• [...]

• the tags of structure, unions and enumerations (disambiguated by following any of the keywords struct, union, or enum).

• [...]

• all other identifiers. called ordinary identifiers (declared in ordinary declarators or as enumeration constants).

C11(n1570:6.2.3 标准草案)的文本大致相同。

Answer 1

在添加 typedef 使解析复杂化之前，对象声明总是以保留字开头:struct、int、char 、float 或 double，可能还有 long 或 union(不确定是否添加了这些typedef 之前或之后)。由于结构标记只能出现在关键字 struct 之后，因此编译器没有理由关心结构标记是否与任何其他标识符共享名称。

需要将 typedef 名称与任何其他标识符的名称区分开来是由于允许在对象声明或强制转换表达式中使用自定义类型而不使用任何保留字或标点符号而产生的语法歧义。 (在函数的开头，x * y; 可以创建一个名为 y 的类型为 x* 的对象，或者可以乘以 x by y 并丢弃结果，并且 (x)(y) 可以将 y 转换为类型 x 或使用参数 y 调用函数 x。