为何C++不允许constexpr内联汇编？C++20相关例外原因？

为什么C++不允许在constexpr中使用内联汇编？ #

• 编译期确定性与可移植性要求：constexpr的核心目标是支持编译期可计算的常量表达式，要求结果必须确定、可预测且跨平台一致。而内联汇编完全依赖具体CPU架构、指令集甚至编译器的汇编语法，不同平台下同一汇编代码的行为可能天差地别，根本无法满足constexpr的可移植性与确定性要求。
• 编译期求值的限制：编译器处理constexpr表达式时，是在自身的编译期解释器中模拟执行代码，而非直接生成机器码运行。内联汇编是直接操作硬件指令、寄存器或内存的底层代码，编译器的解释器无法模拟其行为，也无法验证它是否符合constexpr无副作用、纯计算的要求——汇编很容易产生修改寄存器、写入内存等编译期无法管控的副作用。
• 语言规则的一致性：constexpr要求代码必须是符合C语义的可执行代码，内联汇编属于语言之外的扩展，本质是编译器提供的特殊语法，不属于标准C的语义范畴，自然无法被constexpr的求值规则纳入。

C++20为何允许未求值的内联汇编表达式？ #

未求值上下文（比如sizeof()、decltype()中的表达式，或者noexcept的参数）的核心特点是：不需要实际执行表达式，仅用于获取类型、大小、异常属性等元信息。

• 无执行风险：在未求值上下文中，内联汇编代码不会被实际编译或执行，也就不会产生任何运行时副作用，也不会破坏编译期的确定性。编译器只需要识别出这是一个合法的汇编表达式（语法层面），不需要去解析或执行它的逻辑。
• 实用场景需求：有些场景下，开发者可能需要在元编程中借助内联汇编的语法来辅助获取信息，或者兼容一些旧代码——比如在decltype中引用一个包含汇编的表达式，但并不需要执行它。C++20放开这个限制，既不会引入安全问题，又能提升语言的灵活性。
• 语言规则的补全：之前的标准禁止所有内联汇编出现在常量表达式中，包括未求值的情况，这属于过度限制。C++20修正了这一点，明确区分了需要执行的表达式和仅用于元信息的未求值表达式，让规则更合理。

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