- 结构体内成员按照声明顺序存储,第一个成员地址和整个结构体地址相同
- 未特殊说明时,按结构体中size最大的成员对齐(若有double成员,按8字节对齐)
- 数据成员对齐规则:结构(struct)(或联合(union))的数据成员,第一个数据成员放在offset为0的地方,以后每个数据成员存储的起始位置要从该成员大小或者成员的子成员大小(只要该成员有子成员,比如说是数组,结构体等)的整数倍开始(比如int在32位机为4字节, 则要从4的整数倍地址开始存储),基本类型不包括struct/class/union。
- alignof可以计算出类型的对齐方式
- alignas可以指定结构体的对齐方式
以下面代码为例:
// alignas 生效的情况
struct Info {
uint8_t a;
uint16_t b;
uint8_t c;
};
std::cout << sizeof(Info) << std::endl; // 6 2 + 2 + 2
std::cout << alignof(Info) << std::endl; // 2
struct alignas(4) Info2 {
uint8_t a;
uint16_t b;
uint8_t c;
};
std::cout << sizeof(Info2) << std::endl; // 8 4 + 4
std::cout << alignof(Info2) << std::endl; // 4
struct alignas(4) Info3 {
uint8_t a;
uint8_t c;
uint16_t b;
};
std::cout << sizeof(Info3) << std::endl; // 4 1 + 1 + 2
std::cout << alignof(Info3) << std::endl; // 4
- 内存拿出一个内存块来,数据成员们排队一个一个往里放,遇到太大的,不是把自己劈成两半,能放多少放多少,而是等下一个内存块过来。
- 对于结构体Info, 按照uint16_t 的2字节进行内存对齐,uint8_t a占一个字节,uint16_t b占两个字节,uint8_t c占一个字节。因此需要占3个2字节的内存块。
- 对于结构体Info2, 使用了alignas关键字指定结构体的对齐方式,因此按照4字节进行内存对齐,uint8_t a占一个字节,uint16_t b占两个字节,uint8_t c占一个字节。(根据数据成员对齐规则) uint16_t b要从2的整数倍地址开始存储,因此需要占2个4字节的内存块。
- 对于结构体Info3, 按照4字节进行内存对齐,uint8_t a占一个字节,uint8_t c占一个字节, uint16_t b占两个字节。因此需要占1个4字节的内存块。
实际内存对齐涉及的原则更多,以上只是一小部分,仅供参考。