Что будет с указателем после использования операции delete?

@mariko_11 · Регистрация: 11.03.2013

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

Имеется код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
#include <iostream>
 
using namespace std;
 
int main()
{
    int *wtf_ptr;
 
    wtf_ptr=new int(8);
 
    cout << *wtf_ptr << "\t" << wtf_ptr << endl;
 
    delete wtf_ptr;
 
    cout << *wtf_ptr << "\t" << wtf_ptr << endl;
 
    cout << "Hello World!" << endl;
    return 0;
}

При выводе содержимого динамической переменной после применения delete вполне предсказуемо видим мусорное значение. Гораздо интереснее ситуация со значением адреса переменной, который хранится в указателе. И до уничтожения объекта, и после там хранится один и тот же адрес. Вопрос: а обязан ли ? То есть, каково В ОБЩЕМ СЛУЧАЕ значение указателя после применения к нему операции delete? А как обстоят дела с delete []?

Croessmah · 28.02.2014, 21:54

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

В ОБЩЕМ СЛУЧАЕ значение указателя после применения к нему операции delete?

тоже самое. Адрес не меняется

@mariko_11 · 28.02.2014, 21:55 **[ТС]**

Croessmah, Где это написано?

@DrOffset · 28.02.2014, 23:01

mariko_11,
В стандарте написано следующее (5.3.5/1):

The operand shall have a pointer to object type, or a class type having a single non-explicit conversionfunction (12.3.2) to a pointer to object type. The result has type void.

Т.к. delete-expression определяется как:

delete-expression:
::_optdelete cast-expression
::_optdelete [ ] cast-expression

и принимая во внимания процитированный абзац, легко сделать вывод, что delete-expression принимает нечто, что можно скастить к pointer to object type.
Смотрим что такое cast-expression (5.4/1):

The result of the expression (T) cast-expression is of type T. The result is an lvalue if T is an lvalue reference
type or an rvalue reference to function type and an xvalue if T is an rvalue reference to object type; otherwise the result is a prvalue.

Выделил наш случай, потому что каст к T='pointer to object type' подходит только под последнее условие.
Теперь осталось самое простое, посмотреть на prvalue (3.10/1):

— An rvalue (so called, historically, because rvalues could appear on the right-hand side of an assignment
expression) is an xvalue, a temporary object (12.2) or subobject thereof, or a value that is not associated
with an object.
— A prvalue (“pure” rvalue) is an rvalue that is not an xvalue.

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

ValeryS · 28.02.2014, 23:12

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

Вопрос: а обязан ли ?

да
DrOffset, привел ссылки на стандарт я попытаюсь по проще объяснить

C++
1
delete a;

это можно рассматривать как функцию принимающую аргументы по значению
в ассемблере это будет выглядеть так

C++
1
2
push a;
call delete;

delete работает с копией
так же как

C++
1
2
3
4
5
6
7
fnc(int a)
 {
 a=5;
}
.......................
int a1=0;
fnc(a1);

так же как и fnc не меняет значения a1 так и delete не меняет значения своего аргумента

Tulosba · 01.03.2014, 11:42

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

я попытаюсь по проще объяснить

Есть дом по адресу ул.Ленина, д.42. Его снесли. Дома нет, а адрес остался.
Понятно, что через некоторое время и адреса не останется, но это же происходит в программе, когда указатель выходит из области видимости.

ValeryS · 01.03.2014, 11:44

Не по теме:

Tulosba,
тоже правильно:good:

alsav22 · 01.03.2014, 20:58

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

Есть дом по адресу ул.Ленина, д.42. Его снесли. Дома нет, а адрес остался.
Понятно, что через некоторое время и адреса не останется, но это же происходит в программе, когда указатель выходит из области видимости.

Тут вопрос о другом.

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

То есть, каково В ОБЩЕМ СЛУЧАЕ значение указателя после применения к нему операции delete? А как обстоят дела с delete []?

Не о том, что происходит со значением указателя, когда указатель выходит из области видимости, а о том, что происходит со значением указателя после delete. Например, в других библиотеках есть указатели (guarded pointer), которые автоматически принимают значение null, когда объект, на который они указывают, удаляется (например в Qt: класс QPointer).

Tulosba · 01.03.2014, 22:07

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

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

так это и есть аналогия про снесенный дом (delete), а выход из области видимости уже потом.

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

класс QPointer

В другие библиотеки ходить даже не обязательно. Возьмите std::unique_ptr хотя бы.

alsav22 · 01.03.2014, 22:23

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

