C语言如何限制外层源文件访问间接导入的头文件内容

原代码存在基础设计问题：将fun()函数的定义直接写在c.h头文件中，若多个编译单元间接/直接引用c.h，会触发重复定义的链接错误。我们首先需要将c模块的声明与实现分离，再通过以下两种常用方案实现访问控制：

方案1：条件编译控制头文件符号暴露 #

通过自定义宏控制c.h中内部符号的可见范围，仅允许b模块访问内部符号：

步骤1 修改c.h，添加条件编译逻辑 #

// c.h
#ifndef C_H
#define C_H

// 仅当定义了B_MODULE宏时，才暴露fun的声明
#ifdef B_MODULE
void fun();
#endif

// 其他可以对外暴露的声明写在条件编译外
#endif

注：如果需要将fun()定义为内联函数放在头文件中，直接将整个函数实现放在上述B_MODULE条件编译块内即可。

步骤2 编写c.c实现fun函数 #

// c.c
#include "c.h"

void fun() {
    // 函数实现逻辑
}

步骤3 修改b.h，控制宏的生效范围 #

// b.h
#ifndef B_H
#define B_H

// 引入c.h前定义专属宏，获取c的全部访问权限
#define B_MODULE
#include "c.h"
#undef B_MODULE // 引入完成后立即取消宏定义，避免泄露给外部引用方

// b模块对外暴露的公开声明写在此处
#endif

此时a.c引用b.h时，因为B_MODULE宏已经被销毁，无法看到fun()的声明，直接调用会触发编译错误；而b模块内部可以正常访问c的全部内容。

方案2：模块封装隐藏内部依赖 #

如果c本身就是b的内部依赖模块，不需要对外暴露任何内容，可以用该方案实现完全隔离：

1. 保留c.h、c.c的实现，c.h中正常写所有声明
2. 移除b.h中#include "c.h"的逻辑，将该引用语句移到b模块的实现文件b.c中；如果b.h需要用到c中的类型，可通过前置声明实现，不需要引入c.h：

   // b.h 不需要引入c.h
   #ifndef B_H
   #define B_H
   // 如果用到c的结构体类型，只需前置声明即可
   struct C_TYPE;
   // b模块对外公开的接口
   void b_public_func();
   #endif
   

   // b.c 内部引入c.h，外部感知不到
   #include "b.h"
   #include "c.h"
   
   void b_public_func() {
       // 内部可以正常调用fun()
       fun();
   }
   

该方案下a.c完全感知不到c模块的存在，自然无法访问fun()函数，隔离性更强。

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