Do Derured1 :: Base và Derured2 :: Base có cùng loại không?

MSVC, Clang và GCC không đồng ý với mã này:

struct Base { int x; };
struct Der1 : public  Base {};
struct Der2 : public  Base {};

struct AllDer : public Der1, public Der2 {
    void foo() {
        Der1::Base::x = 5;
    }
};

Thần may mắn

GCC:

<source>: In member function 'void AllDer::foo()':    
<source>:10:21: error: 'Base' is an ambiguous base of 'AllDer'    
   10 |         Der1::Base::x = 5;    
      |                     ^    
Compiler returned: 1

Clang đưa ra một lỗi tương tự và MSVC không có lỗi.

Ai ở ngay đây?

Tôi cho rằng điều này được đề cập trong [class.member.lookup] , nhưng tôi gặp khó khăn trong việc hiểu những gì nó đang cố nói với tôi cho trường hợp này. Vui lòng trích dẫn các phần có liên quan và nếu có thể giải thích bằng tiếng Anh.

PS: Lấy cảm hứng từ câu hỏi này Tại sao Tham chiếu đến Lớp cơ sở mơ hồ với lớp dẫn xuất máng :: -operator?

PPS: Trên thực tế, nghi ngờ của tôi là liệu Der1::Basetham chiếu đến loại, đó sẽ là Base(và sau đó Der2::Basechính xác là cùng loại) hay với tiểu dự án. Tôi tin rằng đó là cái đầu tiên, nhưng nếu nó là cái sau thì MSVC sẽ đúng.

Để trả lời câu hỏi trong tiêu đề, vâng, Derived1::Basetham chiếu tên lớp được chèn [class.pre] Base và cũng vậy Derived2::Base. Cả hai đều tham khảo lớp học ::Base.

Bây giờ, nếu Basecó một thành viên tĩnhx , thì việc tra cứu Base::xsẽ không rõ ràng. Chỉ có một.

Vấn đề trong ví dụ này xlà một thành viên không tĩnh và AllDercó hai thành viên như vậy. Bạn có thể định hướng truy cập như vậy xbằng cách chỉ định một lớp cơ sở rõ ràngAllDer chỉ có một xthành viên. Derived1là một lớp cơ sở rõ ràng và nó có một xthành viên, vì vậy Derived1::xrõ ràng chỉ định rõ ràng xthành viên nào trong hai thành viên trong AllDerbạn. Basecũng chỉ có một xthành viên, nhưng nó không phải là một cơ sở rõ ràng AllDer. Mỗi trường hợp AllDercó hai đối tượng phụ của loại Base. Do đó Base::xlà mơ hồ trong ví dụ của bạn. Và vì Derived1::Basechỉ là một tên khác cho Base, điều này vẫn còn mơ hồ.

[class.member.lookup] chỉ định xđược tra cứu trong ngữ cảnh của trình xác định tên lồng nhau, do đó phải được giải quyết trước. Chúng tôi thực sự đang tìm kiếm Base::x, không Derived1::x, bởi vì chúng tôi đã bắt đầu bằng cách giải quyết Derived1::Basenhư Base. Phần này thành công, chỉ có một xtrong Base.Note 12 trong [class.member.lookup] cho bạn biết rõ rằng việc sử dụng tra cứu tên không rõ ràng vẫn có thể thất bại khi có nhiều tiểu dự án có cùng tên đó. D::itrong ví dụ đó về cơ bản là của bạn Base::x.

Lý do bạn có thể gọi tên lớp là thành viên của lớp là vì cpp bí danh nó để sử dụng thuận tiện, như thể bạn đã viết using Base = ::Base;bên trong Base.
Vấn đề bạn đang phải đối mặt là Der1::Baselà Base.
Vì vậy, khi bạn viết Der1::Base::x, nó giống như Base::x.