std::pointer_traits 不用于指针类型转换,而是对指针类型进行元编程提取(如 element_type、to_address);需手动特化才能支持自定义指针,否则泛型代码编译失败。

std::pointer_traits 不能直接转换指针类型
std::pointer_traits 不是类型转换工具,它不提供 static_cast 或 reinterpret_cast 那样的运行时或编译时指针值转换能力。它的作用是**对已有指针类型做元编程提取和适配**,比如从 MyPtr<t></t> 中提取 element_type、difference_type,或获取其原始指针(to_address),仅此而已。
常见误解是把它当“智能指针转裸指针”或“自定义指针转 void*”的捷径——但实际中,该类模板只负责“描述”,不负责“转换值”。
什么时候必须用 pointer_traits 提取 element_type
当你写泛型容器或算法,需兼容原生指针(如 T*)和自定义指针(如 MyPtr<t></t>)时,std::pointer_traits 是唯一标准方式来统一获取所指类型:
-
std::pointer_traits<t>::element_type</t>展开为T(对原生指针有特化) -
std::pointer_traits<myptr>>::element_type</myptr>依赖你是否在MyPtr中定义了typedef T element_type,或是否提供了std::pointer_traits的全特化 - 若漏掉特化且没定义
element_type,编译会报错:找不到element_type成员
例如,在实现一个泛型 construct_at 时,必须靠它推导目标类型:
立即学习“C++免费学习笔记(深入)”;
template<class Ptr>
void my_construct(Ptr p) {
using T = typename std::pointer_traits<Ptr>::element_type;
::new (std::to_address(p)) T{};
}to_address 是唯一真正“转换地址”的成员函数
C++20 引入的 std::pointer_traits<ptr>::to_address</ptr> 是少数能安全获得可比较/可算术运算地址的标准化方式,尤其对重载了 operator-> 但不支持 operator+ 的智能指针(如某些 arena 分配器返回的非标准指针):
- 对原生指针
T*:直接返回原值(零开销) - 对
std::unique_ptr<t></t>或std::shared_ptr<t></t>:调用其.get()(前提是它们提供了to_address的特化,标准库已提供) - 对自定义指针类型:必须显式特化
std::pointer_traits并实现to_address,否则编译失败
错误写法:static_cast<void>(ptr)</void> —— 对 std::unique_ptr 不合法;正确写法:std::to_address(ptr)(注意是 ADL 友好函数,优先调用 std::pointer_traits<ptr>::to_address</ptr>)。
自定义指针必须显式特化 pointer_traits 才能被泛型代码识别
如果你写了 template<class t> struct MyPtr { T* p_; };</class>,它默认无法参与 std::pointer_traits 推导——标准库只对原生指针和少数标准智能指针做了特化。
要让它可用,必须手动提供全特化:
template<class T>
struct std::pointer_traits<MyPtr<T>> {
using pointer = MyPtr<T>;
using element_type = T;
using difference_type = std::ptrdiff_t;
static constexpr T* to_address(MyPtr<T> p) noexcept { return p.p_; }
};漏掉任意一项(尤其是 to_address 或 element_type),下游泛型代码(如 std::allocator_traits)就会编译失败。别指望编译器自动推导——它不会看你的 p_ 成员。
复杂点在于:一旦你开始特化 std::pointer_traits,就必须保证所有要求的嵌套类型和静态函数都正确定义,且与语义一致;否则,行为未定义的风险远高于编译错误本身。


















