C++ 虚函数表与内存模型

时间:2021-10-30 07:53:33

1.虚函数

虚函数是c++实现多态的有力武器,声明虚函数只需在函数前加上virtual关键字,虚函数的定义不用加virtual关键字。

2.虚函数要点

(1) 静态成员函数不能声明为虚函数

可以这么理解,虚函数是个动态的概念,在运行的时候才决定调用哪个,而静态函数是个静态的概念。更加细化的解释是,静态函数与对象无关,不可以用对象实例调用,显然是与虚函数的概念违背的。

(2)构造函数不能是虚函数

很明显,虚函数表的建立都是在构造函数中进行的,如果构造函数是虚函数的话,就变成了鸡生蛋蛋生鸡的问题了。

(3)析构函数最好是虚函数

析构函数最好是虚函数,除非不想作为基类使用,声明称虚函数是个好习惯,这样delete用父类指针指向的子类对象就可以自动找到子类的析构函数了。

3.虚函数表在内存中的构造(gcc)

虚函数表一般在对象所占内存的最开始的位置。

(1)无继承

无继承的话讨论虚函数无意义,但是需要说明的是此时虚函数按照声明的顺序摆放。

(2)一般继承,无虚函数覆盖

这样的话,虚函数表中先放父类虚函数指针,再按声明顺序摆放自己的虚函数指针

(3)单继承,有虚函数覆盖

子类对象的虚函数表中覆盖父类虚函数的位置放置自己的虚函数指针,其他同(2)

(4)多重继承

多重继承意味着有多个虚函数表,自己独有的虚函数放置在第一个虚函数列表的尾部。


这篇总结实际上是网上的一篇博文总结,该博文总结得非常好,所以我就摘录了过来。

补充:

4.GCC和VC中对虚函数,虚基类内存布局的不同

  要点:在普通继承时没区别,单继承时虚函数表是共享的,但是虚继承时,vc环境下,虚函数指针时不共享的,也就意味着多一个新的虚函数就得额外多一个指针。

5.关于虚函数、多态、内存布局的一个例子

6.多态的相关概念

  比较清楚地描述了重载、隐藏、覆盖的区别