C++虚函数的深入理解

基本虚函数使用示例：

#include <stdio.h>
#include <stdlib.h>

class parent {
public:
        virtual void echo()
        {
                printf("This is parent\n");
        }
};

class child : public parent {
public:
        void echo() //这里加不加关键词virtual结果一样，如果之后不会再有类继承child类，那么此处直接这样没问题，如果之后还可能有继承，那么加virtual
        {
                printf("This is child\n");
        }
};

int main()
{
        parent *p = new parent();
        parent *c = new child();
        p->echo();
        c->echo();
        delete p;
        delete c;
        return 0;
}

输出为：

上面的例子中新建了child类对象，但是用parent指针指向，可以发现调用echo输出的是child类中的内容。但若是在child类中加任一虚函数echo2()，然后c->echo2()，会发现编译错误。这是因为基类指针不能够调用子类自己定义的成员函数。

但是不是就意味着一定不能够通过基类指针访问呢？其实不然，最简单的做法就是将指针强制转换为继承类指针，如下：

#include <stdio.h>
#include <stdlib.h>

class parent {
public:
        virtual void echo()
        {
                printf("This is parent\n");
        }
};

class child : public parent {
public:
        void echo()
        {
                printf("This is child\n");
        }
        virtual void echo2()
        {
                printf("This is child 2\n");
        }
};

int main()
{
        parent *p = new parent();
        parent *c = new child();
        p->echo();
        c->echo();
        ((child *)c)->echo2();
        delete p;
        delete c;
        return 0;
}

输出为：

当然如果仅仅这样，并不能真正搞明白虚函数的原理，所以用下面的方法来实现

#include <stdio.h>
#include <stdlib.h>
typedef void (*Echo)(void);
class parent {
public:
        virtual void echo()
        {
                printf("This is parent\n");
        }
};

class child : public parent {
public:
        virtual void echo()
        {
                printf("This is child\n");
        }
        virtual void echo2()
        {
                printf("This is a virtual function of child\n");
        }
};

int main()
{
        parent *p = new parent();
        parent *c = new child();
        p->echo();
        c->echo();
        Echo e = (Echo)*((int *)*(int *)c + 1);
        e();
        delete p;
        delete c;
        return 0;
}

输出为：

可以看到成功的访问了child类中自己定义的虚函数。为什么为出现这种情况呢？这是因为每一个实例类对象存储地址的最开始存放一个虚函数表指针，虚函数表中存放虚函数，虚函数包括继承而来和自己类定义的所有虚函数，出现的先后顺序由虚函数声明时确定，如果子类在继承时重新定义了基类中定义的虚函数，那么直接覆盖到虚函数表中基类虚函数对应位置，而并不顺序在后边新建。如下图：

通过同样的方法，还可以访问设置为private类型的虚函数

#include <stdio.h>
#include <stdlib.h>
typedef void (*Echo)(void);
class parent {
private:
        virtual void echo()
        {
                printf("This is parent\n");
        }
};

class child : public parent {};

int main()
{
        child c;
        Echo e = (Echo)*((int *)*(int *)&c);
        e();
        return 0;
}

输出为：

经过上述的测试，应该对虚函数有了更进一步的理解。