4K边界对齐的结构体数组改写后内存存储异常问题咨询

我正在重构一段代码，其中需要使用4096字节边界对齐的结构体——该结构体本质是每行带填充的二维数组，每个元素包含两个不同的uint16类型数据。

原代码中单独声明了三个对齐的结构体变量：

frame TemporaryFrame0 __attribute__ ((aligned(4096)));
frame TemporaryFrame1 __attribute__ ((aligned(4096)));
frame TemporaryFrame2 __attribute__ ((aligned(4096)));

我尝试将其改为数组形式，但改写后内存存储状态不符合预期：

frame TemporaryFrame[3] __attribute__ ((aligned(4096)));

结构体定义如下：

typedef struct frame frame;
struct frame {
    u8 byte_offset[32];
    row row[FRAME_ROW_SIZE];
};

我也曾尝试在结构体定义中添加对齐属性，但问题依然存在：

typedef struct frame frame;
struct frame {
    u8 byte_offset[32];
    row row[FRAME_ROW_SIZE];
}__attribute__ ((aligned(4096)));

问题原因 #

当你将__attribute__((aligned(4096)))加在数组上时，仅会保证整个数组的起始地址对齐到4096字节，但数组内部的frame元素只会遵循结构体的自然对齐规则排列，每个元素的起始地址并不会强制对齐到4096字节——这和原代码中每个单独变量都独立对齐的行为完全不同。

即使你在结构体定义中添加了对齐属性，若编译器未自动将结构体大小填充为4096字节的整数倍，数组中后续元素的起始地址仍会因前一个元素的大小不足4096字节而无法对齐。

解决方案 #

方案1：强制结构体类型本身4096字节对齐 #

在结构体定义中添加__attribute__((aligned(4096)))，编译器会自动完成两个关键操作：

1. 强制每个frame类型的对象（包括数组元素）起始地址对齐到4096字节；
2. 将结构体的大小自动填充为4096字节的整数倍，确保数组中每个元素的起始地址都是前一个元素起始地址加上4096的倍数，从而满足对齐要求。

最终代码示例：

typedef struct frame {
    u8 byte_offset[32];
    row row[FRAME_ROW_SIZE];
} __attribute__((aligned(4096))) frame;

// 直接声明数组即可，无需额外加对齐属性
frame TemporaryFrame[3];

方案2：使用C11标准的alignas关键字（编译器需支持） #

如果你的编译器支持C11标准，可以用alignas更清晰地指定结构体的对齐要求：

typedef struct frame {
    u8 byte_offset[32];
    row row[FRAME_ROW_SIZE];
} alignas(4096) frame;

frame TemporaryFrame[3];

验证方法 #

编译后可以通过以下方式验证对齐是否生效：

• 使用sizeof(frame)检查结构体大小是否为4096字节的整数倍；
• 打印数组中每个元素的地址，确认其值均为4096的整数倍（例如printf("%p\n", &TemporaryFrame[i]);）。

内容的提问来源于stack exchange，提问作者Nick Bright