Mengapa `if constexpr` Tidak Berfungsi dalam Fungsi Bukan Templat dalam C 17?

jika constexpr Tidak Berkelakuan Seperti Yang Dijangkakan dalam Fungsi Bukan Templat dalam C 17

Dalam C 17, pernyataan if constexpr membenarkan bersyarat kompilasi berdasarkan ungkapan pemalar masa kompilasi. Walau bagaimanapun, apabila cuba menggunakan ciri ini dalam fungsi bukan templat, ralat kompilasi yang tidak dijangka mungkin berlaku.

Pertimbangkan coretan kod berikut:

<code class="cpp">#include <iostream>
#include <type_traits>

int main()
{
  auto value = 100;
  if constexpr (std::is_pointer_v<decltype(value)>)
    std::cout << "Ptr to " << *value << std::endl; // Error
  else
    std::cout << "Ref to " << value << std::endl;
}</code>

Apabila menyusun kod ini, ralat akan berlaku pada baris yang cuba menyahrujuk 'nilai' dalam pernyataan if constexpr. Ini kerana jika constexpr tidak disokong dalam fungsi bukan templat.

Mengapa Hanya Templat?

Tingkah laku ini adalah mengikut reka bentuk. jika constexpr bertujuan untuk mengelakkan instantiasi kod templat tidak sah berdasarkan pengkhususan tertentu. Dalam contoh yang diberikan, fungsi bukan templat menyemak sama ada 'nilai' ialah penuding menggunakan std::is_pointer_v. Walau bagaimanapun, jika syarat itu palsu, pengkompil masih cuba menyahrujuk 'nilai' integer, yang tidak sah.

Penyelesaian

Untuk digunakan jika constexpr dalam bukan- konteks templat, pertimbangkan untuk membungkus kod dalam fungsi templat atau menggunakan makro yang akan berkelakuan berbeza pada masa penyusunan. Contohnya:

<code class="cpp">#include <iostream>
#include <type_traits>

template<typename T>
void print(T value)
{
  if constexpr (std::is_pointer_v<T>)
    std::cout << "Ptr to " << *value << std::endl;
  else
    std::cout << "Ref to " << value << std::endl;
}

int main()
{
  auto n = 1000;
  print(n);

  int *ptr = &n;
  print(ptr);
}</code>

Dalam kes ini, fungsi cetakan adalah templat, jadi jika tingkah laku constexpr digunakan dengan betul berdasarkan parameter templat.

Atas ialah kandungan terperinci Mengapa `if constexpr` Tidak Berfungsi dalam Fungsi Bukan Templat dalam C 17?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!