失敗Constexpr if 區塊中的靜態斷言
]
]Ccon中引入允許更簡潔和高效的程式碼。但是，它也引發了這些 if 區塊中 static_assert 語句處理的問題。
未採用分支中靜態斷言失敗
標準文字指出 static_assert constexpr if 語句的非採取分支中的語句格式不正確。無論條件是否依賴，這都適用。基本規則
此禁令基於一個完善的模板規則，該規則規定程序如果無法為模板生成有效的專業化，則NDR 格式錯誤（無需診斷）。評估為 false 的非依賴條件的 Static_asserts 屬於這一類。對安全性和實用性的影響
此限制對 constexpr 的安全性和實用性產生了重大限制，如果。開發人員必須注意 if 語句的非採取分支中可能呼叫的任何潛在 static_assert。
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的禁止擴展到呼叫圖，因此也禁止在非採取分支內呼叫可能包含 static_asserts 的任何函數。 結論 constexpr if 語句的非採用分支中 static_asserts 的失敗突出顯示了在模板中使用它們時需要仔細考慮。開發人員必須確保在 if 語句的非採取分支中不會嘗試任何具有非依賴條件且計算結果為 false 的 static_asserts。以上是未採用的'constexpr if”分支中的靜態斷言會發生什麼？的詳細內容。更多資訊請關注PHP中文網其他相關文章！
