是一个结构 {...};类型或未命名的变量？

Question

在文件范围内，以下是类型声明还是未命名变量？

struct student_s {
    char* name;
    int age;
    double height;
    struct student_s* next;   
};

如果是类型定义，那么与：

typedef struct student_s {
    char* name;
    int age;
    double height;
    struct student_s* next;   
};

?

（背景：请参阅我在Changing a variable from global to local - C 的回答，我相信第一个会引入一个未命名的变量，然后编译器会对其进行优化。）

注意：该问题已被标记为可能与 In what scope is a struct member identifier put? 重复，但我相信我不是在问关于成员范围的问题，而是关于声明实际创建的内容。然而。 Difference between 'struct' and 'typedef struct' in C++? 的答案请解释我的问题。

Answer 1

根据C 标准，结构声明格式为

struct student_s {
    char* name;
    int age;
    double height;
    struct student_s* next;   
};

是一个类型的声明。引用C11，第 §6.7.2.1 章

结构或联合说明符中的结构声明列表的存在声明了翻译单元内的新类型。 struct-declaration-list 是结构或联合成员的一系列声明。 [...]

C 标准不要求为该类型创建变量（命名或未命名）。

在您的第二次 sn-p 中，您实际上（尝试）typedef 到 nothing。但是，如果您将 sn-p 更改为

typedef struct {
         //.....members
} student_s ;

您将创建一个类型 student_s（typedef 为未命名的结构类型），供以后使用。

FWIW，无论如何，我们从来没有谈论过在这里创建一个变量。这都是关于类型。

Answer 2

第一个声明声明了一个类型。在该声明之后，struct student_s 类型是已知的，您可以声明该类型的变量或指向它的指针：

struct student_s student1;
struct student_s *pStudent;

即使是编译，第二个声明也很奇怪。常见的用法是：

typedef struct {
    char* name;
    int age;
    double height;
    struct student_s* next;   
} studend_t;

向匿名结构声明别名student_t。然后就可以直接使用了：

student_t student1;
student_t *pStudent;

但是第二个示例可以编译（即使带有警告）并且与第一个示例相同！

它真正的作用是为struct student_s 声明一个无效别名。 typedef 被忽略并产生警告：typedef 需要一个名称，但作为副作用，声明了结构，就像在第一个示例中一样。

所以实际问题的真正答案是除了警告之外没有区别。

Answer 3

两者都是类型定义。第二个是不完整的。它不提供名称作为typedef 的参数。更好的是使用

typedef struct student_s {
    char* name;
    int age;
    double height;
    struct student_s* next;   
} student;

关于合法性

typedef struct student_s {
    char* name;
    int age;
    double height;
    struct student_s* next;   
};

我已将其作为一个单独的问题提出，Legality of `typedef struct foo {int bar};`

Answer 4

它是一个类型，你不能有一个匿名的结构实例。为了比较，这声明了类型struct_type 和一个该类型的实例struct_instance：

struct struct_type {
    /* blah */
} struct_instance;

如果你想单独声明另一个实例（从类型 decl）你会使用

struct struct_type another_instance;

使用 typedef - 如果正确完成，与您的示例不同 - 只允许您为类型指定另一个名称，不需要 struct 关键字来声明实例：

typedef struct_type MyStruct;
MyStruct yet_another_instance;

或等效

typedef struct struct_type {
    /* blah */
} MyStruct;

省略名称 (struct_type) 会为您提供一个匿名结构类型，该类型只能通过其 typedef 的名称来引用。

---

注 1

由于您的原始结构包含指向其自身类型的next 指针，因此该类型必须在声明成员时具有名称。所以，你不能声明一个带有自类型指针的匿名结构。如果您为匿名结构类型命名为 typedef，则该名称在成员声明之后才存在，因此不能在那里使用。

typedef struct /*S*/ {
    struct S *next; /* T doesn't exist yet, so without S, you can't declare this */
} T;

注2

您可以将匿名联合的匿名实例声明为成员：

struct S {
    union {
        int i;
        unsigned u;
    };
};

struct S s;
s.i = -1;
printf("%x\n", s.u);

但这是一个非常特殊的情况。我从主要论点中删除了关于这一点的评论，以防它具有误导性。

Answer 5

struct A { ... }

在struct 命名空间中创建可见的struct 'A'（这与C++ 命名空间没有任何共同之处）。因此，要访问struct，您必须使用struct 关键字；

struct A a;

当使用 typedef struct 定义时

typedef struct A { ... } B;

变得可见并绑定到B，您可以轻松创建struct，就像B类型的公共变量

B a;

如果我错了，请纠正我。

Answer 6

不同之处在于，对于第一个示例，您必须像这样声明一个新变量：struct student_s variable;，而对于第二个示例，您可以简单地使用 student_s variable;。