能否在C语言中extern枚举类型以实现可覆盖的类型定义？

我希望在C语言中创建一种可通过具体实现覆盖的“模板”类型。目前我在头文件中定义了如下特定类型：

typedef enum
{
    enumItem = 0,
} mytype_t;

我想在头文件中用类似extern typedef enum mytype_t; // 伪代码的方式extern该类型，将具体实现放在源文件中。这在C语言中可行吗？

补充背景 #

• 我需要头文件中的枚举能被多个包含该头文件的文件可见；
• 其中一个枚举项需要赋值为来自另一头文件的#define常量，但我不希望该头文件随枚举被重复引入，同时枚举又需要使用该常量；
• 因此我想到将枚举的具体实现隐藏在C源文件中，仅在头文件暴露“模板”；
• 我知道该问题有多种解决方式，但仍想研究上述机制是否能在C语言中实现。

不行，C语言不支持这种extern typedef enum的语法，也无法将枚举类型的定义与声明拆分到头文件和源文件中。

具体原因 #

1. 枚举类型的本质限制：在C标准中，枚举属于完整类型，编译器必须在编译时知晓所有枚举项的取值和底层存储大小，才能正确处理使用该类型的代码。你无法像对待全局变量那样，用extern来声明一个不完整的枚举类型——没有完整定义的枚举，编译器无法识别其实际类型属性。

2. typedef的作用边界：typedef只是为现有类型创建别名，本身不生成新类型。你不能用extern修饰typedef来延迟类型定义，因为typedef声明必须关联到已定义或已声明的有效类型，未完整定义的枚举无法满足这个要求。

适配你需求的替代方向 #

如果核心诉求是隐藏依赖头文件同时让枚举项使用外部常量，可以参考这两种方法：

• 前向声明占位+源文件替换：在头文件中给外部常量设占位默认值，源文件中引入依赖头文件后再替换该值，需注意编译顺序与宏作用域。
  示例：
  头文件mytype.h：

  #ifndef EXTERNAL_CONST
  #define EXTERNAL_CONST 0 // 占位默认值
  #endif
  
  typedef enum {
      enumItem = 0,
      enumDependentItem = EXTERNAL_CONST
  } mytype_t;
  

  源文件mytype.c：

  #include "dependency.h" // 包含定义目标常量的头文件
  #define EXTERNAL_CONST DEPENDENCY_CONST // 替换占位符
  #include "mytype.h"
  

• 整数类型封装枚举：如果可以放弃枚举的类型安全性，可在头文件中用typedef int mytype_t;声明类型，源文件中用宏定义枚举项的值，以此规避直接依赖问题。

内容的提问来源于stack exchange，提问作者Łukasz Przeniosło