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：受此问题的启发，为什么引用基类与:: -operator trough派生类不明确？

PPS：实际上，我的疑问是是Der1::Base指类型，还是类型Base（然后Der2::Base是完全相同的类型）还是子对象。我坚信这是第一个，但是如果是后者，那么MSVC是正确的。

要回答标题中的问题，可以，请Derived1::Base引用注入的类名 [class.pre] ，引用也是Base如此Derived2::Base。两者都指的是班级::Base。

现在，如果Base将具有一个static成员x，则其查找Base::x将是明确的。只有一个。

本示例中的问题在于它x是一个非静态成员，并且AllDer具有两个这样的成员。您可以x通过指定唯一一个成员的明确基类来消除对此类访问的歧义。是一个明确的基类，它有一个成员，因此明确指定您所指的两个成员中的哪个。也只有一个成员，但这并不是的明确基础。的每个实例都有两个类型的子对象。因此在您的示例中是不明确的。而且，由于只是它的别称，所以仍然模棱两可。AllDerxDerived1xDerived1::xxAllDerBasexAllDerAllDerBaseBase::xDerived1::BaseBase

[class.member.lookup]指定x在嵌套名称说明符的上下文中查找的内容，因此必须首先对其进行解析。我们确实在寻找Base::x，不是Derived1::x因为我们从解决Derived1::Baseas 开始Base。这部分成功了，[class.member.lookup] x中的Base.注释12中只有一个明确地告诉您，当存在多个具有相同名称的子对象时，使用明确的名称查找可能仍然会失败。D::i在那个例子中基本上是你的Base::x。

之所以可以将类名称称为类的成员，是因为cpp为方便使用起了别名，就像您using Base = ::Base;在Base中编写的一样。
您面临的问题Der1::Base是Base。
因此，在编写时Der1::Base::x，它与相同Base::x。