C++ std::owner_less用法 _ 在容器中按所有权排序指针【干货】-C++-PHP中文网

std::owner_less 是 c++ 标准库中用于基于所有权比较智能指针（如 shared_ptr、weak_ptr）的函数对象，其核心调用 owner_before；不能直接用 operator 是因所有权比较非值比较，且 operator

std::owner_less 是什么，为什么不能直接用 operator 比较智能指针

它不是用来“排序原始指针”的工具，而是专为 std::shared_ptr 和 std::weak_ptr 设计的比较器，解决“相同对象、不同 shared_ptr 实例”之间的等价性问题。默认的 operator 比较的是控制块地址（即指针本身），而 <code>std::owner_less 比较的是所管理对象的地址 —— 也就是“谁拥有同一个对象”。

常见错误现象：
- 把多个 shared_ptr 指向同一对象插入 std::set<shared_ptr>, owner_less<shared_ptr>>></shared_ptr></shared_ptr>，结果只存一个（正确）；但若用默认比较器，会存多个（逻辑错误）。

使用场景：需要以“对象身份”而非“指针实例身份”去重或排序，比如缓存、资源索引表

不适用于 unique_ptr 或裸指针 —— 它们没有共享所有权语义，owner_less 对它们无定义行为

性能影响极小：只是多一次解引用取 get()，和普通函数调用开销相当

在 std::set 和 std::map 中正确传入 owner_less

必须显式指定模板参数，且类型要和容器元素严格匹配；否则编译失败或行为未定义。
std::set<:shared_ptr>, std::owner_less<:shared_ptr>>> ptr_set;
std::map<:shared_ptr>, std::string, std::owner_less<:shared_ptr>>> lookup;
</:shared_ptr></:shared_ptr></:shared_ptr></:shared_ptr>
owner_less<shared_ptr>></shared_ptr> 和 owner_less<weak_ptr>></weak_ptr> 是两个独立类型，不能混用

如果容器里是 weak_ptr，必须写 owner_less<weak_ptr>></weak_ptr>，哪怕它指向的对象和某个 shared_ptr 相同

不要试图把 owner_less<void></void> 当泛型万能写法 —— C++17 起已弃用，C++20 删除

和 std::less<shared_ptr>></shared_ptr> 的关键区别在哪

std::less<shared_ptr>></shared_ptr> 是对 shared_ptr 对象本身的字典序比较（基于控制块地址），而 std::owner_less 基于所指对象地址（get() 返回值）。这是根本差异。

C++ Code Review Master
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

示例：
auto p1 = std::make_shared<int>(42);
auto p2 = p1; // 共享同一对象
// p1.get() == p2.get() → true
// owner_less(p1, p2) → false（相等）
// less<shared_ptr>>(p1, p2) → implementation-defined（可能 true，也可能 false）
</shared_ptr></int>
当需要“同一对象只算一个键”时，owner_less 是唯一可靠选择

std::less<shared_ptr>></shared_ptr> 在某些标准库实现中会退化为 get() 比较，但这是非强制要求，不可依赖

跨线程使用时，owner_less 不访问控制块内部状态，线程安全；而依赖控制块地址的比较器可能引发竞态（尽管罕见）

容易被忽略的陷阱：循环引用 + owner_less 导致内存泄漏

这不是 owner_less 的 bug，但组合使用时极易踩坑：用 owner_less 组织的容器若持有 shared_ptr，又反过来被该对象的成员变量持有（如 shared_from_this()），就可能形成无法析构的环。

典型模式：class Node { std::shared_ptr<node> parent; };</node>，再把所有 Node 放进 owner_less set —— 若 parent 指向也在该 set 中，refcount 永远不为 0

调试线索：对象析构函数不执行，Valgrind 显示 still-reachable 内存，use_count() 始终 ≥2

解法不是放弃 owner_less，而是改用 weak_ptr 存储反向引用，或用外部索引（如 std::map<uintptr_t shared_ptr>></uintptr_t>）替代

真正难处理的从来不是怎么写这行模板，而是想清楚“这个容器到底该按什么维度去重”——对象身份？实例身份？生命周期归属？owner_less 只忠实地执行前者，其余都得你来设计。