mit Direktive - warum so seltsames Verhalten?

Question

Ich habe diesen Beispielcode

namespace ns1 
{ 
    void foo(int) 
    { 
    } 
} 

namespace ns2 
{ 
    void foo() 
    { 
    } 
    void bar() 
    { 
     using namespace ::ns1; 
     foo(42); // why compiler can't just call ns1::foo? 
    } 
} 

Und es mit dem Fehler nicht kompilieren:

prog.cpp:16:9: error: too many arguments to function ‘void ns2::foo()’ 

fand ich Grund dieses Fehlers in C++ 2003-Standard:

A using-directive specifies that the names in the nominated namespace can be used in the scope in which the using-directive appears after the using-directive. During unqualified name lookup (3.4.1), the names appear as if they were declared in the nearest enclosing namespace which contains both the using-directive and the nominated namespace. [Note: in this context, “contains” means “contains directly or indirectly”. ]

Ist jemand Grundprinzip für diese seltsame Regel? Warum können Namen von Namespace ns1 nicht direkt im Namespace ns2 angezeigt werden?

Answer 1

Ich glaube, das war/ist getan, um Konflikte und Überraschungen zu reduzieren. Namen, die durch eine Direktive using in Geltungsbereich gebracht werden, sind sichtbar, aber alles, was direkt im lokalen Bereich enthalten ist, hat Vorrang vor diesem.

Wenn Sie wirklich ohne eine qualifizierte ID Funktion, die Sie anrufen möchten, machen Sie es mit einer using Erklärung sichtbar statt:

namespace ns1 { 
    void foo(int) { } 
} 

namespace ns2 { 
    void foo() { } 
    void bar() { 
     using ::ns1::foo; 
     foo(42); // No problem; calls ::ns1::foo. 
    } 
} 

Answer 2

ns1::foo wird durch die Erklärung von ns2::foo

Von N3337 versteckt, §3.3.10/1[basic.scope.hiding]

A name can be hidden by an explicit declaration of that same name in a nested declarative region or derived class (10.2).

Der Abschnitt, den Sie sofort zitiert haben (§7.3.4/2) von

3   A using-directive does not add any members to the declarative region in which it appears. [ Example:

namespace A { 
     int i; 
     namespace B { 
     namespace C { 
      int i; 
     } 
     using namespace A::B::C; 
     void f1() { 
      i = 5; // OK, C::i visible in B and hides A::i 
     } 
     } 
     // more (irrelevant) stuff 
    } 

—end example ]

In Ihrem Fall folgt, wird die using-Direktive die Namen in ns1 den gemeinsamen Vorfahren Einführung Namespace von wo es erscheint, und das von ns1, was den globalen Namespace bedeutet. Es nicht führen sie innerhalb ns2, so dass die Erklärung von ns2::foo verbirgt das von ns1::foo.

Wenn Sie möchten, dass ns1::foo gefunden wird, verwenden Sie stattdessen eine using-Deklaration.

void bar() 
{ 
    using ::ns1::foo; 
    foo(42); 
}