最可靠方式是(reinterpret_cast(ptr) & (alignment - 1)) == 0，要求alignment为2的幂、ptr非空、用uintptr_t转换；否则需回退addr % alignment == 0。
判断一个指针是否满足特定对齐要求，最可靠的方式就是：(reinterpret_cast<uintptr_t>(ptr) & (alignment - 1)) == 0</uintptr_t>，但前提是 alignment 是 2 的幂、ptr 非空，且必须用 uintptr_t 转换——其它路径要么慢、要么错、要么只在编译期起作用。
怎么用位运算快速判定地址是否对齐到 N 字节
本质是检查地址低 log₂(N) 位是否全为 0。这个操作被现代 CPU 优化为单条指令（如 x86 的 test），零开销。
-
alignment必须是 2 的整数次幂（如 4、8、16、32），否则alignment - 1掩码无效，结果不可靠；C++ 标准本身也要求所有对齐值满足此条件 - 必须先将指针转为
uintptr_t：直接对void*做位运算是未定义行为；size_t在某些平台（如 LLP64）可能比指针窄，会截断高位地址 - 显式排除
nullptr：因为reinterpret_cast<uintptr_t>(nullptr)</uintptr_t>是 0，而0 & mask恒为 0，会导致误判为“已对齐” - 若
alignment来自运行时变量（非编译期常量），无法用位运算优化，得退回到addr % alignment == 0，但需额外断言alignment != 0
示例函数：
template<typename t>
constexpr bool is_aligned(const void* ptr) noexcept {
if (ptr == nullptr) return false;
uintptr_t addr = reinterpret_cast<uintptr_t>(ptr);
return (addr & (alignof(T) - 1)) == 0;
}</uintptr_t></typename>
为什么 std::align 不适合直接当“对齐判定函数”用
std::align 的设计目标是“在已有缓冲区内滑动指针找合法对齐起点”，不是“验证原始地址是否对齐”。它修改传入的指针和剩余空间参数，返回值仅表示“能否找到满足对齐+大小双重要求的位置”。
- 常见错误：传入
ptr = buf、space = 1024，调用后没备份原值，导致后续逻辑用错地址 - 即使原始地址已对齐，若
space （比如想放 32 字节对象但只给 32 字节空间），<code>std::align仍会失败——它需要至少alignment - 1字节冗余来跳过不对齐前缀 - 返回非空指针 ≠ 原地址已对齐：它可能把指针挪到了后面某个位置，比如原地址是 0x1001、对齐 16 字节，它会返回 0x1010
- 真正可用于判定的间接方式是：调用前备份
ptr_orig，调用后检查ptr_out == ptr_orig && ptr_out != nullptr，但这多出两步且依赖缓冲区足够大
alignas 声明对运行时指针完全无效，别指望它帮你“自动对齐 new 出来的对象”
alignas 只影响编译器在布局阶段插入 padding 和约束变量/结构体的地址，对堆上动态分配无任何作用。
-
alignas(64) struct S { ... };只保证sizeof(S)是 64 的倍数、且全局/静态/栈上变量地址模 64 为 0；但new S返回的地址仍只满足默认对齐（通常是 16 字节） - 数组
new S[10]中，只有首元素地址受alignas约束，其余元素紧邻排列，offsetof(S[1], member)不一定满足 64 对齐 - 若类含
alignas(64) double x;成员，但没重载operator new(std::size_t, std::align_val_t)，则new S仍不保证该成员地址对齐到 64 - 真正需要堆上高对齐时，必须用
aligned_alloc（C++17）或带std::align_val_t的operator new，且分配后仍需手动调用is_aligned<t>(ptr)</t>验证
编译期对齐校验只能靠 alignof + static_assert，运行时判定必须靠地址数值计算
alignof(T) 给出的是类型 T 的自然对齐需求，static_assert(alignof(T) >= 32) 可在编译期捕获类型定义问题，但它不涉及任何具体地址。
- 想验证某变量（如全局
alignas(32) char buf[128];）地址是否真对齐？得用is_aligned<:byte>(buf)</:byte>运行时判定，不能只信声明 -
static_assert无法用于指针变量：你不能写static_assert(is_aligned<t>(ptr), "...")</t>，因为ptr是运行时值 - 嵌入式或 freestanding 环境中，
uintptr_t可能未定义，此时需依赖平台 ABI 文档确认指针整型等价类型（如unsigned long long），并加#ifdef保护 - 对齐判定本身不访问内存，纯地址计算，所以可安全用于中断上下文或内存映射 I/O 地址验证
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
