C++怎么使用类型萃取_C++type_traits应用【元编】

应使用 std::is_pointer_v 在编译期判断类型是否为指针，它比 std::is_pointer::value 更简洁；注意需先用 std::remove_reference_t 和 std::remove_cv_t 剥离引用和 cv 限定符以确保准确性。

怎么判断一个类型是不是指针

直接用 std::is_pointer_v<t></t>，别手写特化。它在编译期返回 true 或 false，比 std::is_pointer<t>::value</t> 更简洁，c++17 起推荐用带 _v 后缀的变量模板。

常见错误是拿运行时值去判断：比如写 if (is_pointer_v<decltype>)</decltype> 却忘了 x 是个变量，decltype(x) 得到的是带引用/const 的完整类型——int&、const char* 都不是指针类型，但 const char* 本身是指针，而 int& 不是。这时候得先去掉引用和 cv 限定符：std::is_pointer_v<:remove_reference_t>>> </:remove_reference_t> 才稳妥。

• 指针判别只看类型本身，不看所指对象是否有效
• std::is_pointer_v<void></void> 是 true，std::is_pointer_v<int></int> 是 false（数组不是指针）
• 模板推导中慎用，避免因引用折叠导致误判

如何让函数只接受整数类型参数

用 std::is_integral_v 做 SFINAE 或 static_assert 检查。比起手动列出 int、long、unsigned short 等，它自动覆盖所有标准整型（含 char、bool、std::size_t 等），也兼容用户自定义的 std::is_integral 特化（极少需要）。

容易踩的坑是把 std::is_integral_v<t></t> 和 std::is_arithmetic_v<t></t> 混用：后者还包括浮点类型，如果你真要“只能是整数”，用前者；如果允许 Float，才用后者。

立即学习“C++免费学习笔记（深入）”；

• 在函数模板里配合 requires（C++20）最干净：template<typename t> requires std::is_integral_v<t> void f(T);</t></typename>
• C++17 可用 std::enable_if_t，但注意别漏掉 typename = void 默认模板参数
• static_assert 适合非模板函数或调试阶段快速拦截

为什么 std::remove_const 对 const 引用没用

因为 std::remove_const<t></t> 只移除顶层 const，而 const int& 的 const 是修饰引用所绑定的对象，属于底层 const，它根本不归 remove_const 管。真正该用的是 std::remove_reference_t 先解引用，再套一层 std::remove_cv_t。

典型场景：你想从 const std::String& 中提取出裸的 std::string 类型做类型擦除或容器存储。直接 std::remove_const_t<const std::string></const> 还是 const std::string&，毫无变化。

• 正确链式写法：std::remove_cv_t<:remove_reference_t>></:remove_reference_t>
• 更通用的替代是 std::decay_t<t></t>，它同时做去引用、去 const/volatile、数组转指针、函数转指针，但要注意副作用：会把 int[3] 变成 int*，可能不是你想要的
• 别依赖 auto 推导来“绕过”这个问题——auto x = expr; 的 x 类型仍带 const/ref，萃取得靠显式类型操作

移动语义里怎么安全调用 std::is_trivially_move_constructible

这个 trait 判断类型能否用 memcpy 级别方式移动，不是“有没有移动构造函数”。很多自定义类即使写了 T(T&&)，只要内部有虚函数、虚基类、non-trivial 析构函数等，就不是 trivially move constructible。

实际用处在于：做内存拷贝优化前必须确认该 trait 为 true，否则 std::memcpy 替代移动会导致未定义行为。比如实现自己的 vector，reallocate 时若元素满足该条件，可跳过逐个移动，直接 bulk copy。

• 注意它不检查移动赋值，只管构造；要同时保证移动赋值也 trivial，还得查 std::is_trivially_move_assignable_v
• std::is_trivially_copyable_v<t></t> 是更强条件，满足它一定满足 move 相关 trait，但反过来不成立
• 别在运行时分支里用它做逻辑分发——它是编译期常量，只能用于模板分支或 if constexpr

类型萃取不是拼凑 trait 的游戏，关键是理解每个 trait 判定的边界在哪。比如 is_pointer 不看值、remove_const 不动底层 const、is_trivially_move_constructible 和“有没有移动构造函数”根本不是一回事——这些地方一错，编译器不会报错，但行为可能完全偏离预期。