如何用#pragma实现RAII？为何类中GCC诊断指令未生效？

问题背景 #

原始工作代码 #

以下代码能正常触发GCC的-Wswitch错误，提示枚举值C未在switch中处理：

enum class Letters {
    A,
    B,
    C
};

#pragma GCC diagnostic push
#pragma GCC diagnostic error "-Wswitch"
        
Letters e(Letters::A);
switch(e){
    case Letters::A: break;
    case Letters::B: break;
}

#pragma GCC diagnostic pop

RAII风格尝试 #

尝试用RAII类封装诊断指令的开关，期望在对象生命周期内启用-Wswitch错误检查：

class DiagnosticError {
public:
    constexpr DiagnosticError() {
        #pragma GCC diagnostic push
        #pragma GCC diagnostic error "-Wswitch"
    }

    constexpr ~DiagnosticError() {
        #pragma GCC diagnostic pop
    }
};

enum class Letters {
    A,
    B,
    C
};

{
    constexpr DiagnosticError switchError;
        
    Letters e(Letters::A);
    switch(e){
        case Letters::A: break;
        case Letters::B: break;
    }
}

但这段代码在C++20环境下编译通过，未触发预期的错误：

error: enumeration value 'C' not handled in switch [-Werror=switch]
   38 |         switch(e){

失效原因 #

GCC的#pragma诊断指令是编译阶段的预处理指令，其作用范围由源码中的文本位置决定，和C++对象的生命周期完全无关：

• 编译DiagnosticError构造函数时，会立即执行#pragma GCC diagnostic push和error "-Wswitch"，但构造函数内部没有需要检查的代码，因此不会触发警告。
• 编译DiagnosticError析构函数时，会立即执行#pragma GCC diagnostic pop，直接恢复之前的诊断状态。
• 当编译后续创建switchError对象的代码块时，诊断状态已经被析构函数的pop恢复，所以switch语句不会受到-Wswitch的错误检查。

可行实现方案 #

由于#pragma指令的特性，无法通过类的构造/析构函数实现真正的RAII式诊断作用域控制，但可以用以下方式模拟类似效果：

方案1：预处理器宏封装 #

用宏将push和pop绑定到代码块的开头和结尾，确保作用范围覆盖目标代码：

#define DIAG_ERROR_SWITCH \
    _Pragma("GCC diagnostic push") \
    _Pragma("GCC diagnostic error \"-Wswitch\"")

#define DIAG_POP \
    _Pragma("GCC diagnostic pop")

enum class Letters {
    A,
    B,
    C
};

{
    DIAG_ERROR_SWITCH
        
    Letters e(Letters::A);
    switch(e){
        case Letters::A: break;
        case Letters::B: break;
    }
    DIAG_POP
}

该方案和原始写法效果完全一致，只是用宏简化了重复代码。

方案2：借助GSL的finally自动清理 #

如果使用Guidelines Support Library（GSL），可以用gsl::finally自动执行pop，避免手动编写清理代码：

#include <gsl/gsl>

enum class Letters {
    A,
    B,
    C
};

{
    _Pragma("GCC diagnostic push")
    _Pragma("GCC diagnostic error \"-Wswitch\"")
    auto cleanup = gsl::finally([](){
        _Pragma("GCC diagnostic pop");
    });
        
    Letters e(Letters::A);
    switch(e){
        case Letters::A: break;
        case Letters::B: break;
    }
}

此方案通过finally确保代码块结束时自动恢复诊断状态，本质上还是将push放在代码块开头，和原始逻辑一致。

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