std::void_t 是c++17引入的别名模板，用于sfinae检测嵌套类型是否存在；它将 typename t::x 的合法性转换为可偏特化的 void 类型，使模板特化仅在该类型存在时启用。
std::void_t 是什么，为什么能用来检测成员类型
std::void_t 本质是别名模板：template<typename...> using void_t = void</typename...>。它本身不做事，但配合 SFINAE（替换失败不是错误）时，能让编译器根据“某个表达式能否合法求值”来启用或禁用模板特化。检测类是否有 value_type 这类内部类型，关键不是“看到它”，而是“让 typename T::value_type 在模板参数推导中可写而不报错”。std::void_t 就是把这种“可写性”转成一个可偏特化的类型。
写一个基础的 value_type 检测 trait
最常见需求：判断 T 是否定义了 typename T::value_type。直接写 typename T::value_type 在泛型里会硬编译失败，必须包裹在依赖模板参数的上下文中：
template<typename t typename="void">
struct has_value_type : std::false_type {};
template<typename t>
struct has_value_type<t std::void_t t::value_type>> : std::true_type {};</t></typename></typename>
使用时：has_value_type<:vector>>::value</:vector> 为 true，has_value_type<int>::value</int> 为 false。注意两点：
- 主模板第二个参数默认为
void，偏特化版本尝试用std::void_t<...></...>替换——只有T::value_type合法存在时，std::void_t<...></...>才能实例化为void，从而匹配成功 - 偏特化里不能写
typename T::value_type外的其他非法表达式，否则即使value_type存在也会因整体替换失败而退回到主模板
检测嵌套类型时容易踩的坑
常见错误是把 typename T::iterator 直接塞进 std::void_t，但某些类（如 std::array）的 iterator 是依赖 T 和 N 的别名，需完整上下文：
- 错误写法：
std::void_t<typename t::iterator></typename>—— 对std::array<int></int>会失败，因为iterator实际是std::array<int>::iterator</int>，而T是std::array<int></int>，这里没问题；但若检测container::size_type，而该类型是decltype(std::declval<t>().size())</t>这种表达式类型，则不能用typename T::xxx形式 - 正确思路：按需切换检测目标——成员类型用
typename T::X，成员函数返回类型用decltype(std::declval<t>().func())</t>，再套std::void_t - 别忘了加
typename：所有T::xxx在模板中都是依赖名称，漏掉就编译不过
支持 C++17 及以上，C++14 用户需手动定义 void_t
标准库从 C++17 引入 std::void_t，C++14 项目必须自己补：
template<typename...> using void_t = void;</typename...>
放在全局命名空间或自定义命名空间均可，但要确保在使用前已定义。另外注意：std::void_t 不接受空参数包（std::void_t 合法），但旧版自定义实现若写成 template<typename t> using void_t = void</typename> 就不支持多参数，会导致检测多个嵌套类型时失败——比如同时检查 value_type 和 reference，需用 std::void_t<typename t::value_type typename t::reference></typename>。
真正麻烦的不是语法，而是当你想检测的类型本身又依赖另一个未满足条件的类型时，SFINAE 会静默失效——比如 T::value_type 里又引用了 T::inner::type，这时整个 std::void_t 表达式就不再 SFINAE 友好了，得拆成多层检测或改用 constexpr if（C++17 起）。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
