Почему «std :: endl» требует квалификацию пространства имен при использовании в выражении «std :: cout << std :: endl;», учитывая зависящий от аргумента поиск?

Question

Я смотрел запись в Википедии argument-dependent lookup, и (янв 04, 2014) следующий пример был дан:

#include<iostream> 

int main() 
{ 
    std::cout << "Hello World, where did operator<<() come from?" << std::endl; 
} 

... со следующим комментарием:

Обратите внимание, что станд :: епсИ является функцией, но она нуждается в полной квалификации, , поскольку он используется в качестве аргумента для оператора < < (std :: endl - забава ction указатель, а не вызов функции).

Мое мнение, что комментарий неверен (или просто неясен). Я рассматриваю изменение комментария сказать, вместо

Обратите внимание, что STD :: епсИ нуждается в полной квалификации, потому что ADL не относится к аргументам вызова функции; он относится только к имени функции.

Я исправлю, что комментарий к Википедии неверный? Является ли мое предложение правильным? (I.e., является ли мое понимание ADL правильным в этом примере?)

Answer 1

Нет ничего плохого в том, что говорит Википедия.

std::cout << "Hello World, where did operator<<() come from?" << std::endl 

эквивалентно следующим образом (в предположении operator<< реализован в виде свободной функции)

operator<<(
    operator<<(std::cout, "Hello World, where did operator<<() come from?"), 
    std::endl) 

, которая ясно требует квалификации пространства имен для обоих cout и endl, потому что это аргумент-зависимой поиска (из функция), а не «поиск аргументов».
Аргументы определяют функцию, которую нужно вызывать, а не наоборот.

Answer 2

Правило в Википедии. Тот факт, что один из операндов operator<< находится в пространстве имен std, вызывает поиск имени, включающий объявления operator<< из пространства имен std в заданных параметрах-кандидатах, поданных на разрешение перегрузки.

Answer 3

И оригинальная фразировка, и ваша формулировка верны.

std::endl a функция. C++03 spec section 27.6 [lib.iostream.format]:

Заголовок <ostream> синопсис

namespace std { 
template <class charT, class traits = char_traits<charT> > 
class basic_ostream; 
typedef basic_ostream<char> ostream; 
typedef basic_ostream<wchar_t> wostream; 
template <class charT, class traits> 
basic_ostream<charT,traits>& endl(basic_ostream<charT,traits>& os); 
... 

В этом контексте std::endl функция (точнее, функция указателя, в который он распадается) в настоящее время передается в качестве аргумента operator<< , Поскольку это аргумент, ADL не применяется.