

新闻资讯
技术教程C++标准中不存在也永不加入std::hazard_pointer;它既非已批准TS,也未进入C++26草案,当前仅见于Boost、folly等非标实现,内存回收仍需手动组合原子操作与外部机制。
目前没有

std::hazard_pointer,C++26 标准中也**不会加入它**。这是个常见误解——它既不是已批准的 TS(技术规范),也没进入 C++26 的工作草案(如 N4981、N4993)。
这类说法通常混淆了以下几件事:
boost::lockfree::hazard_pointer,但它从未成为 ISO C++ 标准提案libstdc++)或第三方库(如 folly、abseil)实现了类似机制,但属于扩展,非标准std::memory_reclamation 概念提案),但明确搁置了 hazard pointer 方案,转而倾向更通用的 epoch-based 或 RCU-like 接口主流实践仍是手动组合原子操作与外部回收机制,没有标准封装:
std::atomic 只保证指针本身的原子读写,不管理其所指对象生命周期std::shared_ptr(但有性能开销)、或自定义 hazard pointer 池 + 周期性扫描 + 内存屏障delete —— 这正是 hazard pointer 想解决的问题,但标准没给只能靠非标方案,且需谨慎评估兼容性与维护成本:
folly::HazardPointer(Facebook 开源):API 类似经典论文实现,但绑定 folly 生态,不跨平台轻量urcu(Userspace RCU):Linux 用户态成熟方案,支持静默等待(quiescent state),但需要线程显式注册/退出std::atomic_thread_fence(std::memory_order_acquire) 保证可见性
// 简化示意:一个 hazard pointer “声明存活” 的关键动作(非标准!)
struct hazard_ptr {
static thread_local std::atomic current;
static void set(void* p) { current.store(p, std::memory_order_relaxed); }
};
// 注意:这不能防止 p 被 delete,仅作示意;真实实现需配套回收端扫描逻辑
真正容易被忽略的是:即使未来某天 C++ 加入类似设施,它也不会“简化”无锁编程本身——只是把最难缠的内存回收部分从每个数据结构里抽出来复用。写对 compare_exchange_weak 循环、处理 ABA、保证发布顺序,这些依然得自己扛。