The Semantics of Data
第三章 前言 讨论 class的大小问题
#include"iostream" using namespace std; class X{}; class Y:public virtual X{}; class Z:public virtual X{}; class A:public Y,public Z{}; int main() { cout<<"X:"<<sizeof(X)<<endl; cout<<"Y:"<<sizeof(Y)<<endl; cout<<"Z:"<<sizeof(Z)<<endl; cout<<"A:"<<sizeof(A)<<endl; }
其继承关系为:
结果:
xiaobo@xiaobo-desktop:~/桌面/c++$ g++ model3.1.cpp -o model3.1
xiaobo@xiaobo-desktop:~/桌面/c++$ ./model3.1
X:1
Y:4
Z:4
A:8
以上结果不同的编译器会有不同,有的编译器会产生 1 ,8 , 8 , 12的结果
首先讨论第一种结果 VC和g++上的结果均为1,4,4,8,
X的大小为1,是因为编译器安插进去一个char,这样会使得这个class的两个object 在内存中的配置独一无二,
例如:
X a, b; if(&a!=&b)cout << "different";
Y Z分别拥有一个指向virtual base class X subobject的指针 所以大小为4
A的大小为
内存布局如下图:
这类编译器把一个empty virtual base class视为derived class object的开头部分,不花费任何额外空间
这也证实了一个virtual base class subobject只会在derived class中存在一份实体,不管它在继承体系中出现了多少次。
有一类编译器会得出 1,8,8,12的结果 主要是因为它给空的Y,Z,A均加上了char ,这样Y,Z,A 分别为5,5,9,又编译器有Alignment机制会将数值调整到整数倍(31位机为4bytes的整数倍)所以为8,8,12。
3.2 Data Member Layout
using namespace std; class X{ public: void getAddress() const {cout<<&x1<<endl; cout<<&m<<endl; cout<<&x3<<endl;} int getChunk() const {return chunkSize;} private: int x1; // static int m; static const int chunkSize = 10; double x3; };
#include"iostream" #include"stdio.h" using namespace std; class X{ public: void setA(int x){x1 = x;} void setB(int x){ m = x ;} void getAddress() const {cout<<&x1<<endl; cout<<&m<<endl; cout<<&x3<<endl;} int getChunk() const {return chunkSize;} private: int x1; static int m; static const int chunkSize = 10; double x3; }; class Y:public virtual X{}; class Z:public virtual X{}; class A:public Y,public Z{}; int X::m = 1; int main() { //X::m = 3; cout<<"X:"<<sizeof(X)<<endl; cout<<"Y:"<<sizeof(Y)<<endl; cout<<"Z:"<<sizeof(Z)<<endl; cout<<"A:"<<sizeof(A)<<endl; X a,b; a.setA(10); a.setB(12); a.setB(12); if(&a!=&b)cout << "different"<<endl; a.getAddress(); cout<<&a<<endl; printf("---%p----",&a); }
X:12
Y:16
Z:16
A:20
different
0xbf9bbfc4
0x804a038
0xbf9bbfc8
0xbf9bbfc4
---0xbf9bbfc4----x