[英]Range-Based For Loop and ADL
这是2011年这个问题的扩展: 基于范围的for循环和ADL
使用Visual Studio 2015,我无法使用Argument Dependent Lookup(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()和.end()的容器。
使用依赖于参数的查找begin()和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编译器的错误?
您必须将begin
和end
放在Foo
名称空间中才能使ADL正常工作。 这是因为ADL将查找相应参数的名称空间以搜索begin
和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:不考虑全局命名空间的begin
和end
的原因是因为更新的标准说在关联的命名空间中查找了begin
和end
,但是没有执行普通的不合格的查找。 这是标准中错误修复的结果( http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#1442 )。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.