Bagaimanakah Kami Boleh Menjamin Penilaian Masa Kompilasi bagi Panjang Rentetan?

Pengiraan Masa Kompilasi Panjang Rentetan

Untuk mengira panjang literal rentetan pada masa penyusunan, coretan kod di bawah menggunakan fungsi rekursif:

<code class="cpp">#include <cstdio>

int constexpr length(const char* str)
{
    return *str ? 1 + length(str + 1) : 0;
}

int main()
{
    printf("%d %d", length("abcd"), length("abcdefgh"));
}</code>

Fungsi ini berjaya mengira panjang seperti yang dijangkakan, seperti yang dibuktikan oleh kod pemasangan yang dijana daripada clang, yang menunjukkan keputusan dikira pada masa penyusunan.

Jaminan Standard untuk Penilaian Masa Kompilasi

Walau bagaimanapun, adalah penting untuk ambil perhatian bahawa penilaian ungkapan malar pada masa penyusunan tidak dijamin secara eksplisit oleh standard. Walaupun draf C standard seksyen 5.19 mengandungi petikan bukan normatif yang menyatakan bahawa ungkapan malar boleh dinilai semasa terjemahan, ini tidak memberikan jaminan yang pasti.

Memastikan Penilaian Masa Kompilasi

Untuk memastikan sesuatu fungsi dinilai pada masa penyusunan, Bjarne Stroustrup mengesyorkan agar keputusannya diberikan kepada pembolehubah konstexpr. Ini boleh dilihat dalam contoh berikut:

<code class="cpp">constexpr int len1 = length("abcd");</code>

Selain itu, Bjarne Stroustrup menggariskan dua kes khusus di mana penilaian masa kompilasi dijamin:

1. Apabila fungsi digunakan di mana ungkapan malar diperlukan, seperti terikat tatasusunan.
2. Apabila fungsi digunakan untuk memulakan constexpr.

Oleh itu, untuk penilaian masa kompilasi yang boleh dipercayai, adalah dinasihatkan untuk mengikuti salah satu daripada dua pendekatan ini.

Atas ialah kandungan terperinci Bagaimanakah Kami Boleh Menjamin Penilaian Masa Kompilasi bagi Panjang Rentetan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!