c++ - Clang 编译有效，而 gcc 不适用于菱形继承(钻石问题)

Question

我不确定我是否在这里遗漏了什么但似乎以下代码(在另一个我找不到的答案中可以找到类似的代码，顺便说一句，这里的问题是不同的)正在编译 just fine for clang和 not compiling for gcc

#include <iostream>
using namespace std;

class base {
public:
 base(int i) {};

private:
 base(){};
};

class derivedA: virtual public base {
public:
 derivedA(int i) : base(i) {};

protected:
  derivedA() : base(0) {};
};

class derivedB: virtual public base {
public:
 derivedB(int i) : base(i) {};

protected:
  derivedB() : base(0) {};
};

class derivedAB : public derivedA, public derivedB {
public:
 derivedAB(int i) {};
 virtual ~derivedAB() = 0;
};

derivedAB::~derivedAB() {};

class lastDerived : public derivedAB {
public:
    lastDerived() : base(1), derivedAB(0) {};
};

int main(){
        lastDerived obj;
}

gcc 正在报告

main.cpp: In constructor 'derivedAB::derivedAB(int)':
main.cpp:9:2: error: 'base::base()' is private
  base(){};

哪一个是正确的行为？我会说 gcc 的一个，但我不确定为什么。

Answer 1

抽象类的虚拟基类不需要在该抽象基类的构造函数的mem-initializer-list中初始化。

这在 12.6.2p8 中讨论:

[...] and the entity is not a virtual base class of an abstract class [...]
[ Note: An abstract class (10.4) is never a most derived class, thus its constructors never initialize virtual base classes, therefore the corresponding mem-initializers may be omitted. — end note ]

所以clang是对的，gcc是不对的。如果 derivedAB 不是抽象的，这会有所不同。

---

自 DR 257 以来，这是 C++11 中的新津贴; g++ 对于 C++03 是正确的。 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=19249 处存在 gcc 错误;也许它可以用戳戳来做。