std::assume_aligned是C++20引入的编译器提示函数，用于声明指针对齐属性以启用向量化优化；它不改变指针值、不校验对齐，若声明与实际不符则导致未定义行为。
std::assume_aligned 是什么，它真能帮编译器优化？
std::assume_aligned 是 C++20 引入的工具函数，返回一个带对齐信息的指针包装（std::assume_aligned(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++免费学习笔记（深入）”；
