Apa yang Menentukan Sama ada Ralat Penggantian Templat C 11 Adalah Ralat Keras atau Lembut?

Konteks Segera dalam Penggantian Templat C 11

Piawaian C 11 memperkenalkan Kegagalan Gantian Bukan Satu Ralat (SFINAE), yang membolehkan penindasan ralat penyusunan keras semasa penggantian hujah templat. Walau bagaimanapun, piawaian mentakrifkan "konteks segera" khusus yang mana SFINAE digunakan, meninggalkan sedikit ketidakpastian tentang apabila ralat penggantian mengakibatkan ralat keras atau lembut.

Definisi Konteks Segera

Standard mentakrifkan konteks segera sebagai:

"Sahaja jenis dan ungkapan tidak sah dalam konteks segera jenis fungsi dan jenis parameter templatnya boleh mengakibatkan kegagalan potongan."

Takrifan ini tidak jelas, tetapi nota bukan normatif memberikan petunjuk:

"Penilaian jenis dan ungkapan yang digantikan boleh mengakibatkan kesan sampingan seperti... Kesan sampingan tersebut tidak berada dalam "konteks segera" dan boleh mengakibatkan program menjadi tidak berbentuk."

Prosedur Keputusan

Untuk menentukan sama ada ralat penggantian berlaku dalam konteks yang terdekat, pertimbangkan prosedur keputusan berikut:

• Langkah 1: Kenal pasti semua templat dan fungsi yang ditakrifkan secara tersirat yang diperlukan untuk tentukan keputusan penggantian.
• Langkah 2: Bayangkan entiti ini dijana sebelum penggantian bermula.
• Langkah 3: Jika ralat berlaku semasa generasi hipotesis ini, mereka tidak berada dalam konteks segera dan akan mengakibatkan sukar ralat.
• Langkah 4: Jika semua entiti dijana tanpa ralat, sebarang ralat seterusnya semasa penggantian bukanlah ralat tetapi mengakibatkan kegagalan potongan hujah.

Contoh

• Sukar ralat: fungsi> - Instantiasi A gagal kerana penunjuk kepada rujukan tidak dibenarkan.
• Kegagalan potongan hujah: berfungsi> - Permulaan A berjaya, tetapi A::type tidak wujud.
• Kegagalan potongan hujah: kelas B { void f(int); }; func::f - Takrifan tersirat bagi f menghasilkan fungsi ahli yang dipadamkan.