std::align 不用于判断对齐，而是尝试重定位指针；判断原始地址是否对齐应使用 reinterpret_cast<uintptr_t>(ptr) % alignment == 0，且需确保 alignment 是 2 的整数次幂、ptr 非空。
如何用 std::align 判断一块内存是否满足指定对齐要求
直接用 std::align 做判定是常见误解——它本身不返回“是否对齐”，而是尝试在给定缓冲区内**重新定位指针**以满足对齐，并返回对齐后的指针和剩余空间。想判断原始地址是否已对齐，得自己算：reinterpret_cast<:uintptr_t>(ptr) % alignment == 0</:uintptr_t>。注意：必须确保 alignment 是 2 的整数次幂（否则行为未定义），且 ptr 非空。
常见错误是拿未检查的指针去模运算，导致未定义行为；或把 std::align 当布尔函数用，误以为返回值为真就代表原地址对齐——其实它只是“尽力而为”地挪指针。
- 对齐判定只依赖地址数值和
alignment，与类型无关 -
std::align适合用于从一块大缓冲区中切出对齐子块，不是校验工具 - 若需跨平台兼容，避免硬编码
uintptr_t，用std::size_t或std::intptr_t更稳妥
为什么 alignof(T) 有时比你预期的小，而 std::aligned_storage 已被弃用
alignof(T) 返回的是该类型的**自然对齐要求**，由编译器根据目标 ABI 和成员布局决定，不是你手动加了 alignas 就一定变大。例如 struct { char a; int b; } 在 x86-64 上通常 alignof 是 4，即使 int 自身对齐是 4——因为结构体首地址只需满足最严格成员的对齐，且无额外填充强制提升。
std::aligned_storage 在 C++23 中已被移除，主因是它仅提供静态对齐保证，无法配合 std::allocator 或 placement-new 的生命周期管理；现代替代是 std::aligned_alloc（C++17 起）或直接用 alignas 变量 + std::byte[] 缓冲区。
立即学习“C++免费学习笔记（深入）”；
- 想强制提升对齐，必须显式使用
alignas(N)，且N必须是 2 的幂 -
alignas作用于变量/成员/类，但不会改变其sizeof，只影响地址偏移 - 用
std::aligned_alloc时记得配对调用std::free，不能用delete
手写对齐判定辅助函数时，std::is_power_of_two 不是必需但值得封装
对齐值必须是 2 的幂，否则模运算或位运算会出错。C++20 引入了 std::is_power_of_two，但很多项目仍需兼容 C++17。你可以自己写一个轻量判定：
constexpr bool is_power_of_two(std::size_t n) noexcept {
return n != 0 && (n & (n - 1)) == 0;
}这个表达式比 n > 0 && (n & (~n + 1)) == n 更直观，也避免了 ~n 在有符号类型上的陷阱。关键点在于：所有对齐相关操作（包括 std::align、alignas、std::aligned_alloc）都隐式要求该条件成立，但编译器不会帮你检查传入的运行时对齐值是否合法。
- 调试阶段可在辅助函数入口加
assert(is_power_of_two(alignment)) - 模板参数形式（如
template <:size_t n></:size_t>）由编译器静态检查，更安全 - 不要对
alignment = 0做任何假设——它是非法值，行为未定义
std::aligned_alloc 在 Windows 上失效？别忘了 _aligned_malloc 的存在
std::aligned_alloc 在 MSVC 2019+ 和 Clang/LLVM 下可用，但在旧版 MSVC（如 2017）或 MinGW-w64 默认配置中可能不可用，链接时报 undefined reference to aligned_alloc。这不是 bug，而是标准库实现滞后。此时应降级使用平台 API：
- Windows：用
_aligned_malloc(size, alignment)+_aligned_free(ptr) - Linux/macOS：
posix_memalign(&ptr, alignment, size)，注意它返回错误码而非指针 - 跨平台封装时，优先检测
__cpp_lib_aligned_new宏，再 fallback 到平台 API
容易忽略的一点是：这些分配器返回的内存**不能用普通 free 或 delete 释放**。混用会导致堆损坏，尤其在 ASan 或 UBSan 下会立即报错。
