C++中普通非constexpr if后接else if constexpr是否符合语法规范？

结论 #

这种else if constexpr的写法是完全合法且符合C++语法规范的，你提到的两种写法确实完全等价。

原因解释 #

C语法中并没有单独的elif/else if语法结构，所有的else if本质上都是else后面紧跟另一个if语句的简写。语法规则上else后可以接任意合法语句，而if constexpr作为C17引入的编译期条件分支语句，本身就是合法的选择语句，完全可以放在else之后，不需要额外嵌套一层大括号。

两种写法的执行逻辑也完全一致：

1. 首先在运行期判断普通if的some_condition条件，条件成立则执行第一个代码块
2. 条件不成立进入else分支，此时编译期会根据my_condition的值决定是否实例化constexpr if对应的分支代码，运行期直接执行编译期确定的分支，不会有额外判断开销。

你可以直接在任意支持C++17及以上标准的主流编译器（GCC、Clang、MSVC）中编译测试这段代码，不会触发任何语法错误，运行结果和嵌套写法完全相同。

注意事项 #

需要注意区分两个条件的执行时机：

• 前面的if (some_condition)是运行期判断，只有程序运行时才能确定结果
• 后面的if constexpr (my_condition)是编译期判断，my_condition必须是编译期常量，对应的分支代码会在编译期就决定是否实例化，不会产生运行期判断开销。

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