В другие библиотеки ходить даже не обязательно. Возьмите std::unique_ptr хотя бы.

Тем более. Для std::unique_ptr аналогия со снесённым домом подходит?

Croessmah · 01.03.2014, 22:36

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

Для std::unique_ptr аналогия со снесённым домом подходит?

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

alsav22 · 01.03.2014, 23:02

Не по теме:

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

конечно, потому что в какой-то книге учета сделают пометку что дома больше нет и место свободно.

Читаем аналогию Tulosba:

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

Его снесли. Дома нет, а адрес остался.

Подходит для, например, QPointer(std::unique_ptr не знаю)? Нет. Дом снесли, адрес стал null.

Tulosba · 01.03.2014, 23:15

alsav22, Вы зачем-то смешали всё в кучу. Никаких разговоров до Вашего сообщения #8 об умных указателях не было. Всё что хотел знать ТС, это что будет с сырым указателем после применения к нему оператора delete. И ответ был дан незамедлительно (#2), а потом в сообщении #4 он был развернут.

Croessmah · 01.03.2014, 23:16

Не по теме:

alsav22, от того что снесли дом, план города не поменялся. Он поменяется только когда кто-то соизволит им заняться(этакая обертка)

alsav22 · 01.03.2014, 23:21

Не по теме:

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

alsav22, от того что снесли дом, план города не поменялся. Он поменяется только когда кто-то соизволит им заняться(этакая обертка)

Это о чём? Причём здесь план города? Разговор об адресе дома: остаётся адес старым, когда дом сносят или меняется.

Добавлено через 2 минуты
Рзаговор о том, что если рассматривать обычный указатель, то аналогия с домом подходит, но есть (в других библиотеках, std::unique_ptr) указатели, к которым эта аналогия не подходит, вот и всё.

Croessmah · 01.03.2014, 23:25

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

указатели, к которым эта аналогия не подходит, вот и всё.

это не указатели, это обертки над ними!!!
И аналогия с домом как раз таки для них тоже подходит:
Строители сносят здание (delete).
Организация, которая это контролирует, помечает дом везде как снесенный и что тут ничего нет уже(обертка над указателем).

alsav22 · 01.03.2014, 23:32

Не по теме:

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

это не указатели, это обертки над ними!!!
И аналогия с домом как раз таки для них тоже подходит:
Строители сносят здание (delete).
Организация, которая это контролирует, помечает дом везде как снесенный и что тут ничего нет уже(обертка над указателем).

И что это меняет? Значение указателя меняется, после удаления объекта, с которым он связан, или остаётся прежним? Меняется. Я не обсуждаю вопрос: как и с помощью чего (обёртки или не обёртки).

Croessmah · 01.03.2014, 23:35

Не по теме:

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

Меняется.

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

@DrOffset · 01.03.2014, 23:38

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

И что это меняет? Значение указателя меняется, после удаления объекта, с которым он связан, или остаётся прежним? Меняется

Если оставаться в рамках темы, то значение указателя в такой обертке меняется ведь не потому что delete начинает себя вести по-другому, а потому что, грубо говоря, там написали код:

C++
1
2
delete a;
a = 0;

alsav22 · 01.03.2014, 23:41

Не по теме:

Возможно я не совсем правильно понял смысл 6-го поста Tulosba.

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

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

delete - не меняет адрес, в этом весь ответ.

Согласен.

Добавлено через 36 секунд

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

Если оставаться в рамках темы, то значение указателя в такой обертке меняется ведь не потому что delete начинает себя вести по-другому,

Согласен.

Новые блоги и статьи Все статьи Все блоги /
делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .

@mariko_11 2 / 2 / 1 Регистрация: 11.03.2013 Сообщений: 64
	28.02.2014, 21:55 [ТС]
	Croessmah, Где это написано? 0

ValeryS
	01.03.2014, 11:44
	Не по теме: Tulosba, тоже правильно:good: 0

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	01.03.2014, 23:15
	alsav22, Вы зачем-то смешали всё в кучу. Никаких разговоров до Вашего сообщения #8 об умных указателях не было. Всё что хотел знать ТС, это что будет с сырым указателем после применения к нему оператора delete. И ответ был дан незамедлительно (#2), а потом в сообщении #4 он был развернут. 0

Croessmah
	01.03.2014, 23:16
	Не по теме: alsav22, от того что снесли дом, план города не поменялся. Он поменяется только когда кто-то соизволит им заняться(этакая обертка) 0

Что будет с указателем после использования операции delete?

Решение