判断地址是否对齐不能依赖_alignof，而应将指针转为uintptr_t后计算(addr & (align - 1)) == 0（align为2的幂）或addr % align == 0，需先判空指针、验证align有效性。
判断一个地址是否对齐，不能只靠 _alignof ——它返回的是类型要求的对齐值，不是地址本身的对齐状态。
怎么用指针运算判断某地址是否满足特定对齐要求
核心思路是：地址值（uintptr_t）对齐数取模为 0，即 (addr & (align - 1)) == 0（仅当 align 是 2 的幂时成立）。
- 必须先把指针转成整数：
uintptr_t addr = reinterpret_cast，直接对指针做位运算是未定义行为(ptr) - 对齐数必须是 2 的整数次幂（如 1/2/4/8/16…），否则不能用位与优化，得用
addr % align == 0 - 注意：
nullptr的地址值是 0，它对任意 2 的幂对齐都成立，但实际中通常不认为空指针“有效对齐”
示例：
bool is_aligned(const void* ptr, size_t align) {
if (!ptr) return false;
uintptr_t addr = reinterpret_cast<uintptr_t>(ptr);
return (align & (align - 1)) == 0 // 先确认 align 是 2 的幂
? (addr & (align - 1)) == 0
: (addr % align) == 0;
}</uintptr_t>
_alignof 和 alignof 到底返回什么
它们返回的是该类型在当前平台上的**推荐对齐值**（单位字节），由编译器根据 ABI 和硬件决定，和具体变量地址无关。
-
_alignof(int)返回4（x86-64 下常见），但一个int*指向的地址完全可能落在奇数地址上（比如栈上未对齐分配） -
alignof(std::max_align_t)给出的是默认分配器（如new）保证的最小对齐，通常是 16 - 结构体的
alignof值等于其最大成员对齐要求，但结构体实例的起始地址仍需手动验证是否真对齐
为什么 malloc/new 分配的内存不一定满足自定义对齐要求
malloc 只保证对 max_align_t 对齐，new 同理；若你需要 64 字节对齐（如 AVX-512），它们不保证满足。
- POSIX 提供
posix_memalign(&ptr, align, size)，align必须是 2 的幂且 ≥sizeof(void*) - C++17 起可用
std::aligned_alloc(align, size)，但要求size是align的整数倍 - 用
operator new重载或std::pmr::polymorphic_allocator可封装对齐分配逻辑，但判定仍需靠指针运算
实战中最容易漏掉的边界情况
对齐判定函数上线前必须覆盖这些点：
- 输入指针为
nullptr—— 多数人直接解引用或转整数会崩，必须先判空 - 对齐数为 0 或 1 ——
align == 1恒成立；align == 0会导致除零或位运算 UB，应提前拒绝 - 跨平台时
uintptr_t不一定存在 —— C++11 起标准要求它存在，但嵌入式环境可能无定义，此时需 fallback 到std::size_t或静态断言 - 地址来自 mmap / shared memory / 硬件寄存器映射 —— 这些地址可能合法但无法用常规方式验证对齐（如被 MMU 截断高位），需结合平台文档
真正难的不是写对齐判定，而是搞清「谁负责对齐」「对齐给谁用」「不对齐时行为是否可接受」——比如 memcpy 到非对齐地址在 ARM 上可能 SIGBUS，x86 则只是慢一点。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
