new表达式内存对齐保障疑问（32位GCC11.4+C++20环境）

环境信息 #

Linux环境下使用gcc 11.4，编译参数为-m32 -std=c++20，当前环境中：

alignof(max_align_t) == 16
__STDCPP_DEFAULT_NEW_ALIGNMENT__ == 16

核心问题 #

new表达式返回的内存地址的对齐保障标准是什么？

调研与矛盾点 #

• 根据cppreference文档：

  std::malloc等分配函数返回的指针适用于任何对象的对齐要求，即至少满足std::max_align_t的对齐严格度。
  std::max_align_t通常与最大标量类型同义，多数平台上为long double，其对齐要求为8或16字节。
  按此文档我认为应该是16字节对齐，但通过gdb调试及日志输出发现，应用中new表达式返回的地址仅为8字节对齐。

• 而根据GNU libc文档，malloc返回的内存应预期8字节对齐。这让我疑惑实际的对齐标准到底是什么？

潜在风险与关联问题 #

若new/malloc返回8字节对齐地址，但__STDCPP_DEFAULT_NEW_ALIGNMENT__等于16，那么当分配需要16字节对齐的实体时，可能陷入分配机制的“漏洞”：8字节对齐不足以满足要求，却无法触发C++17引入的operator new(sizeof(T), std::align_val_t(alignof(T)))重载版本。

请问这一问题是否与GCC Bugzilla中编号15795的问题类似？

复现情况 #

• Godbolt在线环境下未复现该问题
• 本地程序输出：

  Foo 0
  align_val_t 8
  char 8

我已通过调试日志、gdb检查地址，并搜索过类似问题。

内容的提问来源于stack exchange，提问作者Uriziels