地图比较构造函数参数

Question

为什么我不能将比较函子作为构造函数参数传递给map：

map<int, string, greater<int>> foo;
//map<int, string> foo(greater<int>()); Doesn't work

或者为什么我不能在不提供自己的比较类型的情况下传递 lambda：

map<int, string, function<bool(const int&, const int&)>> bar([](const int& lhs, const int& rhs){ return lhs > rhs; });
//map<int, string> bar([](const int& lhs, const int& rhs){ return lhs > rhs; }); Doesn't work

我希望能够声明 map<int, string> 并使用比较器构造它。为什么我不能？

[Live Example]

Answer 1

这个问题源于一个误解。要清除它：

函子是对象不是函数

尝试将函数指针或 lambda 分配给对象没有任何意义。所以这是无法做到的：map<int, string> bar([](const int& lhs, const int& rhs){ return lhs > rhs; }); 定义采用函数指针或 lambda 的 map 的方法是使用问题中的模板参数：map<int, string, function<bool(const int&, const int&)>>

问题中两个构思不当的选项之间存在另一个误解：map<int, string, [](const int& lhs, const int& rhs){ return lhs > rhs; }> 不起作用，因为比较器模板参数是成员的 type map，不是初始化值。 因此，使用函数指针或 lambda 比较器的 map 必须始终将该值传递给 map 构造函数：map<int, string, function<bool(const int&, const int&)>> bar([](const int& lhs, const int& rhs){ return lhs > rhs; }) 否则 function<bool(const int&, const int&)>() 将用于在 map 中进行比较。

现在这可能已经很清楚了，但是由于函子是对象，因此您不能传递不相关的对象是完全不同类型对象的构造值。调用 map<int, string> foo(greater<int>()) 就像调用 less<int> foo = greater<int>。 对于比较器模板参数是仿函数的map，唯一可接受的兼容器构造函数参数是可以在模板参数中转换为仿函数类型的对象的东西：map<int, string, greater<int>> foo(greater<int>{}) 这显然是不必要的, 因为如果没有提供参数并且默认构造了 greater<int> ，则将导致 map 的相同成员初始化，因此 map<int, string, greater<int>> 就足够了。