Tại sao không phạm vi cho tìm thấy quá tải của tôi bắt đầu và kết thúc cho std :: istream_iterator?

Question

tôi có mã như thế này

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(); 

nơi std::istream_iterator<std::string> 's begin() và end() được định nghĩa như sau

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>(); 
} 

đó là những gì Mark Nelson cũng đã viết về trong Dr. Dobb của here. Than ôi, mã thất bại trong việc biên dịch trên Visual Studio của tôi năm 2012 với thông báo lỗi

lỗi C3312: không có chức năng callable 'bắt đầu' tìm thấy cho loại 'std :: istream_iterator < _Ty>'

và

lỗi C3312: không có chức năng callable 'kết thúc' tìm thấy cho loại 'std :: istream_iterator < _Ty>'

Câu hỏi: Có điều gì đó tôi không nhận thấy, lỗi trong trình biên dịch (không, nhưng chỉ trong trường hợp) hoặc ... Vâng, có ý tưởng nào không?

Câu hỏi này được làm sạch đáng kể, theo lời khuyên của Xeo. Để cung cấp nhiều nền và tham chiếu hơn, điều này có liên quan đến số other question trên Stackoverflow của tôi, tôi đã tự hỏi làm thế nào để làm cho việc phân tích cú pháp dựa trên dòng sạch hơn các vòng thông thường. Một chút mã hóa và kiểm tra từ internet, và tôi đã có một bản phác thảo làm việc như sau

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(); 

nhưng có một chút snag tôi đã cố gắng khắc phục. Tôi nghĩ rằng nó sẽ trông tự nhiên hơn để viết như trong mã mà không biên dịch và không giống như

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

Xin vui lòng, lưu ý của trình lặp khác nhau. delimeter_tokens được định nghĩa là Nawaz vui lòng hiển thị here (mã không trùng lặp) và istream_range như trong blog Tổng hợp mã here. Tôi nghĩ việc triển khai bắt đầu và kết thúc sẽ hoạt động, như được quảng cáo trong bài viết trên blog Code Synthesis nói trên

Quy tắc cuối cùng (dự phòng cho các hàm start-free() và end() miễn phí cho phép chúng ta thích ứng không xâm lấn đến phạm vi dựa trên giao diện vòng lặp.

Do đó, câu hỏi của tôi với tất cả (ir) nền có liên quan.

Answer 1

Phạm vi cho dựa trên ADL nếu xử lý đặc biệt cho mảng gốc (T foo[N]) và thành viên begin/end không mang lại kết quả nào.

§6.5.4 [stmt.ranged] p1

• khác, bắt đầu-expr và cuối expr là begin(__range) và end(__range), tương ứng, nơi begin và end đang nhìn lên với tra cứu luận phụ thuộc vào (3.4.2). Với mục đích tra cứu tên này, không gian tên std là một không gian tên được liên kết.

Vấn đề của bạn là, không gian tên liên quan của std::istream_iterator là (rõ ràng) namespace std, không phải là không gian tên toàn cầu.

§3.4.2 [basic.lookup.argdep] p2

Đối với mỗi loại lập luận T trong cuộc gọi chức năng, có một tập hợp các số không hay liên quan nhiều không gian tên và một bộ không hoặc liên quan nhiều lớp học để được xem xét. Các tập các không gian tên và các lớp được xác định hoàn toàn bởi các kiểu đối số hàm [...].

• Nếu kiểu cơ bản, các nhóm không gian tên và lớp liên quan của nó đều trống.
• Nếu T là loại lớp (kể cả công đoàn), các lớp liên quan của nó là: chính lớp đó; lớp mà nó là thành viên, nếu có; và các lớp cơ bản trực tiếp và gián tiếp của nó. Các không gian tên được liên kết của nó là các không gian tên trong đó các lớp liên kết của nó là các thành viên. Hơn nữa, nếu T là một chuyên môn mẫu lớp, các không gian tên và lớp liên quan của nó cũng bao gồm: các không gian tên và các lớp được liên kết với các kiểu đối số mẫu được cung cấp cho các tham số kiểu mẫu [...].

Lưu ý phần cuối cùng (được trích dẫn) của viên đạn thứ hai. Về cơ bản nó có nghĩa là sử dụng một lớp là thành viên của không gian tên chung làm đối số mẫu làm cho mã hoạt động:

#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 
    ; 
} 

Answer 2

Vì đối số phụ thuộc tra cứu, trình biên dịch sẽ tìm kiếm begin() và end() trong không gian tên std. Nếu bạn đặt các hàm của mình ở đó, thì mã sẽ biên dịch.

Vì tra cứu tên là một vấn đề phức tạp trong C++, tôi không hoàn toàn chắc chắn rằng trình biên dịch có hoạt động chính xác hay không.