C ++，vs 2010中的模棱两可的继承错误

Question

我在这个例子中应用多态性有一些问题。这个问题和我上一个问题类似

C++, virtual inheritance, strange abstract class + clone problem

有3个抽象类：

class A
{
public:
    virtual A  * copy () const = 0;
    virtual ~A() = 0;
};

A::~A(){}

class B
{
public:
    virtual B  * copy () const = 0;
    virtual ~B() = 0;
};

B::~B(){}

class C: virtual public A , public B 
{
public:
    virtual C  * copy () const = 0;
    virtual ~C() = 0;
};

C::~C(){}

和两个使用虚拟继承的继承类

class D: virtual public A
{
public:
    virtual D  * copy () const {return new D  (*this);}
    virtual ~D() {}
};

class E: virtual public D , public C
{
public:
    virtual E * copy () const {return new E (*this);}
    virtual ~E() {}
}; //Error C2250: 'E' : ambiguous inheritance of 'D *A::copy(void) const

上述错误仅使用MSVS 2010编译器出现，g++编译此代码OK。

类图（简化）

.......... A .... B.....
........../.\..../......
........./...\../.......
......../.....\/........
.......D...... C........
........\...../.........
.........\.../..........
..........\./...........
...........E............

最后的讨论我们以结果结束：从类 C 中删除 copy() 方法的声明。

class C: virtual public A , public B 
{
public:
    //virtual C  * copy () const = 0; //remove declaration
    virtual ~C() = 0;
};

C::~C(){}

我使用多态性的示例代码需要创建指向 C 的指针向量。删除一些元素后，我想创建它的副本...我需要在 C 类中声明 copy()，因此删除声明是不够的，并且并不能解决问题。

int main(int argc, char* argv[])
{
std::vector <C*> items;
items.push_back(new E());
items.push_back(new E());
items[0]->copy();
return 0;
}

您能帮我吗，请如何更正代码以使用 VS 2010 进行翻译？

Answer 1

这是 Visual C++ 中的一个已知错误：

Visual C++ incorrectly reports ambiguity when covariance is used with virtual inheritance

您要么需要消除协方差，要么需要消除虚拟继承。不幸的是，你不能两者兼得。