关于
我的项目
相关阅读
热度排行
- [转] 宫崎骏用动漫教给我们的人生哲理,每一句都能说到心里! - (日期:[八月 24, 2013] 点击:[53,145])
- Google 网页爬虫报告无法连接站点解决办法 - (日期:[七月 20, 2014] 点击:[38,630])
- 架设Tiny Tiny RSS(TTRSS)阅读器,找回Google Reader! - (日期:[九月 27, 2013] 点击:[27,762])
- SkyDrive、DropBox和Google Drive三大公有云存储服务对比 - (日期:[六月 25, 2013] 点击:[25,562])
- 升级到至强E5440后,与i5 CPU笔记本性能对比 - (日期:[二月 18, 2014] 点击:[23,694])
- 公钥私钥加密解密数字证书数字签名详解 - (日期:[四月 19, 2014] 点击:[22,955])
- 本站建站技术合集 - (日期:[九月 20, 2013] 点击:[22,478])
- 使用OpenerDNS解决无法访问Google的问题 - (日期:[七月 5, 2014] 点击:[21,773])
- WordPress博客添加“返回顶部”按钮 - (日期:[七月 14, 2013] 点击:[21,188])
- Linux文件系统基础之inode和dentry - (日期:[三月 13, 2015] 点击:[20,161])
- 云存储中的HTTP鉴权算法分析 - (日期:[二月 7, 2014] 点击:[18,636])
- 存储基础知识之——磁盘阵列原理及操作实战 - (日期:[二月 9, 2014] 点击:[17,478])
- 精选37条强大的常用linux shell命令组合 - (日期:[九月 4, 2013] 点击:[17,425])
- DNS原理、架构和配置详解 - (日期:[九月 6, 2013] 点击:[16,797])
- Netty和Jetty的Java NIO 网络框架模型分析 - (日期:[七月 13, 2013] 点击:[16,329])
- CoreOS 初识之安装 - (日期:[十一月 16, 2014] 点击:[16,161])
- Windows与Linux文件系统互访的几种方法 - (日期:[八月 21, 2014] 点击:[15,725])
- Dijkstra算法求解最短路径分析 - (日期:[七月 12, 2014] 点击:[14,921])
- NAS解决方案实现多媒体文件共享播放 - (日期:[十二月 21, 2014] 点击:[13,897])
- 简介 - (日期:[九月 1, 2012] 点击:[13,745])
- 如何编程实现 2 + 2 = 5? - (日期:[六月 2, 2014] 点击:[13,266])
- 搭建了一个iNews程序 - (日期:[十月 15, 2013] 点击:[13,233])
- 2014年9月曝出的Bash ShellShock漏洞简析 - (日期:[九月 26, 2014] 点击:[13,134])
- 彻底解决WordPress博客垃圾评论的问题 - (日期:[八月 5, 2013] 点击:[13,079])
- 如何使用1M的内存排序100万个8位数 - (日期:[三月 27, 2014] 点击:[12,551])
- 全部日志列表 - (日期:[十一月 11, 2012] 点击:[12,312])
- 关于回调函数和this指针探讨 - (日期:[八月 24, 2014] 点击:[12,204])
- 给定一个long型常量,其值为x,给定long型变量a,要求a & x 的取值集合 - (日期:[九月 8, 2012] 点击:[11,695])
- WordPress建站必备实用插件 - (日期:[八月 7, 2014] 点击:[11,356])
- Amazon 云计算业务全面介绍 - (日期:[三月 9, 2014] 点击:[11,262])
分类目录
文章归档
- 2024年四月 (1)
- 2024年二月 (1)
- 2023年九月 (1)
- 2023年一月 (1)
- 2022年十月 (1)
- 2022年八月 (2)
- 2022年四月 (1)
- 2022年三月 (1)
- 2021年十二月 (2)
- 2021年十月 (2)
- 2021年九月 (1)
- 2021年八月 (1)
- 2021年五月 (1)
- 2021年三月 (2)
- 2021年一月 (2)
- 2020年十二月 (5)
- 2020年十一月 (2)
- 2020年十月 (2)
- 2020年九月 (1)
- 2020年八月 (5)
- 2020年七月 (2)
- 2019年九月 (1)
- 2018年八月 (1)
- 2018年七月 (1)
- 2018年六月 (1)
- 2018年五月 (1)
- 2018年三月 (1)
- 2018年二月 (1)
- 2018年一月 (2)
- 2017年十二月 (3)
- 2017年十月 (4)
- 2017年九月 (1)
- 2017年七月 (1)
- 2017年六月 (1)
- 2016年十二月 (1)
- 2016年十月 (1)
- 2016年九月 (1)
- 2016年七月 (2)
- 2016年六月 (1)
- 2016年二月 (3)
- 2015年十二月 (3)
- 2015年十一月 (2)
- 2015年十月 (1)
- 2015年八月 (2)
- 2015年七月 (4)
- 2015年六月 (1)
- 2015年三月 (2)
- 2015年二月 (1)
- 2015年一月 (4)
- 2014年十二月 (2)
- 2014年十一月 (2)
- 2014年十月 (5)
- 2014年九月 (8)
- 2014年八月 (11)
- 2014年七月 (17)
- 2014年六月 (7)
- 2014年五月 (15)
- 2014年四月 (16)
- 2014年三月 (14)
- 2014年二月 (5)
- 2013年十二月 (5)
- 2013年十一月 (3)
- 2013年十月 (13)
- 2013年九月 (13)
- 2013年八月 (13)
- 2013年七月 (9)
- 2013年六月 (8)
- 2013年五月 (1)
- 2013年三月 (3)
- 2013年一月 (1)
- 2012年十一月 (1)
- 2012年九月 (12)
- 2012年八月 (3)
- 2011年二月 (1)
- 2009年三月 (1)
- 2009年二月 (1)
- 2008年十一月 (1)
- 2008年六月 (1)
- 2008年四月 (1)
- 2008年三月 (1)
关于虚函数表那点事儿
今天看到有文章介绍Visual Studio C++有一个编译选项:/d1 reportAllClassLayout,用来输出所有的类型信息,比较有趣。如下图,在工程,属性,编译的命令行中,增加一个“其他选项”,填写/d1 reportAllClassLayout即可。在编译类时,就会生成类的内存结构图。包括虚函数指针表。
首先编写一个普通的类:
class Base
{
public:
Base(){}
~Base(){}
void f0() {}
void f1() {}
void f2() {}
void f3() {}
private:
int a;
};
编译后,生成的类型信息为:
class Base size(4):
+---
0 | a
+---
可以看到这个类的对象的实际大小仅仅是4字节的int变量所占用的的大小。在《More Effective C++》中讲到过,虚函数会生成虚函数指针表。所有带有虚函数的类型的对象,都会有一个额外的虚函数指针索引表。这个索引表对于编程者是不可见的,但是运行时,这个索引非常重要,是实现动态绑定的关键。
从C语言到C++的同学可能有一个习惯,直接使用memset对结构体对象进行初始化,而不是使用大括号加逗号的方式给每一个成员逐一赋值。在C++里面,一般不会直接对对象进行memset,也不会使用大括号加逗号的方式,而是使用各种构造函数对每一个成员进行赋值。这不仅仅是一个习惯的问题,如果使用memset对C++里面的对象进行初始化,当对象的类型中含有虚函数时,会使得程序运行异常。因为在赋值过程中,将虚函数表也赋值了,这样虚函数指针被指向了未知内存。当调用虚函数时,就会使得程序异常。
特别的,一般我们会把类的析构函数声明为虚函数,如果在使用该类的对象过程中使用了memset,那么程序异常的时候往往发生在对象析构的时候,对象析构的过程是由编译器生成的代码来完成的,不可见,这样,栈上面申请的对象,在退栈的时候自动析构,因此调试代码会发现,是在一个函数调用返回的地方发生了core dump,检查代码又找不到原因,其实这里就是虚函数表被重新赋值了导致的。
将上述类中的析构函数修改为virtual ~Base() {}后,得到的类型的内存占用信息为:
class Base size(8):
+---
0 | {vfptr}
4 | a
+---
Base::$vftable@:
| &Base_meta
| 0
0 | &Base::{dtor}
Base::{dtor} this adjustor: 0
Base::__delDtor this adjustor: 0
Base::__vecDelDtor this adjustor: 0
从上图可以看出,Base类中多出了4个字节的函数指针表,vfptr放在对象的头部,开始的4个字节即是函数指针。
再来看一下多态又是怎么借助于虚函数表实现的。
class Base
{
public:
Base(){}
virtual ~Base(){}
virtual void f1() {}
void f2() {}
void f3() {}
private:
int a;
};
class Sub : public Base
{
public:
Sub() {}
virtual ~Sub() {}
virtual void f1() {} // 子类对f1提供新的实现
virtual void g1() {}
virtual void g2() {}
virtual void g3() {}
private:
int int_in_b2;
};
class Sub2 : public Sub
{
public:
Sub2() {}
virtual ~Sub2() {}
virtual void h1() {}
virtual void h2() {}
virtual void h3() {}
virtual void f1() {} // 子类对f1提供新的实现
virtual void f2() {} // 子类对覆盖Base中的f1的实现
private:
int int_in_b3;
};
具体的虚函数表的结构为:
class Base size(8):
+---
0 | {vfptr}
4 | a
+---
Base::$vftable@:
| &Base_meta
| 0
0 | &Base::{dtor}
1 | &Base::f1
Base::{dtor} this adjustor: 0
Base::f1 this adjustor: 0
Base::__delDtor this adjustor: 0
Base::__vecDelDtor this adjustor: 0
class Sub size(12):
+---
| +--- (base class Base)
0 | | {vfptr}
4 | | a
| +---
8 | int_in_b2
+---
Sub::$vftable@:
| &Sub_meta
| 0
0 | &Sub::{dtor}
1 | &Sub::f1
2 | &Sub::g1
3 | &Sub::g2
4 | &Sub::g3
Sub::{dtor} this adjustor: 0
Sub::f1 this adjustor: 0
Sub::g1 this adjustor: 0
Sub::g2 this adjustor: 0
Sub::g3 this adjustor: 0
Sub::__delDtor this adjustor: 0
Sub::__vecDelDtor this adjustor: 0
class Sub2 size(16):
+---
| +--- (base class Sub)
| | +--- (base class Base)
0 | | | {vfptr}
4 | | | a
| | +---
8 | | int_in_b2
| +---
12 | int_in_b3
+---
Sub2::$vftable@:
| &Sub2_meta
| 0
0 | &Sub2::{dtor}
1 | &Sub2::f1
2 | &Sub::g1
3 | &Sub::g2
4 | &Sub::g3
5 | &Sub2::h1
6 | &Sub2::h2
7 | &Sub2::h3
8 | &Sub2::f2
Sub2::{dtor} this adjustor: 0
Sub2::h1 this adjustor: 0
Sub2::h2 this adjustor: 0
Sub2::h3 this adjustor: 0
Sub2::f1 this adjustor: 0
Sub2::f2 this adjustor: 0
Sub2::__delDtor this adjustor: 0
Sub2::__vecDelDtor this adjustor: 0
在上面的类继承关系中,每一个基类的虚函数,在子类的对象中,都会产生一个虚函数指针。所有继承层次上面类的虚函数都会在子类的对象中有相应的虚函数指针。运行时,当具体的对象指针调用有多个实现的虚函数时,对象指针或者引用,根据虚函数的偏移量找到该名字的函数,然后调用即可,由于虚函数在编译时已经全部写进虚函数表中,因此运行时,并不需要明确知道具体的指针的类型,而是直接使用基类的指针即可,这也就是动态绑定的原理了。根据函数名字在虚函数表中的偏移来找虚函数,而不是根据指针类型来找虚函数。