Apabila Mengembalikan Rujukan Pembolehubah Setempat, Adakah Ia Mengembalikan Nilai atau Alamat (Dan Mengapa Ini Berbahaya)?

Enigma Rujukan Pembolehubah Tempatan: Nilai atau Alamat Pengembalian?

Ramai pengaturcara mungkin menganggap bahawa mengembalikan rujukan kepada pembolehubah tempatan atau sementara dalam fungsi adalah salah , mengakibatkan tingkah laku yang tidak ditentukan. Walau bagaimanapun, dalam situasi tertentu, ia mungkin berjaya dan mengubah suai nilai pembolehubah. Mari kita siasat fenomena ini dengan contoh kod ilustrasi:

#include <iostream>

int& foo() {
    int i = 6;
    std::cout << &i << std::endl; // Prints the address of i before return
    return i;
}

int main() {
    int i = foo();
    std::cout << i << std::endl; // Prints the value
    std::cout << &i << std::endl; // Prints the address of i after return
}

Jika kita melaksanakan kod ini, kita melihat tingkah laku ingin tahu:

1. Alamat pembolehubah tempatan i dalam foo() dicetak sebelum dikembalikan, menunjukkan kewujudannya dalam bingkai tindanan.
2. Walaupun saya merupakan pembolehubah tempatan dalam foo(), nilainya berjaya diubah suai apabila kita memberikan nilai pulangan kepada pembolehubah dalam main().
3. Alamat i dalam main() kekal sama sebelum dan selepas kembali, menunjukkan bahawa pembolehubah itu masih berada dalam ingatan timbunan.

Menjelaskan Kejadian

Membingungkan ini tingkah laku boleh dikaitkan dengan keanehan dalam cara bingkai tindanan dikendalikan dalam banyak pelaksanaan. Apabila kembali daripada fungsi, bingkai tindanan pada mulanya tidak dipadam serta-merta.

Dalam contoh ini, jenis pulangan ialah int&, yang bermaksud fungsi mengembalikan rujukan kepada alamat i. Tugasan int i = foo(); in main() menyimpan alamat i in foo() dalam pembolehubah i in main().

Serentak, arahan pemulangan dalam foo() tidak segera melepaskan bingkai tindanan. Akibatnya, pembolehubah i masih wujud dalam ingatan tindanan, walaupun ia sepatutnya dimusnahkan. Ini membolehkan i diubah suai melalui rujukannya selepas kembali.

Awas dan Implikasi

Walaupun tingkah laku ini kelihatan mudah, ia amat berbahaya dan tidak boleh dipercayai. Bergantung pada pemusnahan bingkai tindanan yang tertangguh ialah resipi untuk gelagat yang tidak ditentukan.

Dalam kod yang ditakrifkan dengan baik, anda harus memastikan bahawa pembolehubah setempat kekal dalam skop fungsi penentunya dan dimusnahkan serta-merta apabila ia ditamatkan. Kegagalan berbuat demikian boleh membawa kepada akibat dan ralat yang tidak dapat diramalkan.

Atas ialah kandungan terperinci Apabila Mengembalikan Rujukan Pembolehubah Setempat, Adakah Ia Mengembalikan Nilai atau Alamat (Dan Mengapa Ini Berbahaya)?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!