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

@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 в куче

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

Новые блоги и статьи Все статьи Все блоги /
Модель заражения группы наркоманов alhaos 17.04.2026 Условия задачи сформулированы тут Суть: - Группа наркоманов из 10 человек. - Только один инфицирован ВИЧ. - Колются одной иглой. - Колются раз в день. - Колются последовательно через. . .	Мысли в слух. Про "навсегда". kumehtar 16.04.2026 Подумалось тут, что наверное очень глупо использовать во всяких своих установках понятие "навсегда". Это очень сильное понятие, и я только начинаю понимать край его смысла, не смотря на то что давно. . .	My Business CRM MaGz GoLd 16.04.2026 Всем привет, недавно возникла потребность создать CRM, для личных нужд. Собственно программа предоставляет из себя базу данных клиентов, в которой можно фиксировать звонки, стадии сделки, а также. . .	Знаешь почему 90% людей редко бывают счастливыми? kumehtar 14.04.2026 Потому что они ждут. Ждут выходных, ждут отпуска, ждут удачного момента. . . а удачный момент так и не приходит.
Фиксация колонок в отчете СКД Maks 14.04.2026 Фиксация колонок в СКД отчета типа Таблица. Задача: зафиксировать три левых колонки в отчете. Процедура ПриКомпоновкеРезультата(ДокументРезультат, ДанныеРасшифровки, СтандартнаяОбработка) / / . . .	Настройки VS Code Loafer 13.04.2026 { "cmake. configureOnOpen": false, "diffEditor. ignoreTrimWhitespace": true, "editor. guides. bracketPairs": "active", "extensions. ignoreRecommendations": true, . . .	Оптимизация кода на разграничение прав доступа к элементам формы Maks 13.04.2026 Алгоритм из решения ниже реализован на нетиповом документе, разработанного в конфигурации КА2. Задачи, как таковой, поставлено не было, проделанное ниже исключительно моя инициатива. Было так:. . .	Контроль заполнения и очистка дат в зависимости от значения перечислений Maks 12.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: реализовать контроль корректности заполнения дат назначения. . .

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

Решение