C++ 多态、虚函数机制以及虚函数表

1.非virtual函数,调用规则取决于对象的显式类型。例如

A* a  = new B();

a->display();

调用的就是A类中定义的display()。和对象本体是B无关系。

 

2.virtual函数,具体调用哪个版本,取决于虚函数表。例如

A* a = new B();

a->v_display();

这个时候,对象a就需要查找自身的虚函数表,表中的v_display()是一个函数指针,可能指向不同类中的对应的v_display函数并调用对应版本的v_display。一般而言,如果B重写了v_display(),那么会调用B的v_display(),如果没有会调用A的display();

 

3.纯虚函数。结合2分析,纯虚函数在父类是没有定义的,如果子类继承后仍然不重写并定义对应的纯虚函数,那么子类也是抽象类,无法初始化对象,直到有一个类定义了这个虚函数。

这个类才可以初始化对象。并在这个对象上维护这个函数的虚函数表相关数据。

 

关于虚函数表:

一般存储在一个对象的固定的地址,我们甚至可以通过虚函数表来直接调用某些虚函数。

例如:

A* a = new B();

a就是对象a的地址

将a的地址强制转化成int型指针 (int*)a ,也就是理想化将对象看成int型数组。

而上述这些地址中每个地址解引用会获得什么呢?别的不知道,第一个存储的就是虚函数表,里边又是一组地址!我们将第一个地址解引用:

*(int*)(a)

然后得到了一个存储虚函数表指针的首地址(如果直接打印会打印的int十进制),然后再将其强转成int*,把这个十进制的数值看成一个int*型指针,这样虚函数表的第一个地址我们也得到了,那就是

(int*)*(int*)(a)

这个地址可以像int[] 一样计算 ,如果+1 就可以获得虚函数表的下一个函数。但是毕竟得到的都是每个函数的地址,所以我们还需要将它解引用:

*(int*)*(int*)(a) 这样就获得真实的函数指针了!

到这里就简单了,假如我们调用的函数是void(void)类型的,我们创建一个函数指针类型:

typedef void(*Fun)(void)

这样如果上边从虚函数表中获得的函数指针也是void(void)类型的,我们就可以将其强转为对应的函数指针类型

Fun vfun = (Fun)*(int*)*(int*)(a);

vfun();

哦卖萧的。。。。。。

我这里有一组测试代码:

#include <iostream>
#include <string>

using namespace std;

typedef void(*Fun)(void);

class A
{
private :
    string s;
public :
    virtual void display();
    virtual void v_display();
    virtual void v_0_display() const = 0;
};

class B : public A
{
public:
    void display();
    //void v_display();
    void v_0_display () const;
};

void A::display()
{
    cout << "A::display" << endl;
}

void A::v_display()
{
    cout << "A::v_display" << endl;
}

void B::display()
{
    cout << "B::display" << endl;
}

//void B::v_display()
//{
//    cout << "B::v_display" << endl;
//}

void B::v_0_display() const
{
    cout << "B::v_0_display" << endl;
}

int main(int argc, char* argv[])
{
    A* a = new B();
    B* b = new B();

    Fun vfun = NULL;
    vfun = (Fun)*((int*)*((int*)(a))+0);
    cout << "the address the first virtual function is" << (int*)*((int*)(a) + 0) << endl;
    cout << "------------virtual table-------------" << endl;
    vfun();
    vfun = (Fun)*((int*)*((int*)(a))+1);
    vfun();
    vfun = (Fun)*((int*)*((int*)(a)) + 2);
    vfun();
    cout << "--------------------------------------" << endl;

    a->display();
    a->v_display();
    a->v_0_display();
    ((B*)(a))->display();
    ((B*)(a))->v_display();
    ((B*)(a))->v_0_display();
    b->display();
    b->v_display();
    b->v_0_display();
    ((A*)(b))->display();
    ((A*)(b))->v_display();
    ((A*)(b))->v_0_display();

    system("pause");
}

打印结果为:

the address the first virtual function is002FDC94
------------virtual table-------------
B::display
A::v_display
B::v_0_display
--------------------------------------
B::display
A::v_display
B::v_0_display
B::display
A::v_display
B::v_0_display
B::display
A::v_display
B::v_0_display
B::display
A::v_display
B::v_0_display
请按任意键继续. . .

 

转载于:https://www.cnblogs.com/AkazaAkari/p/6182717.html

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值