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

Question

我知道 std::greater 的工作原理。但是当我阅读 std::greater 的 API 时，因为 C++14 它具有默认类型 void。因此，如果我们不将任何模板参数传递给 greater，它默认为 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。您也不能将 class 模板传递给 foo（不实例化它）。但是你可以用模板 operator():

写一个 class

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


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

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

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

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

How does std::greater<> wоrk in a set?

c++

c++14