Apakah anggota kelas referensi const memperpanjang umur sementara?

Mengapa demikian:

#include <string>
#include <iostream>
using namespace std;

class Sandbox
{
public:
    Sandbox(const string& n) : member(n) {}
    const string& member;
};

int main()
{
    Sandbox sandbox(string("four"));
    cout << "The answer is: " << sandbox.member << endl;
    return 0;
}

Berikan hasil:

Jawabannya adalah:

Dari pada:

Jawabannya adalah: empat

Hanya referensi lokal yang const memperpanjang umur.

Standar tersebut menetapkan perilaku tersebut dalam §8.5.3 / 5, [dcl.init.ref], bagian tentang inisialisasi deklarasi referensi. Referensi dalam contoh Anda terikat dengan argumen konstruktor n, dan menjadi tidak valid ketika objek nterikat keluar dari ruang lingkup.

Ekstensi seumur hidup tidak transitif melalui argumen fungsi. §12.2 / 5 [class.t Sementara]:

Konteks kedua adalah ketika referensi terikat untuk sementara. Sementara yang mana referensi terikat atau sementara yang merupakan objek lengkap untuk suatu sub-objek yang sementara terikat terikat untuk seumur hidup referensi kecuali sebagaimana ditentukan di bawah ini. Ikatan sementara untuk anggota referensi dalam inisialisasi ctor konstruktor (§12.6.2 [class.base.init]) tetap ada sampai konstruktor keluar. Batasan sementara untuk parameter referensi dalam pemanggilan fungsi (§5.2.2 [expr.call]) berlanjut hingga selesainya ekspresi penuh yang berisi panggilan.

Inilah cara paling sederhana untuk menjelaskan apa yang terjadi:

Di main () Anda membuat string dan meneruskannya ke konstruktor. Contoh string ini hanya ada dalam konstruktor. Di dalam konstruktor, Anda menugaskan anggota untuk menunjuk langsung ke instance ini. Ketika ketika lingkup meninggalkan konstruktor, instance string dihancurkan, dan anggota kemudian menunjuk ke objek string yang tidak ada lagi. Memiliki Sandbox.member menunjuk ke referensi di luar ruang lingkupnya tidak akan menampung instance eksternal dalam ruang lingkup.

Jika Anda ingin memperbaiki program Anda untuk menampilkan perilaku yang Anda inginkan, buat perubahan berikut:

int main()
{
    string temp = string("four");    
    Sandbox sandbox(temp);
    cout << sandbox.member << endl;
    return 0;
}

Sekarang temp akan melewati ruang lingkup di ujung main () alih-alih di ujung konstruktor. Namun, ini adalah praktik buruk. Variabel anggota Anda tidak boleh menjadi referensi ke variabel yang ada di luar instance. Dalam praktiknya, Anda tidak pernah tahu kapan variabel itu akan keluar dari ruang lingkup.

Apa yang saya sarankan adalah mendefinisikan Sandbox.member sebagai const string member;Ini akan menyalin data parameter sementara ke dalam variabel anggota alih-alih menetapkan variabel anggota sebagai parameter sementara itu sendiri.

Secara teknis, program ini tidak diharuskan untuk benar-benar mengeluarkan apapun ke keluaran standar (yang merupakan aliran buffered untuk memulai).

• The cout << "The answer is: "bit akan memancarkan "The answer is: "ke penyangga dari stdout.

• Kemudian << sandbox.memberbit akan memasok referensi yang menggantung ke dalam operator << (ostream &, const std::string &), yang memanggil perilaku tidak terdefinisi .

Karena itu, tidak ada yang dijamin terjadi. Program ini mungkin bekerja dengan baik atau macet tanpa harus menyiram stdout - artinya teks "Jawabannya adalah:" tidak akan muncul di layar Anda.

Karena string sementara Anda keluar dari ruang lingkup begitu konstruktor Sandbox kembali, dan tumpukan yang ditempati itu direklamasi untuk beberapa tujuan lain.

Secara umum, Anda tidak boleh menyimpan referensi jangka panjang. Referensi baik untuk argumen atau variabel lokal, tidak pernah anggota kelas.

Anda mengacu pada sesuatu yang telah lenyap. Berikut ini akan berfungsi

#include <string>
#include <iostream>

class Sandbox
{

public:
    const string member = " "; //default to whatever is the requirement
    Sandbox(const string& n) : member(n) {}//a copy is made

};

int main()
{
    Sandbox sandbox(string("four"));
    std::cout << "The answer is: " << sandbox.member << std::endl;
    return 0;
}