Особенность указателей

@alaksion · Регистрация: 28.03.2015

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

Всем привет, есть вот такой код:

C++
1
2
3
4
5
6
7
8
        
char* s1 = new char[5];
strcpy_s(s1, 5, "some");
char* s2 = s1;
delete s1;
if (s1 == s2) {
    cout << "true ???" << endl;
}

Собственно вопрос - гарантируется ли что после delete значение в s1 сразу-же изменится или это зависит от конкретной операционной системы ?

@oleg-m1973 · 12.07.2020, 18:41

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

Собственно вопрос - гарантируется ли что после delete значение в s1 сразу-же изменится или это зависит от конкретной операционной системы ?

s1 после delete не изменится. Просто удалится его содержимое.

@alaksion · 12.07.2020, 18:54 **[ТС]**

oleg-m1973, s1 - адрес в памяти на 1 элемент массива, после delete сразу же "затирается" значение ? или ос помечает что адрес s1 свободен для записи и не понятно, когда изменится ?

@oleg-m1973 · 12.07.2020, 19:00

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

или ос помечает что адрес s1 свободен для записи и не понятно, когда изменится ?

Да, примерно так. Содержимое памяти, на которое указывает s1 не изменится, пока туда кто-нибудь что-нибудь не запишет.
Только не путай указатель и содержимое указателя. У тебя (s1 == s2) всегда будет true, а вот (*s1 == *s2) не всегда.

@alaksion · 12.07.2020, 19:18 **[ТС]**

oleg-m1973, Теперь я окончательно запутался. Как можно проверять что по указателю произвели delete ?
К примеру есть 2 массива: 1) Указателей 2) списков из этих указателей
Идея была удалять элемент из первого массива и в будущем делать проверку на delete во втором

@oleg-m1973 · 12.07.2020, 19:24

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

oleg-m1973, Теперь я окончательно запутался. Как можно проверять что по указателю произвели delete ?

Правильно, нельзя. Но, так ты задал вопрос.

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

Идея была удалять элемент из первого массива и в будущем делать проверку на delete во втором

Так не получится. Надо использовать std::shared_ptr/std::weak_ptr

@TRam_ · 12.07.2020, 19:36

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

после delete сразу же "затирается" значение ?

Нет. Просто сразу после delete любое обращение к разыменованному указателю может привести к вылету программы. Не всегда, и с некоторой вероятностью, но суть остаётся. Ровно то же самое относится и к обращению s1[5] или s1[6] до delete (оно может как пройти незамеченным при отладке, так и вызывать вылет).

А вот сами адреса в указателях ничего сравнивать не мешает, вне зависимости от того, на какую область памяти эти адреса указывают. if (s1 == s2) можешь делать когда угодно. Вот только тебе не это нужно для сравнения строк, содержащихся по адресам в указателях. Гугли strcmp и strcpy

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

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

или ос помечает что адрес s1 свободен для записи и не понятно

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

@argcargv · 13.07.2020, 05:13

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

Собственно вопрос - гарантируется ли что после delete значение в s1 сразу-же изменится

Да, причём значение изменится и у s1, и у s2:

Сообщение от https://timsong-cpp.github.io/cppwp/n4659/basic.stc#4

When the end of the duration of a region of storage is reached, the values of all pointers representing the address of any part of that region of storage become invalid pointer values.

---

Сообщение от oleg-m1973

s1 после delete не изменится

И это неправильный ответ.

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

А вот сами адреса в указателях ничего сравнивать не мешает

Ну-ну.

@oleg-m1973 · 13.07.2020, 10:52

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

И это неправильный ответ.

Да? И в чём же его "неправильность"?

@argcargv · 13.07.2020, 11:29

Сообщение от oleg-m1973

И в чём же его "неправильность"?

Кого — его?

@oleg-m1973 · 13.07.2020, 11:38

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

И вот думаешь, то ли правда настолько читать не умеют, то ли это хуцпа такая особенная: спрашивать, в чём неправильность сразу после достаточно подробного пояснения — в чём.

Ты своё что-ли "пояснение" называешь подробным? Которое "ну-ну"?
Ты хотя бы различаешь, что такое значение указателя и что такое содержимое памяти, на которую он указывает?

@argcargv · 13.07.2020, 11:43

Сообщение от oleg-m1973

Ты своё что-ли "пояснение" называешь подробным? Которое "ну-ну"?

