为什么异类性病：：*地图查找选择在C++？

Question

要支持std::map的异构密钥查找，就必须要比以前的详细一些：(取自去做这件事)

int main()
{
    {
        puts("The C++11 way makes a copy...");
        std::map<std_string, int> m;
        auto it = m.find("Olaf");
    }
    {
        puts("The C++14 way doesn't...");
        std::map<std_string, int, std::less<>> m;
        auto it = m.find("Olaf");
    }
}

请参见：https://www.cppstories.com/2021/heterogeneous-access-cpp20/以获得解释。

从这个链接和链接问题(也来自N3657)中，给出了一些零散的理由来解释为什么这是被选择的。由于我不得不做相当多的滚动，而且我没有找到一个简单的原因摘要，所以我想在这里整理一个每个初级开发人员都理解的摘要。

为什么愚蠢的C++让我多写std::less<>？！为什么它不允许与我们经常使用的默认类型进行透明的异构比较？

;-)

Answer 1

如果std::map将简单地默默地支持这一点，也就是说，如果std::map<KeyT, ValT>支持find(LookupT)的“任何兼容”类型，那么：

• 关于这件事的节目单引用了double和int之间的一个隐含的比较，这可能会带来麻烦：

隐式支持异构查找可能很危险，因为转换后可能无法维护值之间的关系。例如，1.0 < 1.1，但是static_cast<int>(1.0) == static_cast<int>(1.1)。因此，使用double在std::set<int>中查找值可能导致不正确的结果。

• Performance(!) -不支持异构比较的类型的旧代码将开始运行得更慢：dyp写

考虑到某些类型的stupid_string只存在来自char const*的转换构造函数，而不存在比较运算符operator<(stupid_string const&, char const*)，只有operator<(stupid_string const&, stupid_string const&)。由于std::less<> (( will ))转发给比较操作符，每个比较都将创建一个新的stupid_string。

(而不是仅仅在std：：find的调用站点上创建额外的比较对象)

Answer 2

地图模板具有默认比较。

template<
    class Key,
    class T,
    class Compare = std::less<Key>,
    class Allocator = std::allocator<std::pair<const Key, T> >
> class map;

假设您想要一个map<my_type, int>，并通过专门化的std::less<my_type> (然后在默认情况下使用)启用它。

那么C++14就不能仅仅开始使用非专门化的std::less<>。所以你必须明确要求！