本身引用匿名结构

Question

typedef struct {
    //
} list;

对

typedef struct list{
    //
} list;

我在另一篇文章（例如Using an anonymous struct vs a named struct with typedef）中读到，其中说这两者几乎是等价的，唯一需要后者的时候是在引用结构本身时。

但是，使用 clang 和 gcc 可以很好地编译以下内容：

#include <stdio.h>

typedef struct {
    struct list *next;
} list;

int main(){
 list l;
 return  0;
}

上面我有一个匿名结构引用它自己。这是如何编译的？

Answer 1

首先，您的问题中没有匿名结构。有一些未命名结构的例子。

匿名结构的概念在 C 标准中定义如下（6.7.2.1 结构和联合说明符）

13 没有标签的结构类型的未命名成员称为 匿名结构； 没有标签的联合类型的未命名成员是 称为匿名工会。匿名结构的成员或 union 被认为是包含结构的成员或 联盟。如果包含结构或联合，则递归适用 也是匿名的。

至于这份声明

typedef struct {
    struct list *next;
} list;

然后声明了两种不同的类型：别名为list 的未命名结构和类型为struct list 的不完整声明。 list 和 struct list 是两种不同的不兼容类型。

例如，如果你想试试这个简单的程序

#include <stdio.h>

typedef struct {
    struct list *next;
} list;

int main(void) 
{
    list lst1;
    list lst2;
    
    lst1.next = &lst2;
    
    return 0;
}

那么编译器会对该语句报错

lst1.next = &lst2;

说有一个从不兼容的指针类型“list *”到“struct list *”的赋值。