Mengapa `static_assert` Gagal Penyusunan untuk Fungsi Templat Tidak Dipanggil?

Mengapakah static_assert Gagal Penyusunan untuk Fungsi Templat Tidak Dipanggil?

Apabila menggunakan templat static_assert, penegasan dijangka gagal hanya apabila fungsi templat dibuat seketika. Walau bagaimanapun, dalam kes tertentu, seperti yang dibangkitkan di bawah, kompilasi gagal walaupun sebelum fungsi dipanggil:

template <typename T>
inline T getValue(AnObject&)
{
    static_assert(false , "this function has to be implemented for desired type");
}

Penjelasan

Mengikut piawaian C dalam [temp.res]/ 8:

"Jika tiada pengkhususan yang sah boleh dijana untuk definisi templat, dan templat itu tidak dibuat seketika, definisi templat tidak terbentuk, tiada diagnostik diperlukan."

Dalam templat yang disediakan, tiada pengkhususan yang sah boleh dijana kerana keadaan static_assert sentiasa palsu. Oleh itu, definisi templat adalah tidak betul. Walaupun ia tidak disegerakan, pengkompil mungkin menolaknya lebih awal.

Penyelesaian

Untuk menyelesaikan isu ini, templat boleh diubah suai seperti berikut:

template<typename T>
struct foobar : std::false_type
{ };

template <typename T>
inline T getValue(AnObject&)
{
    static_assert( foobar<T>::value , "this function has to be implemented for desired type");
}

Dengan cara ini , pengkompil tidak boleh segera menolak templat fungsi kerana ia perlu membuat instantiate pengkhususan foobar yang sesuai sebelum menilai keadaan static_assert. Akibatnya, ralat kompilasi hanya akan berlaku apabila fungsi itu benar-benar dibuat seketika dan penegasan gagal.

Atas ialah kandungan terperinci Mengapa `static_assert` Gagal Penyusunan untuk Fungsi Templat Tidak Dipanggil?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!