tại sao for_each hoạt động mà không cần std :: prefix

Question

Điều tôi nghĩ là for_each được định nghĩa trong không gian tên chuẩn, nhưng mã này thực sự biên dịch và chạy với các cờ trình biên dịch sau đây. Ai đó có thể giải thích tại sao?

//@filename myprog.cpp 
    //g++-4.5 --std=c++0x myprog.cpp 

    #include<iostream> 
    #include<algorithm> 

    int main() 
    { 
    std::vector<int> v{1,2,3,4,5}; 
    std::cout<<"printing the number\n"; 
    for_each(v.begin(),v.end(),[](int num) {//no std::for_each 
     std::cout<<num<<"\t"; 
    }); 
return 0; 
} 

Answer 1

Chuyển đổi nhận xét thành trả lời, lý do hoạt động này là ADL (Tra cứu phụ thuộc đối số). Về cơ bản, điều này có nghĩa là khi không tìm thấy một kết quả phù hợp cho for_each trong không gian tên hiện tại, trình biên dịch có quy tắc được xây dựng trong đó nói, bây giờ nhìn vào các không gian tên khác - và tập các không gian tên mà nó sử dụng cho đây là các không gian tên của các đối số. Một khi nó có một bộ các không gian tên, nó sẽ tìm kiếm thông qua chúng để tìm một for_each phù hợp.

Câu hỏi vẫn mở là liệu std::vector<>::iterator có nằm ở std:: hay không. Rõ ràng trong việc triển khai của bạn, đó là lý do tại sao tìm thấy for_each thích hợp trong số std::. Có có thể là trường hợp mà trình lặp này không có trong std:: - vì vậy để an toàn (như trong nhận xét của Alan), luôn luôn đi vào thói quen đủ điều kiện với std::. Điều này cũng ngăn cản bất kỳ trường hợp nào người khác giới thiệu for_each (vì lợi ích đối số) vào không gian tên của bạn - điều này có thể làm hỏng mọi thứ (trong trường hợp xấu hơn - âm thầm chấp nhận - nhưng bị ngắt tại thời gian chạy).