Derived1 :: Base ve Derived2 :: Base aynı türe mi işaret ediyor?

MSVC, Clang ve GCC bu koda katılmıyor:

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

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

Godbolt

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 benzer bir hata verir ve MSVC hiçbir hata vermez.

Tam burada kim?

Sanırım bu [class.member.lookup] ' da ele alınmaktadır , ancak bu dava için bana ne anlatmaya çalıştığını anlamakta zorlanıyorum. Lütfen ilgili parçaları belirtin ve mümkünse açık İngilizce olarak açıklayın.

Not: Bu sorudan esinlenilmiştir Neden Temel Sınıfa Referans :: -operator türetilmiş sınıfla neden belirsizdir?

PPS: Aslında benim kuşkum, Der1::Basetipe atıfta bulunulması, bu tip Base(ve sonra Der2::Basetam olarak aynı tip) veya alt nesneye atıfta bulunulmasıdır . Ben ilk olduğuna ikna oldum, ancak ikincisi ise MSVC doğru olurdu.

Başlıktaki soruyu cevaplamak için, Evet, Derived1::Basereferanslar enjekte sınıf-ad [class.pre] Base öylesine ve yapar Derived2::Base. Her ikisi de sınıfa atıfta bulunur ::Base.

Şimdi, statik bir üye Baseolsaydı , o zaman araması net olur. Sadece biri var.xBase::x

Bu örnekteki sorun, xstatik olmayan bir üye olması ve AllDerbu tür iki üyesi olmasıdır. Yalnızca bir üyesi olan açık bir temel sınıf xbelirterek bu erişimi kesinleştirebilirsiniz . açık bir temel sınıftır ve bir üyesi vardır, bu yüzden açık bir şekilde iki üyeden hangisini kastettiğinizi belirtir . sadece bir üyesi vardır, ama bunun açık bir temeli değildir . Her örneğinde iki tür alt nesne vardır . Bu nedenle örneğinizde belirsiz. Ve sadece başka bir isim olduğu için , bu belirsizliğini koruyor.AllDerxDerived1xDerived1::xxAllDerBasexAllDerAllDerBaseBase::xDerived1::BaseBase

[class.member.lookup] x, yuvalanmış ad belirteci bağlamında aranacağını belirtir, bu nedenle önce çözülmesi gerekir. Gerçekten arıyoruz Base::x, değil Derived1::x, çünkü Derived1::Baseolarak çözerek başladık Base. Bu bölüm başarılı olur, [class.member.lookup] 'da Not 12'de yalnızca bir tanesi x, Base.açıkça aynı ada sahip birden çok alt nesne olduğunda açık bir isim aramasının kullanılmasının yine de başarısız olabileceğini söyler. D::ibu örnekte temelde sizin Base::x.

Sınıf adına sınıfın bir üyesi olarak başvurabilmenizin nedeni, cpp'nin using Base = ::Base;Base içinde yazmış gibi rahat kullanım için takma olmasıdır .
Karşılaştığınız sorun Der1::Baseşu Base.
Böylece, yazdığınızda Der1::Base::x, aynıdır Base::x.