c++的虚函数使用

虚函数的使用

之前的代码如下：

#include <iostream>
using namespace std;


class base      //定义基类base
{
    int x, y;   //定义基类私有成员
public:
    base(int xx = 0, int yy = 0)    //定义构造函数
    {
        x = xx;
        y = yy;
    }
    void disp()         //定义成员函数
    {
        cout << "base: " << x << "   " << y << endl;
    }
};


class base1 :public base        //定义公有派生类base1
{
    int z;      //定义派生类base1的私有成员
public:
    base1(int xx, int yy, int zz) :base(xx, yy)//定义派生类的构造函数
    {
        z = zz;
    }
    void disp()         //定义同名函数
    {
        cout << "base1: " << z << endl;
    }
};


void main()
{
    base obj(3, 4), *objp;  //创建基类的对象和对象指针
    base1 objp1(1, 2, 3);   //创建派生类的对象
    objp = &obj;            //对象指针指向基类
    objp->disp();           //调用基类成员函数


    objp = &objp1;          //对象指针指向派生类
    objp->disp();           //调用派生类成员函数


    system("pause");        //保持输出窗口，不闪退


}

结果如下：
 
分析：objp =&obj1,指针指向了对象obj1，调用的函数仍然是基类对象的函数，而不是派生类对象的函数。没有达到目标。
使用虚函数，即可消除二义性。
之后的代码如下：（使用虚函数）

#include <iostream>
using namespace std;


class base      //定义基类base
{
    int x, y;   //定义基类私有成员
public:
    base(int xx = 0, int yy = 0)    //定义构造函数
    {
        x = xx;
        y = yy;
    }
    virtual void disp()         //定义成员函数，使用虚函数
    {
        cout << "base: " << x << "   " << y << endl;
    }
};


class base1 :public base        //定义公有派生类base1
{
    int z;      //定义派生类base1的私有成员
public:
    base1(int xx, int yy, int zz) :base(xx, yy)//定义派生类的构造函数
    {
        z = zz;
    }
    void disp()         //定义同名函数
    {
        cout << "base1: " << z << endl;
    }
};


void main()
{
    base obj(3, 4), *objp;  //创建基类的对象和对象指针
    base1 objp1(1, 2, 3);   //创建派生类的对象
    objp = &obj;            //对象指针指向基类
    objp->disp();           //调用基类成员函数


    objp = &objp1;          //对象指针指向派生类
    objp->disp();           //调用派生类成员函数


    system("pause");        //保持输出窗口，不闪退


}

结果如下： 

分析：对于虚函数调用来说，每一个对象内部都有一个虚表指针，该虚表指针被初始化为本类的虚表。所以在程序中，不管对象类型如何转换，但该对象内部的虚表指针是固定的，所以才能实现动态的对象函数调用，这就是C++多态性实现的原理。

Note：虚函数的定义在基类中进行，即只有基类中的函数才能被定义为虚函数，在派生类中不能定义某个函数为虚函数。