Выше "---" глаза не поднимаются?

Сообщение от oleg-m1973

Ты хотя бы различаешь, что такое значение указателя и что такое содержимое памяти, на которую он указывает?

Да, а ты?

@TRam_ · 13.07.2020, 11:46

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

become invalid pointer values

Значения получат статус "полученные по недопустимому указателю".

Но это вообще никак не определяет, какими именно они будут. Нет, если используется отладочная куча, то new/delete будут заполнят память специальными значениями ( https://docs.microsoft.com/en-... ew=vs-2019 ) но в случае выключения всего этого значения в памяти не будут меняться при освобождении - это очень нерационально в плане производительности.

@hoggy · 13.07.2020, 11:46

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

Собственно вопрос - гарантируется ли что после delete значение в s1 сразу-же изменится или это зависит от конкретной операционной системы ?

гарантируется, что оно не изменится

значение переменной s1 - адрес объекта.
объект был удален, и значит его адрес уже не валидный.

однако указатель об этом не знает ничего не знает.
он по прежнему содержит тот же самый адрес уже убитого объекта.

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

Как можно проверять что по указателю произвели delete ?

в общем случае - никак.

в частных случаях делаешь так:

C++
1
2
delete ptr;
ptr = nullptr;

присваиваешь указателю нуль.
доступ по указателю:

C++
1
2
if(ptr)
    ptr->work();

@argcargv · 13.07.2020, 11:51

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

become invalid pointer values

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

Значения получат статус "полученные по недопустимому указателю".

Ну это вообще пушка.

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

гарантируется, что оно не изменится

В каком месте?

@alaksion · 13.07.2020, 11:51 **[ТС]**

Проверил на большом массиве, пикрилл выполнялся всегда. Вот мне и стало интересно, зависит ли код от ОС / компилятора

@argcargv · 13.07.2020, 11:54

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

Вот мне и стало интересно, зависит ли код от ОС / компилятора

Можно сказать что поведение твоего кода зависит от реализации. Вот весь параграф [basic.stc]/4:

Сообщение от https://timsong-cpp.github.io/cppwp/n4659/basic.stc#4

When the end of the duration of a region of storage is reached, the values of all pointers representing the address of any part of that region of storage become invalid pointer values. Indirection through an invalid pointer value and passing an invalid pointer value to a deallocation function have undefined behavior. Any other use of an invalid pointer value has implementation-defined behavior.³⁷

37) Some implementations might define that copying an invalid pointer value causes a system-generated runtime fault.

@hoggy · 13.07.2020, 11:57

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

В каком месте?

в стандартном.

@argcargv · 13.07.2020, 11:58

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

в стандартном.

Это ты так теперь свой "здраый смысл" называешь? Стандартным местом.

@TRam_ · 13.07.2020, 11:59

alaksion, так ты можешь сравнивать указатели вообще с какими угодно значениями. Да хоть даже так:

C++
1
2
3
char* s1 = 0x1234;
char* s2 = 0x4321;
cout << (s1==s2)<<endl;

и это будет абсолютно корректно с точки зрения синтаксиса и исполнения.

Добавлено через 53 секунды
Но я почти абсолютно уверен, что тебе не то сравнение нужно.

Новые блоги и статьи Все статьи Все блоги /
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .
Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .

Особенность указателей

Решение

Решение

@alaksion 0 / 0 / 0 Регистрация: 28.03.2015 Сообщений: 32
	12.07.2020, 18:54 [ТС]
	oleg-m1973, s1 - адрес в памяти на 1 элемент массива, после delete сразу же "затирается" значение ? или ос помечает что адрес s1 свободен для записи и не понятно, когда изменится ? 0

@alaksion 0 / 0 / 0 Регистрация: 28.03.2015 Сообщений: 32
	12.07.2020, 19:18 [ТС]
	oleg-m1973, Теперь я окончательно запутался. Как можно проверять что по указателю произвели delete ? К примеру есть 2 массива: 1) Указателей 2) списков из этих указателей Идея была удалять элемент из первого массива и в будущем делать проверку на delete во втором Миниатюры 0

@alaksion 0 / 0 / 0 Регистрация: 28.03.2015 Сообщений: 32
	13.07.2020, 11:51 [ТС]
	Проверил на большом массиве, пикрилл выполнялся всегда. Вот мне и стало интересно, зависит ли код от ОС / компилятора Миниатюры 0