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++ 可以编译此代码。

类图(简化)

.......... 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 的指针 vector 。删除一些元素后我想创建它的拷贝...我需要在类 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

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