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的指针向量。删除一些元素后我想创建它的副本...我需要在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

您需要消除协方差或虚拟继承。不幸的是，你不能同时拥有两者。

C ++，vs 2010中的模糊继承错误

1 个答案: