GCC C 语言内存对齐机制深度解析与实验验证

1. 数据类型分类体系

在深入探讨内存对齐之前，我们首先需要明确对齐操作所作用的对象，即 C 语言中的数据类型。这些类型构成了内存布局的基础单元，理解它们的分类有助于后续分析对齐规则。

1. <数据类型> 这一概念涵盖了 C 语言中所有可被编译器分配内存的实体，具体细分为以下两大类：

• <基础类型>：指语言标准直接定义、无需用户额外声明即可使用的原子类型。
• <自定义类型>：指用户通过 struct（结构体）或 union（联合体）关键字组合基础类型或其他自定义类型而形成的复合类型。

2. 具体而言，<基础类型> 包括以下几种常见形式：

• (unsigned) byte：通常对应 unsigned char，占用 1 字节，常用于字节流处理。
• (unsigned) short：通常对应 unsigned short，在多数平台上占用 2 字节。
• (unsigned) int：通常对应 unsigned int，在 32 位和 64 位系统中通常均占用 4 字节。
• (unsigned) long：在 32 位系统中通常占用 4 字节，在 64 位 Linux 系统中通常占用