判断内存地址是否对齐需用位运算：constexpr bool is_aligned(std::uintptr_t addr, std::size_t alignment) { return (addr & (alignment - 1)) == 0; }，要求alignment为2的正整数次幂，否则结果错误。
判断一个内存地址是否满足特定对齐要求，是手动管理内存池、实现自定义分配器或解析二进制协议时绕不开的底层任务；若仅依赖 alignas 声明却忽略运行时地址校验，可能在非对齐访问硬件上直接触发 SIGBUS。
用位运算快速判定地址是否对齐
对齐本质是地址值能被对齐值整除，即 addr % alignment == 0。但取模运算开销大，改用位运算：对齐值必为 2 的幂（如 4、8、16），此时 addr 对齐 ⇔ (addr & (alignment - 1)) == 0。
写一个 constexpr 函数：
constexpr bool is_aligned(std::uintptr_t addr, std::size_t alignment) { return (addr & (alignment - 1)) == 0; }
注意：此函数要求 【alignment 必须是 2 的正整数次幂】，传入 3 或 10 会导致结果完全错误——因为 alignment-1 不再是全 1 掩码。
验证示例：addr = 0x1008，alignment = 8 → 0x1008 & 0x7 = 0 → 对齐；addr = 0x1007 → 0x1007 & 0x7 = 7 ≠ 0 → 不对齐。
alignas 声明的工程化落地路径
alignas 仅作用于变量/类型的声明期，它不保证运行时分配的地址一定对齐——尤其当对象位于栈或堆上且未配合对齐分配器时。
方法一：栈上对齐变量（编译器自动处理）
alignas(32) char buffer[256]; // 编译器确保 buffer 地址是 32 字节对齐的
方法二：堆上对齐分配（必须用 aligned_alloc 或等效方案）
void* ptr = std::aligned_alloc(64, 1024); // C++17 起标准支持，返回 64 字节对齐的 1024 字节内存
方法三：自定义类型强制对齐（影响 sizeof 和成员布局）
struct alignas(128) CacheLineData { int a; double b; }; // 整个结构体按 128 字节对齐，sizeof 可能为 128
注意：alignas 不能用于函数参数或临时量，也不能降低已有类型的自然对齐要求。
运行时动态校验对齐安全性的完整流程
第一步：获取待校验对象的地址 → 使用 reinterpret_cast<:uintptr_t>(&obj) 获取整型地址值
第二步：确认目标对齐值 → 从 alignof
第三步：执行位运算判定 → 调用 is_aligned(addr, alignment)
第四步：失败时触发明确行为 → 抛异常、日志告警或 fallback 到非向量化路径
这一步操作起来很简单，直接把文件拖进去就行。但若跳过第四步，在 AVX512 加载指令中传入未对齐地址，程序会在某些 CPU 上立即崩溃，而不是静默降级。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
