C++17中aligned_alloc搭配GCC __builtin_assume_aligned是否有用？

咱们先直接说结论：在很多场景下，__builtin_assume_aligned确实是有必要的，哪怕你只在当前作用域使用这个指针。

你提到的这段代码：

int8_t *const a = static_cast<int8_t*>(__builtin_assume_aligned(aligned_alloc(64, (sizeof(int8_t) * n + 63) / 64 * 64), 64));

虽然aligned_alloc是C++17标准里的函数，它返回的指针肯定符合你指定的64字节对齐要求，但编译器不一定能全程追踪到这个对齐信息，原因有这几点：

• 首先，编译器的数据流分析能力是有限的。如果你的代码逻辑稍微复杂一点——比如把这个指针赋值给另一个变量、经过简单的条件判断，或者n是运行时才能确定的值——编译器很可能会丢失“这个指针是64字节对齐”的认知，这时候就没法生成针对对齐内存的优化代码（比如对齐加载/存储指令、SIMD向量化操作）。
• 其次，哪怕是最简单的场景，比如直接调用aligned_alloc并把结果赋值给指针，GCC也不是100%能识别并利用这个对齐信息。虽然对于编译期常量的对齐参数（比如你这里的64），编译器可能在部分情况下推导出来，但这属于编译器的“额外福利”，不是标准保证的行为。

而__builtin_assume_aligned是给编译器的一个明确、强硬的提示：“相信我，这个指针肯定是按指定字节对齐的”。不管你的代码结构有多复杂，只要加了这个提示，编译器就会放心地基于这个对齐属性做优化，不会因为分析不到位而浪费优化机会。

当然，如果你的代码极端简单，比如只是在调用aligned_alloc后立刻做一些简单操作，编译器可能确实能识别出对齐属性，但为了代码的健壮性和稳定的优化效果，加上__builtin_assume_aligned是更稳妥的选择。

备注：内容来源于stack exchange，提问作者JS0