结构体和类没有分别,只是编译过程中编译器检查方式不同
一、类
对象内存布局对象Number在内存中的地址为 0x0012FF78, 该地址处定义了对象Number的各个数据成员,它们分别放在地址 0x0012FF78 与 0x0012FF7C 处。对象的大小只包含成员,类成员函数属于执行代码,不属于对象的数据。
从内存布局上看,类与数组非常相似,都是由多个数据构成,但类的能力要远远大于数组。对象长度计算公式:
对象长度计算公式三种特殊情况:
1,空类
空类没有任何数据成员,按公式类型长度为0,实际上空类长度为1字节。如果对象完全不占内存空间,那么空类无法取得实例对象的地址,this指针失效,因此不能被实例化,1字节用于类的实例化。
2,内存对齐
类和结构体在类或结构体中出现的顺序来依次申请内存空间,由于内存对齐原因,它们并不一定会像数组那样连续排列。由于数据类型不同,因此占用的内存空间大小也会不同。
在为结构体和类中数据成员分配内存时,结构体中的当前数据成员类型长度为M, 指定的对齐值为N,那么实际对齐值为 q =min(M, N),其成员的地址安排在q的倍数上,如下:
结构体数据成员sShort地址为:0x0012FF74,类型为short,占2字节,vc++6.0中指定的对齐值默认为8, short的长度为2,于是实际的对齐值取较小者2.反以short分配 在地址0x0012FF74处,此地址是2的倍数,可分配。此时,轮到第二个数据成员分配内存,如果分配在sShort后,应在0x0012FF76处,但第二个int型,占4字节内存空间,与指定对齐值比较后,实际对齐取int的长度4,而0x0012FF76不是4的倍数,需要插入两字节填充,以满足对齐条件,因此第二个数据成员被定义在 0x0012FF78处。
对齐值对结构体整体也有影响,如果结构体整体也要被8整除,如果不能,编译器会在最后补充相应字节。
VC++6.0中, 使用 #pragma pack(N) 调整对齐大小。
3,静态成员
当类中的数据成员被修饰为静态时,静态成员存放的位置和全局变量一致。只是编译器增加了作用域的检查,在作用域之外不可见,同类对象将共享 静态数据成员 。
在类中定义了虚函数和类为派生类情况下,对象的内存布局中将含有虚函数表和父类数据成员等数据信息
当对象为全局对象时,其内存布局与局部对象相同,只是所在内存地址,以及构造函数的析构函数的触发时机不同。全局对象所在的内存地址空间为全局数据区,而局部对象的内存地址空间在栈中
二、汇编分析
6 class CNumber {
7 public:
8 CNumber() {
9 m_nOne = 1;
mov eax,dword ptr ss:[ebp-8]
mov dword ptr ds:[eax],1
10 m_nTwo = 2;
mov eax,dword ptr ss:[ebp-8]
mov dword ptr ds:[eax+4],2
11 }
12 int GetNumberOne() {
13 return m_nOne;
14 }
15 private:
16 int m_nOne;
17 int m_nTwo;
18 };
20 int main()
21 {
22 CNumber number;
lea ecx,dword ptr ss:[ebp-10]
call classandstruct.401361
23 printf("justin");
push classandstruct.407B30
call classandstruct.40132A
add esp,4
24 return 0;
25 }
网友评论