c - 为什么对结构使用不同的不同标记和 typedef？

Question

在 C 代码中，我看到了以下内容:

typedef struct SomeStructTag {
    // struct members
} SomeStruct;

我不清楚为什么这与以下内容有任何不同:

typedef struct SomeStruct {
    // struct members
} SomeStruct;

为类型使用特定名称并将其 typedef 为不同的类型名称有什么意义？

Answer 1

在大多数情况下，可以毫无问题地为两种目的使用相同的名称。人们在代码中使用不同名称的做法可能源于 ANSI 标准化之前的日子，当时有很多编译器接受类似于 C 的大多数兼容方言。一些结构和特性几乎可以在任何编译器上工作，其他的可以工作在大多数情况下(但在很多情况下都失败了)，而其他人只会在少数情况下起作用。尽管该标准多年来一直明确要求类型、结构标记和每个单独结构的成员有不同的命名空间，但早期的一些编译器并没有将所有这些命名空间识别为不同的、相当数量的代码编写的代码即使在这样的编译器下也应该可以工作，并且人们倾向于编写类似于他们见过的其他代码的代码。

我认为根据今天的规则，反对使用相同标识符的最强烈反对意见是不同的标识符应该看起来不同的原则，并且通常应该避免为给定的目的使用两个语义等同的标识符。如果它们之间有一些明确的语义区别(例如“最快的类型，至少 32 位”与“正好 32 位”类型)，那么出于某种目的使用两个不同的标识符是很好的，但是让代码使用两个不同的标识符并不好出于相同目的的标识符基本上是随机的。如果声明了 typedef struct FOO {...} FOO;，那么 struct FOO 和 FOO 将是不同的标识符，看起来好像它们应该可以互换。如果在某些特定情况下应该使用一个或另一个并且名称不同，则在不应该使用的地方键入 struct 将导致编译错误，反之亦然。如果名称匹配，就会编译，并且不会出现名称的用法与其在其他地方的用法不一致的警告。

顺便说一句，尽管结构标签在全局范围内可用，但通常不需要多次使用任何标签。即使一个结构应该包含自引用指针，也可以在 ANSI C 中声明它:

typedef struct NODE_S NODE;
struct NODE_S {
  NODE *parent,*left,*right;
};

除了声明 typedef 名称的特定行之外，无需在任何地方将类型称为 struct NODE_S。在其他任何地方，都可以直接使用 typedef 名称。