C++之多态篇

虚函数及其实现原理

我的一点小想法：
VIRTUAL只需要加在父类里边（析构函数和同名成员函数）就好，不过在子类的同名函数加上 virtual 是为了养成好的代码书写习惯。析构函数前边加是为了防止没有释放子类对象的内存导致内存泄露，同名成员函数前加是为了父类实例化的对象指针能够指向子类数据成员。（这样基本包含了所有的点了）
代码示例：

#include <iostream>
#include <stdlib.h>
#include <string>
using namespace std;

/**
 *  定义动物类：Animal
 *  成员函数：eat()、move()
 */
class Animal
{
public:
    // 构造函数
    Animal(){cout << "Animal" << endl;}
    // 析构函数
    virtual ~Animal(){cout << "~Animal" << endl;}
    // 成员函数eat()
    virtual void eat(){cout << "Animal -- eat" << endl;}
    // 成员函数move()
    virtual void move(){cout << "Animal -- move" << endl;}
};

/**
 * 定义狗类：Dog
 * 此类公有继承动物类
 * 成员函数：父类中的成员函数
 */
class Dog : public Animal
{
public:
    // 构造函数
    Dog(){cout << "Dog" << endl;}
    // 析构函数
    virtual ~Dog(){cout << "~Dog" << endl;}
    // 成员函数eat()
    virtual void eat(){cout << "Dog -- eat" << endl;}
    // 成员函数move()
    virtual void move(){cout << "Dog -- move" << endl;}
};

int main(void)
{
    // 通过父类对象实例化狗类
    Animal *p1 = new Dog; 
    // 调用成员函数
    p1->eat();
    p1->move();
    // 释放内存
    delete p1;
    p1=NULL;

    return 0;
}

运行结果：

Animal
Dog
Dog -- eat
Dog -- move
~Dog
~Animal

虚函数实现原理
1、用父类实例化一个子类对象，在这个对象中，父类的虚析构函数被继承到子类的析构函数了，并同时产生虚函数表，对象的首部就是虚函数表，表头指针指向虚函数，然后依次是数据成员，指针占用4个基本单元。
2、虚析构函数，delete父类的指针p，程序会去找父类的指针p指向的地址，该地址就是子类头部虚函数表指针的地址，由指针p找到子类的虚函数表，从而找到子类的虚析构函数。