Apakah 'Konteks Segera' dalam C 11 SFINAE dan Bagaimana Ia Mempengaruhi Kegagalan Penggantian?

Memahami "Konteks Segera" dalam C 11 SFINAE

Piawaian C 11 menentukan syarat apabila kegagalan penggantian mengakibatkan penyusunan keras ralat atau ralat lembut yang hanya membuang templat daripada calon resolusi beban lampau. Satu konsep utama dalam penentuan ini ialah "konteks segera."

Takrifan "Konteks Segera"

Istilah "konteks segera" disebut secara ringkas dalam Standard, tetapi takrifan tepatnya tidak diberikan secara eksplisit. Walau bagaimanapun, ia sering dijumpai bersama dengan teks berikut:

Note: The evaluation of the substituted types and expressions can result in side effects such as instantiation of template specializations, generation of implicitly-defined functions, etc. Such side effects are not in the “immediate context” and can result in the program being ill-formed.

Nota ini menunjukkan bahawa sebarang kesan sampingan yang berlaku semasa proses penggantian, seperti instantiasi templat atau definisi fungsi tersirat, tidak dianggap sebagai sebahagian daripada konteks segera.

Menentukan Ralat Penggantian Serta-merta Konteks

Untuk menentukan sama ada ralat penggantian berlaku dalam konteks segera, pertimbangkan langkah berikut:

1. Kenal pasti kesan sampingan: Bayangkan membuat seketika semua templat dan mentakrifkan semua fungsi tersirat yang diperlukan untuk hujah templat penggantian.
2. Semak ralat: Jika sebarang ralat berlaku semasa peringkat "persediaan" ini, ia bukan sebahagian daripada konteks segera dan mengakibatkan ralat penyusunan keras.
3. Gantikan hujah: Setelah semua instantiasi dan takrifan yang diperlukan telah dijana tanpa ralat, gantikan hujah ke dalam tandatangan templat fungsi.
4. Semak ralat semasa penggantian: Jika sebarang ralat berlaku semasa langkah penggantian akhir ini, ia bukan ralat benar tetapi sebaliknya kegagalan potongan.

Contoh

Pertimbangkan templat berikut dan undur fungsi:

template<typename T>
void func(typename T::type* arg);

template<>
void func(...);

1. Kes 1: Dengan mengandaikan A ialah templat dengan ahli jenis, panggilan ke fungsi::type*>(nullptr ) akan gagal dengan ralat penyusunan keras kerana membuat instantiating A (semasa penyediaan) mencipta penunjuk tidak sah kepada rujukan.
2. Kes 2: Jika A mempunyai pengkhususan eksplisit untuk char, panggilan untuk berfungsi::type*> ;(nullptr) akan membuat seketika A (persediaan berjaya), tetapi penggantian A::type (langkah akhir) yang seterusnya gagal kerana ia tidak wujud. Ini menyebabkan kegagalan potongan, dan fungsi sandaran digunakan.

Kesimpulan

Dengan memahami konsep konteks segera, anda boleh mengenal pasti dengan lebih baik apabila ralat penggantian akan mengakibatkan ralat kompilasi keras atau kegagalan potongan lembut, membolehkan penggunaan SFINAE secara berkesan dalam C 11.

Atas ialah kandungan terperinci Apakah 'Konteks Segera' dalam C 11 SFINAE dan Bagaimana Ia Mempengaruhi Kegagalan Penggantian?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!