类型兼容原则小结

在类型兼容原则里，派生类的指针和引用可以替换基类的指针和引用。看一段程序：

class A
{
public:
virtual void display(){cout<<“This is A”<<endl;}
};

class B
{
public:
void display(){cout<<“This is B”<<endl;}
};

void fun1(A &a)
{
a.display;
}

void fun2(A *a)
{
a->display;
}

int main()
{
A a;B b;
A *a1;B *b1;
fun1(a);fun1(b);
fun2(a1);fun2(b1);
return 0;
}

结果是：
This is A
This is B
This is A
This is B

在理解上并没有什么难度，B覆盖了A的引用与指针，关键是其原理。
由于指针和引用是在系统编译时期进行的动态处理，因此我们可以简单的如下认为：
当出现如A *a=new B;时，这个A的指针已经指向了一个新生成的B的内存处。
在调用函数时，这个指针虽然指向B的内存处，但在寻找函数时，其将优先寻找父类的同名函数。
但若此函数为虚函数，则相当于在编译时动态地告诉指针去寻找本类的函数。
这就是为什么在未声明为虚函数时调用的是父类函数，而虚函数可以调用派生类函数。