为什么'constexpr if”的'false”分支中的'static_assert”格式不正确？

constexpr if with Failed Static_Assert in the False Branch

问题：

尽管提案的缺乏对 static_assert 的明确提及，为什么它在constexpr if 语句的非采取分支被视为格式错误？

答案：

根据模板规则 ([temp.res]/8)，如果出现以下情况，则程序是格式错误的 NDR（无需诊断）：

• 无法生成有效的专业化用于模板，或模板内 constexpr if 语句的子语句。
• 模板未实例化。

对于具有非依赖条件的 static_assert ，其计算结果为false，无法为包含 static_assert 的模板生成有效的专业化。因此，包含此类语句的程序是错误的。

示例：

`
void f() {
if constexpr (false)

static_assert(false);   // ill-formed

}
`

在此示例中，constexpr if 语句的非采取分支中的 static_assert 使整个函数格式错误，因为 no可以为包含 static_assert 的模板生成有效的专业化。

但是，此规则不会影响 static_asserts至少一种类型可以评估为 true 的依赖条件。

以上是为什么'constexpr if”的'false”分支中的'static_assert”格式不正确？的详细内容。更多信息请关注PHP中文网其他相关文章！