未定义struct abc却不报错？解析C语言结构体编译特性

先看你给出的代码片段：

typedef struct {
    int data;
    struct abc *nxt;              // 未定义名为"abc"的结构体
} mynode_t;

这是C语言的**不完全类型（incomplete type）**特性导致的，核心原因如下：

• 当你声明struct abc *nxt时，编译器不需要立刻知道struct abc的完整定义。因为这里只是定义了一个指向该结构体的指针，而指针的大小是固定的（取决于系统架构，比如32位系统是4字节，64位是8字节），编译器不需要了解结构体内部的布局，就能确定这个指针成员在mynode_t中的占用空间，所以可以正常编译。
• 这种写法属于结构体的向前声明：你相当于告诉编译器“存在一个名为abc的结构体类型”，但暂时不提供它的具体内容。只要后续不做需要用到该结构体完整类型的操作（比如解引用指针访问成员、定义该结构体的变量），甚至可以一直不补充完整定义；如果之后要做这类操作，再补上struct abc的完整定义即可。
• 换成struct xyz等任意名称也能编译，本质都是一样的——编译器只需要确认这是一个结构体指针类型，不需要知道结构体的具体内容。

要注意的是，如果之后你尝试写nxt->data这类需要访问struct abc成员的代码，或者直接定义struct abc类型的变量，这时候编译器就会要求你提供struct abc的完整定义，否则就会触发编译错误。

内容的提问来源于stack exchange，提问作者Darshan L