C++如何实现基于模板的类型萃取(Type Traits)-C++-PHP中文网

type traits 是编译期类型判断与转换工具，因 decltype 和 typeid 依赖运行时信息，无法支持 sfinae、constexpr if 等编译期机制；标准 type traits 基于 integral_constant 和偏特化实现，零开销且可组合嵌套。

c++如何实现基于模板的类型萃取(type traits)

什么是 type traits，为什么不能直接用 `decltype` 或 `typeid`

因为 decltype 和 typeid 都在运行时或表达式求值后才确定类型信息，而 type traits 的核心目标是在编译期完成类型判断与转换——比如决定调用哪个重载函数、启用/禁用某个模板特化、或者静态断言类型是否满足条件。一旦依赖运行时信息，就失去了 SFINAE、constexpr if、std::enable_if 这些编译期机制的基础。

典型错误是试图用 typeid(T).name() 做分支，这不仅不可靠（名字未标准化）、无法参与编译期计算，还强制要求 RTTI 开启，且不能用于非多态类型。

std::is_integral_v<t></t> 是编译期常量，可直接进 if constexpr 分支
typeid(T).name() 是运行期字符串，无法做模板参数或 static_assert 条件
所有标准 std::is_*、std::remove_* 等都基于 std::integral_constant 和偏特化实现，不产生任何运行时开销

手写一个 `is_pointer`：偏特化 + 类型别名的最小闭环

标准库的 std::is_pointer 本质就是对指针类型做全特化，其余类型走默认主模板返回 false_type。自己实现时必须注意三点：继承 std::integral_constant<bool value></bool>、提供 ::value 和 ::type 别名、支持 C++17 的 _v 变量模板。

template <typename t>
struct is_pointer : std::false_type {};
<p>template <typename t>
struct is_pointer<t> : std::true_type {};</t></typename></p>
<p>template <typename t>
inline constexpr bool is_pointer_v = is_pointer<t>::value;
</t></typename></p></typename>

关键细节：

主模板必须先声明，否则 is_pointer<int></int> 会匹配不到特化版本
特化写成 T*> 而不是 int*，否则无法泛化；但不支持 T* const 或 T* volatile，需额外特化（标准库做了）
不能漏掉 inline constexpr —— 没有它，is_pointer_v<int></int> 就不是字面量常量，无法用于模板非类型参数

为什么 `std::remove_reference` 必须用 `typedef` 或 `using` 而不是直接返回类型

type traits 的“萃取”结果必须能被其他 traits 组合使用，比如 std::remove_reference_t<t></t> 后再传给 std::is_const_v。如果直接写个函数返回 decltype(*ptr)，那只是运行时推导，无法嵌套、无法作为模板实参。

正确做法是把结果类型定义为 ::type，再通过别名模板暴露为 _t 后缀：

C++14

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

下载

template <typename t>
struct remove_reference { using type = T; };
<p>template <typename t>
struct remove_reference<t> { using type = T; };</t></typename></p>
<p>template <typename t>
struct remove_reference<t> { using type = T; };</t></typename></p>
<p>template <typename t>
using remove_reference_t = typename remove_reference<t>::type;
</t></typename></p></typename>

常见坑：

忘记 typename 前缀：在模板中访问 remove_reference<t>::type</t> 必须加 typename，否则编译器认为是静态成员而非类型
没覆盖右值引用：C++11 起 T&& 是独立类型，不特化会导致 remove_reference_t<int></int> 仍是 int&&
using 别名模板不能省略 typename —— 它只是语法糖，底层仍依赖 ::type

自定义 traits 遇到 SFINAE 失效？检查是否用了 `void_t` 或概念约束

当你想写 has_begin 这类探测 traits 时，直接偏特化会失败：编译器不允许部分特化依赖未定义的嵌套类型（如 T::begin）。标准解法是用 void_t 技巧或 C++20 requires 表达式。

以 void_t 为例：

template <typename...> using void_t = void;
<p>template <typename t typename="void">
struct has_begin : std::false_type {};</typename></p>
<p>template <typename t>
struct has_begin<t void_t>().begin())>> : std::true_type {};
</t></typename></p></typename...>

关键点：