C2x中alignas设为关键字而非宏的合理性及兼容性疑问

1990年，P.J. Plauger曾写道：

标准C为你提供了额外一层安全性，这是我所知的其他语言标准都不具备的。它承诺，只要你避开特定的名称集合，就不会出现名称冲突。因此，标准C大幅简化了高可移植性应用的编写工作。

在C11标准中，引入了关键字_Alignas，同时在<stdalign.h>头文件中定义了配套宏alignas。由于C11之前alignas并非保留名称，当时真正的关键字是_Alignas而非alignas，因此不会和用户自定义的alignas标识符产生冲突。

但到了C2x标准，alignas直接成为了关键字，并且<stdalign.h>不再包含任何内容（C2x标准中未提及__alignas_is_defined宏——这是否属于标准缺陷？）。这意味着，所有在C2x之前版本中自定义过alignas的代码，迁移到C2x环境下都会出现语义冲突，直接破坏了向后兼容性。

问题解答 #

1. 这是否意味着自C2x起，标准C“不会出现名称冲突”的承诺不再成立？ #

标准C的“避开特定名称集合就无冲突”承诺，核心是用户需要遵循标准中规定的保留名称规则。在C2x中，alignas被新增为关键字，属于需要避开的保留名称范畴。

但问题在于，C11时期允许用户自定义alignas（因为当时它只是<stdalign.h>中的宏，未被列为保留关键字），而C2x直接将其升级为关键字，没有给依赖自定义alignas的代码留出过渡空间。严格来说，这确实打破了早期版本中对“非保留名称可安全使用”的隐含承诺，属于向后兼容性的一次破坏，但从标准演进的角度看，是为了语法一致性做出的取舍——毕竟C早已将alignas作为关键字，C2x此举是为了拉近与C的语法对齐。

2. 将alignas设为关键字而非宏的合理性是什么？ #

• 语法一致性与跨语言兼容：C标准中alignas本身就是关键字，C2x将其设为关键字后，能让C和C在对齐语法上保持一致，降低跨语言代码的适配成本。
• 避免宏带来的语法限制：宏本质是文本替换，存在诸多语法局限性。比如alignas作为宏时，无法在某些复杂语法场景下正常工作（例如嵌套声明、模板相关代码中），而关键字则能被编译器直接解析，语法支持更全面、可靠。
• 简化标准规范：将alignas升级为关键字后，无需再维护<stdalign.h>中的宏定义逻辑，简化了标准的内容，也避免了宏定义可能带来的潜在兼容性问题（比如宏被用户undef后引发的错误）。

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