基本数据类型不涉及引用语义，c++中“引用类型”实为引用或指针，内存对齐核心对象是基本类型、数组、指针及结构体成员；各类型有默认对齐值（如char为1、int为4、double为8），结构体按成员最大对齐值填充，优化需按对齐降序排列成员。
基本数据类型本身不涉及引用语义，所谓“引用类型”在C++中实际指引用（&）或指针（*），它们是别名或地址值，不单独占用结构体内存空间；真正参与内存对齐与填充的是其指向的类型，以及结构体中声明的成员变量。因此，讨论内存对齐时，核心对象是基本类型、数组、指针、类/结构体成员——而非“引用类型”这一易混淆概念。
基本数据类型的自然对齐规则
每种基本类型有默认对齐要求，通常等于其大小（但非绝对，如某些平台下long long为8字节但对齐要求为4）。常见约定如下：
-
char、bool：1字节对齐，可位于任意地址 -
short、int16_t：2字节对齐 -
int、float、int32_t：4字节对齐 -
double、long long、int64_t、64位指针：8字节对齐 -
long double、__m128等SIMD类型：常为16字节对齐
这些值可通过alignof(T)在编译期获取，不应凭经验假设。
结构体中成员的对齐与填充机制
结构体不是成员简单相加，而是受两条硬性约束支配：
- 每个成员必须从其自身对齐值的整数倍地址开始（例如
int需从地址0、4、8…开始） - 整个结构体总大小必须是其最大成员对齐值的整数倍（用于数组连续布局）
编译器自动在成员之间及末尾插入填充字节以满足上述条件。例如：
struct Bad {char a; // offset 0
int b; // offset 4（跳过1–3，因int需4字节对齐）
char c; // offset 8
}; // sizeof = 12（末尾补3字节，使总大小为4的倍数）
优化结构体内存布局的关键方法
减少填充的核心是控制成员排列顺序，而非修改对齐本身：
- 将高对齐需求成员（如
double、void*、std::string）放在结构体开头 - 按对齐值降序排列：8 → 4 → 2 → 1，避免小类型“割裂”大类型所需的连续空间
- 同类小类型集中放置（如多个
char或bool打包成位域或相邻字段） - 用
static_assert(offsetof(S, m) == N)锁定关键偏移，防止重构破坏二进制兼容性
例如：struct Good { int b; char a; char c; }; 大小为8字节，比Bad节省4字节。
显式控制对齐的实用边界
alignas(N)仅提升起始地址对齐，不压缩或重排内部布局：
- 数值N必须是2的幂（1/2/4/8/16…），否则编译失败
- 若结构体自然对齐已≥N（如含
double则默认8字节对齐），alignas(4)无效 -
alignas(32)会让sizeof(struct { char x; })变成32，但有效数据仍只有1字节——适合DMA缓冲区或缓存行对齐，慎用于高频小对象数组 -
#pragma pack(1)可禁用填充，但会牺牲访问性能，且不能绕过硬件强制对齐（如ARM上未对齐double直接崩溃）
