ARM平台GCC中数组的内存对齐行为是否为已知特性？

初始代码定义：

static char xxxx;
static uint8_t y;

对应的内存映射：

.bss._ZZL7createXvE4xxxx 0x200024c0        0x1
.bss._ZZL7createXvE11y   0x200024c1        0x1

修改后的代码定义：

static char xxxx;
static uint8_t y[1];

对应的内存映射：

.bss._ZZL7createXvE4xxxx 0x200024c0        0x1
fill                     0x200024c1        0x3
.bss._ZZL7createXvE11y   0x200024c4        0x1

原本预期内存布局一致，但实际出现填充字节，疑问：GCC总是对齐数组起始地址是否为已知行为？

这是GCC的已知行为，属于编译器内存布局优化的范畴，具体说明如下：

1. 数组对齐的规则逻辑：GCC中数组的对齐要求默认等同于元素类型的对齐要求，但编译器会结合目标架构特性、优化选项（如-O系列）调整实际策略。哪怕元素是uint8_t（对齐要求为1字节），编译器也可能为数组应用更严格的对齐（比如32位架构下的4字节边界）——多数CPU对对齐地址的访问效率更高，部分架构甚至不支持非对齐访问，这种调整是为了适配硬件特性。

2. 静态局部变量的特殊处理：从符号名_ZZL7createXvE可判断，这些变量是函数createX内的静态局部变量。对于这类变量，GCC会遵循目标平台的默认对齐规则布局，当数组的定义形式（哪怕长度仅为1）触发了编译器的对齐优化逻辑，就会自动插入填充字节满足对齐要求。

3. 对齐行为的可定制性：如果需要强制改变对齐方式，可通过GCC的属性语法覆盖默认行为。例如：

static uint8_t y[1] __attribute__((packed));

使用packed属性后，数组会紧跟前一个变量布局，不会产生填充字节。

内容的提问来源于stack exchange，提问作者Oren Zvi