std::void_t<typename T::type>是检测嵌套类型最稳通用的方法，因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> 是检测 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<typename T::type>> : std::true_type {};
template <typename T>
constexpr bool has_type_v = has_type<T>::value;
- 主模板第二个参数必须带默认值（如
void），否则特化无法匹配 -
std::void_t<typename T::type>在T无type时替换失败 → 主模板生效 →::value == false</li> <li>支持 <code>typedef
、using、嵌套struct、enum class—— 只要是合法的嵌套类型名就管用
检测失败后想 fallback 到默认类型？用别名模板更干净
比如你想写一个 get_type_t<T>：有 T::type 就用它，没有就用 T 本身。
立即学习“C++免费学习笔记（深入）”；
template <typename T, typename = void>
struct get_type { using type = T; };
template <typename T>
struct get_type<T, std::void_t<typename T::type>> { using type = typename T::type; };
template <typename T>
using get_type_t = typename get_type<T>::type;
- 不要在主模板里写
using type = typename T::type，那会提前触发硬错误 - 特化版本只在
std::void_t<...>成功时才参与匹配，安全 - 这种模式也适用于
value_type、iterator、size_type等常见嵌套类型检测
容易忽略的坑：别名模板不能直接用于非模板上下文
has_type_v<MyClass> 是 constexpr，但只能用在 if constexpr、模板参数默认值、static_assert 这类编译期求值场景。
-
int x = has_type_v<MyClass> ? 1 : 0;→ 错误：普通if不是 constexpr 上下文 -
void f(int = has_type_v<MyClass>);→ 错误：默认参数要求常量表达式，但MyClass非模板形参，不满足条件 - 若需运行期行为，得靠
if constexpr分支，或把整个逻辑包进函数模板里
真正麻烦的地方在于：探测结果不是“类型存在与否”的布尔值，而是“这个判断能否在当前上下文中被求值”。很多翻车都发生在把元编程结果当成普通常量用了。
