¿Cuáles son las trampas de ADL?

La respuesta aceptada es simplemente incorrecta - esto no es un error de ADL. Muestra un anti-patrón descuidado para usar llamadas de función en la codificación diaria: ignorancia de nombres dependientes y confiar ciegamente en nombres de funciones no calificados.

En resumen, si está utilizando un nombre no calificado en el postfix-expression de una llamada a una función, debería haber reconocido que ha concedido la capacidad de que la función pueda ser "anulada" en otro lugar (sí, esto es una especie de polimorfismo estático). Por lo tanto, el la ortografía del nombre no calificado de una función en C++ es exactamente parte de la interfaz .

En el caso de la respuesta aceptada, si el print_n realmente necesita ADL print (es decir, permitir que se anule), debería haberse documentado con el uso de unqualified print como un aviso explícito, por lo que los clientes recibirían un contrato que print debería declararse cuidadosamente y la mala conducta sería toda responsabilidad de my_stuff. De lo contrario, es un error de print_n. La solución es simple: califica print con el prefijo utility::. Esto es de hecho un error de print_n, pero difícilmente un error de las reglas ADL en el lenguaje.

Sin embargo, existen cosas no deseadas en la especificación del lenguaje, y técnicamente, no solo una. Se realizan más de 10 años, pero nada en el idioma está fijo todavía. Se pierden por la respuesta aceptada (excepto que el último párrafo es únicamente correcto hasta ahora). Vea este documento para más detalles.

I puede agregar un caso real contra el nombre de búsqueda desagradable. Estaba implementando is_nothrow_swappable donde __cplusplus < 201703L. Me resultó imposible confiar en ADL para implementar tal característica una vez que tengo una plantilla de función swap declarada en mi espacio de nombres. Tal swap siempre se encuentran juntos con std::swap introducido por un idiomáticas using std::swap; para utilizar ADL bajo la ADL reglas, y luego vendría la ambigüedad de swap donde swap plantilla (que instanciar is_nothrow_swappable para obtener la correcta noexcept-specification) es llamado. Combinado con reglas de búsqueda de 2 fases, el orden de las declaraciones no cuenta, una vez que se incluye el encabezado de la biblioteca que contiene la plantilla swap. Por lo tanto, a menos que sobrecargue todos mis tipos de biblioteca con función especializada swap (para suprimir cualquier plantilla genérica candidata swap coincidiendo con la resolución de sobrecarga después de ADL), no puedo declarar la plantilla. Irónicamente, la plantilla swap declarada en mi espacio de nombres es exactamente para utilizar ADL (consideremos boost::swap) y es una de las más significativas cliente directo de is_nothrow_swappable en mi biblioteca (POR cierto, boost::swap no respeta la especificación de excepción). Esto venció perfectamente mi propósito, suspiro...

#include <type_traits>
#include <utility>
#include <memory>
#include <iterator>

namespace my
{

#define USE_MY_SWAP_TEMPLATE true
#define HEY_I_HAVE_SWAP_IN_MY_LIBRARY_EVERYWHERE false

namespace details
{

using ::std::swap;

template<typename T>
struct is_nothrow_swappable
    : std::integral_constant<bool, noexcept(swap(::std::declval<T&>(), ::std::declval<T&>()))>
{};

} // namespace details

using details::is_nothrow_swappable;

#if USE_MY_SWAP_TEMPLATE
template<typename T>
void
swap(T& x, T& y) noexcept(is_nothrow_swappable<T>::value)
{
    // XXX: Nasty but clever hack?
    std::iter_swap(std::addressof(x), std::addressof(y));
}
#endif

class C
{};

// Why I declared 'swap' above if I can accept to declare 'swap' for EVERY type in my library?
#if !USE_MY_SWAP_TEMPLATE || HEY_I_HAVE_SWAP_IN_MY_LIBRARY_EVERYWHERE
void
swap(C&, C&) noexcept
{}
#endif

} // namespace my

int
main()
{
    my::C a, b;
#if USE_MY_SWAP_TEMPLATE

    my::swap(a, b); // Even no ADL here...
#else
    using std::swap; // This merely works, but repeating this EVERYWHERE is not attractive at all... and error-prone.

    swap(a, b); // ADL rocks?
#endif
}

Try https://wandbox.org/permlink/4pcqdx0yYnhhrASi y gire USE_MY_SWAP_TEMPLATE a true para ver la ambigüedad.