Mengapa Mengembalikan Rujukan kepada Pembolehubah Setempat dalam C Kadang-kadang Mungkin?

Memulangkan Nilai daripada Pembolehubah Tempatan: Kelakuan Mengejutkan

Dalam pengaturcaraan, pembolehubah tempatan biasanya disimpan dalam memori tindanan. Apabila fungsi kembali, bingkai tindanan yang berkaitan dialih keluar dan pembolehubah di dalamnya tidak lagi boleh diakses. Walau bagaimanapun, tingkah laku pelik timbul apabila cuba mengembalikan rujukan kepada pembolehubah setempat.

Seperti yang ditunjukkan dalam coretan kod yang disediakan:

int& foo() {
    int i = 6;
    return i;
}

int main() {
    int i = foo();
    std::cout << i << std::endl;
    std::cout << &i << std::endl;
}

Kod ini nampaknya bercanggah dengan peraturan timbunan biasa pengurusan ingatan. Walaupun fakta bahawa pembolehubah tempatan i dalam fungsi foo dialih keluar daripada tindanan apabila fungsi itu kembali, nilai yang dirujuk kekal boleh diakses dalam fungsi utama.

Tingkah laku luar biasa ini disebabkan oleh keanehan dalam cara kebanyakan pengkompil melaksanakan panggilan fungsi. Apabila fungsi dipanggil, pengkompil menyimpan blok memori pada tindanan untuk pembolehubah dan parameter tempatan fungsi. Semasa fungsi sedang dilaksanakan, memori yang diperuntukkan pada tindanan dilindungi, menghalang fungsi lain daripada mengaksesnya. Walau bagaimanapun, apabila fungsi itu kembali, perlindungan memori tidak segera dikeluarkan. Sebaliknya, pengkompil menunggu sehingga panggilan fungsi seterusnya atau sehingga bingkai tindanan semasa tidak diperlukan lagi.

Dalam kes fungsi foo, pengkompil memperuntukkan memori untuk pembolehubah tempatan i pada tindanan. Apabila fungsi kembali, nilai pulangan i diletakkan di lokasi yang dikhaskan untuk panggilan fungsi seterusnya atau bingkai tindanan pemanggil. Ini bermakna walaupun bingkai tindanan untuk foo telah dialih keluar, memori yang diperuntukkan untuk pembolehubah tempatan i kekal utuh dan boleh diakses melalui rujukan yang dikembalikan.

Perlu ambil perhatian bahawa tingkah laku ini bergantung kepada pengkompil dan pelaksanaan. . Sesetengah penyusun boleh memilih untuk mengalih keluar perlindungan memori serta-merta selepas fungsi itu kembali, membuat akses ke lokasi memori pembolehubah tempatan selepas mengembalikan tingkah laku yang tidak ditentukan. Oleh itu, mengembalikan rujukan kepada pembolehubah tempatan harus dielakkan secara umum dan dianggap sebagai amalan pengekodan yang tidak selamat.

Atas ialah kandungan terperinci Mengapa Mengembalikan Rujukan kepada Pembolehubah Setempat dalam C Kadang-kadang Mungkin?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!