无需预定义结构体，轻量实现C++类静态成员变量存在性检查

针对你需要在任意函数内直接检查类型T是否存在指定名称的静态bool成员变量，且无需提前为每个成员定义模板结构体的需求，这里提供两种基于C++标准的轻量级实现方案，均支持编译时检查且仅需通过宏调用即可完成检测。

方案一：C++20 简洁版（推荐） #

利用C++20引入的requires表达式，可以直接在宏内生成编译时检测逻辑，代码直观且无需额外模板定义：

#include <type_traits>

// 核心宏：直接生成编译时检测逻辑，返回bool常量
#define HAS_MEMBER_VARIABLE(T, MEMBER) \
[]() constexpr noexcept -> bool { \
    if constexpr (requires { T::MEMBER; }) { \
        return std::is_same_v<decltype(T::MEMBER), bool>; \
    } \
    return false; \
}()

使用示例 #

// 测试类型
struct TypeA {
    static constexpr bool name = true;
    static constexpr bool feature_1 = false;
};

struct TypeB {
    static int name; // 成员存在但类型非bool
};

struct TypeC {}; // 无目标成员

void demo() {
    // 检查TypeA::name
    if constexpr (HAS_MEMBER_VARIABLE(TypeA, name)) {
        static_assert(TypeA::name, "TypeA::name should be true");
    }

    // 检查TypeB::name（类型不符，返回false）
    static_assert(!HAS_MEMBER_VARIABLE(TypeB, name), "TypeB::name is not bool");

    // 检查TypeC::name（不存在，返回false）
    static_assert(!HAS_MEMBER_VARIABLE(TypeC, name), "TypeC has no name member");

    // 检查TypeA::feature_1
    if constexpr (HAS_MEMBER_VARIABLE(TypeA, feature_1)) {
        static_assert(!TypeA::feature_1, "TypeA::feature_1 should be false");
    }
}

方案二：C++17 兼容版 #

如果需要兼容C++17标准，可以基于SFINAE和指针到成员的特性实现：

#include <type_traits>

// 基础模板：默认返回false
template <typename T, typename MemberPtr, typename = void>
struct has_bool_static_member : std::false_type {};

// 特化模板：当成员是bool类型的静态变量时匹配
template <typename T>
struct has_bool_static_member<T, bool T::*> : std::true_type {};

// 核心宏：生成编译时检测常量
#define HAS_MEMBER_VARIABLE(T, MEMBER) \
std::integral_constant<bool, \
    has_bool_static_member<T, decltype(&T::MEMBER)>::value>::value

使用示例 #

和方案一的调用方式完全一致，仅底层实现依赖不同标准特性。

方案优势 #

• 轻量级：无需提前为每个待检查成员定义专属模板结构体，直接在函数内通过宏调用完成检测
• 编译时检查：所有逻辑在编译阶段完成，无运行时开销
• 灵活扩展：支持任意成员名，检查feature_1、feature_2等成员仅需修改宏的第二个参数即可

内容的提问来源于stack exchange，提问作者T.L