Mengapa Penegasan Statik Gagal Penyusunan Walaupun Seruan Fungsi Nol?

Pernyataan Statik Gagal Penyusunan Walaupun Seruan Fungsi Nol

Menggunakan g 4.6.3 dengan bendera c 0x, pembangun telah menghadapi ralat penyusunan yang tidak dijangka :

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

Menghasilkan:

static_assertion failed "this function has to be implemented for the desired type"

Ralat ini berlaku walaupun fungsi tidak digunakan di mana-mana dalam kod.

Penjelasan

Menurut piawaian C [temp.res]/8, jika tiada pengkhususan yang sah boleh dijana untuk definisi templat yang tidak dibuat seketika, templat tersebut tidak terbentuk. Walaupun pengkompil tidak bertanggungjawab untuk mendiagnosis ralat ini, ia dibenarkan untuk menolak templat.

Penyelesaian

Satu pendekatan untuk menyelesaikan isu ini ialah menggunakan ciri jenis untuk menjaga penegasan statik:

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 pengubahsuaian ini, pengkompil tidak boleh menolak templat serta-merta kerana ia perlu membuat instantiate pengkhususan yang berkaitan bagi foobar untuk menentukan nilai penegasan statik, yang masih akan gagal seperti yang dimaksudkan.

Atas ialah kandungan terperinci Mengapa Penegasan Statik Gagal Penyusunan Walaupun Seruan Fungsi Nol?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!