如何用C++预处理器检查枚举值是否存在

预处理器的#if、#ifdef指令只能识别预处理器宏（通过#define定义的标识符），而枚举成员（比如TURQUOISE）是编译器在编译阶段才会解析的符号，预处理器根本看不到这些枚举的定义——所以你的原有写法会失效，不管库是哪个版本，预处理器都会认为TURQUOISE未定义，直接走#else分支。

下面提供两种可行的解决方案：

方案一：利用库提供的版本宏（推荐） #

如果这个分版本的库本身提供了版本标识宏（比如COLORS_LIB_VERSION），直接通过版本宏判断是最简洁可靠的方式：

#include <colors_library.h>

int main()
{
#if COLORS_LIB_VERSION >= 2
    some_function(TURQUOISE);
#else
    some_function(BLUE);
#endif
}

这种方式完全依赖库自身的版本控制，不会有兼容性问题。

方案二：编译期类型检测（无版本宏时使用） #

如果库没有提供版本宏，可以用C++的编译期特性（SFINAE，替换失败不是错误）来检测枚举成员是否存在，不需要预处理器参与：

C++17及以上版本 #

#include <colors_library.h>
#include <type_traits>

// 辅助模板：检测枚举E中是否存在TURQUOISE成员
template<typename E, typename = void>
struct has_turquoise : std::false_type {};

template<typename E>
struct has_turquoise<E, std::void_t<decltype(E::TURQUOISE)>> : std::true_type {};

int main()
{
    // if constexpr 是C++17特性，确保分支在编译期就被剔除
    if constexpr (has_turquoise<colors>::value) {
        some_function(TURQUOISE);
    } else {
        some_function(BLUE);
    }
}

C11/C14版本（适配旧标准） #

如果项目需要兼容C11或C14，可以用另一种SFINAE写法实现检测：

#include <colors_library.h>
#include <type_traits>

// 辅助模板：检测枚举E中是否存在TURQUOISE成员
template<typename E>
struct has_turquoise {
private:
    // 当E::TURQUOISE存在时，匹配这个重载
    template<typename T> static std::true_type test(decltype(T::TURQUOISE)*);
    // 否则匹配这个兜底重载
    template<typename T> static std::false_type test(...);
public:
    static constexpr bool value = decltype(test<E>(nullptr))::value;
};

int main()
{
    // C++11没有if constexpr，可通过标签分发实现编译期分支
    auto call_func = [](std::true_type) { some_function(TURQUOISE); };
    auto call_func = [](std::false_type) { some_function(BLUE); };
    
    call_func(typename has_turquoise<colors>::type{});
}

不推荐的方案：手动定义宏 #

如果一定要用预处理器，只能手动在项目中维护一个宏（比如HAS_TURQUOISE），在包含库头文件前根据使用的库版本定义：

// 根据当前使用的库版本手动定义
#define HAS_TURQUOISE 1
#include <colors_library.h>

int main()
{
#if HAS_TURQUOISE
    some_function(TURQUOISE);
#else
    some_function(BLUE);
#endif
}

这种方式需要手动同步库版本，容易出错，仅作为临时替代方案。

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