Neden ad alanı kapsamı öneki olmadan bir ad alanında bazı işlevler kullanılabilir?

Question

Ad alanı içinde işlev yapmamalı, yalnızca ad alanı kapsamı kullanılarak veya kullanma yönergesiyle erişilebilir olmalıdır?

Ad alanı içinde tanımlanmış bazı işlevlerin söz konusu ad alanının DIŞINDAN erişilebilir olduğu bir sorun yaşıyorum. Derleyici bir hata olması gerektiğine inanıyorum, ama denediğim üç farklı derleyicide bir tane almıyorum (VS.NET 2003, VS2010 ve GCC 4). fonksiyonların

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! 
} 

Yok Yok :: öneki kullanmadan erişilebilir olmalı, ama C, D ve E bilinmeyen bir nedenle şunlardır: Burada

kodudur. Başlangıçta derleyici bir hata olduğunu düşündüm, fakat bunu birden çok derleyicide görüyorum çünkü bana neler olduğunu sorguluyor.

Answer 1

Sanırım Koenig lookup'un etkisini görüyorsunuz. Örneğinizde foo ve s, N ad alanında tanımlanan türleridir. C, D ve E rutinlerine yapılan çağrılarınız bu tür argümanları kullanır, bu nedenle bu işlev çağrılarını çözmek için isim alanı N aranır.