C语言如何实现嵌套结构体？typedef前置仍报t_value不完整类型如何解决

问题根源 #

你的代码触发编译错误有两个核心原因：

• 存在循环依赖：s_value 定义时需要 s_object 的完整内存布局（union内直接嵌入了t_object实例），s_object 定义时需要 s_member 的完整布局，s_member 定义时又需要 s_value 的完整布局，三者形成闭环，编译器无法完成类型定义。
• 带柔性数组成员的结构体无法直接嵌入其他类型：你的 s_object 包含 t_member member[] 柔性数组成员，这种结构体的内存大小是不确定的，C语言不允许将其直接作为结构体/union的成员。

修复方案 #

按以下步骤修改即可解决问题：

1. 将 s_value union中的t_object实例改为指针类型，指针仅需要前置声明即可使用，既打破了循环依赖，也规避了柔性数组不能嵌入的语法限制
2. 调整结构体定义顺序，确保每个结构体嵌入的其他结构体实例都已经完成完整定义
3. 补充原代码遗漏的number类型对应字段

修改后的完整头文件代码如下：

#ifndef FT_JSON_H
# define FT_JSON_H

# include <stdint.h>
# include <stdbool.h>
# include <sys/types.h>

// 前置类型声明
typedef enum e_value_type   t_value_type;
typedef enum e_number_type  t_number_type;
typedef struct s_value      t_value;
typedef struct s_member     t_member;
typedef struct s_object     t_object;
typedef struct s_number     t_number;

enum e_value_type {
    object,
    array,
    string,
    number,
    boolean,
    null_ptr
};

enum e_number_type {
    Int,
    Float
};

struct s_number {
    t_number_type   type;
    union {
        long    i;
        double  f;
    };
};

// 先定义s_value，此时union内的t_object是指针，仅需要前置声明即可
struct s_value {
    t_value_type    type;
    union {
        t_object        *object; // 修改为指针类型
        t_value         *array;
        char            *string;
        t_number        number; // 补充遗漏的number字段
        bool            boolean;
        void            *null_ptr;
    };
};

// 再定义s_member，此时t_value已经完成完整定义
struct s_member {
    char        *string;
    t_value     value;
};

// 最后定义s_object，此时t_member已经完成完整定义
struct s_object {
    size_t      size;
    t_member    member[];
};

#endif //FT_JSON_H

使用说明 #

后续创建object类型的节点时，需要单独为t_object分配内存，再将地址赋值给t_value的object指针即可，内存释放时也需要先释放object指向的实例，再释放外层的t_value，避免内存泄漏。

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