Чи продовжує член референтного класу const життя тимчасового?

Чому так:

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

Дайте вихід:

Відповідь:

Замість:

Відповідь: чотири

Лише місцеві const довідки продовжують термін експлуатації.

Стандарт визначає таку поведінку в §8.5.3 / 5, [dcl.init.ref], розділі про ініціалізатори опорних декларацій. Посилання у вашому прикладі пов'язане з аргументом конструктора nі стає недійсним, коли об'єкт nповинен вийти за межі області.

Продовження терміну служби не є транзитивним через аргумент функції. §12.2 / 5 [клас.часова]:

Другий контекст - це коли посилання пов'язане з тимчасовим. Тимчасовий, до якого посилається посилання, або тимчасовий, що є повним об'єктом, до суб'єкта якого тимчасовий прив'язується, зберігається протягом життя посилання, крім випадків, зазначених нижче. Тимчасовий прив’язаний до опорного члена в ctor-ініціалізаторі конструктора (§12.6.2 [class.base.init]) зберігається, поки конструктор не вийде. Тимчасове прив’язання до опорного параметра у виклику функції (§5.2.2 [expr.call]) зберігається до завершення повного виразу, що містить виклик.

Ось найпростіший спосіб пояснити, що сталося:

У main () ви створили рядок і передали його в конструктор. Цей рядковий екземпляр існував лише в конструкторі. Всередині конструктора ви призначили члена, щоб вказати безпосередньо на цей екземпляр. Коли область вийшла з конструктора, екземпляр рядка був знищений, а член потім вказав на об'єкт рядка, якого вже не існувало. Надання Sandbox.member вказівки на посилання поза його межі не буде містити ці зовнішні екземпляри в області застосування.

Якщо ви хочете виправити вашу програму, щоб відображати бажану поведінку, внесіть такі зміни:

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

Тепер temp вийде за межі в кінці main (), а не в кінці конструктора. Однак це погана практика. Змінна вашого члена ніколи не повинна бути посиланням на змінну, яка існує поза екземпляра. На практиці ви ніколи не знаєте, коли ця змінна вийде за межі сфери.

Я рекомендую визначити Sandbox.member як a const string member;Це скопіює дані тимчасового параметра в змінну члена, а не призначити змінну члена як тимчасовий параметр.

Технічно кажучи, цій програмі не потрібно насправді нічого виводити на стандартний вихід (з чого це спочатку буферний потік).

• cout << "The answer is: "Біт буде випромінювати "The answer is: "в буфер на стандартний висновок.

• Тоді << sandbox.memberбіт подасть звисаючу посилання operator << (ostream &, const std::string &), яка викликає невизначене поведінку .

Через це нічого не гарантується. Програма може спрацювати начебто добре, або може вийти з ладу, навіть не змиваючись, тобто текст "Відповідь:" не з’явиться на вашому екрані.

Оскільки ваша тимчасова рядок вийшла з рамки, як тільки конструктор Sandbox повернувся, а зайнятий нею стек був відновлений для деяких інших цілей.

Як правило, ви ніколи не повинні зберігати посилання довгостроково. Посилання хороші для аргументів або локальних змінних, а не членів класу.

ви маєте на увазі те, що зникло. Далі буде працювати

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