C++中的 greate/less 比较器模板的实现原理及作用

std::greater 是 C++ 标准库中的一个函数对象，它被设计用来在容器和算法中进行比较，以实现逆序排列或按照 “greater” 的语义进行比较。std::greater 是一个模板类，定义在头文件 <functional> 中。

这个函数对象模板有一个模板参数，表示要比较的类型。在实际使用时，通常作为比较器传递给容器或算法，它使用 operator() 函数来执行比较。

这里是 std::greater 的简单实现：

namespace std {
  template <class T = void>
  struct greater {
    constexpr bool operator()(const T& x, const T& y) const {
      return x > y;
    }
  };
}

std::greater 对象的 operator() 实现使用了 > 运算符来进行比较。所以，当你使用 std::greater 作为比较器时，它会按照 “greater” 的语义，即 a > b 返回 true 当且仅当 b < a 返回 true。

这对于需要逆序排序的容器（如 std::priority_queue、std::set 等）或者需要按照降序顺序进行排序的算法非常有用。

例如，如果你有一个 std::priority_queue 使用 std::greater 作为比较器：

std::priority_queue<int, std::vector<int>, std::greater<int>> pq;

这将创建一个按照降序排列的优先队列。如果你添加元素 5 和 3，队列中 top() 返回的将是 3，因为 3 大于 5。这是因为 std::greater 的比较器的语义。

值得注意的是，如果使用的是less比较器，注意要重载<运算符，如果使用的是greater比较器，要重载>运算符。