本篇内容就让我们一起来看一下:
普通函数的调用方式:
我们实例化出来一个类(base b)然后在vs里用调试模式看一下变量b里面的内容:
我们可以再实例化几个对象看看,结果还是一样的。这是什么原因呢?假设如果类成员方法也如同属性一样计算在实例大小中的话,那么我们每实例化一个对象时,系统都需要分配更大的内存给每个对象。而函数调用与属性不同,属性每个对象的自有属性值不同,需要做区分,但是函数是公用的,不同的知识函数参数和函数体内部类对象的值,这些都是可以通过调用对象的属性找到的,所以就没必要给每个对象分配函数内存。而是采用下图所示的调用方式:
好,接下来问题来了,那么碰到继承怎么处理呢?
虚函数的作用
class base {
int a ;
virtual void bFunc() { cout << "base::bFunc" << endl; }
};
class Child:public base{
int n ;
void aFunc() { cout << "Child::aFunc" << endl; }
void cFunc() { cout << "Child::cFunc" << endl; }
这里,我们先只看两个类中的cFunc()函数,各自实例化base b ;和Child c ;
base b;
b.cFunc();
c.base::cFunc();
base::cFunc
base::cFunc
但是,当我们想用父类对象调用子类函数时,这样的写法又不行:
b_p->cFunc();
但是如果将base类中cFunc改为虚函数virtual cFunc后再调用,结果就变成
这就是虚函数的作用,实现多态;
虚函数和虚函数表
概念讲完,我们来看一下实例,将上述的base类中的三个函数中间其中两个函数改成虚函数,具体怎么实现呢?这就需要用到C++的关键virtual。
我们除了看到有成员a之外还有一个叫_vfptr的成员,此时sizeof(b)的结果已经变成了8。_vfptr的类型为void**类型并且它好像数组一样还有还可以用下标访问,说明他是一个集合。那么它代表什么意思呢?这其实就是一个虚函数表,这个虚函数表存什么呢?对,存地址嘛,地址可以直接找到对应函数,而且地址本身所占空间很小,这样就不浪费空间了。
首先创建一个类Child继承于base,完全不去覆盖父类的虚函数,如图:
可以看到c中也有一个虚函数表,并且地址与父类的地址不同,说明这是两个内存,但是我们看到虚函数表中的成员均与父类虚函数表中一致,这说明,c中的虚函数都是指向父类中的虚函数的。
class base {
int a ;
virtual void bFunc() { cout << "base::bFunc" << endl; }
};
class Child:public base{
int n ;
void aFunc() { cout << "Child::aFunc" << endl; }
void cFunc() { cout << "Child::cFunc" << endl; }
我们看下各自虚函数表:
在main函数中添加代码:
b_p->aFunc();
我们注意看对象b_p中的虚函数表第0项,也就是aFunc() 的地址跟c中虚函数表第0项,也就是aFunc()一样,而不是与b一样,这就说明父类虚函数表中的某个函数指针指向了子类的函数。

