未採用的'if constexpr”區塊中失敗的'static_assert”如何影響程式有效性？

失敗的 static_assert 如何影響 if constexpr (false) 區塊？

if constexpr 的非採用分支內的 static_assert聲明被視為格式不正確，無需診斷。這個結果源自於 [temp.res]/8 中的規則，如果無法為 constexpr if 語句中的範本或子語句產生有效的特化，則認為程式格式錯誤。

在這種情況下對於 static_assert，如果條件是非相關的且計算結果為 false，則無法為包含斷言的模板產生有效的特化。即使沒有採用分支，這也會使程式格式錯誤。

但是，具有依賴條件的 static_asserts 不受影響。如果條件對於至少一種類型可以計算為 true，則模板仍然有效。

範例

考慮以下程式碼：

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>(); 
}

int main(){
    g<float>();
    g<int>();
}

儘管if constexpr 條件為false，但程式碼仍然格式錯誤，因為_library_fothert 中的statx包含計算結果為false 的非依賴條件。

以上是未採用的'if constexpr”區塊中失敗的'static_assert”如何影響程式有效性？的詳細內容。更多資訊請關注PHP中文網其他相關文章！