关于max_align_t的C标准与cppreference定义等价性的问询

首先明确：cppreference上的max_align_t定义来自C++23标准，而C23（C语言）的定义看似不同，但本质指向同一个对齐要求——两者描述的是等价概念，只是表述角度有差异。

疑问1：基本对齐定义的前3项能否合并为“所有原子、限定或不限定的标量类型”？ #

完全可以。C23标准里基本对齐的前3项分别覆盖了普通标量类型、原子标量类型，以及带const/volatile/restrict限定符的上述类型，但：

• 原子标量类型的对齐要求不会低于对应的非原子标量类型，且仍属于基本对齐范畴；
• const/volatile/restrict这类类型限定符不会改变类型的对齐要求。
  所以合并后的表述在语义上和标准的分条表述完全等价，只是更简洁。标准分开写主要是为了明确覆盖每一种可能的类型变体，避免歧义，但合并后的描述是准确的。

疑问2：第4、5、6项类型的对齐要求是否会超过最严格的标量类型对齐？ #

不会。C23里基本对齐的第4-6项（通常是数组类型、结构体/联合体类型、以及由这些类型派生的限定类型）的对齐要求都是基于已有基本对齐类型推导的：

• 数组类型的对齐要求等于其元素类型的对齐要求，自然不会超过最严格的标量对齐；
• 结构体/联合体的对齐要求等于其成员中对齐要求最严格的那个，而成员的对齐要求都属于基本对齐范畴，也就是不会超过最大标量类型的对齐；
• 派生的限定类型对齐要求和原类型一致，同样不会突破上限。

本质上，C23定义的“最大基本对齐”就是最严格的标量类型对齐，这也和C++23里cppreference的定义形成统一——max_align_t的对齐要求就是要覆盖所有基本对齐类型的对齐需求，而这些需求的上限就是最严格的标量类型对齐。

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