为何std::align已返回调整指针仍需接收指针引用作为参数

std::align 同时返回指针和接收指针引用的设计考量 #

std::align 做这个设计是为了同时覆盖两类常见使用场景，具体考量如下：

• 满足连续多块对齐分配的核心需求
  这是引用参数最核心的作用：当你需要在一块连续的预留缓冲区中依次分配多个对齐的内存块时，不需要手动计算对齐偏移量和剩余空间。每次调用std::align后，传入的ptr引用会被自动更新为当前分配的对齐块的末尾地址，space引用会自动扣除对齐过程中浪费的字节数 + 本次分配的块大小，下一次分配可以直接传入更新后的ptr和space即可，大幅简化内存池、栈上分配器这类场景的实现。
  简单使用示例：

// 预分配1KB缓冲区
std::byte buffer[1024];
void* current_ptr = buffer;
std::size_t remaining_space = sizeof(buffer);

// 分配第一块：16字节对齐，大小64字节
void* block1 = std::align(16, 64, current_ptr, remaining_space);
if (block1 == nullptr) { /* 空间不足，处理错误 */ }
// 此时current_ptr已经指向block1 + 64的位置，remaining_space自动扣除了对齐损耗+64字节

// 直接复用参数分配第二块：8字节对齐，大小32字节
void* block2 = std::align(8, 32, current_ptr, remaining_space);
if (block2 == nullptr) { /* 空间不足，处理错误 */ }

• 兼容单次对齐指针获取的需求
  如果你只需要获取某块内存中某个地址的对齐后指针，不需要后续连续分配，直接使用返回值即可，不需要额外处理引用参数的更新结果，单次使用的逻辑也足够简洁。
• 清晰的错误处理逻辑
  当剩余space不足以完成对齐+满足分配size的需求时，std::align会直接返回nullptr，且不会修改传入的ptr和space的值，不需要额外的错误码输出参数，调用者可以直接通过返回值判断操作是否成功。

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