如何在C语言中规避严格别名规则实现通用内存池分配器？

方案1：利用字符类型的别名例外+对齐保证 #

C标准明确规定，char/unsigned char/signed char类型的指针可用于访问任何类型的对象；反过来，只要你在字符缓冲区的内存上构造新的目标类型对象（而非读取原char数组内容），且指针满足目标类型的对齐要求，这种转换完全合法，不属于严格别名规则的违反。

具体实现步骤：

• 将缓冲区定义为带对齐属性的unsigned char数组，确保支持所有目标类型的对齐需求，比如用alignof(max_align_t)作为最大对齐值，这是C标准定义的基本类型最大对齐量。
• 分配时计算对齐后的地址，转换为目标类型指针后，用编译器内置函数明确告知指针的对齐属性，避免优化器产生误解。

示例代码：

#include <stddef.h>
#include <stdalign.h>

#define BUFFER_SIZE (1024 * 1024)
#define MAX_ALIGNMENT alignof(max_align_t)

static unsigned char buffer[BUFFER_SIZE] __attribute__((aligned(MAX_ALIGNMENT)));
static size_t offset = 0;

void* arena_alloc(size_t size, size_t align) {
    // 计算对齐后的偏移量
    size_t aligned_offset = (offset + align - 1) & ~(align - 1);
    if (aligned_offset + size > BUFFER_SIZE) {
        return NULL; // 内存耗尽
    }
    void* ptr = &buffer[aligned_offset];
    // 告诉编译器指针的对齐属性，规避优化问题
    ptr = __builtin_assume_aligned(ptr, align);
    offset = aligned_offset + size;
    return ptr;
}

// 使用示例
typedef struct {
    int a;
    double b;
} MyStruct;

MyStruct* s = arena_alloc(sizeof(MyStruct), alignof(MyStruct));
s->a = 10;
s->b = 3.14;

核心逻辑：我们并非用目标类型指针访问原unsigned char对象，而是在缓冲区内存上创建了新的目标类型对象，后续访问均针对这个新对象，完全符合C标准规则。

方案2：使用编译器内置的安全指针转换 #

GCC 12+及Clang支持__builtin_bit_cast（对应C23标准特性），可以在不修改内存值的前提下安全进行类型双关，不会触发严格别名问题。对于指针转换，也可以先转成uintptr_t再转回目标类型，配合__builtin_assume_aligned确保对齐信息被编译器识别。

示例代码：

#include <stdint.h>
#include <stdalign.h>

#define BUFFER_SIZE (1024 * 1024)
#define MAX_ALIGNMENT alignof(max_align_t)

static unsigned char buffer[BUFFER_SIZE] __attribute__((aligned(MAX_ALIGNMENT)));
static size_t offset = 0;

void* arena_alloc(size_t size, size_t align) {
    size_t aligned_offset = (offset + align - 1) & ~(align - 1);
    if (aligned_offset + size > BUFFER_SIZE) {
        return NULL;
    }
    uintptr_t addr = (uintptr_t)&buffer[aligned_offset];
    // 用__builtin_bit_cast做安全的指针转换
    void* ptr = __builtin_bit_cast(void*, addr);
    ptr = __builtin_assume_aligned(ptr, align);
    offset = aligned_offset + size;
    return ptr;
}

__builtin_bit_cast是编译器明确认可的类型双关方式，比内联汇编稳定得多，不会被优化器误判。

方案3：通过对象构造语义规避问题 #

严格别名规则禁止的是用不兼容类型访问已存在的对象，而我们的内存池场景是在空白缓冲区上创建新对象。只要确保分配的地址满足目标类型对齐，且后续操作都是针对新创建的对象（而非原char数组），就不会触发未定义行为。配合__builtin_assume_aligned告知编译器指针属性，即可避免优化器的错误推导。

为什么联合体指针双关不适用？ #

你提到的联合体方式无法生效，是因为联合体无法枚举所有可能的目标类型，仅包含char数组和通用指针的联合体，本质上没有解决任意类型的别名问题。而上面的方案无需依赖联合体，直接利用C标准的字符类型别名例外和对象构造规则即可。

总结 #

不需要禁用严格别名规则，也不需要脆弱的内联汇编，通过以下几点即可安全实现需求：

• 用unsigned char定义.bss段缓冲区，并设置足够的对齐属性。
• 分配时计算对齐后的地址，确保满足目标类型的对齐要求。
• 使用编译器内置函数明确告知指针的对齐、类型属性，避免优化器误解。

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