c++ - 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;

之所以如此出色，是因为它能够比较不同类型的对象。
例如，在给定字符串 View 的情况下，这很重要，您需要查找是否等效 std::string存储在一个集合中。能够将字符串 View 与 std::string 进行比较允许我们不从该字符串 View 创建字符串。哪个好，因为 std::string创建可能很昂贵。
用旧的比较器，只能比较 std::string到另一个 std::string在这种情况下，我们将不得不创建一个 std::string为了从一组 std::string中查找.