C++ 怎么编写一个类型萃取器判断某个类是否包含特定的内嵌类型-C++-PHP中文网

最直接标准的方式是用 std::void_t + SFINAE 定义探测 trait：主模板继承 std::false_type，偏特化通过 std::void_t 成功时继承 std::true_type。

c++ 怎么编写一个类型萃取器判断某个类是否包含特定的内嵌类型

用 `std::void_t` + SFINAE 检测内嵌类型是否存在

最直接、标准且可读性好的方式是借助 std::void_t 构造一个探测 trait。它利用 SFINAE 在模板实例化时“静默失败”——如果某个内嵌类型（比如 T::value_type）不存在，特化版本不参与重载决议，主模板就生效。

常见错误是手写 decltype + sizeof 组合，既难读又容易因表达式副作用或求值顺序出问题；还有人误用 std::is_detected（需），但 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 t::value_type>> : std::true_type {};
</t></typename></typename>

之后可用 has_value_type<:vector>>::value 得到 true，has_value_type::value 为 false。

检测带模板参数的内嵌类型（如 `T::template inner`）

如果目标内嵌类型本身是模板（比如 container::template rebind），普通 typename T::rebind 会编译失败，因为编译器无法推断它是模板名而非静态成员。

此时必须显式加上 template 关键字，并把模板实参放在 decltype 外部包裹中，否则语法不合法。

错误写法：typename T::template rebind 直接放进 std::void_t ——C++ 不允许在别名上下文中使用 template 关键字
正确做法：用 decltype 配合假想调用，例如 decltype(std::declval().template rebind{}) 不行（rebind 是类型模板，不是成员函数）；应改用 typename T::template rebind*（加个指针，让它变成一个合法的、可推导的类型表达式）
更稳妥的模式是引入中间别名：

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>>> : std::true_type {};
</t></typename></typename></char></typename>

为什么不用 `std::is_base_of` 或 `std::is_convertible` 替代？

这类类型关系检测工具完全不适用于“是否存在内嵌类型”的场景。它们只判断继承或转换关系，对 T::iterator 这类声明的存在性毫无感知。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

有人尝试通过“构造一个 T::iterator 对象并检查是否可实例化”来间接判断，这不仅逻辑错误（存在 ≠ 可默认构造），还会触发 ODR-use 和未定义行为（比如 void* 类型无法实例化）。

std::is_default_constructible 前提是 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 t::pointer>> : std::true_type {};
</t></typename></typename></typename...>

注意：即使在 C++11 中，只要编译器支持别名模板（GCC 4.7+、Clang 3.0+），这段就能工作；但 MSVC 2013 及更早版本需要额外规避，此时建议升级工具链而非硬扛。

最容易被忽略的是：所有这类探测 trait 都必须是无状态、无副作用的纯类型计算；一旦在 decltype 中误写成函数调用或变量访问（比如 T::size()），就从类型探测退化为值依赖，导致编译失败或行为不可控。