Указатель и стек

@k0vpack · Регистрация: 13.02.2018

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

Доброго времени суток, скажите мне, есть ли тут утечка?

C++
1
2
3
int *a = 123;
for(int i = 0; i < 1000000; i++)
int *b = a;

т.е. указатель b удалиться ли из памяти или нет?
Я понимаю что объект на который он указывает будет существовать (без delete) но сам указатель занимает 4-8 байт, будет ли тут каждый указатель b сохранен или при окончании итерации он удалится из памяти?

Vourhey · 13.07.2019, 15:00

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

123 это число (int), а записываем в указатель. Каст целое-указатель implementation-defined, за исключением каста указателя на объект в целое (если влезает) и обратно. Документация gcc говорит что всё, кроме требуемого стандартом минимума, UB.

Абсолютно не важно, как отработает каст. В рантайме от этого ничего не изменится. Писать мусор в память и падать там нечему и негде.

@rat0r · 13.07.2019, 15:05

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

В рантайме от этого ничего не изменится. Падать там нечему и негде.

Абсолютно не важно, будет что-то у кого-то падать.
Существуют вполне обычные, не экзотические, реализации, которые говорят, что каст произвольного целого к указателю это UB.

Vourhey · 13.07.2019, 21:34

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

Абсолютно не важно, будет что-то у кого-то падать.

Только это и важно. Это суть этой темы. Вот как раз, что не важно, так это как инты будут каститься в указатели. Ты отвечаешь без контекста. А у меня он есть:

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

Если сразу не закрешится, может поломать систему в некоторых архитектурах. Нельзя писать куда попало. А ваш указатель инициализируется мусором, то есть смотрит в непредсказуемое место. И в это место вы пишете 123. Это не должно хорошо кончиться. Но может. Тогда это назовут UB.

Здесь никакого UB нет. Мы с тобой говорим о соверешенно разных вещах. Ты рассуждаешь о строчках кода и возможном UB в нем. А я отвечаю на утверждение про запись мусора в память и про потенциальный крэш.

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

Существуют вполне обычные, не экзотические, реализации, которые говорят, что каст произвольного целого к указателю это UB.

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

IGPIGP · 13.07.2019, 21:48

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

А я отвечаю на утверждение про запись мусора в память

Я не говорил о записи мусора. Мне показалось, что код выглядит как-то так:

C++
1
2
3
4
int a=123,
*b;
for(i=0; i<10000; ++i)
*b=a;

Плохо вчитался, каюсь. Я не ожидал такого перла как int *a=123 потому что это не компилируемый код. Вот и решил, что происходит запись по не инициализированному указателю b (в котором адрес задан мусором) числа 123. И это подвигло меня написать то, что я написал.
Но как можно рассуждать о UB в коде, который не компилируется? Что касается несовпадения размеров то, кроме размеров указателей на методы у компиляторов майкрософт (не знаю у всех ли), мне не известны другие проблемные моменты. Но и это не важно. В конце концов и за сужающее преобразование отвечает программист. Тут необязательно даже, чтобы в указателе лежало 123, а важно чтобы лежало то, что нужно написавшему код. Предыстория и возможность того, что данная память принадлежит объекту другого типа и возможное нарушение алиэйзинг тоже не важно. Мы не знаем предыстории и не видим разыменования. Если кому-то нужно прочесть из данного указателя именно целое число 123, это его личное дело.

Vourhey · 13.07.2019, 22:25

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

Я не говорил о записи мусора. Мне показалось, что код выглядит как-то так:

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

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

Но как можно рассуждать о UB в коде, который не компилируется?

Да все нормально будет! Код как код, самый обычный

Новые блоги и статьи Все статьи Все блоги /
Транслитерация текста с кириллицы на латиницу (вариант №2) Maks 13.11.2026 Обновленная версия ранее созданной обработки. Добавлено: - Проверка исходного текста на кириллицу, через обращение к стандартной функции "ТолькоКириллицаВСтроке" из общего модуля. . .	Часы с термометром и праздничным календарем yariko 12.11.2026 Сегодня мы рассмотрим как можно сделать отличные многофункциональные часы. Итак, поставим конкретную задачу: разработать часы с календарем, двумя термодатчиками, выводом поздравительных сообщений. . .	Транслитерация текста с кириллицы на латиницу (вариант №1) Maks 11.11.2026 Решил облегчить жизнь себе и коллегам админам при создании электронных почтовых ящиков для пользователей, в результате написал обработку "Транслитерация текста" с кириллицы на латиницу, а в ней. . .	Книги по геймдизайну, левел-дизайну, игровым механикам и проектированию игрового опыта 8Observer8 08.11.2026 Содержание блога \| English Version 1. 2003 - 06 - Designing Virtual Worlds (1st Edition) Автор: Richard A. Bartle \| Объем: 768 стр. Ссылки: Amazon . . .
Родители токсичные абьюзеры по отношению к своим детям ругают их оскорбляют не любят zorxor 08.11.2026 Жить в атмосфере постоянных оскорблений, критики и холодности со стороны родителей — это тяжелое и болезненное испытание, которое оставляет глубокие эмоциональные раны. Токсичное и абьюзивное. . .	Как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Ответ от Джемени ИИ. zorxor 08.11.2026 Джемени, как только я захожу к себе в свою комнату я сразу же с себя снимаю свои трусы. Многие люди, возвращаясь домой, сразу переодеваются в максимально свободную одежду или вовсе предпочитают. . .	Паттерн очереди действий/команд (Action / Command Queue). Система очереди действий и кат-сцен с SDL3 Callbacks, cglm и OpenGL 8Observer8 07.11.2026 Содержание блога \| English Version Руководство для начинающих по реализации паттерна очереди действий/ команд (Action / Command Queue) на C++ (C++20) с использованием официального SDL3 Callbacks. . .	Проверка полного ФИО в типовом справочнике Maks 07.11.2026 Решение реализовано в конфигурации КА2, на примере справочника "КонтактныеЛицаПартнеров". Задача: Запрет инициалов. Не допускаеть использование сокращений вида "И. И. ", "И. И. ", "И И" и. . .