C++多态意义探究

原理简介：

多态成立的三个条件：

1. 存在继承
2. 虚函数重写
3. 父类指针指向子类对象

之前有看过一个例子：

#include <iostream> 
using namespace std; 

class Father
{
public:
    void Face()
    {
        cout << "Father's face" << endl;
    }

    virtual void Say()
    {
        cout << "Father say hello" << endl;
    }
};

class Son:public Father
{
public:     
    void Say()
    {
        cout << "Son say hello" << endl;
    }
};

void main()
{
    Son son;
    Father *pFather=&son; 
    pFather->Say();
}

总感觉这边可以就在编译的时候确定绑定是哪一个函数，没有必要等到运行时在确定，然后就在思考多态的意义。

后来发现如果代码变成这样时：

#include <iostream>
using namespace std;

class Parent
{
public:
    virtual void print() 
    {
        cout<<"父类"<<endl;
    }
};

class Child : public Parent
{
public:
    virtual void print()
    {
        cout<<"子类"<<endl;
    }
};

void HowToPlay(Parent *base)
{
    base->print(); 
}

int main()
{
    Parent p1;            
    Child c1; 
    HowToPlay(&p1);
    HowToPlay(&c1);
    return 0;
}

HowToPlay()函数中，传来子类时，执行子类的print函数，传来父类时执行父类的print函数。

于是C++编译器根本不需要区分是子类对象，还是父类对象。父类对象和子类对象分别有vptr指针，先找到虚函数表，再找到函数的入口地址。

这样一种迟绑定的机制可以不需要区分是父类对象还是子类对象，重用base->print()而无需改变。

其实关键是看base指针指向了父类还是子类。