Бьярн ошибается насчет этого примера ADL, или у меня есть ошибка компилятора?

Я читаю язык программирования C ++, 4-е издание ( Бьярна Страуструпа ) оаргумент-зависимый поиск. Вот цитата (26.3.6, Сверхагрессивный ADL):

Поиск, зависящий от аргументов (часто называемый ADL), очень полезен, чтобы избежать многословия (14.2.4). Например:

#include <iostream>

int main()
{
    std::cout << "Hello, world" << endl; // OK because of ADL
}

Без поиска, зависящего от аргументов, endlманипулятор не будет найден. Как это, замечает , компилятор , что первый аргумент <<приведен ostreamопределенный в std. Таким образом, он ищет endlв stdи находит его (в <iostream>).

И вот результат компилятора (режим C ++ 11):

prog.cpp: In function ‘int main()’:
prog.cpp:4:36: error: ‘endl’ was not declared in this scope
 std::cout << "Hello, world" << endl;
                                ^

Либо это ошибка в компиляторе, либо в книге. Что говорит стандарт?

Обновить:

Мне нужно немного уточнить. Я знаю, что правильный ответ - использовать std::endl. Вопрос был о тексте в книге. Как уже сказал Лахлан Истон , это не просто опечатка. Весь абзац (вероятно) неверен. Я могу согласиться с такой ошибкой, если книга написана другим (менее известным) автором, но я был (и все еще сомневаюсь), потому что она была написана Бьярном.

Это не ошибка компилятора. ADL используется для поиска функций, а не аргументов . operator<<- это функция, которую можно найти здесь через ADL, просмотрев параметры std::coutи (что должно быть) std::endl.

Для тех, кто говорит, что это опечатка, это не так. Либо Бьярн ошибся, либо компилятор ошибся. Абзац после того, что опубликовал OP, гласит

Без поиска, зависящего от аргументов, манипулятор endl не был бы найден. Как бы то ни было, компилятор замечает, что первый аргумент << - это поток, определенный в std. Следовательно, он ищет endl в std и находит его (in <iostream>).

Это опечатка в книге, как уже указывали другие. Однако в книге имеется в виду, что нам придется написать

std::operator<<(std::cout, "Hello, world").operator<<(std::endl);

без ADL. Вот что Бьярн имел в виду под многословием.

Я исправился. Как отмечает Лахлан Истон , это не опечатка, а ошибка в книге. У меня нет доступа к этой книге, поэтому я не мог прочитать этот абзац и понять это сам. Я сообщил об этой ошибке Бьярну, чтобы он исправил ее.

Смешной. Тот же пример есть в Википедии и

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

Несомненно, это ошибка в книге. Тем не менее пример std::operator<<(std::cout, "Hello, world").operator<<(std::endl);показывает, как ADL помогает уменьшить многословие.

Спасибо gx_ за указание на мою ошибку .

Подсказка содержится в названии «поиск, зависящий от аргументов».

Это поиск неквалифицированных имен функций, который работает в зависимости от аргументов .

Это не имеет ничего общего с Lookup для аргументов.

Бьярн оговорился.

У меня нет книги, но похоже, что это ошибка в книге. Отсутствие квалификатора пространства имен не имеет ничего общего с ADL. Так и должно быть std::endl.

Да, это ошибка - пример неверно сформирован и не должен компилироваться. ADL применяется к неквалифицированным именам функций, которые представляют выражения вызова функций. endlИдентификационное выражение, пытающееся выполнить поиск std::endl. endlне вводит выражение вызова функции, поэтому для него не используется поиск, зависящий от аргументов, используется только неквалифицированный поиск, поэтому он не найдетstd::endl должным образом.

Более простой и правильный пример:

#include <vector>

int main()
{
    std::vector<int> x, y;
    swap(x,y); // calls std::swap due to ADL
}

Таким образом, перед поиском вызова функции (например f(x,y,z)) с неквалифицированным идентификатором (например f), сначала параметры функции (например,x,y,z анализируются ), чтобы определить их тип. Список связанных пространств имен формируется на основе типов (например, включающее пространство имен определения типа является связанным пространством имен). Затем в этих пространствах имен выполняется дополнительный поиск функции.

Целью примера Бьярна является демонстрация ADL std::operator<<функции, а не std::endl. Это требует дополнительного понимания того, что перегруженные операторы на самом деле являются выражениями вызова функций, x << yзначит operator<<(x,y), и operator<<является неквалифицированным именем, и поэтому к нему применяется ADL. Тип LHS это std::ostreamтак , stdэто Связанное пространство, и , следовательно , std::operator<<(ostream&, ...)будет найден.

Исправленный комментарий должен гласить:

Без поиска, зависящего от аргументов, перегруженный <<оператор в stdпространстве имен не будет найден. Как бы то ни было, компилятор замечает, что первый аргумент << - это поток, определенный в std. Поэтому он ищет оператор <<в std и находит его (in <iostream>).