Чи Б'ярн помиляється щодо цього прикладу ADL, чи у мене є помилка компілятора?

Я читаю мову програмування C ++, 4-е видання (автор: Bjarne Stroustrup )аргумент-залежний-пошук. Ось цитата (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.

Для тих, хто каже, що це друкарська помилка, це не так. Або Бьярн помилився, або компілятор помилився. Абзац після розміщеного ОП читає

Без пошуку, залежного від аргументів, маніпулятор endl не був би знайдений. В даний час компілятор зауважує, що першим аргументом << є потік, визначений у std. Тому він шукає endl в std і знаходить його (в <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- це вираз id, який намагається шукати 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 і знаходить його (в <iostream>).