GCC11下C枚举扩展触发-Wenum-compare警告相关问题咨询

告警规避方案 #

• 局部关闭指定告警：针对不需要逐处修改代码的场景，可通过GCC的诊断预处理指令，在触发告警的代码块局部关闭-Wenum-compare检查，不影响全局的告警检测逻辑，尤其适合switch场景使用，示例如下：

int
foo2(enum def bar)
{
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wenum-compare"
    switch (bar)
    {
        case A:
            return 0;
        case D:
            return 1;
        default:
            return 2;
    }
#pragma GCC diagnostic pop
}

• 公共常量层封装：如果不想调整编译参数，可以在枚举定义外层加一层公共常量，基础枚举和扩展枚举都基于公共常量定义取值，后续比较、分支判断直接用公共常量，从根源避免跨枚举类型比较的问题，示例如下：

// 公共常量层
#define BASE_ENUM_A 0
#define BASE_ENUM_B 1
#define BASE_ENUM_C 2

enum abc { A = BASE_ENUM_A, B = BASE_ENUM_B, C = BASE_ENUM_C };
enum def { D = BASE_ENUM_C + 1, E, F };

后续判断直接写if (bar == BASE_ENUM_A)、case BASE_ENUM_A:即可，不会触发类型告警。

枚举扩展模式的合理性 #

这种基于基础枚举偏移扩展的模式仍然是C语言场景下的合理方案，是C语言没有原生枚举继承能力的前提下，实现枚举取值扩展的常用实践：

• 该方案可以在不修改原有基础枚举定义的前提下新增取值，不会对依赖原有枚举的旧代码产生侵入性影响
• 取值天然不冲突，不需要人工协调新旧枚举的数值分配，维护成本低
  需要注意的是该方案仅适用于扩展枚举逻辑上是基础枚举的超集的场景，如果两类枚举没有关联，GCC的告警本身就是合理的错误提示，不建议屏蔽。

内容的提问来源于stack exchange，提问作者Michael C. Lehn