<p>用位运算判断地址是否对齐到N字节：先将指针转为uintptr_t，再计算(addr & (N - 1)) == 0，要求N必须是2的幂，否则结果不可靠。</p>
如何用位运算快速判断地址是否对齐到 N 字节
判断一个指针是否满足特定对齐要求，本质是检查其数值能否被对齐值整除。但直接用 % 求余效率低，且编译器未必能优化掉——更可靠的是用位运算：对齐值 N 必须是 2 的幂（如 4、8、16），此时 ptr & (N - 1) 为 0 即表示对齐。
常见错误是传入非 2 的幂的 N（比如 align_to(ptr, 12)），这会导致位掩码失效，结果不可靠。C++ 标准要求对齐值必须是 2 的幂，std::align 和 alignas 都会静态断言这一点。
-
uintptr_t addr = reinterpret_cast<uintptr_t>(ptr);</uintptr_t>—— 必须先转成整数类型，void*不能直接位运算 - 检查
(addr & (N - 1)) == 0，而非addr % N == 0（后者在负地址或未定义行为边缘更危险） - 若 N 不确定是否为 2 的幂，可用
std::has_single_bit(N)（C++20）预检，否则运行时触发 UB
alignas 在结构体中的实际对齐效果与 padding 规律
alignas 不改变成员布局顺序，只强制整个对象或指定成员的对齐要求；它可能引入额外 padding，但不会减少已有 padding。关键点在于：最终对齐取所有成员自然对齐需求和 alignas 声明中的最大值。
例如 struct S { char a; alignas(16) int b; }; 中，b 要求自身地址模 16 为 0，而 a 占 1 字节，因此编译器会在 a 后插入 15 字节 padding，使 b 起始地址对齐到 16。整个 sizeof(S) 变为 32（而非 20），因为结构体总大小也需满足 alignas(16) 约束（即整体对齐到 16）。
立即学习“C++免费学习笔记（深入）”；
- 多个
alignas声明取最大值，alignas(8) alignas(32) int x;等价于alignas(32) int x; -
alignas作用于成员时，不影响前一成员的结束位置，只约束本成员起始地址 - 使用
#pragma pack会抑制alignas效果（部分编译器），应避免混用
std::aligned_storage 已弃用，替代方案怎么写
std::aligned_storage 在 C++23 中被标记为 deprecated，主因是类型擦除不安全、对齐计算易出错，且 std::aligned_storage_t 无法表达动态对齐需求。现代替代是组合 alignas + std::byte 数组，或直接用 std::aligned_alloc（C++17）。
例如手动模拟 256 字节对齐缓冲区：
alignas(256) std::byte buffer[1024];
比旧式 std::aligned_storage_t 更直观，且编译期就校验对齐合法性。若需运行时对齐（如分配器场景），则必须用 std::aligned_alloc(256, size)，并注意它返回的指针必须用 std::free 释放，不能混用 delete。
-
std::aligned_alloc要求 size 是对齐值的整数倍，否则行为未定义 - MSVC 在 C++17 前不支持
std::aligned_alloc，需回退到_aligned_malloc（Windows）或posix_memalign（POSIX） - 不要对
alignas数组做reinterpret_cast<T*>后直接构造——需用std::construct_at（C++20）或 placement new 显式调用构造函数
为什么 malloc 返回的地址有时不对齐到 16 字节
malloc 只保证“足够对齐”，即至少满足 std::max_align_t 的对齐（通常是 16 字节 on x64），但不保证总是 16。实际对齐取决于实现、内存状态和请求大小。例如小块分配（如 1–8 字节）可能复用已有的 16 字节对齐块，导致返回地址恰好是 16 的倍数；但大块或高碎片下，也可能返回 8 字节对齐地址（只要 ≥ max_align_t）。
这意味着依赖 malloc 返回 16 字节对齐地址来用 AVX 指令加载数据是危险的。正确做法是：要么用 std::aligned_alloc(32, size)（AVX2），要么用 std::vector<std::byte, aligned_allocator<32>> 封装自定义分配器。
-
std::max_align_t对齐值可查：alignof(std::max_align_t)，常见为 8 或 16 - Clang/GCC 的
-Wcast-align会警告从malloc结果直接转为__m256*这类强对齐类型 - 即使地址对齐，也要确认访问长度（如 32 字节 AVX）不超过分配边界，否则触发
std::bad_alloc或段错误
对齐不是加个 alignas 就万事大吉的事——它牵扯到内存分配路径、结构体布局规则、ABI 约定，甚至 CPU 指令集的隐含假设。最容易被忽略的是：对齐要求必须全程一致，从分配、存储、传递到访存，缺一不可。
