Чи походять Derived1 :: Base та Derived2 :: Base до одного типу?

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;
    }
};

Годболт

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: Натхненний цим питанням Чому посилання на базовий клас неоднозначне з :: -оператором через похідний клас?

PPS: Насправді я сумніваюся, чи Der1::Baseвідноситься до типу, який був би Base(і тоді Der2::Baseточно такий же тип), або до субекти. Я переконаний, що це перше, але якщо це останнє, то MSVC було б правильним.

Щоб відповісти на запитання в заголовку, так, Derived1::Baseпосилається на ін'єктований клас-ім’я [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в контексті специфікатора вкладеного імені, тому його потрібно вирішити спочатку. Ми дійсно шукаємо Base::x, ні Derived1::x, тому що ми почали з вирішення Derived1::Baseяк Base. Ця частина є успішною. xУ Base.примітці 12 у [class.member.lookup] чітко вказано, що використання однозначного пошуку імен може все-таки закінчитися невдачею, коли існує кілька субектив з таким самим іменем. D::iв цьому прикладі в основному ваш Base::x.

Причина, по якій ви можете називати ім'я класу як члена класу, полягає в тому, що cpp псевдонімує його для зручного використання, як якщо б ви написали using Base = ::Base;всередині Base.
Проблема, з якою ви стикаєтесь, полягає в тому, що Der1::Baseце Base.
Таким чином, коли ви пишете Der1::Base::x, це те саме, що Base::x.