Bagaimana untuk Menjamin Ralat Masa Kompilasi untuk Kes Tidak Terkendali dalam Penyata C Constexpr if-else?

Menegaskan Ketidakberlakuan Klausa Constexpr if-else

Dalam C , adalah penting untuk memastikan bahawa semua konstexpr jika pernyataan mempunyai sekurang-kurangnya satu cabang yang benar. Apabila tiada satu pun syarat dipenuhi, ralat masa kompilasi dikehendaki untuk mengelakkan gelagat yang tidak dijangka.

Satu tanggapan salah biasa ialah menggunakan static_assert(false) dalam klausa else. Walau bagaimanapun, pendekatan ini tidak diterima oleh pengkompil.

Untuk menangani isu ini, penyelesaiannya terletak pada membuat pernyataan yang dibuang bergantung pada parameter templat. Dengan memperkenalkan kelas constexpr std::false_type dan mengkhususkannya dengan parameter templat T, kita boleh mencipta syarat yang akan sentiasa menilai kepada palsu.

Berikut ialah contoh:

template <class... T> constexpr std::false_type always_false{};

if constexpr (condition1) {
    ...
} else if constexpr (condition2) {
    ...
} else if constexpr (condition3) {
    ...
} else {
    // Always false condition
    static_assert(always_false<T>);
}

Mengikut kepada standard C, bahagian [temp.res]/8, jika tiada pengkhususan yang sah boleh dijana untuk templat atau substatement bagi constexpr jika pernyataan dalam templat, program itu dianggap tidak berbentuk. Ini secara berkesan memastikan klausa else tidak pernah diambil dan ralat masa penyusunan dibangkitkan.

Atas ialah kandungan terperinci Bagaimana untuk Menjamin Ralat Masa Kompilasi untuk Kes Tidak Terkendali dalam Penyata C Constexpr if-else?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!