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是否存储在集合中。能够将字符串视图与 a 进行比较std::string允许我们不从该字符串视图创建字符串。这很好，因为std::string创建可能很昂贵。

使用旧的比较器，它只能与std::string另一个比较，std::string在这种情况下，我们必须创建 astd::string才能从一组std::string.