C++ 虚函数实现:虚函数表 虚表指针

一个问题

构造函数,静态成员函数,内联函数能不能为virtual函数?

内联函数:编译时展开的,虚函数是为了实现多态,是动态行为,两者是矛盾的。内联函数展开就不存在了,也就不存在函数地址了,无法调用。
但是,由于inline只是向编译器建议,所以编译器不会让inline和virtual同时起作用,所以也不会报错。

构造函数:虚函数使用虚指针调用函数,调用构造函数之前没有构造完成,是没有虚指针的。另外虚函数是在基类指针中调用派生类函数的方式,构造函数不需要也不可能让你这样做。构造时已经知道了这个类的类型,这和虚函数向矛盾

静态成员函数:静态函数没有this指针,无法调用虚函数。另外静态函数属于类,不属于对象,也就不存在对象虚函数为基础的多态。


虚函数表——虚函数的实现方式

想要更加深入理解上面那个问题,需要知道虚函数在C++中的实现方式。

虚函数(Virtual Function)是通过一张虚函数表来实现的。简称为V-Table。在这个表中,主要是一个类的虚函数的地址表,这张表解决了继承、覆盖的问题,保证其真实反应实际的函数。这样,在有虚函数的类的实例中分配了指向这个表的指针的内存,所以,当用父类的指针来操作一个子类的时候,这张虚函数表就显得尤为重要了,它就像一个地图一样,指明了实际所应该调用的函数。 —–百度百科

来看一张图片,Class1的实体(对象)中开头是一个指向虚函数表的指针,虚函数表中寸有虚函数的函数指针。Class2类是Class类的子类,对vfunc2()进行了覆写(override),所以vfunc2在Class2中的地址被覆写。
这里写图片描述

我们可以用visual studio的调试功能做个试验

#include<iostream>

using namespace std;

class base_1
{
private:
public:
    virtual void func1A() { cout << "base1 A" << endl; }
    virtual void func1B() { cout << "base1 B" << endl; }
    virtual void func1C() { cout << "base1 C" << endl; }
};

class base_2
{
private:
public:
    virtual void func2A() { cout << "base2 A" << endl; }
    virtual void func2B() { cout << "base2 B" << endl; }
    virtual void func2C() { cout << "base2 C" << endl; }
};
class childTest:public base_1,public base_2
{
private:
public:
    virtual void func1A() { cout << "Child A" << endl; }
    virtual void func1B() { cout << "Child B" << endl; }
    virtual void func2C() { cout << "chind C" << endl; }
};

int main()
{
    base_1 test;
    childTest ctest;
}

运行后实体中数据如下

这里写图片描述

类的实体(对象)的开头有指向虚函数的指针,那么虚函数表究竟在哪里?

类的所有对象共用一张虚函数表。而虚函数表具体位置各个编译器实现不同,有兴趣可以看http://blog.chinaunix.net/uid-26611383-id-3772200.html

关于虚函数机制的更深的内容可以看RednaxelaFX大大在知乎上的这个回答,http://www.zhihu.com/question/27459122

在查询这些资料的时候,很多人都推荐一本书《Inside the C++ objective model 》,看来之后要补一补。

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值