协变和抗变
一个覆盖方法要求函数具有完全相同的入参(抗变),这个规则对返回类型而言,则有所放松。覆盖的返回值不区分基类或派生类。从语意上理解,返回值的派生类也是基类(协变)。就是说!派生类的覆盖方法就可以改变返回类型,但是不是任意改变,可以改变为原来类型的派生。
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();
};