C++ và tiêm tên cơ sở

Question

Các mã sau đây không biên dịch trong 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(); 
     } 
    }; 

}; 

Và nó mang lại:

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

Bây giờ, tôi đã nói rằng đây là hành vi đúng (do cơ sở tiêm name of One :: A make A tham chiếu đến One :: A). Tuy nhiên, mã này biên dịch trong C# (tốt, sau khi thay đổi một vài điều), do đó, điều này có vẻ là c + + cụ thể.

Điều tôi đang thắc mắc là .. tại sao? Có mục đích cụ thể nào để tiêm tên cơ sở "One :: A" là "A"?

Answer 1

Lý do duy nhất tôi có thể nghĩ đến là trong C++ bạn có khả năng để tham khảo các tên lớp cơ sở trong danh sách khởi tạo của các nhà xây dựng, như thế này:

namespace Two { 

    /*...*/ 

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

Dĩ nhiên mục đích sau đó là khác nhau từ ví dụ của bạn, bởi vì bạn thực sự khai báo biến cục bộ bên trong hàm tạo, trong khi trong ví dụ của tôi, A() đề cập đến đối tượng kiểu A ẩn trong định nghĩa của class B do thừa kế.

Tuy nhiên, tình huống của ví dụ của tôi có nhiều khả năng xảy ra, vì vậy tôi đoán họ nghĩ chúng ta không yêu cầu không gian tên phải được làm rõ ràng trong trường hợp này. Kết quả là, bất kỳ tham chiếu nào đến A mà không có vùng tên được hiểu là tham chiếu đến lớp cơ sở, thay vì bất kỳ lớp nào khác có tên là A, ngay cả khi nó nằm trong cùng một không gian tên như khai báo B.

Answer 2

Có mục đích cụ thể nào để tiêm tên cơ sở "One :: A" là "A" không?

Có. Nó là như vậy mà bạn có thể viết này:

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

Trong vắng mặt của tiêm-tên, bạn đã viết N::A *a mà không phải là tốt đẹp.

Lưu ý rằng đó là vì tiêm-tên, những dòng sau được phép:

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

By đủ điều kiện A với One:: bạn thêm A từ namespace một trong phạm vi, vì vậy trình biên dịch sẽ tìm ở đó cho độ phân giải tên của nó.