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

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 выдает похожую ошибку, а MSVC не выдает ошибки.

Кто здесь?

Я полагаю, что это описано в [class.member.lookup] , но мне трудно понять, что он пытается сказать мне для этого случая. Пожалуйста, укажите соответствующие части и, если возможно, объясните простым английским языком.

PS: Вдохновлен этим вопросом. Почему ссылка на базовый класс неоднозначна с классом :: -operator через производный класс?

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.