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

Clangでも同様のエラーが発生し、MSVCではエラーが発生しません。

ここは誰ですか？

これは[class.member.lookup]でカバーされていると思いますが、この場合に何を伝えようとしているのか理解できません。関連する部分を引用し、可能であれば平易な英語で説明してください。

PS：この質問に触発されましたなぜベースクラスへの参照が::-演算子トラフ派生クラスで曖昧なのですか？

PPS：実際、私の疑問はDer1::Base、型を参照するのか、それともその型を参照するのかBase（それからDer2::Baseまったく同じ型になるのか）、またはサブオブジェクトを参照するのかです。私はそれが最初のものであると確信していますが、もしそれが後者であるならば、MSVCは正しいでしょう。

タイトルの質問に答えるために、はい、注入されたクラス名 [class.pre]をDerived1::Base参照します。どちらもクラスを参照します。 BaseDerived2::Base::Base

これでBase、静的メンバーxがある場合、のルックアップはBase::x明確になります。ただ一つしかない。

この例の問題は、それxが非静的メンバーであり、そのようなメンバーAllDerが2つあることです。メンバーが1つしかない明確な基本クラスをx指定することにより、このようなアクセスを明確にすることができます。は明確な基本クラスであり、1つのメンバーがあるため、2つのメンバーのどちらを意味するかを明確に指定します。にもメンバーは1つしかありませんが、の明確なベースではありません。のすべてのインスタンスには、タイプの2つのサブオブジェクトがあります。したがって、例ではあいまいです。はの別名にすぎないため、あいまいなままです。AllDerxDerived1xDerived1::xxAllDerBasexAllDerAllDerBaseBase::xDerived1::BaseBase

[class.member.lookup] xは、nested-name-specifierのコンテキストで検索されることを指定しているため、最初に解決する必要があります。私たちは、実際に探してい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ます。