std::pointer_traits是标准库提供的萃取接口，用于统一访问各类指针（如t*、unique_ptr等）的元素类型、原始地址及类型重绑定等信息，解决原生指针无嵌套类型导致泛型代码编译失败的问题。
std::pointer_traits 是什么，它解决什么问题
它不是让你“写智能指针”的工具，而是让已有模板（比如容器、算法）能统一处理 int*、std::unique_ptr<t></t>、std::shared_ptr<t></t> 甚至自定义指针类型的一套萃取接口。核心作用是：给任意指针类型提供标准访问方式，比如取元素类型、获取原始指针、构造新指针。
常见错误现象：template<typename ptr> void f(Ptr p) { using T = typename Ptr::element_type; ... }</typename> —— 这对 int* 直接编译失败，因为原生指针没有 element_type 成员。
使用场景：写泛型容器（如自定义 span 或 allocator）、实现通用内存操作函数、适配不同指针语义的迭代器。
怎么用 std::pointer_traits 提取关键信息
它提供几个静态成员类型和函数，全部通过特化支持原生指针和主流智能指针：
立即学习“C++免费学习笔记（深入）”；
-
std::pointer_traits<ptr>::element_type</ptr>：统一拿到指向的类型（int对应int*，T对应std::unique_ptr<t></t>） -
std::pointer_traits<ptr>::pointer</ptr>：通常就是Ptr自身，但可用于推导别名（比如std::pointer_traits<int>::pointer</int>是int*） -
std::pointer_traits<ptr>::rebind<u></u></ptr>：把指针类型“换掉指向类型”，例如std::pointer_traits<:unique_ptr>>::rebind<char></char></:unique_ptr>得到std::unique_ptr<char></char> -
std::pointer_traits<ptr>::to_address(p)</ptr>（C++20 起）：安全获取原始地址，比p.get()或std::addressof(*p)更通用，能处理int*和空智能指针
为什么不能直接用 Ptr::element_type，而要绕一圈
因为原生指针（T*）根本不是类类型，没有嵌套类型。标准库靠特化 std::pointer_traits<t></t> 来补全这些接口。
参数差异很关键：std::pointer_traits 要求 Ptr 满足“可解引用”和“可转换为 T*”等隐式约束；如果自定义指针没提供必要接口（比如缺少 operator->()），特化可能失败或行为未定义。
性能影响几乎为零——所有成员都是类型别名或 constexpr 函数，编译期完成。
示例：
template<typename Ptr>
auto get_element_type_name() {
using T = typename std::pointer_traits<Ptr>::element_type;
return typeid(T).name();
}
static_assert(std::is_same_v<decltype(get_element_type_name<int*>()), const char*>);
static_assert(std::is_same_v<decltype(get_element_type_name<std::shared_ptr<double>>()), const char*>);
容易踩的坑：自定义指针 + rebind + to_address
自己写指针类时，别只加 element_type 就以为够了。标准要求至少提供：element_type、pointer、difference_type，以及 rebind 别名或嵌套模板——否则 std::pointer_traits 特化不生效。
rebind 容易写错：必须是模板别名（using rebind = ...）或嵌套模板（template<class u> using rebind = ...</class>），不能是普通类型别名。
to_address 在 C++17 不可用，且对某些老旧自定义指针（比如返回 void* 的 get()）可能无法正确处理空值——这时得手动 fallback 到 std::addressof(*p) 并加空检查。
兼容性注意：MSVC 早期版本对 std::pointer_traits<t></t>（带维度数组指针）支持不完整，尽量避免用 int[10]* 这类类型做模板参数。
最常被忽略的是：它不负责内存管理语义，也不验证指针有效性。你仍需自己判断 Ptr 是否为空、是否可解引用、生命周期是否足够长。
