如何用SFINAE检测外部C库中C风格枚举my_enum是否已定义？

要实现基于SFINAE的旧式C枚举存在性检测，并创建条件类型别名，核心是利用模板替换失败（SFINAE）特性，避免直接引用可能不存在的枚举类型导致编译错误，具体步骤如下：

1. 核心检测逻辑 #

通过模板重载与std::void_t实现枚举存在性的编译期判断，无需前向声明旧式枚举：

#include <type_traits>

// 你的empty枚举定义
enum empty {
    placeholder, // 枚举必须至少有一个值
};

namespace detail {
    // 基础模板：当my_enum不存在时生效
    template<typename = void>
    struct select_enum {
        using type = empty;
    };

    // 特化模板：仅当my_enum存在时，模板替换成功并生效
    template<typename T = my_enum>
    struct select_enum<std::void_t<T>> {
        using type = T;
    };
}

2. 定义条件类型别名 #

直接通过detail::select_enum的嵌套类型获取目标别名：

using my_enum_or_empty = typename detail::select_enum<>::type;

原理说明 #

• SFINAE特性：当my_enum不存在时，特化模板中的T = my_enum会触发模板替换失败，编译器会自动忽略该特化版本，转而使用基础模板。
• std::void_t的作用：将模板参数中的类型转换为void，仅用于检测my_enum是否能被合法引用（即是否已定义），不会产生额外代码。
• 避免编译错误：由于仅在my_enum存在时才会解析该类型名称，不存在时不会触发未定义标识符的编译错误。

验证场景 #

• 当包含定义my_enum的外部库头文件时，my_enum_or_empty会被推导为my_enum；
• 当不包含该头文件时，my_enum_or_empty会被推导为empty。

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