最简洁可靠的方式是用 std::void_t + decltype 检测表达式是否合法：对成员变量检测 T::value，对成员函数用 std::declval<T&>().func() 模拟调用，配合逗号表达式可忽略返回类型；需注意访问控制、重载函数及模板函数的限制。
用 std::void_t + 表达式SFINAE检测成员变量是否存在
最简洁可靠的方式是借助 std::void_t 对表达式做 SFINAE 推导。它本质是把“能求值的表达式”映射为 void 类型，否则导致模板偏特化失败，从而自然排除掉不满足条件的类型。
比如检测 T 是否有公有成员变量 value：
template<typename T, typename = void>
struct has_value_member : std::false_type {};
template<typename T>
struct has_value_member<T, std::void_t<decltype(T::value)>> : std::true_type {};
注意点：
-
T::value必须是**可访问且无需实例化对象**的——即静态或公有非静态成员（编译器只查符号可见性，不构造对象） - 若
value是私有成员，即使在友元上下文中也无法通过此方式检测（SFINAE 不穿透访问控制） - 若
value是重载函数名，decltype(T::value)会失败（函数名不是单一类型），得改用decltype(&T::value)
检测成员函数（含重载与 const 限定）
成员函数比变量复杂，因为涉及调用签名、cv 限定、引用限定。直接写 T::func 不行，必须模拟一次合法调用。
立即学习“C++免费学习笔记（深入）”；
例如检测是否存在无参、返回 int 的 const 成员函数 size()：
template<typename T, typename = void>
struct has_const_size_method : std::false_type {};
template<typename T>
struct has_const_size_method<T, std::void_t<decltype(std::declval<const T&>().size())>>
: std::true_type {};
关键细节：
-
std::declval<const T&>()提供 const 左值上下文，确保匹配 const 成员函数 - 若想检测非 const 版本，改用
std::declval<T&>() - 若函数带参数，如
find(key)，需补全：decltype(std::declval<T&>().find(std::declval<const Key&>())) - 若函数是模板（如
emplace<Args...>），无法直接检测——SFINAE 对模板名本身无效，只能检测具体实例化后的调用
用 decltype + 逗号表达式绕过返回值约束
有时你只关心“能否写出某表达式”，不关心返回类型。比如检测是否有 begin()，但不想限定其返回类型是否可 decltype ——此时可用逗号表达式丢弃结果：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
template<typename T, typename = void>
struct has_begin : std::false_type {};
template<typename T>
struct has_begin<T, std::void_t<decltype((std::declval<T&>().begin(), void()))>>
: std::true_type {};
原理是：(a, b) 整体类型是 b 的类型，这里强制为 void，只要 a 合法就能通过 SFINAE。
适用场景：
- 成员存在但返回类型不明确（如依赖模板参数的 auto 返回）
- 避免因返回类型未定义（如前置声明类）导致硬错误
- 比单纯
decltype(T::begin)更贴近“可调用性”语义
Clang/GCC/MSVC 兼容性与替代方案
std::void_t 是 C++17 引入的，若需支持 C++11/14，得手写等价物：
template<typename...> using void_t = void;
但要注意 MSVC 2015 Update 3 之前对别名模板 SFINAE 支持不完善，可能需退回到传统 sizeof + decltype 技巧，或使用 std::enable_if_t 配合默认模板参数。
另外，C++20 起可用 requires 表达式替代，更直观：
template<typename T>
constexpr bool has_size_v = requires(const T& t) { t.size(); };
不过目前仍有不少项目卡在 C++17 或更早，std::void_t 方案仍是主流选择。
真正容易被忽略的是：SFINAE 只作用于模板参数推导阶段，一旦进入函数体，任何错误都是硬编译错误。所以所有检测逻辑必须严格落在模板参数列表或默认参数中，不能藏在函数内部的 static_assert 或 if constexpr 里——后者不参与重载决议。
