Bir const referans sınıfı üyesi geçici bir ömrünü uzatır mı?

Bunu neden yapar:

#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;
}

Çıktı verin:

Cevap:

Onun yerine:

Cevap: dört

Sadece yerel const referanslar ömrünü uzatır.

Standart, bu tür davranışları referans beyanların başlatıcıları bölümündeki §8.5.3 / 5, [dcl.init.ref] 'de belirtir. Örneğinizdeki başvuru, kurucunun bağımsız değişkenine bağlıdır nve nesne nkapsam dışına çıktığında geçersiz olur .

Ömür boyu uzantı, işlev bağımsız değişkeni ile geçişli değildir. §12.2 / 5 [sınıf geçici]:

İkinci bağlam, bir başvurunun geçici olana bağlanmasıdır. Başvurunun bağlı olduğu geçici veya geçici olanın bağlı olduğu bir alt nesneye tam nesne olan geçici, aşağıda belirtilenler dışında başvurunun ömrü boyunca devam eder. Bir kurucunun ctor-başlatıcısındaki (§12.6.2 [class.base.init]) bir referans üyeye geçici bir bağ kurucu çıkana kadar devam eder. Bir işlev çağrısında (§5.2.2 [expr.call]) bir başvuru parametresine geçici bir bağ, çağrıyı içeren tam ifadenin tamamlanmasına kadar devam eder.

Olanları açıklamanın en basit yolu:

Main () içinde bir dize oluşturdunuz ve onu yapıcıya aktardınız. Bu dize örneği yalnızca yapıcı içinde vardı. Yapıcı içinde, üyeyi doğrudan bu örneği göstermesi için atadınız. Kapsam yapıcıdan ayrıldığında, dize örneği yok edildi ve ardından üye artık var olmayan bir dize nesnesini gösterdi. Sandbox.member öğesinin kapsamı dışında bir referansı işaret etmesi, bu harici örnekleri kapsam içinde tutmaz.

Programınızı istediğiniz davranışı gösterecek şekilde düzeltmek istiyorsanız, aşağıdaki değişiklikleri yapın:

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

Şimdi temp, yapıcı sonunda değil main () sonunda kapsam dışına çıkacaktır. Ancak, bu kötü bir uygulamadır. Üye değişkeniniz asla örnek dışında var olan bir değişkene başvuru olmamalıdır. Uygulamada, bu değişkenin ne zaman kapsam dışına çıkacağını asla bilemezsiniz.

Ne öneririm Sandbox.member olarak tanımlamak için const string member;Bu geçici parametrenin verilerini üye parametrenin geçici parametrenin kendisi olarak atamak yerine üye değişkenine kopyalar.

Teknik olarak konuşursak, bu programın aslında standart çıktıya bir şey çıkarması gerekmez (başlangıçta tamponlanmış bir akıştır).

• cout << "The answer is: "Biraz yayacaktır "The answer is: "içine tampon stdout.

• Daha sonra << sandbox.memberbit, tanımsız davranışıoperator << (ostream &, const std::string &) başlatan sarkan referansı sağlayacaktır .

Bu nedenle, hiçbir şeyin gerçekleşmesi garanti edilmez. Program görünüşte iyi çalışabilir veya stdout bile kızarmadan çökebilir - yani "Cevap:" metni ekranda görünmez.

Çünkü Sandbox yapıcısı geri döndüğünde geçici dizginiz kapsam dışına çıktı ve işgal ettiği yığın başka amaçlarla geri alındı.

Genellikle, referansları asla uzun vadede tutmamalısınız. Kaynaklar argümanlar veya yerel değişkenler için iyidir, asla sınıf üyeleri değildir.

yok olan bir şeyden bahsediyorsun. Aşağıdakiler işe yarayacak

#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;
}