为什么标准库有find和find_if？

Question

find_if 不能只是 find 的重载吗？这就是 std::binary_search 和朋友们这样做的......

Answer 1

谓词是一个有效的东西，所以你可能会得到歧义的结果。

---

考虑将 find_if 重命名为 find，那么你有：

template <typename InputIterator, typename T>
InputIterator find(InputIterator first, InputIterator last, const T& value);

template <typename InputIterator, typename Predicate>
InputIterator find(InputIterator first, InputIterator last, Predicate pred);

应该做什么，那么，：

find(c.begin(), c.end(), x); // am I finding x, or using x to find?

而不是尝试提出一些复杂的解决方案来根据 进行区分x （这并不总是可以完成*），将它们分开会更容易。

*无论你的计划是什么或它有多么强大，这都是模棱两可的†：

struct foo
{
    template <typename T>
    bool operator()(const T&);
};

bool operator==(const foo&, const foo&);

std::vector<foo> v = /* ... */;
foo f = /* ... */; 

// f can be used both as a value and as a predicate
find(v.begin(), v.end(), f); 

†保存读心术。

Answer 2

Stroustrup 是这样说的（《C++ 编程语言》，18.5.2）：

如果 find() 和 find_if() 有
相同的名字，令人惊讶的歧义
就会产生这样的结果。一般来说，
_if 后缀用于表示
算法需要一个谓词。

至于“歧义”到底是什么，史蒂夫·杰索普在他对 这个问题。

（注意：这个问题实际上可能与这个问题是同一个问题。我在 C++ arcania 方面不够聪明，无法做出决定）。

Answer 3

它不能具有相同的名称，因为这样会产生歧义。假设我们有一个 find 重载而不是 find_if。然后假设：

// Pseudo-code
struct finder
{
    bool operator()(const T&) const { ... }
    bool operator==(const finder& right) const { ... }
}

std::vector<finder> finders;

finder my_finder;

std::find(finders.begin(), finders.end(), my_finder);

find 无法解决不一致问题：它应该尝试在容器中查找 finder，还是使用 < code>finder 进行查找操作？为了解决这个问题，他们创建了两个函数名称。

Answer 4

您当然可以使用某种等式谓词根据 find_if 来实现 find。

我猜真正的原因是您可以相当轻松地实现 find 并为典型遇到的类型提供高性能的专门实现；如果您使用find_if，您传入的谓词可以是任意复杂的，这给库实现者带来了较小的优化范围。

此外，C++ 的理念是“你不必为不使用的东西付费”，并且你通常会认为，如果简单的比较就可以的话，你就不想为谓词评估付费。