constexpr bool场景下普通if与if constexpr是否等价及用法问询

两段代码的功能等价性 #

当kOn是编译期已知的constexpr bool且值为false时：

• 片段1的普通if：编译器会优化掉该分支，但分支内的代码必须是合法的C++代码（即便永远不会执行）。
• 片段2的if constexpr：编译器会直接丢弃该分支，分支内的代码无需满足语法合法性（比如写了当前上下文无效的代码也不会报错）。

只有当分支代码在当前上下文完全合法时，两者功能等价；若分支存在语法错误，普通if会触发编译报错，if constexpr则不会。

if constexpr的用法正确性 #

这种用法是合法的，C++标准并未限制if constexpr必须用于模板上下文，只要条件是编译期可求值的常量表达式即可。

预期应用场景 #

if constexpr的核心价值确实在模板上下文：在泛型编程中，可根据模板参数的不同选择性实例化代码分支，避免因模板参数差异导致的无效代码编译错误，无需为无效分支编写额外特化代码。

非模板上下文的用法虽然允许，但这种场景下普通if通常能被编译器做同等优化，if constexpr在这里更多是明确传递“分支是否保留由编译期决定”的语义，优势并不显著。

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