ทำ Derived1 :: ฐานและ Derived2 :: ฐานอ้างถึงชนิดเดียวกันหรือไม่

MSVC, Clang และ GCC ไม่เห็นด้วยกับรหัสนี้:

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

เสียงดังกราวให้ข้อผิดพลาดที่คล้ายกันและ MSVC ให้ไม่มีข้อผิดพลาด

ใครอยู่ที่นี่

ฉันคิดว่านี่จะครอบคลุมใน[class.member.lookup]แต่ฉันมีปัญหาในการเข้าใจสิ่งที่พยายามบอกฉันสำหรับกรณีนี้ กรุณาพูดส่วนที่เกี่ยวข้องและถ้าเป็นไปได้อธิบายเป็นภาษาอังกฤษธรรมดา

PS: แรงบันดาลใจจากคำถามนี้ทำไมอ้างอิงถึงคลาสฐานที่ไม่ชัดเจนกับ :: -operator รางมาระดับ?

PPS: อันที่จริงข้อสงสัยของฉันคือว่าDer1::Baseหมายถึงประเภทที่จะBase(และจากนั้นDer2::Baseเป็นประเภทเดียวกัน) หรือ subobject ฉันเชื่อว่ามันเป็นครั้งแรก แต่ถ้าเป็นหลัง MSVC จะถูกต้อง

ในการตอบคำถามในชื่อใช่ให้Derived1::Baseอ้างอิงinjected-class-name [class.pre] Baseและอื่นDerived2::Baseๆ ::Baseทั้งสองอ้างในชั้นเรียน

ตอนนี้ถ้าBaseจะมีสมาชิกคงที่xแล้วการค้นหาBase::xจะไม่ชัดเจน มีเพียงหนึ่งเดียว

ปัญหาในตัวอย่างนี้คือสมาชิกที่xไม่คงที่และAllDerมีสมาชิกดังกล่าวสองราย คุณสามารถยกเลิกการเข้าถึงดังกล่าวได้xโดยการระบุคลาสพื้นฐานที่ชัดเจนAllDerซึ่งมีxสมาชิกเพียงคนเดียว Derived1เป็นคลาสพื้นฐานที่ไม่คลุมเครือและมีxสมาชิกหนึ่งคนดังนั้นDerived1::xระบุได้อย่างชัดเจนว่าxสมาชิกคนใดในสองAllDerคุณหมายความว่าอย่างไร Baseก็มีเพียงหนึ่งxสมาชิก AllDerแต่มันไม่ได้เป็นฐานที่ชัดเจนของ ตัวอย่างของทุกคนมีสองย่อยวัตถุชนิดAllDer Baseดังนั้นจึงBase::xไม่ชัดเจนในตัวอย่างของคุณ และเนื่องจากDerived1::Baseเป็นเพียงชื่ออื่นสำหรับBaseสิ่งนี้ยังคงคลุมเครือ

[class.member.lookup] ระบุว่าxจะค้นหาในบริบทของ nested-name-specifier ดังนั้นจึงต้องแก้ไขก่อน เรากำลังมองหาแน่นอนBase::xไม่ได้Derived1::xเพราะเราเริ่มต้นโดยการแก้ไขเป็นDerived1::Base Baseส่วนนี้สำเร็จมีเพียงหนึ่งxในBase.หมายเหตุ 12 ใน [class.member.lookup] บอกคุณอย่างชัดเจนว่าการใช้การค้นหาชื่อที่ไม่คลุมเครืออาจยังคงล้มเหลวเมื่อมีหลาย subobjects ที่มีชื่อเดียวกัน ในตัวอย่างที่เป็นพื้นของคุณD::iBase::x

เหตุผลที่คุณสามารถอ้างถึงชื่อคลาสในฐานะสมาชิกของคลาสเป็นเพราะ cpp แทนนามแฝงเพื่อความสะดวกในการใช้งานราวกับว่าคุณเขียนไว้using Base = ::Base;ในฐาน
ปัญหาที่คุณกำลังเผชิญก็คือว่าเป็นDer1::Base ดังนั้นเมื่อคุณเขียนก็เช่นเดียวกับ Base
Der1::Base::xBase::x