std::is_pointer_v<T>在编译期判断T是否为裸指针类型（含函数指针、成员指针），对int、int()()、int(MyClass::*)等返回true，对std::shared_ptr<int>、int&等返回false，不识别智能指针。
std::is_pointer 的基本用法和编译期判断逻辑
std::is_pointer 是标准库中定义在 <type_traits> 头文件里的类型特征（type trait），它在编译期返回一个 std::integral_constant<bool, value> 类型，其中 value 为 true 当且仅当模板参数是“裸指针”类型（如 int*、void*、MyClass const*），其余情况（包括智能指针、数组、引用、函数指针）都返回 false。
注意：它只识别 C 风格指针，不识别 std::shared_ptr、std::unique_ptr 或 std::weak_ptr —— 这些是类模板，不是语言内置指针类型。
- 必须包含
#include <type_traits> - 使用方式统一为
std::is_pointer_v<T>（C++17 起推荐用这个布尔变量模板，比::value更简洁） -
std::is_pointer<int*>::value→true；std::is_pointer_v<std::shared_ptr<int>>→false
常见误判场景：函数指针、成员指针、cv 修饰符的影响
很多人以为“带星号的就是指针”，但 std::is_pointer 对函数指针（如 int(*)()）和成员指针（如 int (MyClass::*)）也返回 true —— 它们确实是 C++ 标准定义的 pointer types。但 cv 限定符（const、volatile）加在指针本身上不影响结果，加在指针所指类型上也不影响：
-
std::is_pointer_v<int (*)()>→true（函数指针） -
std::is_pointer_v<int (MyClass::*)>→true（数据成员指针） -
std::is_pointer_v<int* const>→true（顶层 const 不改变指针身份） -
std::is_pointer_v<int const*>→true（底层 const，仍是 int* 的变体） -
std::is_pointer_v<int&>→false（引用永远不是指针）
在模板中做 SFINAE 或 constexpr 分支的实际写法
单纯打印 std::is_pointer_v<T> 没太大意义，关键是在泛型代码里据此做不同处理。比如想对指针类型解引用，对非指针类型直接取值：
立即学习“C++免费学习笔记（深入）”；
template <typename T>
constexpr auto get_value(const T& t) {
if constexpr (std::is_pointer_v<T>) {
return *t; // 编译期已知 t 是指针，可安全解引用
} else {
return t; // 否则直接返回副本
}
}注意点：
- 必须用
if constexpr（C++17），普通if会在所有分支做语义检查，*t对非指针会编译失败 - 不能用
std::enable_if_t<std::is_pointer_v<T>>做函数重载来替代——因为int*和int是不同类型，重载可行，但一旦涉及模板参数推导（比如T = auto），容易因 SFINAE 失败而静默退化 - 如果需要同时支持智能指针，得额外写特化或组合判断：
std::is_pointer_v<T> || std::is_same_v<T, std::shared_ptr<U>>（需先提取 U）
与 std::is\_fundamental、std::is\_class 等其他 type trait 的配合边界
std::is_pointer 只回答“是不是指针”，不回答“指向什么”。实际工程中常要组合判断，比如区分原始指针 vs 用户自定义指针类：
-
std::is_pointer_v<T> && !std::is_function_v<std::remove_pointer_t<T>>：排除函数指针，只留指向对象的指针 -
!std::is_pointer_v<T> && std::is_class_v<T> && !std::is_standard_layout_v<T>：大致筛出可能封装了指针的类（但不严谨，仅作启发） - 别用
std::is_fundamental_v<std::remove_pointer_t<T>>判断“是否指向基础类型”——std::remove_pointer_t<int*>是int，但std::remove_pointer_t<MyStruct*>是MyStruct，而MyStruct可能是struct也可能被误判为class
真正难的是跨抽象层识别：编译期无法知道 std::shared_ptr<T> 内部是否存着 raw pointer，这是设计层面的隔离，std::is_pointer 本来就不该、也不能越界去猜。
