C++ i wstrzykuje nazwa bazowa

Question

Poniższy kod nie kompilacji w gcc:

namespace One{ 
    class A{ 
    }; 
}; 

namespace Two{ 
    class A{ 
     public: 
     void what(){ 
      cout << "Two::A says what!" << endl; 
     } 
    }; 

    class B : public One::A{ 
     public: 
     B(){ 
      A xx; 
      xx.what(); 
     } 
    }; 

}; 

I daje:

gccbug.cpp: In constructor ‘Two::B::B()’: 
gccbug.cpp:23: error: ‘class One::A’ has no member named ‘what’ 

Teraz, powiedziano mi, że jest to poprawne zachowanie (na skutek wtryskiwanego podstawy imię One :: A w odniesieniu do One :: A). Jednak ten kod kompiluje się w języku C# (no, po zmianie kilku rzeczy), więc wydaje się, że jest to C++.

Zastanawiam się, dlaczego ... dlaczego? Czy istnieje konkretny cel wstrzykiwania nazwy bazowej "One :: A" jako "A"?

Answer 1

Jedynym powodem mogę myśleć, że w C++ jest prawdopodobne, aby odnieść się do nazwy klasy bazowej w liście inicjatora konstruktora, tak:

namespace Two { 

    /*...*/ 

    class B : public One::A { 
    public: 
    B():A() 
    { 
     /*...*/ 
    } 
    }; 
} 

Oczywiście celem wtedy jest inna od tego w twoim przykładzie, ponieważ faktycznie deklarujesz lokalną zmienną wewnątrz konstruktora, podczas gdy w moim przykładzie A() odnosi się do obiektu typu A, który jest ukryty w definicji class B z powodu dziedziczenia.

Jednak sytuacja mojego przykładu jest bardziej prawdopodobna, więc domyślam się, że myśleli, że nie wymagajmy, aby przestrzeń nazw była jawna w tym przypadku. W związku z tym każde odwołanie do A bez przestrzeni nazw jest interpretowane jako odnoszące się do klasy bazowej, a nie do jakiejkolwiek innej klasy o nazwie A, nawet jeśli znajduje się w tej samej przestrzeni nazw co deklaracja B.

Answer 2

Czy istnieje konkretny cel wstrzykiwania nazwy bazowej "One :: A" jako "A"?

Tak. To jest tak, że można napisać:

namespace N 
{ 
    class A 
    { 
     A *a; 
    }; 
} 

W braku wtryskiwanego-name, masz napisać N::A *a co nie jest miłe.

Zauważ, że to dlatego, że z wtryskiwanego-name, następujące linie są dozwolone: ​​

A::A *a1; //ok 
A::A::A *a2; //ok 
A::A::A::A *a3; //ok 
A::A::A::A::A *a4; //ok 
//and so on 

Online demo

Answer 3

Przez kwalifikacyjna A z One:: dodałeś A z namespace jednym zakresie, więc kompilator będzie tam szukać rozpoznawania nazw.