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

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

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

Имеется код:

C++

#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++

delete a;

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

C++

1 2	push a; call delete;

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

C++

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 начинает себя вести по-другому,

Согласен.

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,737 Записей в блоге: 1
	28.02.2014, 21:54	2
	Сообщение от mariko_11 В ОБЩЕМ СЛУЧАЕ значение указателя после применения к нему операции delete? тоже самое. Адрес не меняется 0

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

@DrOffset 18893 / 9850 / 2410 Регистрация: 30.01.2014 Сообщений: 17,293
	28.02.2014, 23:01	4
	Сообщение было отмечено mariko_11 как решение Решение 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, никак не изменяется. 1

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	01.03.2014, 11:42	6
	Сообщение от ValeryS я попытаюсь по проще объяснить Есть дом по адресу ул.Ленина, д.42. Его снесли. Дома нет, а адрес остался. Понятно, что через некоторое время и адреса не останется, но это же происходит в программе, когда указатель выходит из области видимости. 2

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

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	01.03.2014, 20:58	8
	Сообщение от Tulosba Есть дом по адресу ул.Ленина, д.42. Его снесли. Дома нет, а адрес остался. Понятно, что через некоторое время и адреса не останется, но это же происходит в программе, когда указатель выходит из области видимости. Тут вопрос о другом. Сообщение от mariko_11 То есть, каково В ОБЩЕМ СЛУЧАЕ значение указателя после применения к нему операции delete? А как обстоят дела с delete []? Не о том, что происходит со значением указателя, когда указатель выходит из области видимости, а о том, что происходит со значением указателя после delete. Например, в других библиотеках есть указатели (guarded pointer), которые автоматически принимают значение null, когда объект, на который они указывают, удаляется (например в Qt: класс QPointer). 0

Tulosba :) 4773 / 3267 / 497 Регистрация: 19.02.2013 Сообщений: 9,046
	01.03.2014, 22:07	9
	Сообщение от alsav22 указатель выходит из области видимости, а о том, что происходит со значением указателя после delete. так это и есть аналогия про снесенный дом (delete), а выход из области видимости уже потом. Сообщение от alsav22 класс QPointer В другие библиотеки ходить даже не обязательно. Возьмите std::unique_ptr хотя бы. 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	01.03.2014, 22:23	10
	Сообщение от Tulosba В другие библиотеки ходить даже не обязательно. Возьмите std::unique_ptr хотя бы. Тем более. Для std::unique_ptr аналогия со снесённым домом подходит? 0

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,737 Записей в блоге: 1
	01.03.2014, 22:36	11
	Сообщение от alsav22 Для std::unique_ptr аналогия со снесённым домом подходит? конечно, потому что в какой-то книге учета сделают пометку что дома больше нет и место свободно. Причем сделают это явно без людей, которые этот дом сносили 0

alsav22
	01.03.2014, 23:02 #12
	Не по теме: Сообщение от Croessmah конечно, потому что в какой-то книге учета сделают пометку что дома больше нет и место свободно. Читаем аналогию Tulosba: Сообщение от Tulosba Его снесли. Дома нет, а адрес остался. Подходит для, например, QPointer(std::unique_ptr не знаю)? Нет. Дом снесли, адрес стал null. 0

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

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

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	01.03.2014, 23:21	15
	Не по теме: Сообщение от Croessmah alsav22, от того что снесли дом, план города не поменялся. Он поменяется только когда кто-то соизволит им заняться(этакая обертка) Это о чём? Причём здесь план города? Разговор об адресе дома: остаётся адес старым, когда дом сносят или меняется. Добавлено через 2 минуты Рзаговор о том, что если рассматривать обычный указатель, то аналогия с домом подходит, но есть (в других библиотеках, std::unique_ptr) указатели, к которым эта аналогия не подходит, вот и всё. 0

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,737 Записей в блоге: 1
	01.03.2014, 23:25	16
	Сообщение от alsav22 указатели, к которым эта аналогия не подходит, вот и всё. это не указатели, это обертки над ними!!! И аналогия с домом как раз таки для них тоже подходит: Строители сносят здание (delete). Организация, которая это контролирует, помечает дом везде как снесенный и что тут ничего нет уже(обертка над указателем). 1

alsav22
	01.03.2014, 23:32 #17
	Не по теме: Сообщение от Croessmah это не указатели, это обертки над ними!!! И аналогия с домом как раз таки для них тоже подходит: Строители сносят здание (delete). Организация, которая это контролирует, помечает дом везде как снесенный и что тут ничего нет уже(обертка над указателем). И что это меняет? Значение указателя меняется, после удаления объекта, с которым он связан, или остаётся прежним? Меняется. Я не обсуждаю вопрос: как и с помощью чего (обёртки или не обёртки). 0

Croessmah
	01.03.2014, 23:35 #18
	Не по теме: Сообщение от alsav22 Меняется. delete - не меняет адрес, в этом весь ответ. Адрес может поменять стороннее средство, а не delete, тем более я могу написать обертку, которая, например, будет оставлять адрес прежним, так что это зависит уже не от delete 0

alsav22 5498 / 4893 / 831 Регистрация: 04.06.2011 Сообщений: 13,587
	01.03.2014, 23:41	20
	Не по теме: Возможно я не совсем правильно понял смысл 6-го поста Tulosba. Добавлено через 1 минуту Сообщение от Croessmah delete - не меняет адрес, в этом весь ответ. Согласен. Добавлено через 36 секунд Сообщение от DrOffset Если оставаться в рамках темы, то значение указателя в такой обертке меняется ведь не потому что delete начинает себя вести по-другому, Согласен. 0

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

Решение