std::greater<> 如何在集合中工作？

Question

我知道 std::greater 是如何工作的。但是当我从 C++14 开始阅读 std::greater 的 API 时，它的默认类型是 void。因此，如果我们不将任何模板参数传递给更大，它默认为 void，如下所示。但是结果是按降序排列的。

#include <iostream>
#include <set>

template< class T = void >
struct greater;

int main()
{
    std::set<int, std::greater<>> s {4, 5, 6, 7}; // This transforms to std::set<int, std::greater<void>>
}

有人能解释一下这个专业是如何工作的吗？

Answer 1

它的工作原理是让调用运算符成为函数模板而不是函数。将旧版本与新专业进行比较：

// greater<T>
bool operator()( const T& lhs, const T& rhs ) const;

// greater<void> i.e. greater<>
template< class T, class U>
auto operator()( T&& lhs, U&& rhs ) const;

---

让这个伟大的原因在于能够比较不同类型的对象。

这是至关重要的，例如在给定字符串视图的情况下，您需要查找等效的 std::string 是否存储在集合中。能够将字符串视图与std::string 进行比较允许我们不从该字符串视图创建字符串。这很好，因为 std::string 的创建成本可能很高。

使用旧的比较器，它只能将std::string 与另一个std::string 进行比较，在这种情况下，我们必须创建一个std::string 才能从一组std::string 中查找它。

Answer 2

基本思想是将特定类型的实例化推迟到模板化operator() 的调用，而不是特定类型的实例化greater。

假设您想将重载集传递给函数，以便您可以执行以下操作：

template <typename F>
void foo(F f){
    f(std::string{});  
    f(42);             
}

您不能将重载集传递给foo。您也不能将类模板传递给foo（不实例化它）。但是你可以用模板化的operator()写一个类：

struct bar {
    template <typename T>
    void operator()(T t) {}
};


int main() {
  foo(bar{});  
}

在您的情况下，传递 greater<> 而不是 greater<int> 主要是为了方便，但想法是一样的。 greater<> 有一个模板化的operator()。

PS：...我错过了greater<>::operator() 的一个关键优势（在this answer 中有详细说明）。 greater<> 允许您比较不同类型的元素，即使它们之间没有隐式转换或者您不想触发转换（当然您仍然需要一个可行的>）。