为什么 range-for 找不到 std::istream_iterator 的 begin 和 end 重载？

我有这样的代码

std::ifstream file(filename, std::ios_base::in);
if(file.good())
{
    file.imbue(std::locale(std::locale(), new delimeter_tokens()));
    for(auto& entry : std::istream_iterator<std::string>(file))
    {
        std::cout << entry << std::endl;    
    }
}
file.close();

where std::istream_iterator<std::string>'s begin() and end()定义如下

template<class T>
std::istream_iterator<T> begin(std::istream_iterator<T>& stream)
{
    return stream;
}

template<class T>
std::istream_iterator<T> end(std::istream_iterator<T>& stream)
{
    return std::istream_iterator<T>();
}

这是什么马克·纳尔逊多布博士的书中也写到了here。唉，代码无法在我的 Visual Studio 2012 上编译并出现错误消息

错误 C3312：找不到类型“std::istream_iterator<_ty>”的可调用“开始”函数

and

错误 C3312：找不到类型“std::istream_iterator<_ty>”的可调用“end”函数

问题：有什么我没有注意到的，编译器中的错误（不太可能，但以防万一）或者......好吧，有什么想法吗？

根据建议，这个问题已得到很大程度的清理Xeo。为了提供更多背景和参考，这与我的相关其他问题在 Stackoverflow 上，我想知道如何使基于行的解析比通常的循环更干净。从互联网上进行了一些编码和检查，我得到了如下的工作草图

std::ifstream file(filename, std::ios_base::in);
if(file.good())
{               
    file.imbue(std::locale(std::locale(), new delimeter_tokens()));
    for(auto& entry : istream_range<std::string>(file)
    {
        std::cout << entry << std::endl;    
    }
}
file.close();

但我试图解决一些小问题。我认为在无法编译的代码中编写看起来更自然，而不是像

for(auto& entry : istream_range<std::string>(file)

请记下不同的迭代器。这delimeter_tokens定义如下Nawaz善意地表明了here（代码不重复）和istream_range如代码合成博客中所示here。我认为开始和结束实现应该有效，正如前面提到的代码综合博客文章中所宣传的那样

The last rule (the fallback to the free-standing begin()and end() functions) allows us to non-invasively adapt an existing container to the range-based for loop interface.

因此，我的问题具有所有相关背景。

Ranged-for 依赖于 ADL，如果对本机数组的特殊处理 (T foo[N]) 和成员begin/end不会产生任何结果。

§6.5.4 [stmt.ranged] p1

• 否则，开始表达式 and end-expr are begin(__range) and end(__range)， 分别，where begin and end使用参数相关查找进行查找 (3.4.2)。出于此名称查找的目的，命名空间std是关联的命名空间。

你的问题是，关联的命名空间std::istream_iterator是（显然）namespace std，而不是全局命名空间。

§3.4.2 [basic.lookup.argdep] p2

对于每个参数类型T在函数调用中，需要考虑一组零个或多个关联的命名空间以及一组零个或多个关联的类。命名空间和类的集合完全由函数参数的类型决定[...]。

• If T是基本类型，其关联的命名空间和类集都是空的。
• If T是一个类类型（包括联合体），其关联类有： 类本身；它所属的类别（如果有）；及其直接和间接基类。其关联的命名空间是其关联的类所属的命名空间。此外，如果 T 是类模板特化，则其关联的命名空间和类还包括：与为模板类型参数提供的模板参数的类型关联的命名空间和类[...]。

请注意第二个项目符号的最后（引用）部分。它基本上意味着使用全局命名空间成员的类作为模板参数使代码可以工作：

#include <iterator>
#include <iostream>

template<class T>
std::istream_iterator<T> begin(std::istream_iterator<T> is){
  return is;
}
template<class T>
std::istream_iterator<T> end(std::istream_iterator<T>){
  return std::istream_iterator<T>();
}

struct foo{};

std::istream& operator>>(std::istream& is, foo){
  return is;
}

int main(){
  for(foo f : std::istream_iterator<foo>(std::cin))
  //                                ^^^
  // make global namespace one of the associated namespaces
    ;
}