c - 为什么 "struct T* next"在 T 不是现有类型时编译？

Question

我在 Windows 上使用 MinGW。我正在构建链表，但我对此感到困惑。

#include <stdio.h>
#include <stdlib.h>

typedef struct Data
{
    int x;
    int y;
    struct BlaBla * next;               /*compiles with no problem*/
}List;

int main(void)
{
    List item;
    List * head;
    head = NULL;
    return 0;
}

我现在认为结构不能有结构变量(对象，该结构的实例)，但可以有该结构类型的指针。不知道指针可以是不存在类型的指针。 struct BlaBla * next;(不是链表，必须是struct Data * next，一般来说)

Answer 1

是的，你可以，因为编译器在第一次遇到未知类型名称时，会假设有一个somehwere 结构类型定义具有此名称。然后它将为您转发声明结构名称，让您将它用作指针，但您不能取消引用它，也不能对其进行指针运算(因为它是一个不完整的类型)。