基于范围的For Loop和ADL

Question

这是从2011年开始对这个问题的扩展：基于范围的for loops和ADL

使用Visual Studio 2015，我无法使用参数依赖查找（ADL）为自定义容器创建基于范围的for循环。

我在下面用一个自定义容器做了一个非常简单的测试用例：

#include <vector>

namespace Foo
{
    template <typename T>
    class Container
    {
    public:

        std::vector<T> values;
    };
}

template <typename T>
typename std::vector<T>::iterator begin(Foo::Container<T>& foo)
{
    return foo.values.begin();
}

template <typename T>
typename std::vector<T>::iterator end(Foo::Container<T>& foo)
{
    return foo.values.end();
}

使用此容器和ADL，以下测试可以很好地编译：

int main(int argc, char* argv[])
{
    Foo::Container<int> values;

    for (auto it = begin(values); it != end(values); ++it)
    {
        ...
    }

    return 0;
}

这是应该的。我不确定ADL是否在这里得到了利用，但无论如何，它是有意义的。根据MSDN文档，我们有：

请记住以下事实：

>

识别具有的容器。begin（）和。结束（）。

对其他任何内容使用与参数相关的查找start（）和end（）。

根据我对ADL的理解以及上述文档，还应汇编以下内容：

int main(int argc, char* argv[])
{
    Foo::Container<int> values;

    for (auto value : values)
    {
        ...
    }

    return 0;
}

但事实并非如此。相反，我得到了以下错误：

error C3312: no callable 'begin' function found for type 'Foo::Container<int>'
error C3312: no callable 'end' function found for type 'Foo::Container<int>'

那么这是怎么回事？是我对ADL的解释不正确，还是这是MSVC 14.0编译器的错误？

Answer 1

您必须将start和end都放入Foo命名空间才能让ADL工作。这是因为ADL会查看相应参数的命名空间以搜索开始和end的定义。

namespace Foo
{
    template <typename T>
    class Container
    {
    public:

        std::vector<T> values;
    };

    template <typename T>
    typename std::vector<T>::iterator begin(Foo::Container<T>& foo)
    {
        return foo.values.begin();
    }

    template <typename T>
    typename std::vector<T>::iterator end(Foo::Container<T>& foo)
    {
        return foo.values.end();
    }
}

UPD：不考虑全局命名空间中的开始和结束的原因是更新后的标准说开始和结束在关联的命名空间中查找，但不执行普通的不合格查找。这是标准（http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1442）中错误修复的结果。