Bagaimanakah Kita Boleh Menentukan sama ada Ungkapan C 11 ialah `constexpr` pada Masa Penyusunan?

Menentukan Ungkapan Constexpr dalam C 11

Soalan: Adakah mungkin untuk menentukan sama ada ungkapan C 11 ialah ungkapan malar (constexpr) di masa kompilasi?

Jawapan: Ya, boleh menggunakan teknik berikut:

template<typename T>
constexpr typename remove_reference<T>::type makeprval(T&& t) {
  return t;
}

#define isprvalconstexpr(e) noexcept(makeprval(e))

Penjelasan:

Makro isprvalconstexpr mengambil ungkapan e dan mengembalikan benar jika e ialah ungkapan pemalar nilai (iaitu, ia boleh dinilai pada masa penyusunan). Ini ditentukan dengan menggunakan pengendali noexcept, yang mengembalikan palsu jika e mengandungi sebarang panggilan fungsi yang berpotensi dinilai yang tidak mempunyai spesifikasi pengecualian bukan lontaran, ungkapan lontaran atau balingan dinamik atau taip.

Had:

Adalah penting untuk ambil perhatian bahawa teknik ini mempunyai had. Pengendali noexcept kadangkala boleh memberikan negatif palsu, bermakna ia mungkin melaporkan bahawa ungkapan bukanlah ungkapan malar walaupun begitu. Ini berlaku apabila ungkapan "berpotensi dinilai" dalam e sebenarnya tidak dinilai, yang boleh berlaku dalam keadaan tertentu walaupun secara rasmi dianggap berpotensi dinilai.

Atas ialah kandungan terperinci Bagaimanakah Kita Boleh Menentukan sama ada Ungkapan C 11 ialah `constexpr` pada Masa Penyusunan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!