Visual C++在虚继承中使用协变报错

协变和抗变

　　一个覆盖方法要求函数具有完全相同的入参（抗变），这个规则对返回类型而言，则有所放松。覆盖的返回值不区分基类或派生类。从语意上理解，返回值的派生类也是基类（协变）。就是说！派生类的覆盖方法就可以改变返回类型，但是不是任意改变，可以改变为原来类型的派生。
　　Visual C++在虚继承中使用协变会报错。这是微软编译器的一个bug，不过，微软说他们不会修复！参考微软公告。

钻石继承

　　一个简单例子如下，该代码在gcc下可以顺利编译，VC会报错C2250，如：多重继承时，派生类没有重写基类中都有的方法。VC报错的情况，重申这是VC的一个bug：

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

　　virtual继承可以解决多重继承产生的二义，如下图，左边是使用virtual继承的类关系，右边是不使用virtual继承的类关系：

A A A
/ \ | |
B C B C
\ / \ /
D D

解决方案：

class D : virtual public A，virtual public B, virtual public C
{
public:
    ~D() { };
    virtual D* f();
};