Las funciones con argumentos de clase se filtran de un espacio de nombres?

Question

Tengo un pequeño código aquí para su consideración que me desconcierta bastante. Lo extraño es que compila tanto en Sun Studio como en GCC aunque creo que no debería.

Considera:

namespace name 
{ 
    class C 
    { 
     int a; 
    }; 

    void f(C c); 
    void g(int a); 
} 

int main(int argc, char** argv) 
{ 
    name::C c; 

    name::f(c); 
    f(c); // <--- this compiles, strangely enough 

    name::g(42); 
    // g(42); <--- this does not, as I expected 
} 

El argumento de clase desde el mismo espacio de nombres hace que la función f a 'fuga' fuera del espacio de nombres y ser accesibles sin name::.

¿Alguien tiene una explicación para esto? Sin duda, yo y no el compilador estamos equivocados aquí.

Answer 1

Se llama argument-dependent lookup (o búsqueda Koenig). En resumen, el compilador buscará la función en los espacios de nombres que son los espacios de nombres de los tipos de argumentos.

Answer 2

Esto es Argument-Dependent Name Lookup, ak.a. ADL, a.k.a. Koenig búsqueda. Esto fue inventado para que los operadores de trabajo como se esperaba, por ejemplo:

namespace fu { 
    struct bar { int i; }; 
    inline std::ostream& operator<<(std::ostream& o, const bar& b) { 
     return o << "fu::bar " << b.i; 
    } 
} 

fu::bar b; 
b.i = 42; 
std::cout << b << std::endl; // works via ADL magic 

Sin ADL que tendría que llevar ya sea de forma explícita el operador de salida con using fu::operator<<; fea, o utilizar la llamada aún más feo explícita:

fu::operator<<(std::cout, b) << std::endl; 

Answer 3

Se debe a la "búsqueda dependiente del argumento". Eliminar el const no cambiará el comportamiento que estás viendo. Para demostrar que es ADL, trate de mover el St estructura exterior del espacio de nombres ...

struct St 
{ 
    int a; 
}; 

namespace name 
{ 
    void f(const St& st); 
    void g(int a); 
} 

int main(int argc, char** argv) 
{ 
    St st; 

    name::f(st); 
    f(st); // <--- now you will get the expected compile error 

    name::g(42); 
    // g(42); <--- this does not, as I expected 
} 

Answer 4

que es causada por las operaciones de búsqueda depende argumento.