C++不可修改自定义类型如何满足ranges的totally_ordered要求

std::ranges系列算法和传统STL算法的核心差异是引入了严格的编译期概念校验：

• 传统STL算法的默认比较器是std::less，只要类型能通过operator<完成比较，满足严格弱序的语义，就能正常工作。
• std::ranges算法的默认比较器是std::ranges::less，它的编译期约束远严格于传统std::less：要么类型存在可ADL查找的operator<=>并满足三方比较要求，要么类型全套比较运算符（<、>、<=、>=、==、!=）都有效并满足全序要求。
• 原代码中的A只定义了全局的operator<，完全不满足ranges::less的概念校验，所以哪怕传统STL算法能正常运行，ranges版本也会直接编译报错。
• 类外手写的自由operator<=>如果没有匹配概念的完整校验，或者没有和原有operator<形成一致的比较逻辑，也会被概念检查拦截——哪怕普通的A{} < A{}断言能编译通过，也没法通过ranges的静态检查。

方案1：显式传入自定义比较器 #

这是零侵入、适配遗留类型的首选方案：

• 绕开默认的ranges::less约束，直接把比较逻辑写成简单lambda，传入ranges算法的比较器参数位置：

  // 替换原默认is_sorted调用
  assert(std::ranges::is_sorted(c, [](const A& lhs, const A& rhs) {
      return lhs.a < rhs.a;
  }));
  // sort调用同理
  std::ranges::sort(c, [](const A& lhs, const A& rhs) {
      return lhs.a < rhs.a;
  });
  

• 这种方式完全不改动遗留类型的内部定义，也不会在全局命名空间新增多余的符号，不会影响其他依赖A的现有代码。

方案2：利用ranges算法的投影参数 #

如果不想每次调用都重复写lambda，可以通过ranges算法自带的投影参数，直接比较A内部可比较的成员，完全绕开A本身的比较约束：

• 定义一个简单的取成员的可调用对象作为投影：

  // 直接取A的int成员a作为比较依据
  auto get_a = [](const A& item) { return item.a; };
  // 第二个参数留空，代表使用默认ranges::less
  // 算法实际比较的是投影返回的int值，完全不需要A本身满足比较要求
  assert(std::ranges::is_sorted(c, {}, get_a));
  std::ranges::sort(c, {}, get_a);
  

• 这种方式适配成本极低，不需要对原有类型做任何修改，就能让ranges算法正常运行。

方案3：正确补全全局的三方比较运算符 #

如果希望A能直接使用ranges算法的默认调用方式，不需要每次传比较器/投影，只要在全局正确定义可ADL查找的operator<=>即可：

• 注意之前类外写的<=>之所以不生效，往往是因为没有显式指定返回值为具体的比较类别，导致概念校验失败。正确的全局写法如下：

  std::strong_ordering operator<=>(const A& lhs, const A& rhs) {
      return lhs.a <=> rhs.a;
  }
  

• 由于A是全局命名空间定义的类型，ADL查找时会直接定位到这个自由运算符，ranges::less的概念检查会顺利通过，后续所有ranges算法的默认调用都可以正常运行，全程不需要修改A类的内部定义。

内容的提问来源于stack exchange，提问作者Alexander Bessonov