C语言结构体前置声明方法、使用场景及循环结构体疑问

嘿，这个问题问到点子上了！咱们从C语言处理结构体内存的底层逻辑说起，一下子就能搞明白为啥非得用指针。

首先得明确一个核心规则：C语言编译器在定义结构体时，必须能算出这个结构体的精确内存大小，这样它才能在创建结构体实例的时候准确分配内存。

要是咱们把代码改成不用指针的版本，就会立马触发问题：

struct A {
    struct B b; // 去掉指针，直接放结构体实例
    int data;
};
struct B {
    struct A a; // 同样去掉指针
    int data;
};

你品品这个逻辑：要计算struct A的大小，得先知道struct B的总字节数；但struct B里又包含了struct A，所以又得先算出struct A的大小——这就陷入了无限循环，编译器根本没法算出一个确定的数值，直接就会报错。

那指针为啥能解决这个问题？
因为不管是什么类型的指针，在同一系统架构下的大小是固定的：32位系统里指针占4字节，64位系统里占8字节。当你在struct A里声明struct B* b的时候，编译器不需要知道struct B的完整大小，它只需要知道“这是一个指向B类型的指针”，就能直接把指针的固定大小算进struct A的总大小里。同理struct B里的struct A* a也是一样的道理，完美绕开了循环依赖的大小计算死局。

再看你写的代码实例：你先创建了sA和sB两个实实在在的结构体实例，然后把它们的地址互相赋值给对方的指针成员，这样就形成了双向引用的“循环结构体”关系，而且编译器全程都能清晰计算每个结构体的内存大小，自然就能正常运行了。

这种用法在实际开发里特别常见，比如双向链表的节点、树结构里的父节点引用，都是靠这种循环结构体指针实现的。

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