¿Por qué algunas funciones dentro de un espacio de nombres son accesibles sin el prefijo de delimitación del espacio de nombres?

Question

¿No deberían ser accesibles las funciones dentro de un espacio de nombres usando el ámbito de espacio de nombres o la directiva using?

Tengo un problema donde ciertas funciones, definidas dentro de un espacio de nombres, son accesibles FUERA de ese espacio de nombres. Creo que debería haber un error de compilación, pero no estoy obteniendo ninguno en los tres compiladores diferentes que he probado (VS.NET 2003, VS2010 y GCC 4).

Aquí está el código:

namespace N{ 
    typedef struct _some_type *some_type; 
    struct some_struct { int x; }; 
    void A(void); 
    void B(int); 
    void C(some_type*); 
    void D(some_type); 
    void E(struct some_struct); 
} 

using N::some_type; 
using N::some_struct; 

void TestFunction() 
{ 
    some_type foo; 
    some_struct s; 

    N::A();   //should compile (and does on VS2003, VS2010, and GCC 4.1.2) 
    ::A();   //shouldn't compile (and doesn't on VS2003, VS2010, and GCC 4.1.2) 
    A();   //shouldn't compile (and doesn't on VS2003, VS2010, and GCC 4.1.2) 

    N::B(0);  //should compile (and does on VS2003, VS2010, and GCC 4.1.2) 
    ::B(0);   //shouldn't compile (and doesn't on VS2003, VS2010, and GCC 4.1.2) 
    B(0);   //shouldn't compile (and doesn't on VS2003, VS2010, and GCC 4.1.2) 

    N::C(&foo);  //should compile (and does on VS2003, VS2010, and GCC 4.1.2) 
    ::C(&foo);  //shouldn't compile (and doesn't on VS2003, VS2010, and GCC 4.1.2) 
    C(&foo);  //shouldn't compile (but does on VS2003, VS2010, and GCC 4.1.2) -- problem! 

    N::D(foo);  //should compile (and does on VS2003, VS2010, and GCC 4.1.2) 
    ::D(foo);  //shouldn't compile (and doesn't on VS2003, VS2010, and GCC 4.1.2) 
    D(foo);   //shouldn't compile (but does on VS2003, VS2010, and GCC 4.1.2) -- problem! 

    N::E(s);  //should compile (and does on VS2003, VS2010, and GCC 4.1.2) 
    ::E(s);   //shouldn't compile (and doesn't on VS2003, VS2010, and GCC 4.1.2) 
    E(s);   //shouldn't compile (but does on VS2003, VS2010, and GCC 4.1.2) -- problem! 
} 

Ninguna de las funciones debe ser accesible sin necesidad de utilizar la N :: prefijo, pero C, D, y E son por alguna razón desconocida. Inicialmente pensé que era un error de compilación, pero debido a que estoy viendo esto en varios compiladores, me hace preguntar qué está pasando.

Answer 1

Creo que está viendo el efecto de Koenig lookup. En su ejemplo, foo y s son tipos definidos en el espacio de nombres N. Sus llamadas a las rutinas C, D y E usan argumentos de esos tipos, por lo que se busca en el espacio de nombres N para resolver esas llamadas a funciones.