是否有任何理由 find_if、for_each、count 等不需要 std::？

Question

我刚刚发现标准algorithm 标头中的几种算法不需要std::。

例子：

#include <vector>
#include <algorithm>

int main() {
  std::vector<int> m;
  count(m.begin(), m.end(), 0);
  count_if(m.begin(), m.end(), [](auto){return true;});
  for_each(m.begin(), m.end(), [](auto){});
  find_if(m.begin(), m.end(), [](auto){return true;});
}

Live demo at coliru

有什么具体原因吗？ g++ 和 clang++ 都接受上面的代码。

Answer 1

这里发生了两件事。

首先是 ADL，或Argument Dependent Name Lookup。

这些函数是通过 ADL 找到的。这是因为某些参数（即vector 的iterator 类型）位于std 中，因此当重载解析查找for_each 时，它会查找通常的命名空间集（根在此case)，加上由其参数的命名空间确定的。

诀窍在于vector::iterator不保证是namespace std 中的一个类型。所以你的代码不能保证工作。它可能是std中的一个类型，或者它可能是一个原始指针，或者它可能是namespace __std__utility_types中的一个类型，或者其他任何地方。

所有主要的编译器库都将vector 迭代器作为非指针，它们在namespace std 中，因为替代方案被认为更糟。但缺乏保证意味着您不应该依赖它来实现真正可移植的代码。