Adakah Pengaturcaraan Meta Stateful Mengancam Konsistensi C?

Pengaturcaraan Meta Berstatus: Ancaman yang Tidak Benar dalam C

Konsep membingungkan bagi pengaturcaraan meta stateful, yang dicontohkan oleh "constexpr counter," telah pengaturcara C yang tertarik dan bingung. Walaupun ia kelihatan dibenarkan dalam C 14, statusnya dalam C 17 kekal tidak pasti.

Kaunter Constexpr Misterius

Seperti yang diterangkan dalam siaran, kaunter constexpr memanfaatkan ADL mekanisme untuk menangkap dan mendapatkan semula maklumat yang jelas. Dengan mentakrifkan fungsi rakan dalam templat dan merujuknya kemudian, ia membolehkan penyimpanan keadaan pengaturcaraan meta.

Percanggahan dan Kontroversi

Teknik ini secara langsung bercanggah dengan garis panduan penyimpanan sebelumnya negeri dalam pengaturcaraan meta. Ia menimbulkan persoalan tentang kesahihan binaan misteri tersebut.

Isu Aktif CWG

Kumpulan Kerja C (CWG) telah mengiktiraf isu ini (CWG Active Issue 2118). Mereka telah sebulat suara bersetuju bahawa teknik ini sepatutnya tidak betul, tetapi mekanisme untuk melarangnya masih belum ditentukan.

Implikasi untuk C 17

Walaupun CWG belum mengisytiharkan secara muktamad pengaturcaraan meta stateful tidak terbentuk, kemungkinan besar larangan sedemikian akan digunakan secara retroaktif melalui laporan kecacatan (DR). Sehingga itu, kesahihannya di bawah C 14 dan statusnya dalam piawaian C masa hadapan kekal tidak menentu.

Kesimpulan

Pengaturcaraan meta yang nyata, walaupun menarik, adalah potensi ancaman kepada konsistensi dan kebolehpercayaan metaprogramming C. Pengejaran aktif CWG terhadap mekanisme pembentukan yang buruk menekankan keperluan untuk berhati-hati apabila menggunakan teknik lanjutan ini. Semasa C berkembang, kita boleh mengharapkan penyelesaian kepada isu ini yang akan menjelaskan peranan pengaturcaraan meta stateful dalam landskap pengaturcaraan.

Atas ialah kandungan terperinci Adakah Pengaturcaraan Meta Stateful Mengancam Konsistensi C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!