为什么链表结构体中不能定义自身的变量

为什么链表的结构体中能够定义指向自身的指针而不能定义自身的变量呢？举个例子：
typedef struct node
{
datatype info;
struct node a;
}Node;
在这个链表结构体中，想要定义自身（struct node）类型的变量a（即自身类型），要知道，现在做的工作就是在定义（构造）struct node这个结构体，想要定义struct node这个变量至少要等到struct node这个结构体构造完了才可以吧，因为定义变量的时候要为这个变量分配存储空间，如果结构体不完整则无法为其分配存储空间，所以在定义结构体struct node时不能定义自身的变量。
那么问题来了，很多人可能会问，为什么不可以定义自身的变量而可以定义指向自身的指针呢？
typedef struct node
{
datatype info;
struct node *next;
}Node;
是这样的，你在定义指向自身的指针时分配的空间存放的是struct node 的地址，在分配地址的时候并不需要知道struct node的结构，而只需知道有struct node这个东西就可以了，所以不能用Node *next来定义指针，因为计算机在读到这行代码的时候还暂时没见过Node这个东西，所以只能用struct node来定义指向自身的指针。