C语言兼容多架构C90的64位对齐起始地址数组可移植定义方法

这个方案完全符合ANSI C90标准，不依赖任何C90之后的语言特性、编译器专属属性或自定义预处理指令，可在8/16/32/64位所有未知架构、未知编译器环境下正常工作，不会触发对齐陷阱。

零额外开销方案（满足所有原生类型/结构体默认对齐要求） #

如果你的需求只是让内存池起始地址满足所有内置类型、自定义结构体的默认对齐要求，不需要对齐到64字节这类超出编译器原生最大对齐的边界，可以直接用联合体方案实现编译期自动对齐，没有任何冗余空间开销。
这个方案利用C90标准明确规定的行为：

联合体的对齐要求等于其所有成员中对齐要求最严格的项的对齐值；联合体每个成员的起始地址都和联合体自身起始地址一致；数组的起始对齐要求和其元素类型的对齐要求完全相同。

具体实现代码：

/* 按实际需求定义内存池可用大小 */
#define MEMPOOL_SIZE 4096

/* 构造覆盖最严对齐要求的联合体 */
typedef union MaxAlign {
    char    c;
    short   s;
    int     i;
    long    l;
    float   f;
    double  d;
    long double ld;
    void*   generic_ptr;
    /* 把内存池里要存储的所有自定义结构体类型都加在这里，比如示例的Meta_t */
    struct Meta_t meta;
} MaxAlign;

/* 内存池底层存储定义：编译器会自动按照MaxAlign的对齐要求分配起始地址 */
MaxAlign mempool[(MEMPOOL_SIZE + sizeof(MaxAlign) - 1) / sizeof(MaxAlign)];

使用时直接把mempool强转为uint8_t*做字节级偏移即可，起始地址天然满足所有类型的对齐要求，不需要额外加起始填充。

自定义大对齐边界方案（如64字节缓存行对齐） #

ANSI C90本身没有提供编译期指定自定义对齐值的语法，所有声称能在编译期把变量对齐到超过编译器原生最大对齐边界的方案，都依赖特定编译器的扩展属性，不具备普适可移植性。
如果必须对齐到64字节这类自定义大边界，唯一全兼容的可移植方案是预留最多对齐边界-1字节的冗余空间，启动时运行一次地址对齐计算即可，固定额外开销最大为63字节（对应64字节对齐），和你已经在使用的对象间填充逻辑完全兼容。
具体实现代码：

/* 自定义对齐边界，比如64字节缓存行 */
#define ALIGN_BOUNDARY 64
/* 内存池实际可用大小 */
#define MEMPOOL_USABLE_SIZE 4096
/* 底层存储实际长度，预留对齐冗余 */
#define MEMPOOL_RAW_SIZE (MEMPOOL_USABLE_SIZE + ALIGN_BOUNDARY - 1)

/* 复用上面的MaxAlign联合体定义底层数组，先保证满足原生对齐要求 */
MaxAlign raw_pool[(MEMPOOL_RAW_SIZE + sizeof(MaxAlign) - 1) / sizeof(MaxAlign)];
/* 对齐后的内存池起始指针，全局可用 */
uint8_t* mempool;

/* 系统启动时调用一次即可，不需要重复执行 */
void mempool_init(void) {
    uintptr_t raw_addr = (uintptr_t)raw_pool;
    /* 整数位运算向上对齐到指定边界，C90下行为完全确定 */
    uintptr_t aligned_addr = (raw_addr + ALIGN_BOUNDARY - 1) & ~(uintptr_t)(ALIGN_BOUNDARY - 1);
    mempool = (uint8_t*)aligned_addr;
}

如果你的C90环境没有定义uintptr_t（该类型是C99标准引入），直接替换为和当前架构指针位宽一致的无符号整数类型即可：8位架构用uint8_t、16位架构用uint16_t、32位架构用uint32_t、64位架构用uint64_t，所有编译器都会自带架构相关的预定义宏，可直接做条件判断选择对应类型，不需要额外配置。

注意事项 #

• 上述所有代码不存在任何未定义行为，所有逻辑都严格遵循C90标准的明文规定
• 零开销方案不存在任何空间浪费，编译期就完成地址对齐
• 大对齐方案的冗余开销是纯C90环境下的最小必要开销，没有任何编译器或架构依赖
• 你现有的对象间填充计算逻辑不需要做任何修改，直接使用对齐后的mempool指针即可

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