type_traits最小可用实现核心是模板偏特化与别名模板：用偏特化实现类型分类（如is_pointer）、转换（如remove_reference/remove_cv）和关系判断（如is_convertible需SFINAE）；每类提供value常量及_v变量模板和_t类型别名。
什么是 type_traits 的最小可用实现
标准库里的 std::is_integral、std::remove_reference 这类工具，本质就是编译期类型判断和转换。自己写一个最小可用版本，核心就两件事：用模板偏特化做类型分类，用别名模板做类型转换。
不需要支持全部 50+ 个 trait，先搞定最常用的 3 类：类型分类（如判断是否为指针）、类型转换（如去掉 const）、类型关系（如是否可隐式转换）。其他都是这三类的组合或延伸。
怎么用偏特化实现 is_pointer
偏特化是判断类型的底层机制。比如 is_pointer，主模板返回 false，只对 T* 做偏特化返回 true：
template<typename T>
struct is_pointer { static constexpr bool value = false; };
<p>template<typename T>
struct is_pointer<T<em>> { static constexpr bool value = true; }; // 注意：这里不匹配 void</em>、T* const 等容易踩的坑：
立即学习“C++免费学习笔记（深入）”；
-
T*偏特化不覆盖void*—— 因为void不是类型参数，得额外加template<> struct is_pointer<void*> { ... }; -
T* const不会被匹配 —— 需要再加一层偏特化template<typename T> struct is_pointer<T* const>，或者改用更通用的模式（如先remove_cv再判断） - 别忘了提供
value的inline constexpr变量模板别名：template<typename T> inline constexpr bool is_pointer_v = is_pointer<T>::value;
如何安全地做 remove_cv 和 remove_reference
类型转换类 trait 的关键是“不改变非目标部分”。比如 remove_reference<int&&> 应该得到 int，但不能误把 int* 当成引用处理。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
典型实现靠多重偏特化 + 别名模板：
template<typename T> struct remove_reference { using type = T; };
template<typename T> struct remove_reference<T&> { using type = T; };
template<typename T> struct remove_reference<T&&> { using type = T; };
<p>template<typename T> using remove_reference_t = typename remove_reference<T>::type;注意点：
- 偏特化顺序无关紧要，但必须覆盖所有引用形式（
&和&&），漏掉&&会导致std::move(x)返回类型萃取失败 -
remove_cv同理，要分别偏特化const T、volatile T、const volatile T，不能只写一个const T - 实际使用中，往往需要链式调用：
remove_reference_t<remove_cv_t<decltype(expr)>>，所以每个 trait 都得提供_t别名
为什么 is_convertible 要用 SFINAE 而不是偏特化
类型关系类 trait（如 is_convertible<From, To>）无法靠偏特化穷举 —— 可能的类型组合无限。必须借助表达式 SFINAE 或 C++17 的 constexpr if + 检测表达式。
最简可行版（C++11）用逗号表达式 + decltype 检测隐式转换是否存在：
template<typename From, typename To>
struct is_convertible {
private:
template<typename T>
static auto test(int) -> decltype(static_cast<To>(std::declval<T>()), std::true_type{});
template<typename>
static std::false_type test(...);
public:
static constexpr bool value = decltype(test<From>(0))::value;
};关键细节：
- 必须用
std::declval<T>()构造值，不能直接写T{}（因为 T 可能无默认构造） - 两个重载函数的返回类型必须不同，且其中一个必须是
std::true_type/std::false_type，否则decltype推导失败 - C++20 可改用
std::is_convertible_v<From, To>，但手写时仍建议保持 C++11 兼容性，除非明确只要新标准
真正难的不是写出来，而是保证所有边界情况（如 void、数组、函数类型、不完整类型）不导致硬错误 —— 这些地方一错就是编译失败，而不是 trait 返回 false。
