[置顶] C/C++—— 对多态现象的理解

多态问题汇总：
C/C++—— C++编译器是如何实现多态
C/C++—— 在构造函数中调用虚函数能实现多态吗（Vptr指针初始化的过程分析）
C/C++—— C++中构造函数不能是虚函数的原因分析
C/C++—— C++中定义虚析构函数的原因

C++的三大特性：封装，继承和多态。

多态特性分析主要有几个方面：多态的表现形式，多态实现的条件，多态如何实现，多态的理论基础。

多态的实现效果

同样的调用语句有多种不同的表现形态；

见下面例子，在下面例子中函数void printObj(Parent * pbase);函数可以通过一个基类指针调用子类的函数。

#include <iostream>
using namespace std;

class Parent{
    public:
        Parent(int a = 0){
            this->a = a;
        }
        virtual void print()
        {
            cout << "Parent, a = " << a << endl;
        }
    private:
        int a;
};

class Child:public Parent{
    public:
        Child(int b = 0){
            this->b = b;
        }
        //void print()
        virtual void print()//这里的virtual关键字可以要也可以不要，一般为了表明该函数虚函数则加上该关键字virtual
        {
            cout << "Child, b = " << b << endl;
        }

    private:
        int b;
};

void printObj(Parent * pbase)
{
    pbase->print();
}

int main()
{
    Parent p(10);
    Child c(11);

    printObj(&p);
    printObj(&c);

    return 0;
}

输出为：
Parent, a = 10
Child, b = 11

从输出结果可以看出printObj(&c);传入的是子类对象，但是函数的形参是父类的指针。但是确实是调用的是子类对象的print函数。这种现象就是多态。

多态实现的三个条件

有继承、有virtual重写、有父类指针（引用）指向子类对象。
这三个条件，我们可以在上面的例子中可以看到。

如果实现多态

virtual关键字，告诉编译器这个函数要支持多态；不要根据指针类型判断如何调用；而是要根据指针所指向的实际对象类型来判断如何调用。

多态的理论基础

动态联编PK静态联编。根据实际的对象类型来判断重写函数的调用。

多态的重要意义

设计模式的基础。

实现多态的理论基础

函数指针做函数参数