C++20 concept校验operator>时std::sort编译报错问题

报错和C++20 concept的校验逻辑无关，核心是*std::sort的默认比较规则和你修改后的类型约束不匹配*：

• 自定义concept仅在模板函数的入参检查阶段生效：你把Sortable从检查operator<改成检查operator>后，仅保证传入的类型T实现了operator>，可以通过模板参数约束进入函数体，不会约束函数内部的具体实现逻辑。
• 无比较器参数的std::sort重载默认使用std::less<T>作为比较规则，该比较器内部通过调用operator<完成元素大小判断，完全不会用到你实现的operator>。
• 之前版本可以正常编译运行，是因为当时Sortable约束检查operator<，Penguin类也对应实现了operator<，刚好匹配std::sort默认比较器的调用要求，模板实例化阶段不会报错。
• 你看到的编译错误发生在函数体内的std::sort实例化阶段，不是concept约束检查阶段：当std::less<Penguin>尝试调用Penguin的operator<却找不到对应实现时，gcc就会抛出找不到匹配运算符的错误。

可选修复方案 #

二选一即可：

• 保持Sortable检查operator>的逻辑不变，调用std::sort时手动传入std::greater<T>作为比较器，让排序逻辑调用operator>，和你的类型约束对齐，示例代码：

  std::sort(animal_vec.begin(), animal_vec.end(), std::greater<T>{});
  

• 回退Sortable的检查逻辑，保持对operator<的约束，和标准库排序函数的默认使用习惯对齐，不需要修改std::sort的调用参数。

内容的提问来源于stack exchange，提问作者Kartik Bali