std::void_t是检测嵌套类型最稳通用的方法，因sfinae仅在模板参数替换阶段生效，而直接访问t::type会触发硬错误；该方案将探测逻辑置于模板参数中，使失败发生在替换期，从而安全fallback。
直接用 std::void_t + 嵌套类型访问是最稳、最通用的做法，其他方式要么编译失败，要么漏判重载或 const 限定符。
为什么 sizeof(T::type) 或 T::type 直接写会炸
一旦 T 没定义 type，编译器立刻报错（硬错误），根本不会 fallback 到备选分支。SFINAE 只在“模板参数替换阶段”起作用，而 T::type 出现在类体、static_assert 或函数体内时，属于语义检查阶段，SFINAE 失效。
-
static_assert(std::is_same_v<decltype int>)</decltype>→ T 没type就直接编译失败 -
void f() { typename T::type x; }→ 同样硬错误，且强加默认可构造约束 - 必须把探测逻辑塞进
decltype+std::declval或std::void_t的模板参数里，让失败发生在替换期
std::void_t<typename t::type></typename> 是检测 typedef/using 的标准解法
它利用 SFINAE 把“T::type 是否合法”转成一个可偏特化的类型参数，默认值为 void，失败时主模板被选中。
template <typename t typename="void">
struct has_type : std::false_type {};
template <typename t>
struct has_type<t std::void_t t::type>> : std::true_type {};
template <typename t>
constexpr bool has_type_v = has_type<t>::value;
</t></typename></t></typename></typename>
- 主模板第二个参数必须带默认值（如
void），否则特化无法匹配 -
std::void_t<typename t::type></typename>在T无type时替换失败 → 主模板生效 →::value == false
- 支持
typedef、<code>using、嵌套struct、enum class—— 只要是合法的嵌套类型名就管用
检测失败后想 fallback 到默认类型？用别名模板更干净
比如你想写一个 get_type_t<t></t>：有 T::type 就用它，没有就用 T 本身。
template <typename t typename="void">
struct get_type { using type = T; };
template <typename t>
struct get_type<t std::void_t t::type>> { using type = typename T::type; };
template <typename t>
using get_type_t = typename get_type<t>::type;
</t></typename></t></typename></typename>
- 不要在主模板里写
using type = typename T::type，那会提前触发硬错误 - 特化版本只在
std::void_t<...></...>成功时才参与匹配，安全 - 这种模式也适用于
value_type、iterator、size_type等常见嵌套类型检测
容易忽略的坑：别名模板不能直接用于非模板上下文
has_type_v<myclass></myclass> 是 constexpr，但只能用在 if constexpr、模板参数默认值、static_assert 这类编译期求值场景。
-
int x = has_type_v<myclass> ? 1 : 0;</myclass>→ 错误：普通if不是 constexpr 上下文 -
void f(int = has_type_v<myclass>);</myclass>→ 错误：默认参数要求常量表达式，但MyClass非模板形参，不满足条件 - 若需运行期行为，得靠
if constexpr分支，或把整个逻辑包进函数模板里
真正麻烦的地方在于：探测结果不是“类型存在与否”的布尔值，而是“这个判断能否在当前上下文中被求值”。很多翻车都发生在把元编程结果当成普通常量用了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
