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