Mengapa Saya Tidak Boleh Menggunakan Parameter Fungsi dalam Ungkapan Malar?

Mengapa Saya Tidak Boleh Menggunakan Parameter Fungsi dalam Ungkapan Malar?

Ungkapan malar ialah ungkapan yang boleh dinilai pada masa penyusunan. Fungsi Constexpr ialah fungsi yang boleh dinilai pada masa penyusunan jika dipanggil dengan parameter constexpr.

Dalam kod, fungsi make_const ialah fungsi constexpr. Walau bagaimanapun, parameter i dalam t1 bukanlah parameter constexpr, kerana ia tidak dinyatakan sebagai const.

void t1(const int i)
{
    constexpr int ii = make_const(i);  // error: i is not a constant expression
}

Untuk membetulkannya, seseorang boleh sama ada menjadikan i parameter tetap dengan menukar jenisnya kepada const int, atau dengan mentakrifkan t1 sebagai fungsi constexpr itu sendiri:

void t1(const int i)  // const int i to make i a constant parameter
{
    constexpr int ii = make_const(i);
}

constexpr int t1(const int i)  // constexpr t1 to make t1 a constexpr function
{
    return make_const(i);
}

Masalah lain timbul apabila menggunakan fungsi constexpr dalam fungsi templat yang bertujuan untuk mengembalikan nilai constexpr.

template<int i>
constexpr bool do_something(){
    return i;
}

constexpr int t1(const int i)
{
    return do_something<make_const>();   // error: i is not a constant expression
}</make_const></int>

Dalam kes ini, pengkompil tidak dapat menjamin bahawa parameter i ialah ungkapan malar, kerana ia bergantung pada nilai parameter templat yang dihantar kepada do_something . Untuk memastikan bahawa t1 boleh dinilai pada masa penyusunan, parameter templat i mestilah ungkapan malar.

Pendekatan alternatif ialah menggunakan std::variant dan std::integral_constant untuk mencipta pemalar masa kompilasi yang boleh digunakan bersama dengan nilai masa jalan.

template<auto i>
using constant_t=std::integral_constant<decltype>;
template<auto i>
constexpr constant_t<i> constant_v={};
template<auto...is>
using var_enum_t=std::variant<constant_t>...>;</constant_t></auto...is></i></auto></decltype></auto>

Ini membolehkan seseorang mencipta varian pemalar masa kompilasi yang boleh dipilih pada masa jalan menggunakan std::visit.

auto idx=var_index(3/* 3 can be runtime */);
std::visit([](auto three){
  // three is a compile time value here
}, idx);

Atas ialah kandungan terperinci Mengapa Saya Tidak Boleh Menggunakan Parameter Fungsi dalam Ungkapan Malar?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!