Область видимости

@MINO · Регистрация: 03.06.2016

Студворк — интернет-сервис помощи студентам

Здравствуйте.
Вот кусок кода

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
int *s;
int *m()
{
    int k = 12345;
    s = &k;
    return &k;
}
int main()
{
    int *d = m();
    std::cout << *d<<std::endl;
    std::cout << *s << std::endl;
    std::cout << d << std::endl;
    std::cout << s << std::endl;
    system("pause");
    return 0;
}

выход

Code
1
2
3
4
5
12345
-858993460
0000000C07EFFC44
0000000C07EFFC44
Для продолжения нажмите любую клавишу . . .

Почему переменная *d выводит числа 12345? int k = 12345; создана локально и после завершения метода m() должна удалятся, но нет она продолжает жить, а указатель s вроде как ведет себя правильно.
К тому же указатели s и d указывают на одно и тоже место.

ПС Компилятор MSVC

@DrOffset · 13.04.2019, 16:01

Сообщение от MINO

Почему переменная *d выводит числа 12345?

Потому что место переменной k еще никто не успел занять.

Попробуйте разные настройки оптимизации, или, например, поменять местами вывод *s и *d.
Также попробуйте другие компиляторы.

Также вам необходимо понять, что код содержит неопределенные поведение с момента, когда вы попытались разыменовать невалидный указатель. Объект k завершил свою жизнь по выходу из области функции, попытки дальнейшего доступа к его трупу могут завершиться чем угодно, в том числе и предоставить видимость нормального поведения.

Добавлено через 2 минуты

Сообщение от MINO

должна удалятся

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

@MINO · 13.04.2019, 16:48 **[ТС]**

Я так понимаю что в момент вывода
[CPP]
std::cout << *d << std::endl;
[CPP]
переменная освобождается и результат может быть не предсказуемым, а у меня выводит 12345 потому что в память ничего не записалось.

Сообщение от DrOffset

Также попробуйте другие компиляторы.

В том то и дело что это поведение только в MSVC

@DrOffset · 13.04.2019, 16:58

Сообщение от MINO

В том то и дело что это поведение только в MSVC

Я вам про это и говорю. Если вы видите разное поведение на разных компиляторах - это повод задуматься о корректности кода.

Опять же, в рамках MSVС++ можно понаблюдать:
Поведение как у вас (почти): https://rextester.com/KQZM71893
Поменял местами *d и *s, теперь как будто бы указатель d, вместо s ведет себя "правильно": https://rextester.com/MHJ13355
Добавил ключ оптимизации O2: https://rextester.com/FWHKR73776

@zayats80888 · 13.04.2019, 17:00

Сообщение от MINO

В том то и дело что это поведение только в MSVC

попробуйте запустить релиз версию

@DrOffset · 13.04.2019, 17:02

Сообщение от MINO

Я так понимаю что в момент вывода

C++
1
std::cout << *d << std::endl;

переменная освобождается и результат может быть не предсказуемым, а у меня выводит 12345 потому что в память ничего не записалось.

В момент вывода никакой переменной уже нет. Есть указатель, который указывает на то место, где она когда-то была.
Такой указатель считается невалидным, "висячим", и вы не имеете права использовать его для разыменования, потому что в этом случае эта операция приводит к неопределенному поведению. В общем-то на этом можно закончить разбираться в ситуации, т.к. остальные эффекты зависят, грубо говоря, от фазы Луны.

@MINO · 13.04.2019, 17:47 **[ТС]**

Спасибо за пояснение. Я вабще зачем это все начал смотреть, после очередной лекции на курсах преподаватель рассказывал про умные компиляторы, и преподаватель заявил что код

C++
1
2
3
4
5
6
int *m()
{
    int k = 12345;
    s = &k;
    return &k;
}

компилирует переменную k в куче, типо программист не очень умный раз адрес локальной переменной в return кидает.

@DrOffset · 13.04.2019, 17:55

Сообщение от MINO

компилирует переменную k в куче

Нет, здесь переменная в стеке.

Новые блоги и статьи Все статьи Все блоги /
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .

Область видимости

Решение