std::assume_aligned是C++20引入的编译器提示函数，用于声明指针对齐属性以启用向量化优化；它不改变指针值、不校验对齐，若声明与实际不符则导致未定义行为。
std::assume_aligned 是什么，它真能帮编译器优化？
std::assume_aligned 是 C++20 引入的工具函数，返回一个带对齐信息的指针包装（std::assume_aligned<N>(p)），它本身不改变指针值，也不做运行时检查——纯粹是向编译器“声明”：这个指针 p 在调用点处至少按 N 字节对齐。编译器信了，就可能生成更高效的向量化指令（如 AVX 加载 vloadps 而非 vloadups），或省掉对齐补丁代码。
但它不是万能加速器：若声明的对齐与实际不符，行为未定义（UB），且多数优化仅在开启向量化（-O2 -march=native -ffast-math 等）且编译器判定可向量化时才生效。
什么时候该用 std::assume_aligned，而不是 alignas 或 posix_memalign？
alignas 用于类型/变量声明期静态对齐；posix_memalign（或 aligned_alloc）用于动态分配时保证内存块对齐。而 std::assume_aligned 解决的是「编译器不知道某指针已对齐」的场景，典型包括：
- 从外部库/系统 API 拿到的指针（如 OpenGL 的
glMapBuffer返回地址常为 16B 对齐，但编译器无从得知） - 经过计算或偏移后的指针（如
p + offset，即使原p对齐，偏移后对齐性丢失，需重新声明） - 模板函数中泛型指针参数，无法在模板实例化时静态推导对齐值
它不分配、不校验、不改变内存布局，只提供编译期提示——所以和 alignas、aligned_alloc 是互补关系，不是替代关系。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
常见误用：对齐值写错、忽略 const/volatile 限定符
错误现象：加了 std::assume_aligned<32>(p) 却没提速，甚至触发段错误或生成错误代码。原因常是：
-
N不是 2 的幂（如std::assume_aligned<12>非法，编译失败） -
N超出平台支持（x86-64 下 GCC/Clang 通常支持 ≤ 64，但std::assume_aligned<128>可能被忽略或报错） - 传入指针类型与返回类型不匹配：
const int*传给std::assume_aligned<16>返回int*，会丢 const，应显式写成std::assume_aligned<16>(static_cast<const int>(p))</const> - 对未对齐指针强行声明（例如
p实际按 4B 对齐却声明<16>），UB 可能在运行时表现为崩溃或静默错误结果
实测建议：怎么验证它起了作用？
别靠直觉，看汇编。用 clang++ -O2 -mavx2 -S 或 gcc -O2 -mavx2 -S 编译含 std::assume_aligned 的函数，对比有无该调用的 .s 输出：
- 有提示时：出现
vpaddd %ymm0, %ymm1, %ymm2类对齐向量指令，或加载指令为vmovaps（aligned）而非vmovups（unaligned） - 无提示时：仍用 unaligned 指令，或插入额外的 shuffle/mask 补丁
- 注意：必须配合足够长的连续数据访问（如循环 ≥ 4 个 float），否则编译器可能根本不开向量化
另外，std::assume_aligned 不能跨函数边界传递对齐语义——它只在调用点有效，下游函数仍需各自声明。
