Czy członek klasy odniesienia const przedłuża żywotność tymczasowego?

Dlaczego to:

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

Podaj wynik:

Odpowiedź to:

Zamiast:

Odpowiedź brzmi: cztery

Tylko lokalne const referencje przedłużają żywotność.

Norma określa takie zachowanie w §8.5.3 / 5, [dcl.init.ref], sekcja dotycząca inicjatorów deklaracji referencyjnych. Odwołanie w twoim przykładzie jest powiązane z argumentem konstruktora ni staje się nieprawidłowe, gdy obiekt njest powiązany z wyjściem poza zakres.

Rozszerzenie okresu istnienia nie jest przechodnie przez argument funkcji. §12.2 / 5 [klasa.czasowa]:

Drugi kontekst ma miejsce, gdy odniesienie jest powiązane z tymczasowym. Obiekt tymczasowy, z którym jest powiązane odniesienie lub tymczasowy, który jest kompletnym obiektem do podobiektu, z którym jest powiązany obiekt tymczasowy, utrzymuje się przez cały okres istnienia odwołania, z wyjątkiem przypadków określonych poniżej. Tymczasowe powiązanie z elementem referencyjnym w inicjatorze ctor konstruktora (§12.6.2 [class.base.init]) utrzymuje się do momentu zakończenia konstruktora. Tymczasowe powiązanie z parametrem referencyjnym w wywołaniu funkcji (§5.2.2 [wyrażenie wywołanie]) utrzymuje się aż do zakończenia pełnego wyrażenia zawierającego wywołanie.

Oto najprostszy sposób, aby wyjaśnić, co się stało:

W main () utworzyłeś łańcuch i przekazałeś go do konstruktora. To wystąpienie ciągu istniało tylko w konstruktorze. Wewnątrz konstruktora przypisałeś elementowi członkowskiemu bezpośrednie wskazywanie tego wystąpienia. Gdy zakres opuścił konstruktora, wystąpienie ciągu zostało zniszczone, a element członkowski wskazał obiekt ciągu, który już nie istnieje. Jeśli Sandbox.member wskazuje odwołanie poza jego zakresem, nie będzie w zasięgu tych zewnętrznych wystąpień.

Jeśli chcesz naprawić program, aby wyświetlał pożądane zachowanie, wprowadź następujące zmiany:

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

Teraz temp wyjdzie poza zakres na końcu main () zamiast na końcu konstruktora. Jest to jednak zła praktyka. Twoja zmienna składowa nigdy nie powinna być odniesieniem do zmiennej, która istnieje poza instancją. W praktyce nigdy nie wiadomo, kiedy ta zmienna wyjdzie poza zakres.

Polecam zdefiniowanie Sandbox.member jako parametru const string member;Spowoduje to skopiowanie danych tymczasowego parametru do zmiennej składowej zamiast przypisywania zmiennej składowej jako samego parametru tymczasowego.

Technicznie rzecz biorąc, ten program nie jest wymagany do wysyłania czegokolwiek na standardowe wyjście (które na początku jest buforowanym strumieniem).

• cout << "The answer is: "Nieco emituje "The answer is: "w buforze o standardowe wyjście.

• Wtedy << sandbox.memberbit dostarczy wiszące odniesienie do operator << (ostream &, const std::string &), które wywoła niezdefiniowane zachowanie .

Z tego powodu nic nie jest gwarantowane. Program może działać pozornie dobrze lub może ulec awarii nawet bez opróżniania wyjścia standardowego - co oznacza, że ​​tekst „Odpowiedź brzmi:” nie pojawił się na ekranie.

Ponieważ twój tymczasowy ciąg wyszedł poza zakres po zwróceniu konstruktora Sandbox, a zajmowany przez niego stos został odzyskany do innych celów.

Ogólnie rzecz biorąc, nigdy nie należy długo przechowywać referencji. Odwołania są dobre dla argumentów lub zmiennych lokalnych, nigdy dla członków klasy.

odnosisz się do czegoś, co zniknęło. Poniższe będą działać

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