C语言头文件循环包含报未知类型名FOO错误如何解决

问题根因 #

这是典型的头文件循环依赖问题：

• foo.h 开头就引入了 foos/foo_bazz.h
• foos/foo_bazz.h 尝试引入 foo.h 时，foo.h 的保护宏 FOO_H_ 已经被标记为已定义，不会重复展开内容，导致 foo_bazz.h 用到 FOO 类型时，该类型还未完成定义。

之前前置声明失效的原因 #

你原来定义的是匿名结构体的typedef别名：

typedef struct { ... } FOO;

这种写法没有给结构体本身设置标签，你写的typedef struct FOO;声明的是名为struct FOO的类型，和匿名结构体typedef出来的FOO是完全不同的两个类型，编译器自然无法匹配识别。

修复方案 #

方案1：调整引入顺序 + 前置声明（推荐，减少编译依赖） #

1. 先修改foo.h，给结构体加标签、把foo_bazz.h的引入放到类型定义之后：

//foo.h
#ifndef FOO_H_
#define FOO_H_

#include "BAR.h"

// 给结构体加标签，方便前置声明
typedef struct FOO_S
{
   ...
} FOO;

// 类型定义完成后再引入子头文件
#include "foos/foo_bazz.h"

void
foo_bar(FOO *foo, BAR *bar);

#endif /* FOO_H_ */

2. 修改foos/foo_bazz.h，删掉FOO.h的引入，改用前置声明：

//foos/foo_bazz.h
#ifndef FOO_BAZZ_H_
#define FOO_BAZZ_H_

#include "BAR.h"

// 前置声明FOO类型，仅用指针不需要知道结构体完整定义
typedef struct FOO_S FOO;

void
foo_baz(FOO *foo, BAR *bar);

#endif /* FOO_BAZZ_H_ */

方案2：仅调整头文件引入顺序 #

如果不想修改结构体定义，直接把foo.h里foos/foo_bazz.h的引入移到FOO类型定义之后即可，不需要改动其他文件：

//foo.h
#ifndef FOO_H_
#define FOO_H_

#include "BAR.h"

typedef struct
{
   ...
} FOO;

// 放到FOO定义完成后再引入
#include "foos/foo_bazz.h"

void
foo_bar(FOO *foo, BAR *bar);

#endif /* FOO_H_ */

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