最直接标准的方式是用 std::void_t + SFINAE 定义探测 trait：主模板继承 std::false_type，偏特化通过 std::void_t 成功时继承 std::true_type。
用 std::void_t + SFINAE 检测内嵌类型是否存在
最直接、标准且可读性好的方式是借助 std::void_t 构造一个探测 trait。它利用 SFINAE 在模板实例化时“静默失败”——如果某个内嵌类型（比如 T::value_type）不存在，特化版本不参与重载决议，主模板就生效。
常见错误是手写 decltype + sizeof 组合，既难读又容易因表达式副作用或求值顺序出问题；还有人误用 std::is_detected（需 <experimental></experimental>），但 C++17 起 std::void_t 已足够简洁可靠。
- 定义探测器时，必须把待检测的嵌套名写在
decltype内部，例如decltype(T::value_type{})是错的——T::value_type是类型，不是对象；正确写法是typename T::value_type -
std::void_t的作用是把“能成功解析的类型列表”统一映射为void，从而让两个模板偏特化能区分：一个匹配成功（有内嵌类型），一个匹配失败（用主模板兜底） - 示例：
template <typename T, typename = void>
struct has_value_type : std::false_type {};
template <typename T>
struct has_value_type<T, std::void_t<typename T::value_type>> : std::true_type {};
之后可用 has_value_type<:vector>>::value</:vector> 得到 true，has_value_type<int>::value</int> 为 false。
检测带模板参数的内嵌类型（如 T::template inner<int></int>）
如果目标内嵌类型本身是模板（比如 container::template rebind<char></char>），普通 typename T::rebind 会编译失败，因为编译器无法推断它是模板名而非静态成员。
立即学习“C++免费学习笔记（深入）”；
此时必须显式加上 template 关键字，并把模板实参放在 decltype 外部包裹中，否则语法不合法。
- 错误写法：
typename T::template rebind<int></int>直接放进std::void_t——C++ 不允许在别名上下文中使用template关键字 - 正确做法：用 decltype 配合假想调用，例如
decltype(std::declval<t>().template rebind<int>{})</int></t>不行（rebind是类型模板，不是成员函数）；应改用typename T::template rebind<int>*</int>（加个指针，让它变成一个合法的、可推导的类型表达式） - 更稳妥的模式是引入中间别名：
template <typename T>
using rebind_char_t = typename T::template rebind<char>;
template <typename T, typename = void>
struct has_rebind_char : std::false_type {};
template <typename T>
struct has_rebind_char<T, std::void_t<rebind_char_t<T>>> : std::true_type {};
为什么不用 std::is_base_of 或 std::is_convertible 替代？
这类类型关系检测工具完全不适用于“是否存在内嵌类型”的场景。它们只判断继承或转换关系，对 T::iterator 这类声明的存在性毫无感知。
有人尝试通过“构造一个 T::iterator 对象并检查是否可实例化”来间接判断，这不仅逻辑错误（存在 ≠ 可默认构造），还会触发 ODR-use 和未定义行为（比如 void* 类型无法实例化）。
-
std::is_default_constructible<typename t::iterator></typename>前提是T::iterator已存在，否则编译直接失败，起不到探测作用 - 任何依赖“实际创建对象”的检测都违背了类型萃取的本质——它必须在编译期纯类型层面完成，不涉及值、内存或运行时行为
- 真正要检测“能否默认构造”，那是另一个独立需求，应另写 trait，不能和“是否存在”混为一谈
兼容 C++11/14 的写法要点
若项目不能用 C++17，std::void_t 需手动实现，且要注意早期标准对别名模板偏特化的支持不完善。
- 自己定义
void_t时，必须用别名模板（不能用using在类内），且至少有一个模板参数（哪怕未使用）以支持偏特化 - C++11 下
std::true_type/std::false_type可用，但std::integral_constant更底层可靠 - 避免在偏特化中直接写
typename T::xxx，应包一层decltype或用sizeof技巧兜底（虽然可读性差，但兼容性强） - 示例（C++11 兼容）：
template <typename...> using void_t = void;
template <typename T, typename = void>
struct has_pointer : std::false_type {};
template <typename T>
struct has_pointer<T, void_t<typename T::pointer>> : std::true_type {};
注意：即使在 C++11 中，只要编译器支持别名模板（GCC 4.7+、Clang 3.0+），这段就能工作；但 MSVC 2013 及更早版本需要额外规避，此时建议升级工具链而非硬扛。
最容易被忽略的是：所有这类探测 trait 都必须是无状态、无副作用的纯类型计算；一旦在 decltype 中误写成函数调用或变量访问（比如 T::size()），就从类型探测退化为值依赖，导致编译失败或行为不可控。
