未知具体枚举类型时如何初始化变量并消除编译器警告？

问题背景 #

现有如下C++模板函数：

template<typename Key> Key getChoiceWidgetSelection(wxChoice& choiceWidget, bool *ok) {
    Key ret;
    *ok = false;
    void *clientdata = choiceWidget.GetClientData( choiceWidget.GetSelection() );
    if ( clientdata != nullptr ) {
        *ok = true;
        ret = *static_cast<Key *>(clientdata);
    }
    return ret;
}

已知Key为枚举类型，但具体枚举值、底层类型等信息未知。由于ok为true时ret才会被赋值，编译器会抛出“ret可能未初始化”的警告。针对此问题有两个疑问：

1. 是否可以给ret赋值为枚举类型的最小值（类似min(Key)的形式）？
2. 如何使用单行#pragma指令消除该警告？

解答 #

1. 给ret赋值枚举类型最小值的可行性 #

可以实现，借助C++标准库工具处理枚举的底层类型即可：

• 对于C++11及更高版本，通过std::underlying_type_t获取枚举的底层算术类型，再用std::numeric_limits获取该类型的最小值，最后转换为Key类型：

#include <limits>
#include <type_traits>

template<typename Key> Key getChoiceWidgetSelection(wxChoice& choiceWidget, bool *ok) {
    // 初始化ret为枚举底层类型的最小值
    Key ret = static_cast<Key>(std::numeric_limits<std::underlying_type_t<Key>>::min());
    *ok = false;
    void *clientdata = choiceWidget.GetClientData( choiceWidget.GetSelection() );
    if ( clientdata != nullptr ) {
        *ok = true;
        ret = *static_cast<Key *>(clientdata);
    }
    return ret;
}

注意：如果枚举未定义对应此最小值的枚举项，这个初始值是未命名的枚举有效值，但由于此时ok为false，调用方不会使用该值，因此不会影响业务逻辑。

2. 单行#pragma消除警告的实现 #

不同编译器的#pragma语法不同，以下是主流编译器的单行禁用方式：

• GCC/Clang：针对-Wuninitialized警告，可在变量声明前添加单行指令，可选恢复警告检测避免影响后续代码：

template<typename Key> Key getChoiceWidgetSelection(wxChoice& choiceWidget, bool *ok) {
    #pragma GCC diagnostic ignored "-Wuninitialized"
    Key ret;
    #pragma GCC diagnostic pop
    *ok = false;
    // 剩余代码
}

• MSVC：针对未初始化变量的警告码4700，使用suppress参数：

template<typename Key> Key getChoiceWidgetSelection(wxChoice& choiceWidget, bool *ok) {
    #pragma warning(suppress: 4700)
    Key ret;
    *ok = false;
    // 剩余代码
}

如果需要跨平台兼容，可通过条件编译区分编译器：

template<typename Key> Key getChoiceWidgetSelection(wxChoice& choiceWidget, bool *ok) {
    #ifdef _MSC_VER
        #pragma warning(suppress: 4700)
    #else
        #pragma GCC diagnostic ignored "-Wuninitialized"
    #endif
    Key ret;
    #ifndef _MSC_VER
        #pragma GCC diagnostic pop
    #endif
    *ok = false;
    // 剩余代码
}

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