c++17--std::owner_less

C++17 的透明版本 ‌：C++17 引入了 std::owner_less<void> 特化版本，具有透明性（transparent comparator）。这意味着它可以接受任意类型的智能指针作为参数（如 std::shared_ptr 和 std::weak_ptr），而无需显式指定模板参数，类型会自动推导。这提高了代码的灵活性，尤其适用于异构容器。‌

作用

关联容器中的键比较 ‌：当使用智能指针作为 std::set、std::map的键时，因为智能指针对象没有比较运算符重载，所以需要自己实现set和map容器的比较函数或者使用std::owner_less,std::owner_less 可以确保元素基于所有权排序，避免因指针值不同但指向同一对象导致的错误比较。‌

示例：在 std::set<std::shared_ptr<int>, std::owner_less<>> 中，智能指针会按其管理的资源地址排序。

原理

std::owner_less 是 C++ 标准库中的一个函数对象（Functor），用于比较智能指针（如 std::shared_ptr 和 std::weak_ptr）所指向的地址的地址值，而非它们指向的对象的值。其核心原理是基于智能指针的控制块（Control Block）进行比较，而不是对象本身的内容。

复制代码

std::owner_less比较的是分配的地址的地址值，而不是地址中存储的数据，比如
int* p1=new int(100); //地址为0x1000
int* p2=new int(200); //地址为0x2000
std::owner_less比较的是0x1000和0x2000,而不是100和200。

所以只要不是同一个指针，地址就不可能相同，就可以比较。

案例

复制代码

#include <iostream>
#include <memory>
#include <set>

int main() {
  // 创建 shared_ptr
  auto sp1 = std::make_shared<int>(200);
  auto sp2 = std::make_shared<int>(100);

  // 创建对应的 weak_ptr
  std::weak_ptr<int> wp1 = sp1;
  std::weak_ptr<int> wp2 = sp2;
  std::weak_ptr<int> wp3 = sp1;

  // 使用 owner_less 的比较
  std::owner_less<std::weak_ptr<int>> comp;
  // 打印地址
  std::cout << "wp1: " << wp1.lock().get() << std::endl;
  std::cout << "wp2: " << wp2.lock().get() << std::endl;
  std::cout << "wp3: " << wp3.lock().get() << std::endl;

  // 打印比较结果
  std::cout << "wp1 < wp2: " << comp(wp1, wp2) << std::endl; // true
  std::cout << "wp1 < wp3: " << comp(wp1, wp3) << std::endl; // false，相同对象
  std::cout << "wp2 < wp1: " << comp(wp2, wp1) << std::endl; // false，不同对象

  return 0;
}