c++类型兼容规则与虚函数实现多态的实现原理和区别

大一之后就没有系统的学过c++了，最近为了校园招聘，又把c++知识捡出来学习，弄了2个钟头终于把这里面的原理弄懂了。

背景：

类型兼容规则含义：类型兼容规则指在需要基类对象的任何地方，都可以使用公有派生类的对象来替代。在替代之后，派生类对象就可以作为基类的对象使用，但只能使用从基类继承的成员。

类型兼容规则应用场合：

有如下代码：

class B{...}

class D:public B{...}

B b1,* pb1;

D d1;

• 派生类的对象可以隐含转化为基类对象。eg:b1 = d1
• 派生类的对象可以初始化基类的引用。eg:B &rb = d1
• 派生类的指针可以隐含转化为基类的指针。eg:pb1 = &d1

虚函数含义：使用关键字 virtual定义的类成员函数。

虚函数实习多态需要满足的条件：

• 类之间满足类型兼容规则。
• 要声明虚函数。（自动声明虚函数需要满足派生类函数同基类虚函数同名、同参、同返回或满足赋值兼容规则的指针、引用返回值）
• 由成员函数调用或者通过指针、引用来访问虚函数。

实践分析：

在分析之前需要知道如下的几个类和对象的内存分配方式：

1. 所有类成员函数，无论静态与否实际上在内存中都只有一个副本，且保存在内存代码段。为对象开辟的内存只保存类中的成员变量。
2. 虚函数是通过，对象中的虚表指针(vptr)访问虚表(vritual table)的方式确定指定虚函数的入口指针，从而实现对应虚函数的访问。
3. 每个对象都有个虚表指针，该指针是在构造函数中被赋值，所有同类对象共享内存中的一个虚表。对象复制时的虚表指针不参与赋值。
4. 在虚表中，派生类的虚函数会覆盖基类中的同名同参同返回值的虚函数，并且隐藏基类中同名函数的所有重载。

场景1:派生类的指针可以隐含转化为基类的指针

program1:

#include <iostream>

using namespacestd;

class base{

public:

     void display()const;

    int a=1;

};

void base::display()const{

    cout<<"Base::display"<<endl;

}

class derived:publicbase{

public:

    virtualvoid display()const;

    int b=2;

};

void derived::display()const{

    cout<<"derived::display"<<<