为什么 std::map 有一个 find 成员函数？

Question

我和一位同事正在讨论成员职能与非成员职能的相对优点。出现一个问题：为什么std::map有一个find成员函数。

我的回答是，虽然你可以在地图上使用 std::find，但你必须搜索键值对，或者使用 find_if，例如一个拉姆达。然而，这是线性的，map.find 提供了比线性时间更好的按键搜索。我最后断言，如果它可能是非会员，那么它本来就是！（尽管 std::string 表明我的概括可能有些草率）。

我的同事指出，可以使用 map.lower_bound.

以与非成员函数相同的方式实现 find

map.find成为会员是否有理由？

Answer 1

作为非成员函数实现 std::find 在 std::map 上搜索键的一大反对意见是，这样做会阻止您实现 std::find 的当前版本，搜索键值对。

作为关联容器，std::map 包含键值对。非成员std::find是为所有容器定义的一个函数，在容器中搜索一个item，对于std::map必须是键值对；使用 std::find 通过键查找项目会不一致。

显然，可以实现仅适用于地图的 std::find_by_key 功能，但此类功能始终具有基于地图类型的专业化。与添加成员函数相比，这在 API 设计中没有任何改进。

Answer 2

My colleague pointed out that it would be possible to implement find the same way as a non-member function using map.lower_bound.

这会导致不同类型地图之间的不一致。例如，您不能使用 std::unordered_map 的 lower_bound 成员函数来实现自由函数 find，因为没有这样的成员函数（google::dense_hash_map 等也是如此）。 Efficient find for unordered_map 需要访问 class 内部结构并需要了解其实现细节。然后，您最终会得到 map 没有 find 成员函数而 unordered_map 有一个。这将很难编写允许用户在不同类型的地图之间进行选择的通用代码，例如：

template <class map_type>
void (const map_type & map) {
   // use std::find or map.find here ???

Answer 3

std::map 有一个成员 find 因为 map::operator[] 和 map::at 没有涵盖按键查找的所有用例。

operator[]要求mapped_type为DefaultConstructible，如果找不到则修改地图大小。

at 如果找不到则抛出。

find没有operator[]的限制，找不到也不修改也不抛出

为什么 std::map 有一个 find 成员函数？

Why does std::map have a find member function?

c++

stl

stdmap