std::is_pointer仅在编译期对类型进行静态检查，必须传入类型名（如int*），不能用于变量或表达式；它对普通指针、成员指针、函数指针均返回true，但对引用、数组、函数类型返回false。
std::is_pointer 的正确用法和常见误用
它不能在运行时“判断变量是否为指针”，只能在编译期对类型进行静态检查。你传给它的必须是一个**类型名**（如 int*、std::string const*），而不是一个变量名或表达式。
常见错误是写成 std::is_pointer<decltype>::value</decltype> 却忘了 ptr 本身是变量——这其实没问题，但前提是 ptr 的类型确实是某种指针；更典型的坑是误以为能写 std::is_pointer<decltype></decltype> 来“反向检测”，结果测的是解引用后的类型（比如 int），必然返回 false。
-
std::is_pointer<t></t>中的T必须是完整类型，不能是void、不完整类类型或 cv 限定的void*等边缘情况（部分编译器可能接受const void*，但标准未保证） - 对成员指针（如
int (MyClass::*)()）也返回true，它和普通对象指针共用同一模板特化 - 引用类型（
int&）、函数类型（void()）、数组类型（int[5]）均返回false
如何在模板中安全使用 std::is_pointer
最典型场景是写类型分发逻辑，比如根据参数是否为指针决定是否做 delete 或仅释放资源。此时必须配合 if constexpr（C++17 起）或 SFINAE（C++11/14）来避免实例化非法代码。
template <typename T>
void cleanup(T* ptr) {
if constexpr (std::is_pointer_v<T*>) { // 注意：这里 T* 是类型，不是变量
delete ptr;
}
}上面例子有误导性——T* 总是指针类型，所以恒为 true。真正有用的是：
立即学习“C++免费学习笔记（深入）”；
template <typename T>
void handle(T&& arg) {
if constexpr (std::is_pointer_v<std::decay_t<T>>) {
std::cout << "arg is a pointer type\n";
} else {
std::cout << "arg is not a pointer type\n";
}
}-
std::decay_t<t></t>去除引用、cv 限定和数组特性，得到“裸类型”，这是处理万能引用参数时的标准做法 - 不要用
decltype(arg)直接套std::is_pointer，因为万能引用的decltype可能是T&&，而std::is_pointer<t></t>永远是false - 若需区分原始指针与智能指针，
std::is_pointer不够用，得结合std::is_same或概念（concepts）进一步约束
std::is_pointer_v 和 C++17 以后的简化写法
std::is_pointer_v<t></t> 是 std::is_pointer<t>::value</t> 的变量模板别名，语义完全等价，但更简洁、不易拼错。它从 C++17 开始可用，且所有主流标准库都已实现。
注意：它仍要求 T 是类型，不是值。下面这些写法都是错的：
-
std::is_pointer_v<my_ptr></my_ptr>——my_ptr是变量，不是类型 -
std::is_pointer_v<decltype></decltype>——my_ptr + 1是表达式，decltype可能推导出int*（正确），但也可能是int（如果my_ptr是int*且加整数后被误解为算术结果） -
std::is_pointer_v<auto></auto>——auto不是具体类型，编译失败
正确写法只有一种模式：std::is_pointer_v<sometype></sometype>，其中 SomeType 必须能在编译期确定且合法。
和 std::is_member_pointer 的区别与混淆点
两者名字接近，但语义不同：std::is_pointer 对所有指针类型（包括成员指针）都返回 true；而 std::is_member_pointer 专门识别成员指针（int MyClass::*、void (MyClass::*)()），对普通指针返回 false。
这意味着：如果你只想拦截“指向对象的原始指针”，但又不小心用了 std::is_pointer，那成员函数指针也会被误判为需要特殊处理——这在实现反射或序列化时容易引发未定义行为。
- 普通指针：
int*、const char*、void*→std::is_pointer_v<...> == true</...>，std::is_member_pointer_v<...> == false</...> - 成员指针：
int MyClass::*、void (MyClass::*)() const→ 两者都为true - 函数指针：
void(*)()→std::is_pointer_v<...> == true</...>，std::is_member_pointer_v<...> == false</...>
真正要严格区分“对象指针”和“成员指针”的场景，必须同时排除函数指针和成员指针，光靠 std::is_pointer 不够——得组合 !std::is_function_v<:remove_pointer_t>></:remove_pointer_t> 和 !std::is_member_pointer_v<t></t> 才行。
