为什么静态断言在 C 17 的 `constexpr if (false)` 块中失败？

Constexpr If (False) 块中失败的 Static_Assert 行为

C 17 中 constexpr if 的引入引发了对 static_asserts 行为的担忧在这些陈述的非采取分支内。

根据根据 C 标准，当 constexpr if 语句出现在模板化实体中时，不会实例化非采用分支内的废弃语句。此规则禁止在模板实例化期间执行具有非依赖错误条件的 static_asserts，从而有效地认为程序格式错误。

此行为源于适用于所有模板的更通用规则：如果无法生成有效的专业化对于在 constexpr 中带有子语句的模板，如果其计算结果为 false，则该程序被视为格式错误，无论该模板是否为

例如，以下代码格式不正确，尽管它使用最新版本的 Clang 进行编译时不会发出警告：

template< typename T>
constexpr void other_library_foo(){
    static_assert(std::is_same<T,int>::value);
}

template<class T>
void g() {
  if constexpr (false)
    other_library_foo<T>(); 
}

此行为扩展到对 static_asserts 的间接调用。如果 constexpr（模板）函数包含具有非依赖 false 条件的 static_assert，则无法在 constexpr if 语句的非采取分支内调用它，即使在单独的模板中也是如此。

含义和注意事项

constexpr if (false) 块中对 static_asserts 的限制可能会影响安全性和constexpr 的用处是作为 SFINAE 的替代品。开发人员必须意识到在此类语句的非采用分支中可能间接调用的函数或库中 static_asserts 的任何潜在使用。

因此，建议避免在可能会导致以下情况的代码中使用 static_asserts：作为 constexpr if (false) 块的一部分执行。这种做法可确保程序保持格式良好并避免潜在的编译器警告或错误。

以上是为什么静态断言在 C 17 的 `constexpr if (false)` 块中失败？的详细内容。更多信息请关注PHP中文网其他相关文章！