std::void_t 是一个别名模板，用于将合法类型列表折叠为 void，配合 sfinae 探测成员是否存在：仅当所有参数类型有效时才定义，否则静默失效；常与 decltype 和 std::declval 结合构造探测表达式，如 void_t。
std::void_t 是什么，为什么它能用来探测成员
它不是“某种类型”，而是一个别名模板，本质是 std::void_t 把一串类型列表全部“折叠”成 void —— 但只在所有参数都合法（可求值）时才成立。一旦其中某个表达式不合法（比如访问不存在的成员），SFINAE 就让它静默失效，从而让特化或重载被跳过。
所以它常和 decltype 配合，构造一个“只有成员存在时才有效的类型表达式”：
template<typename T> using has_begin_t = decltype(std::declval<T&>().begin());
上面这个别名模板，如果 T 没有 begin() 成员函数，就根本无法实例化；而 std::void_t<has_begin_t>></has_begin_t> 只有在 has_begin_t<t></t> 成功时才存在，这就成了探测开关。
怎么写一个可靠的成员变量探测器
探测成员变量比函数更易出错：不能对数据成员直接调用 decltype，得用取址操作符 & 或加括号避免解析歧义。
立即学习“C++免费学习笔记（深入）”；
- 错误写法：
decltype(T::value)—— 如果value是静态成员，可能触发 ODR-use；如果是非静态，语法非法 - 正确写法：
decltype(&T::value)或decltype(std::declval<t>().value)</t> - 推荐统一用
std::declval<t>().member</t>，兼容静态/非静态、函数/变量，且不触发实际求值 - 记得加上
std::void_t<...></...>包裹，否则编译器会在 SFINAE 失败时直接报错，而不是静默丢弃
std::void_t 在 C++17 之前怎么替代
C++14 没有 std::void_t，但可以自己定义，且必须是别名模板（不能是 using 声明外的普通别名）：
template<typename...> using void_t = void;
这个定义看似简单，但关键点在于：
- 必须写成模板形式，否则无法参与 SFINAE
- 参数包
...必须允许为空（void_t合法），否则像std::void_t这种用法会失败 - 别名模板的参数不参与推导，只用于“占位”触发 SFINAE，所以不能在里面做类型计算或约束
很多老项目还保留着这个自定义，其实 C++17 引入后完全可以删掉，但要注意头文件顺序：如果先 include 自定义版，再 include <type_traits></type_traits>，可能因 ODR 导致未定义行为。
常见踩坑：constexpr if 和 std::void_t 不是替代关系
有人以为 C++17 的 if constexpr 能取代 std::void_t 探测，其实不能——它们解决的问题层级不同：
-
std::void_t解决的是“编译期类型是否存在”的问题，发生在模板实例化早期，影响重载决议和特化选择 -
if constexpr是在模板已成功实例化后，对分支做编译期剪枝；如果T::foo根本不存在，进不到函数体里就挂了 - 典型反例：写一个通用
print_size函数，想对有size()的类型调用它，对没有的 fallback 到std::distance—— 必须靠std::void_t+ SFINAE 分离两个重载，不能靠if constexpr在一个函数里判断
真正容易被忽略的是：探测逻辑一旦写进模板参数列表（比如作为默认模板参数），就锁定了 SFINAE 行为；而写在函数体内（哪怕用了 decltype）却没包裹进 std::void_t，就只是普通语法错误。
