1
#include <iostream>


using namespace std;

int& in()
{
    int a = 2;
    return a;
}

int main()
{
    std::cout << in();
    return 0;
}

В выводе я получаю 2. Но разве не должно быть Undefined behavior? Ведь переменная a локальная, а после выполнения функции уничтожиться? И возвращается ссылка на переменную

2
  • 2
    Вы правы, действительно возникает Undefined Behavior. 8 окт 2022 в 12:59
  • Одно из нехороших свойств языка C++: если программа выдаёт верные результаты, то это не значит, что она написана верно))
    – LShadow77
    8 окт 2022 в 16:49

2 ответа 2

5

Ну тут действительно возникает UB, но то что у вас выводится 2, не значит, что его нет. UB означает, что в ситуации в которой он возник, компилятор может повести себя как угодно (например, вывести 2). Хотя мне интересно, в каком это у вас компиляторе безобидно вывелась 2. Обычно должно выскакивать предупреждение -wreturn-local-addr.

5

Неопределенное поведение — оно такое неопределенное....

Понимаете, вы можете перебегать дорогу на красный свет светофора. Можете переходить ее с завязанными глазами и заткнутыми ушами. И у вас это будет отлично получаться... до поры до времени.

И то, что после нескольких переходов вы остались живы и здоровы (и даже не оштрафованы) — является ли основанием говорить, что "на красный переходить можно, я проверял!"?

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.