C语言头文件递归引用问题：如何正确包含A.h与B.h？

存在A.h和B.h两个头文件，原代码分别如下：
A.h代码：

typedef struct TypeA TypeA_t;
struct TypeA {
    ...
    TypeA_t *a;
    void (*doSomething)(TypeB_t *);
};

B.h代码：

typedef struct TypeB TypeB_t;
struct TypeB {
    ...
    TypeB_t *b;
    TypeA_t something;
};

若互相包含对方头文件，会触发编译错误：A.h中报error: unknown type name 'TypeB_t'，B.h中报error: unknown type name 'TypeA_t'。

核心解决方案是利用前向声明替代不必要的头文件包含，仅在需要完整类型定义时才引入对应头文件，同时添加头文件保护防止重复展开。

修改后的A.h #

#ifndef A_H
#define A_H

// 前向声明TypeB_t：仅告知编译器这是一个结构体类型，无需完整定义
typedef struct TypeB TypeB_t;

typedef struct TypeA TypeA_t;
struct TypeA {
    // ... 原有成员
    TypeA_t *a;
    void (*doSomething)(TypeB_t *);
};

#endif // A_H

修改后的B.h #

#ifndef B_H
#define B_H

// B中需要TypeA_t的实体（非指针），必须包含A.h获取完整类型定义
#include "A.h"

typedef struct TypeB TypeB_t;
struct TypeB {
    // ... 原有成员
    TypeB_t *b;
    TypeA_t something;
};

#endif // B_H

原理说明 #

• 头文件保护：#ifndef与#define的组合确保头文件不会被重复展开，避免多次定义结构体的编译错误。
• 前向声明的适用场景：当仅需要声明某类型的指针或函数指针时，前向声明足够（指针内存大小固定，编译器无需知晓结构体内部细节），因此A.h只需前向声明TypeB_t，无需包含B.h。
• 必须包含头文件的场景：当需要使用某类型的实体（如TypeA_t something;）时，编译器需要知道该类型的完整内存布局，因此B.h必须包含A.h以获取TypeA的完整定义。

此修改既打破了循环包含的问题，又满足了两个头文件的类型依赖需求。

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