C++经典面试题之深入解析内存对齐

一、操作系统 64 位和 32 位有什么区别？

• 64 位操作系统意味着其 cpu 拥有更大的寻址能力，理论上来说，其性能相比于 32 位操作系统会提升 1 倍，但是这也需要在 64 位操作系统上运行的软件也是 64 位的。
• 软件中数据类型的的字节数大小其实和操作系统是多少位的没有关系，而是由编译器决定的。也就是说数据结构占多少位取决于在软件编译时选择的是 64 位还是 32 位的编译器，其具体占位数在编译器已经决定。

二、数据类型对应字节数

• 如下是不同位数编译器下基本数据类型对应的字节数：
• • 32 位编译器：

char ：1个字节
char*（即指针变量）: 4个字节
short int : 2个字节
int：  4个字节
unsigned int : 4个字节
float:  4个字节
double:   8个字节
long:   4个字节
long long:  8个字节
unsigned long:  4个字节

• • 64位编译器：

char ：1个字节
char*(即指针变量): 8个字节
short int : 2个字节
int：  4个字节
unsigned int : 4个字节
float:  4个字节
double:   8个字节
long:   8个字节
long long:  8个字节
unsigned long:  8个字节

• 32 位和 64 位编译器的基本数据类型字节数主要差别在 64 位的指针和 long 为 8 字节。

三、C++ 内存对齐

• 众所周知，为了保证每个对象拥有彼此独立的内存地址，C++ 空类的内存大小为 1 字节。而非空类的大小与类中非静态成员变量和虚函数表的多少有关，其中，类中非静态成员变量的大小则与编译器的位数以及内存对齐的设置有关。
• 类中的成员变量在内存中并不一定是连续的，它是按照编译器的设置，按照内存块来存储的，这个内存块大小的取值，就是内存对齐。
• 内存对齐有 2 个规则：
• • 第一个成员变量放在类中内存 offset 为 0 的地方，之后的成员变量的对齐按照 #pragma pack(n) 指定的数值和这个成员变量类型所占字节数中，比较小的那个进行（成员变量间补齐）。
• • 在成员变量完成各自内存对齐之后，类（结构或联合）本身也要进行内存对齐，对齐按照 #pragma pack(n) 指定的数值和类中最大成员变量类型所占字节数中，比较小的那个进行（类中最后一个成员变量结尾后补齐），类大小需要是对齐值得整数倍。
• #pragma pack(n) 作为一个预编译指令用来设置内存对齐的字节数。需要注意的是，n 的缺省数值是编译器设置的，一般为 8，合法的数值分别是 1、2、4、8、16。

四、C++ 空类大小

• C++ 标准指出，不允许一个对象（当然包括类对象）的大小为 0，不同的对象不能具有相同的地址。这是由于：
• • new 需要分配不同的内存地址，不能分配内存大小为 0 的空间；
• • 避免除以 sizeof(T) 时得到除以 0 错误故使用一个字节来区分空类。
• 需要注意的是，这并不代表一个空基类也需要加一个字节到子类中去，这种情况下，空基类并不是独立的，它附属于子类。子类继承空基类后，子类如果有自己的数据成员，则空基类的那一个字节并不会加到子类中去。