直接写typename T::type会触发硬错误，必须用std::void_t<typename T::type>配合SFINAE偏特化实现静默检测；decltype(T::type)和sizeof(T::type)均非法，无法用于编译期探测。
检测 T::type 是否为合法嵌套类型别名
直接写 typename T::type 会触发硬错误，不是“检测失败”，而是编译直接终止。必须把探测逻辑塞进模板参数替换阶段（SFINAE），让失败静默 fallback 到默认分支。
正确做法是用 std::void_t 包裹嵌套类型表达式，构造一个可偏特化的 trait：
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 {};
关键点：
-
std::void_t<typename T::type>在T没有type时替换失败 → 主模板被选中 →::value == false - 主模板第二个参数必须带默认值（如
void），否则偏特化无法匹配 - 不能写成
template<typename T> struct has_type<T, typename T::type>—— 这会在T无type时立刻报错
检测 T::value_type 等标准嵌套类型是否匹配特定类型
很多容器（如 std::vector）提供 value_type，但你想确认它是否是 int 或 std::string？这时不能只判“是否存在”，还要判“是否为某类型”。
立即学习“C++免费学习笔记（深入）”；
组合 std::void_t 和 std::is_same 即可：
template<typename T, typename Expected, typename = void>
struct has_value_type_as : std::false_type {};
template<typename T, typename Expected>
struct has_value_type_as<T, Expected,
std::void_t<typename T::value_type>>
: std::is_same<typename T::value_type, Expected> {};
使用示例：
-
has_value_type_as<std::vector<int>, int>::value→true -
has_value_type_as<std::string, char>::value→false（std::string::value_type是char，但实际是std::char_traits<char>::char_type，可能因实现而异） - 若
T根本没有value_type，则 fallback 到主模板 →false
为什么 decltype(T::type) 不行
decltype(T::type) 看似简洁，但它要求 T::type 必须可求值 —— 而类型别名不是对象，不能“取值”。该表达式语法非法，编译器会直接报错，根本不会进入 SFINAE 替换流程。
常见误写及后果：
-
decltype(T::type) x;→ 编译错误：error: 'type' is not a member of 'T' -
static_assert(std::is_same_v<decltype(T::type), int>);→ 同样硬错误，无法用于条件编译 - 想用
sizeof(T::type)？也不行 ——sizeof对类型别名本身不合法（需加sizeof(typename T::type)，但这又绕回了硬错误）
在 if constexpr 中安全使用检测结果
像 has_type_v<T> 这样的变量模板，只有在模板实例化后才是常量表达式。这意味着它只能用于 if constexpr 分支或 static constexpr 成员初始化。
这些写法会出错：
-
int x = has_type_v<T> ? 1 : 0;→ 普通if，非 constexpr 上下文 -
void f(int = has_type_v<T>);→ 函数默认参数不允许非常量表达式 -
constexpr bool v = has_type_v<MyClass>;→ 若MyClass非当前模板参数，has_type_v可能未实例化，行为未定义
真正安全的用法只有一种：在函数模板体内、配合 if constexpr 做编译期分发。
