C语言中用typedef定义链表结构体为何第一种写法编译报错？

第一种写法报错的核心原因 #

先看报错的代码：

typedef struct LinkedList {
    Ht_item* item;
    LinkedList* next;
}LinkedList;

在C语言的编译逻辑里，typedef别名的生效时机是整个结构体定义完成之后。也就是说，当编译器解析结构体内部的LinkedList* next;时，LinkedList这个typedef别名还没有被绑定到struct LinkedList上——此时编译器只认识struct LinkedList这个结构体标签，完全不知道LinkedList是什么，因此会抛出unknown type name ‘LinkedList’的错误。

第二种写法为什么可行 #

再看正常编译的代码：

typedef struct LinkedList LinkedList;

struct LinkedList {
    Ht_item* item;
    LinkedList* next;
};

第一行的typedef struct LinkedList LinkedList;是一个提前的typedef声明，它提前告诉编译器：“后续会定义一个struct LinkedList结构体，我用LinkedList作为它的别名”。当编译器后续解析结构体内部的LinkedList* next;时，已经知道LinkedList是struct LinkedList的别名，自然不会报错。

补充：第一种写法的另一种修正方式 #

其实不用拆分typedef和结构体定义，只要把结构体内部的指针改成用结构体标签名声明，也能正常编译：

typedef struct LinkedList {
    Ht_item* item;
    struct LinkedList* next;
}LinkedList;

这里用struct LinkedList* next;代替LinkedList* next;，编译器能直接识别struct LinkedList这个结构体标签，不需要等到typedef别名生效。

内容的提问来源于stack exchange，提问作者Nwaburu Emeka Christian