std::is_pointer在模板参数推导中不生效，仅对完整类型有效；它无法反向识别指针，因模板匹配按形参形式决定t的类型，而非运行时或推导时判断。
std::is_pointer 在模板参数推导中不生效？
它只对完整类型起作用，不能在模板形参推导阶段“反向识别”指针。比如 template<typename t> void f(T)</typename> 传入 int*，T 就是 int*，此时 std::is_pointer_v<t></t> 才为 true；但如果你写 template<typename t> void f(T*)</typename>，那传入 int，T 就是 int，std::is_pointer_v<t></t> 反而为 false——这不是 std::is_pointer 的问题，是模板匹配规则决定的。
- 常见错误：在偏特化里写
template<typename t> Struct X<:is_pointer_v>></:is_pointer_v></typename>——语法非法，std::is_pointer_v<t></t>是值，不是类型 - 正确姿势：用
std::enable_if_t或 c++20requires做约束，或直接偏特化指针形式：template<typename t> struct X<t></t></typename> - 注意 cv 限定符：
const int*、int* const、volatile char*都满足std::is_pointer_v，但int&、int[]、std::unique_ptr<int></int>都不满足
偏特化指针类型时，为什么 const T* 和 T* 要分开写？
std::is_pointer 对两者都返回 true，但它们是不同类型，模板偏特化不会自动合并匹配。比如你只写了 template<typename t> struct X<t></t></typename>，那 X<const int></const> 就不会命中这个特化，因为 const int* 无法拆成 T*（T 会是 const int，没问题），但 int* const 就不行——它是“指针常量”，类型是 int* const，不是 T* 形式。
-
int*→ 匹配T*（T = int） -
const int*→ 也匹配T*（T = const int） -
int* const→ 不匹配T*，得单独写template<typename t> struct X<t const></t></typename> - 实际项目中，若需统一处理所有指针，建议用
std::remove_cvref_t先剥离顶层 cv 和引用再判断
std::is_pointer_v 返回 true，但 void* 不能解引用
这是标准行为：std::is_pointer 只看类型是否为“对象指针类型”，void* 属于该范畴，所以返回 true。但它没有关联类型，不能做 *p 或 p++，编译器会报错。
- 错误现象：
static_assert(std::is_pointer_v<void>);</void>通过，但auto x = *static_cast<void>(nullptr);</void>编译失败 - 使用场景：做类型分类时，
void*常用于泛型缓冲区或 ABI 边界，和char*类似，但语义更弱 - 兼容性注意：C++20 起
std::is_pointer_v<:nullptr_t></:nullptr_t>是false，别误以为nullptr是指针类型
替代方案：什么时候不该用 std::is_pointer？
它只回答“是不是原生指针”，不回答“能不能当内存地址用”。比如 std::shared_ptr<int></int>、std::span<char></char>、甚至 std::string_view 都有指针语义，但 std::is_pointer_v 全部返回 false。
立即学习“C++免费学习笔记（深入）”；
- 想检测“可解引用类型”？用
std::is_invocable_v<decltype t></decltype>（谨慎，可能 SFINAE 失败） - 想区分原始指针与智能指针？查
std::is_same_v<:remove_cvref_t>, std::shared_ptr<u>></u></:remove_cvref_t>等具体类型 - 性能影响：
std::is_pointer是编译期常量表达式，零开销，但滥用类型判断会让模板膨胀，尤其配合多个enable_if时
真正难的不是判断指针，而是判断“这里到底需不需要指针语义”——类型系统只管结构，不管意图。