C++虚拟继承中的对象模型

    最近，从师兄那里听到一道据说是某国内知名IT公司的面试题，有关C++虚拟继承的。

1. #include <iostream>
2. using namespace std;
4. class T {
5. //public:
6. //  char ch;
7. //  static  char ch;
8. };
10. class A : virtual public T {
11. }; 
13. class B : virtual public T {
14. }; 
16. class C : public A, public B {
17. }; 
19. class D : public A, virtual public B {
20. }; 
22. class E : virtual public A, virtual public B {
23. }; 
25. int main()
26. {
27.     cout << sizeof(T) << endl;
28.     cout << sizeof(A) << endl;
29.     cout << sizeof(B) << endl;
30.     cout << sizeof(C) << endl;
31.     cout << sizeof(D) << endl;
32.     cout << sizeof(E) << endl;
33.     return 0;
34. }
35. //问输出结果？
37. /*
38. vc6.0
39. 1
40. 4
41. 4
42. 8
43. 8
44. 12
46. devc++5.0, 32位，内核是gcc
47. 1
48. 4
49. 4
50. 8
51. 8
52. 8
54. g++ 4.1, 64位
55. 1
56. 8
57. 8
58. 16
59. 16
60. 16
61. */
63. /*
64. C++对象模型里面有提到的另一种情况（即没对empty virtual base class做优化）,不知道是用那种C++编译器，其结果如下：
65. sizeof(T) = 1
66. sizeof(A) = 8
67. sizeof(B) = 8
68. sizeof(C) = 12
69. */

    

    之前只是了解虚拟继承是为C++多继承时，同一基类在派生层次中多次出现，引起的存储空间浪费，和二义性，而提出来的解决方案。而对具体的对象数据布局，就不是很清楚了，在VC++6.0上跑了一下这个程序，照着结果理解了半天都没找到能够同时把C(8),D(8),E(12)三个都解释得通的模型。

 

    在网站找来一些资料，也是众说纷纭。最后下了JJHOU译的《深入探索C++对象模型》看了第3章 Data 语义学部分，讲得较为详细。对其中主要部分解释总结如下：

 

1.       语言本身造成的额外负担，即虚拟继承中子类中必须保存指向virtual base class subobject的指针或一个相关表格的偏移量。指针的大小跟机器有关；

 

2.       编译器对于特殊情况所提供的最佳化处理，virtual base class subobject会放在derived class的固定（不变动）部分尾端，即上述T的1byte大小会出现在A,B上。而有些编译器会对虚拟继承中的空基类提供优化处理，在这种策略下，一个empty virtual base class 就被视为derived class object最开头的一部分，而它并没有花费任何额外的空间,如VC++6.0里sizeof(A)=4；

 

3.       Alignment的限制，如果不考虑对empty virtual base class进行优化，A和B大小截止到目前为5bytes。在大部分机器上，结构体大小受alignment限制，以使它们能够更有效率地在内存中被存取，上面测试的结构所使用的机器均为4bytes对齐，即会出现上述最后一种情况sizeof(A)=8。关于Alignment自己想了一个的例子如下:

1. class S {   
2. private :
3.     char ach;
4.     int i;
5.     char bch;
6. };//sizeof(S)=12

    嘿，总之C++的对象布局，除了语言本身外，还要考虑机器，编译器的因素。这些拿来当笔试面试的题目，还真不好答。

    至于sizeof(E)的大小vc6.0与devc++5.0的不同还是不清楚…晕，应该也是编译器处理策略不同引起的。

 

    sizeof(T)为1：根据对象唯一性原则，编译器隐晦插入一个字节，以使类的不同实例，在内存中拥有唯一的地址。