ADL和容器函数（开始、结束等）

Question

C 11及更高版本在命名空间std中定义自由函数开始、结束、空等。对于大多数容器，这些函数调用相应的成员函数。但对于某些容器（如valray），这些自由函数被重载（initializer_list没有成员开始（））。因此，要遍历任何容器自由函数，并从std以外的命名空间中查找容器的函数，应使用ADL：

 template<typename C>
 void foo(C c)
 {
   using std::begin;
   using std::end;
   using std::empty;

   if (empty(c)) throw empty_container();
   for (auto i = begin(c); i != end(c); ++i) { /* do something */ }
 }

问题1：我说得对吗？是否希望通过ADL找到开始和结束？

但ADL规则规定，若参数的类型是类模板专门化，则ADL包括所有模板参数的名称空间。然后再升压。范围库开始发挥作用，它定义了boost：：begin、boost：：end等。这些函数定义如下：

template< class T >
inline BOOST_DEDUCED_TYPENAME range_iterator<T>::type begin( T& r )
{
    return range_begin( r );
}

如果我使用标准向量

问题2：在这种情况下我该怎么办？

依靠成员函数的存在？最简单的方法。

禁止Boost。范围采用容器而不是一对迭代器的算法非常方便。促进范围适配器（将算法延迟应用于容器的容器）也很方便。但如果我不使用Boost。在我的代码中，它仍然可以在boost库中使用（范围除外）。这使得模板代码非常脆弱。

禁止Boost？

Answer 1

几年前，我遇到了一个类似的问题，我的代码突然在std：：begin和boost：：begin之间变得模棱两可。我发现这是因为使用了Boost。运算符来帮助定义类，即使它甚至不是公共基类或对所涉及类型的用户来说很明显。在某处引起的随机更改包括

我向邮件列表抱怨将类直接放在Boost命名空间中，而不是嵌套类中，并使用声明通过公开它们；直接在Boost命名空间中定义的所有内容都可能通过意外ADL相互踩踏。

我今天刚刚试着复制这个，它现在似乎对这种含糊不清的东西很有弹性！查看定义，boost：：begin本身位于内部名称空间中，因此如果您没有使用boost：：begin提供自己的，则无法通过无条件查找找到它 在您自己的范围内。

我不知道这是多久前的事了。（如果您仍然可以复制，请发布一个完整的程序，其中包含版本和平台详细信息。）

对于Boost，不要再担心了（如果需要，升级Boost）。

对于新代码，切勿在与其定义的任何类型相同的命名空间中定义名为begin的自由函数。