GCC 8.5.0如何仅对非枚举switch缺失default触发警告？

需求场景 #

• 针对int类型的switch语句：缺失default分支时必须触发警告（已转为错误）
• 针对enum class类型的switch语句：未覆盖所有枚举值分支时触发警告
• 针对enum class类型的switch语句：已覆盖所有枚举值分支时，不触发缺失default的警告

当前困境 #

启用-Wswitch-enum可满足后两个场景，但启用-Wswitch-default虽然能满足第一个场景，却会对已覆盖所有枚举值的enum class switch触发不必要的警告（因警告已转错误，导致编译失败）。临时方案是在这类switch后添加default: assert(false);，但希望找到更简洁的替代方案。

可行解决方案 #

由于GCC 8.5.0没有原生提供区分枚举/非枚举类型的-Wswitch-default开关，可通过局部编译指令实现精准控制：

全局编译选项配置 #

保持全局开启以下警告选项：

-Wswitch -Wswitch-enum -Wswitch-default -Werror

对已覆盖全枚举值的switch局部禁用-Wswitch-default #

在每个已完全覆盖枚举值的enum class switch代码块前后，使用GCC的诊断指令临时禁用-Wswitch-default警告：

#include <cassert>

enum class Color { Red, Green, Blue };

// 局部禁用-Wswitch-default，避免已覆盖全枚举的switch触发警告
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wswitch-default"
void process_color(Color c) {
    switch (c) {
        case Color::Red:
            // 处理逻辑
            break;
        case Color::Green:
            // 处理逻辑
            break;
        case Color::Blue:
            // 处理逻辑
            break;
        // 无需添加default分支，也不会触发-Wswitch-default警告
    }
}
#pragma GCC diagnostic pop

// int类型switch，缺失default会触发-Wswitch-default错误
void process_int(int val) {
    switch (val) {
        case 1:
            // 处理逻辑
            break;
        case 2:
            // 处理逻辑
            break;
        // 无default分支，触发-Wswitch-default错误
    }
}

这种方式既保留了对int类型switch缺失default的强检查，又避免了对已完全覆盖的enum class switch产生不必要的警告，同时不需要添加冗余的assert代码。

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