¿Bjarne se equivoca con este ejemplo de ADL o tengo un error del compilador?

Estoy leyendo The C ++ Programming Language, 4th Edition (por Bjarne Stroustrup ) sobrebúsqueda-dependiente de argumento. Aquí está la cita (26.3.6, ADL demasiado agresivo):

La búsqueda dependiente de argumentos (a menudo denominada ADL) es muy útil para evitar la verbosidad (14.2.4). Por ejemplo:

#include <iostream>

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

Sin la búsqueda dependiente de argumentos, endlno se encontraría el manipulador. Tal como está, el compilador se da cuenta de que el primer argumento de <<está ostreamdefinido en std. Por tanto, busca endlen stdy lo encuentra (en <iostream>).

Y aquí está el resultado producido por el compilador (modo 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;
                                ^

O esto es un error en el compilador o en el libro. ¿Qué dice la norma?

Actualizar:

Necesito aclarar un poco. Sé que la respuesta correcta es usar std::endl. La pregunta era sobre el texto del libro. Como ya dijo Lachlan Easton , no es solo un error tipográfico. Todo el párrafo está (probablemente) mal. Puedo aceptar este tipo de error si el libro es de otro autor (menos conocido), pero tenía (y todavía tengo) dudas porque fue escrito por Bjarne.

No es un error en el compilador. ADL se utiliza para buscar funciones, no argumentos . operator<<es la función encontrada a través de ADL aquí mirando los parámetros std::couty (lo que debería ser) std::endl.

Para aquellos que dicen que es un error tipográfico, no lo es. O Bjarne cometió un error o el compilador lo hizo mal. El párrafo después del publicado por OP dice

Sin una búsqueda dependiente de argumentos, no se encontraría el manipulador endl. Tal como está, el compilador se da cuenta de que el primer argumento de << es un ostream definido en std. Por lo tanto, busca endl en std y lo encuentra (en <iostream>).

Es un error tipográfico en el libro, como ya han señalado los demás. Sin embargo, lo que se quiere decir en el libro es que tendríamos que escribir

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

sin ADL. Eso es lo que Bjarne quiso decir con verbosidad.

Me quedo corregido. Como señala Lachlan Easton , no es un error tipográfico, sino un error en el libro. No tengo acceso a este libro, por eso no pude leer ese párrafo y darme cuenta yo mismo. He informado de este error a Bjarne para que pueda corregirlo.

Gracioso. El mismo ejemplo está en Wikipedia y

Tenga en cuenta que std::endles una función pero necesita una calificación completa, ya que se usa como un argumento para operator<<( std::endles un puntero de función, no una llamada a función).

Sin duda, es un error del libro. Sin embargo, el ejemplo std::operator<<(std::cout, "Hello, world").operator<<(std::endl);muestra cómo la ADL ayuda a reducir la verbosidad.

Gracias a gx_ por señalar mi error .

La sugerencia está en el nombre "búsqueda dependiente del argumento".

Es una búsqueda de nombres de funciones no calificados, que funciona según los argumentos .

No tiene nada que ver con la búsqueda de argumentos.

Bjarne se equivocó.

No tengo el libro, pero esto parece ser un error en el libro, el hecho de que falte el calificador de espacio de nombres no tiene nada que ver con ADL. Debería serlo std::endl.

Sí, es un error: el ejemplo está mal formado y no debería compilarse. ADL se aplica a nombres de funciones no calificados que introducen expresiones de llamada de función. endles una expresión de identificación que intenta buscar std::endl. endlno introduce una expresión de llamada de función, por lo que la búsqueda dependiente de argumentos no se usa para ella, solo se usa una búsqueda no calificada, por lo que no encontrará std::endlcomo se esperaba.

Un ejemplo más simple y correcto sería:

#include <vector>

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

En resumen, antes de buscar una llamada de función (p f(x,y,z). Ej. ) Con un id no calificado (p f. Ej. ), Primero x,y,zse analizan los parámetros de la función (p . Ej. ) Para determinar su tipo. Se forma una lista de espacios de nombres asociados en función de los tipos (por ejemplo, el espacio de nombres adjunto de la definición del tipo es un espacio de nombres asociado). Estos espacios de nombres se buscan adicionalmente para la función.

La intención del ejemplo de Bjarne es mostrar la ADL de la std::operator<<función, y no std::endl. Esto requiere una comprensión adicional de que los operadores sobrecargados son, de hecho, expresiones de llamada de función, es x << ydecir operator<<(x,y), y operator<<es un nombre no calificado, y por lo tanto ADL se aplica a él. El tipo de la LHS es std::ostreamasí que stdes un espacio de nombres asociado, y por lo tanto std::operator<<(ostream&, ...)se encuentra.

El comentario corregido debe leer:

Sin la búsqueda dependiente del argumento, no se encontraría el <<operador sobrecargado en el stdespacio de nombres. Tal como está, el compilador se da cuenta de que el primer argumento de << es un ostream definido en std. Por lo tanto, busca el operador <<en std y lo encuentra (en <iostream>).