c - 如何知道编译器是否执行内存对齐？

Question

我正在开发一个嵌入式系统项目。我的目标是32位(32位地址总线)。

我需要知道编译器是否执行内存对齐。

换句话说，如果我声明以下变量:

uint16_t x = 0xFFFF;

x 将保存在特定条目中，如下所示:

Address 0x00000000 -> FFFF0000

或者可以这样保存:

Address 0x00000000 -> 000000FF

Address 0x00000001 -> FF000000 

Answer 1

当然，您的编译器始终会针对目标架构做出明智的选择。

一般来说，它将数据类型与该数据类型的“自然”地址对齐。它不会错误地对齐变量，从而导致访问它导致一些错误，或者产生灾难性的性能。

对于您的特定情况，如果 x 是局部变量，它可能最终位于寄存器或堆栈中，而不是位于事先已知的绝对地址上。大多数平台都有可能发挥作用的堆栈对齐规则(即，当进入函数时，堆栈可能始终与 2 的某个幂对齐)。如果它不是本地自动的，则上述内容将适用，即编译器将以自然且“良好”的方式对齐变量。