结构体中同类型指针成员解析：next与romcopyof疑问

先把你给出的结构体代码贴出来方便参考：

typedef struct secinfo_t { 
    struct secinfo_t* next; /* NULL for no next section */ 
    const char* name; /* nul-terminated section name */ 
    void* addr; /* Address of section in memory */ 
    uint32_t size; /* length of section (bytes) */ 
    uint32_t flags; /* flags, see below */ 
    struct secinfo_t* romcopyof; /* this section is a ROM copy of 'romcopyof' */ 
    /* Future fields go here */ 
} *secinfo_ptr;

一、next 和 romcopyof 的具体作用 #

• next 指针：这是构建单向链表的核心成员。每个secinfo_t结构体实例对应一个程序内存段（section），通过next可以把多个段实例串联成一个链表。当next为NULL时，就表示这是链表的最后一个节点，没有后续的段了。这种设计非常适合批量管理多个内存段，比如遍历所有已加载的程序段、新增/删除段等操作。
• romcopyof 指针：这个指针用于标记内存段的「拷贝溯源关系」。如果当前结构体对应的是RAM中的一个段，而这个段是从ROM里的某个原始段拷贝过来的，那么romcopyof就会指向ROM中那个原始段的secinfo_t实例。通过它可以快速找到段的原始数据，比如在系统重启或需要重新初始化RAM段时，直接从ROM的原始数据重新拷贝即可。

二、为什么结构体可以包含自身类型的指针？ #

这是C语言中自引用结构体的标准设计，你感到困惑大概率是混淆了「指针类型」和「结构体实体类型」的区别，我给你拆解清楚底层逻辑：

• 编译器的处理逻辑：在定义struct secinfo_t的过程中，编译器不需要知道这个结构体的完整大小，只需要确认「这是一个存在的结构体类型」就可以声明指向它的指针。因为指针的大小在同一平台是固定的（比如32位系统是4字节，64位是8字节），不管指向的结构体多大，指针本身的大小是确定的，所以编译器完全能在结构体定义完成前就处理这些指针成员。
• 如果是结构体实体而非指针会报错：反过来，要是你写struct secinfo_t next;（直接包含结构体实体而不是指针），编译器一定会报错——这会导致无限递归的大小计算：这个结构体里包含一个完整的自己，那它的大小就等于自身大小加上其他成员的大小，这显然是逻辑矛盾的。但指针不存在这个问题，它只是存储一个内存地址的固定大小变量。
• typedef的小细节：注意这里的typedef是把struct secinfo_t*别名成secinfo_ptr，但在结构体内部必须用struct secinfo_t*来声明指针，因为typedef的别名要到整个结构体定义完成后才会生效，所以内部只能用结构体的标签名（secinfo_t）来声明指针。

内容的提问来源于stack exchange，提问作者Vlad Robert Dragnea