c++对象模型

参阅:
http://blog.csdn.net/ljianhui/article/details/46408645

环境:ubuntu15.04 、 gcc编译器

做个简单的笔记:

类内只保存非静态数据成员变量和虚函数表指针,虚函数表中按声明顺序依次保存所有的虚函数指针。其他的静态成员和静态成员函数、非静态成员函数在类外保存。

注:vptr 表示指向虚函数表的指针

虚函数表指针和类的非static成员变量相当于是结构体成员,要做内存对齐,所以有时候虚函数表指针和非static成员变量之间会有间隔。

单独的类

c++对象模型_第1张图片

多继承

c++对象模型_第2张图片

布局:
c++对象模型_第3张图片

派生类中按照父类的继承顺序,依次是A的虚函数表、A的非static成员变量,B的虚函数表、B的非static成员变量。特别的,第一个父类的虚函数表的最后也记录了派生类的所有虚函数指针,还有,如果父类的虚函数被派生类重写,则直接将父类的虚函数指针替换为派生类的。派生类的非static成员变量排在最后。

多重继承

c++对象模型_第4张图片

布局:
c++对象模型_第5张图片

重复继承下的派生类布局规律与普通多继承是一样的,先是直接父类Base1的布局,然后是直接父类Base2的布局,最后是派生类的非static成员变量。这就导致了派生类中会有多份基类Base的成员变量,如果在派生中使用 b = 1 , 就会产生二义性,不知道是给哪个b 赋值,所以要指明作用域,如 Base1::b = 1 。

虚继承

c++对象模型_第6张图片

布局:
c++对象模型_第7张图片

为了解决上面重复继承带来的二义性问题,就有虚继承。布局与上面只是略有不同,直接父类的布局中不包含重复基类Base的成员(非static成员变量和虚函数),而是单独把基类Base提取出来放在最后作为共享。

(对虚继承进行测试的时候发现,如果公共基类的虚函数被派生类重写,比如上面的funcA,则在派生类中只能调用第一个虚函数表中的funcA,当我获取到第一个虚函数表vptrBase2想调用funcA时会发生段错误,可能公共基类的虚函数也只有一份是有效的)

你可能感兴趣的:(C/C++)