Adakah Menangkap Rujukan melalui Rujukan dalam C 11 Lambda Selamat?

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&amp; x) {
    return [&amp;]{ 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!