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

@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 в коде, который не компилируется?

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

Новые блоги и статьи Все статьи Все блоги /
Администрация Хабра удаляет новые алгоритмы, которые не западно ориентированной философии кода, без уведомлений и объяснений. Hrethgir 20.06.2026 Делается это, как замечено, при правках - при объявлении концептуальных отличий в алгоримах. Делается это, по линейке событий - после дополнения публикации основными отличиями от основных западных. . .	Процесс ориентированная диалектика (не новость - просто системное обновление, философия). Hrethgir 20.06.2026 Однажды один участник в своём блоге, на этом форуме, сделал запись "О языках замолвите слово". Понимая, что язык - важная вещь, я решил хорошо подумать, прежде чем сказать, и сказал то, что вы видите. . .	Контроль уникальности строк в табличной части документа Maks 18.06.2026 Алгоритм из решения ниже разработан на примере нетипового документа "ПланированиеСпецтехники" с табличной частью "НаличиеОборудования", разработанного в КА2. Задача: контроль уникальности строк в. . .	Клиент Uhbif79 18.06.2026 Здесь простой клиент для работы с сервером.
Сервер Uhbif79 18.06.2026 Выкладываю простейший сервер.	Дефенестрация kumehtar 18.06.2026 Узнал интересное слово. Дефенестрация. Это когда ты выбрасываешь кого-либо или что-либо из окна. Возьму на вооружение)))	Дихотомия добра и зла kumehtar 18.06.2026 Как Дзен-буддисты говорят о добре и зле: не нужно воевать против зла, нужно воевать против невежества. Тогда добро станет ествественным, и поэтому вечным. Но дело в том, что невежество всё время. . .	Своя Интернет-Компания iceja 18.06.2026 Я программист с экономическим образованием, пишу свой проект, это SaaS для бизнесов. Мне нужен co-founder с высшим экономическим образованием, и/ или инвестор. Сейчас проект в интенсивной разработке,. . .