学习c++（7）多态

一、如果子类定义了父类中原型相同的函数会发生什么？
1、函数重写
在子类中定义与父类中原型相同的函数
函数重写只发生在父类与子类之间

2、重载与重写区别：
（1）重载：同一个作用域；
子类无法重载父类函数，父类同名函数将被覆盖；
重载是在编译期间根据参数类型和个数决定；
（2）重写：发生于父类、子类之间；
父类和子类函数有相同的函数原型；
使用virtual关键字声明后能够产生多态；
运行期间根据具体对象类型决定调用的函数

二、多态成立的三个条件
1、要有继承
2、要有虚函数重写
3、要有父类指针指向子类对象

三、静态联编和动态联编
1、联编是指一个程序模块、代码之间互相关联的过程。
2、静态联编（static binding），是程序的匹配、连接在编译阶段实现，也称为早期匹配。
重载函数使用静态联编。
3、动态联编是指程序联编推迟到运行时进行，所以又称为晚期联编（迟绑定）。
switch 语句和 if 语句是动态联编的例子。
4、理论联系实际
（1）C++与C相同，是静态编译型语言
（2）在编译时，编译器自动根据指针的类型判断指向的是一个什么样的对象；所以编译器认为父类指针指向的是父类对象。
（3）由于程序没有运行，所以不可能知道父类指针指向的具体是父类对象还是子类对象
从程序安全的角度，编译器假设父类指针只指向父类对象，因此编译的结果为调用父类的成员函数。这种特性就是静态联编。

四、虚析构函数：通过父类指针释放子类对象
在什么情况下应当声明虚函数：

• 构造函数不能是虚函数。建立一个派生类对象时，必须从类层次的根开始，沿着继承路径逐个调用基类的构造函数
• 析构函数可以是虚的。虚析构函数用于指引 delete 运算符正确析构动态对象

五、多态实现的原理


1、说明1：
通过虚函数表指针VPTR调用重写函数是在程序运行时进行的，因此需要通过寻址操作才能确定真正应该调用的函数。而普通成员函数是在编译时就确定了调用的函数。在效率上，虚函数的效率要低很多。
2、说明2：
出于效率考虑，没有必要将所有成员函数都声明为虚函数
3、说明3 ：
C++编译器，执行run函数，不需要区分是子类对象还是父类对象

六、构造函数中能否使用虚函数实现多态
1、构造的顺序是先构造父类、再构造子类
2、当调用父类的构造函数的时候，虚函数指针vfptr 指向父类的虚函数表。
3、当父类构造完，调用子类的构造函数的时候，虚函数指针 vfptr 指向子类的虚函数表
结论：构造函数中无法实现多态

七、不要用父类指针指向子类数组
1、指针也是一种数据类型，C++类对象的指针p++/–，仍然可用。
2、指针运算是按照指针所指的类型进行的。
3、父类p++与子类p++步长不同；不要混搭，不要用父类指针++方式操作子类对象数组

附注：
在虚继承中，当不同的父类指针指向多继承的派生类对象，父类指针只可以访问自身成员变量，而不是派生类对象的全部成员变量。

#include <iostream>

using namespace std;

class A
{
public:
    int m_a;
};

class A1 : virtual public A
{
    public:
    int m_a1;
};

class A2 : virtual public A
{
public:
    int m_a2;
};

class B : public A1, public A2
{
public:
    int m_b;
    void show()
    {   
        cout << "BBBBBBB" << endl;
    }   
};


int main()
{
    /*
    B b;

    cout << sizeof(b) << endl;
    cout << &b << endl;
    cout << &b.m_a << endl;
    cout << &b.m_a1 << endl;
    cout << &b.m_a << endl;
    cout << &b.m_a2 << endl;
    cout << &b.m_b << endl;
    */

    B b;
    A *pa = new B;
    A1 *pa1 = new B;
    A2 *pa2 = new B;
    B *pb = new B;

    pa = &b;
    pa1 = &b;
    pa2 = &b;
    pb = &b;


    //只能指向本身类中的成员变量
    cout << &b << endl;
    cout << pa << endl;
    cout << pa1 << endl;
    cout << pa2 << endl;
    cout << pb << endl;

    cout << "*******************************" << endl;

    cout << &b + 1 << endl;       //步长为24
    cout << pa + 1 << endl;       //步长为4
    cout << pa1 + 1 << endl;      //步长为12
    cout << pa2 + 1 << endl;      //步长为12
    cout << pb + 1 << endl;       //步长为24

    return 0;
}