在C++底层开发里，内存地址对齐是保证访问效率与硬件兼容性的基础。当我们需要手动管理内存或者做零拷贝数据解析时，经常要把一个任意指针调整到某个对齐边界上。标准库提供了alignof运算符来获取类型的对齐值，配合简单的指针模运算就能写出通用的对齐辅助函数。
什么是对齐与alignof
对齐值表示变量起始地址必须是该值的整数倍。比如alignof(double)通常是8，意味着double变量地址要能被8整除。C++11引入的alignof运算符可以在编译期拿到这个数值，比用offsetof或宏更直观。
指针模运算对齐逻辑
给定一个指针p和对其要求alignment（必须是2的幂），我们可以通过取模算出当前地址离上一个对齐边界的偏移，再用加法补齐。由于alignment是2的幂，也可以用位运算加速，但模运算可读性更好。
基础对齐函数实现
下面这个函数接收任意指针，返回按指定对齐值向上对齐后的指针：
#include <cstddef>
// 将指针按alignment向上对齐，alignment必须是2的幂
inline void* align_pointer(void* p, std::size_t alignment) {
// 转成整数地址做模运算
std::uintptr_t addr = reinterpret_cast<std::uintptr_t>(p);
std::uintptr_t misalign = addr % alignment;
if (misalign != 0) {
addr += alignment - misalign;
}
return reinterpret_cast<void*>(addr);
}
// 结合alignof的模板版本
template <typename T>
inline T* align_for_type(void* p) {
return static_cast<T*>(align_pointer(p, alignof(T)));
}
使用示例
假设我们拿到一块从malloc分配的缓冲区，想在其上放置一个int数组，可先对齐：
#include <cstdlib>
#include <iostream>
int main() {
void* buf = std::malloc(1024);
int* arr = align_for_type<int>(buf);
std::cout << "original: " << buf << " aligned: " << arr << std::endl;
std::free(buf);
return 0;
}
注意事项
- alignment必须是2的幂，否则模运算补齐逻辑不成立。
- 对齐后指针不能超出原内存块范围，调用方需保证剩余空间足够。
- 若使用标准库，可优先考虑std::align，但理解手动逻辑有助于排查对齐崩溃问题。
实战价值
在序列化协议解析、SIMD指令内存准备、自定义分配器中，这种alignof加模运算的小工具能避免未对齐访问导致的总线错误，也让代码不依赖特定平台宏。掌握它，你就拥有了可控的内存布局手段。