Menangkap Rujukan melalui Rujukan dalam C 11 Lambda
Dalam C 11, kita sering menggunakan lambdas untuk menangkap pembolehubah daripada konteks sekeliling. Tetapi apa yang berlaku apabila kita menangkap rujukan melalui rujukan? Adakah selamat untuk berbuat demikian?
Butiran Masalah
Pertimbangkan kod berikut:
<code class="cpp">#include <functional> #include <iostream> std::function<void()> make_function(int& x) { return [&]{ std::cout << x << std::endl; }; } int main() { int i = 3; auto f = make_function(i); i = 5; f(); }</code>
Dalam kod ini, kami mempunyai lambda yang menangkap rujukan kepada pembolehubah integer i. Kami kemudian mengubah suai i dalam fungsi utama dan memanggil lambda. Persoalannya, adakah lambda akan mengeluarkan 3 atau 5?
Jawapan Berasaskan Standard
Kod ini dijamin untuk output 5, tanpa menggunakan gelagat yang tidak ditentukan.
Penjelasan
Menurut C 11 standard ([expr.prim.lambda]/17), hanya ungkapan id yang merujuk kepada entiti yang ditangkap melalui salinan diubah menjadi akses ahli pada jenis penutupan lambda. Ungkapan id yang merujuk kepada entiti yang ditangkap melalui rujukan dibiarkan sahaja dan masih menunjukkan entiti yang sama yang akan dilambangkan dalam skop yang disertakan.
Ini bermakna rujukan x dalam lambda tidak diubah. Ia masih merujuk kepada pembolehubah integer yang sama i dalam fungsi utama. Oleh itu, apabila kita mengubah suai i dalam fungsi utama, lambda masih akan melihat nilai yang diubah suai.
Atas ialah kandungan terperinci Adakah Menangkap Rujukan melalui Rujukan dalam C 11 Lambda Selamat?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!