new, delete и указатель

@ps10n1ck · Регистрация: 10.11.2010

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

имеется примерно следующий код:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
int *p1;
int *p2;
int *ptr;
 
......
// выделение памяти под массив (где-то в начале)
int *p1 = new int[10];
ptr = p1
 
.......
 
// далее необходимо перевыделение памяти для нового массива
if(ptr == p1) {
  p2 = new int[NEWSIZE];
  memcpy(p2, p1, sizeof(int)*TOTAL_ELEMENTS);
  delete [] p1;
}
else { // ptr == p2
  p1 = new int[NEWSIZE];
  memcpy(p1, p2, sizeof(int)*TOTAL_ELEMENTS);
  delete [] p2;
}
 
.....
 
delete [] ptr; // ?????

вопрос в следующем:
т.к. я не знаю какой массив останется на конечном этапе выполнения программы, мне нужно освободить занятую им память, освободится ли память если я буду удалять через указатель ptr?
По идее указатель ptr указывает на начало массива и применение delete [] ptr должно освободить занятую память массивом p1 или p2 в зависимости от того, на какой массив указывает ptr. Или я ошибаюсь...
Голова уже вообще не варит, пойти бы выспаться, но мучает данный вопрос =)
p.s: Про класс vector знаю - нужен ответ именно по данной ситуации.

alsav22 · 10.09.2012, 03:10

Код не понятен.

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

else { // ptr == p2
p1 = new int[NEWSIZE];
memcpy(p1, p2, sizeof(int)*TOTAL_ELEMENTS);
delete [] p2;
}

Здесь p2 на что указывает?

Добавлено через 2 минуты
Условие для if непонятно. Если выше ptr = p1;, то захода в else никогда не будет. В чём идея?

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

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

освободится ли память если я буду удалять через указатель ptr?

Если смотреть на код, как он есть сейчас, то в 26 строке будет освобождение памяти, которая уже освобождена в 16.

@ps10n1ck · 10.09.2012, 03:25 **[ТС]**

блин, провтыкал часть кода =)

C++
1
2
3
4
5
6
7
8
9
10
11
12
if(ptr == p1) {
  p2 = new int[NEWSIZE];
  memcpy(p2, p1, sizeof(int)*TOTAL_ELEMENTS);
  ptr = p2;
  delete [] p1;
}
else { // ptr == p2
  p1 = new int[NEWSIZE];
  memcpy(p1, p2, sizeof(int)*TOTAL_ELEMENTS);
  ptr = p1;
  delete [] p2;
}

опишу проще:

C++
1
2
3
4
5
6
int *ptr;
int *p;
 
p = new int[10];
ptr = p;
delete [] ptr;

в данном случае память занимаемая p = new int[10] удаляется насколько я понимаю?

@Toshkarik · 10.09.2012, 03:33

ps10n1ck, само собой.

alsav22 · 10.09.2012, 03:51

Насчёт этого, надеюсь, в курсе?

C++
1
2
3
4
5
6
7
8
int *ptr;
int *p;
 
p = new int[10];
ptr = p;
 
delete [] p; 
delete [] ptr; // ошибка

@cmath · 10.09.2012, 06:02

Не по теме:

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

Насчёт этого, надеюсь, в курсе?

:):good:

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

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

//

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
далее необходимо перевыделение памяти для нового массива
if(ptr == p1) {
* p2 = new int[NEWSIZE];
* memcpy(p2, p1, sizeof(int)*TOTAL_ELEMENTS);
* delete [] p1;
}
else { // ptr == p2
* p1 = new int[NEWSIZE];
* memcpy(p1, p2, sizeof(int)*TOTAL_ELEMENTS);
* delete [] p2;
}
.....
delete [] ptr; // ?????

C++
1
 

если первая ветка прошла, то ваш ptr станет NULL. Вам компилятор еще не выдал ошибку?

@PSIAlt · 10.09.2012, 07:31

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

....

Ну как минимум, проблема в следующем: скопировав один блок памяти через memcpy и освободив его через delete[], ты вызовешь деструкторы всех обьектов которые были в изначальном блоке. Соответственно если обьекты делают new/delete, открывают файлы и вообще какое-нибудь RAII - все сломаетя, т.к. обьекты в новом блоке памяти будут указывать на ресурсы, которые освобождены в момент delete[] на первый блок. Выход - честное копирование обьектов. Для int не актуально, но вдруг... )

@cmath · 10.09.2012, 07:52

Не по теме:

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

ptr станет NULL

про NULL: изв. не то вставил из буфера. Должно было быть: перестанет указывать блок. Редактировал пост коряво изв. Только сейчас заметил. (там еще есть не правильно поставленный тег для кода C++, тоже помарка, новый Opera Next обкатываю, еще пока что глючит (надо сбросить настройки наверное)):pardon:

@ps10n1ck · 10.09.2012, 10:18 **[ТС]**

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

Насчёт этого, надеюсь, в курсе?

C++
1
2
3
4
5
6
7
8
int *ptr;
int *p;
 
p = new int[10];
ptr = p;
 
delete [] p; 
delete [] ptr; // ошибка

про это знаю, спасибо=)

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

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

На первый пост не обращайте внимания, т.к. провтыкал часть кода - смотрим сразу 3-й пост =). А вообще спасибо за помощь, мне просто нужно было знать могу ли я через присвоение другому указателю потом освободить память занятую под массив.

@cmath · 10.09.2012, 10:59

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

На первый пост не обращайте внимания, т.к. провтыкал часть кода - смотрим сразу 3-й пост =). А вообще спасибо за помощь, мне просто нужно было знать могу ли я через присвоение другому указателю потом освободить память занятую под массив.

Вообще схема примерно такая: у первого элемента выделеного блока памяти есть адрес. Когда мы пишем p = new int[10]; это значит, что мы в указатель "загнали" адрес начала выделенного блока.
Вы можете написать и так: new int[10]; компилятор ошибки не выдаст, но работать с новым блоком вы не сможете, а также и удалить его. Не важно имя указателя, который вы передаете для освобождения блока оператору delete. Важно его содержимое, с которым оператор работает. Вы можете адрес записать хоть в сотне указателей, а потом использовать любой из них для работы с блоком. Блок-то так и останется один.

@ps10n1ck · 10.09.2012, 11:06 **[ТС]**

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

Вообще схема примерно такая: у первого элемента выделеного блока памяти есть адрес. Когда мы пишем p = new int[10]; это значит, что мы в указатель "загнали" адрес начала выделенного блока.
Вы можете написать и так: new int[10]; компилятор ошибки не выдаст, но работать с новым блоком вы не сможете, а также и удалить его. Не важно имя указателя, который вы передаете для освобождения блока оператору delete. Важно его содержимое, с которым оператор работает. Вы можете адрес записать хоть в сотне указателей, а потом использовать любой из них для работы с блоком. Блок-то так и останется один.

спасибо, это знаю.

Хотелось бы узнать, или почитать как работает выделение памяти с new и delete? Как и где хранится количество элементов для массива, и откуда delete знает как удалить блок памяти из нескольких элементов. В общем, хотелось бы почитать как работает new и delete, какова их реализация.

@cmath · 10.09.2012, 11:52

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

Хотелось бы узнать, или почитать как работает выделение памяти с new и delete? Как и где хранится количество элементов для массива, и откуда delete знает как удалить блок памяти из нескольких элементов. В общем, хотелось бы почитать как работает new и delete, какова их реализация.

Не по теме:

Наберите в поисковике "куча & new" и узнайте ответ на ваш вопрос.:)

Если я правильно понял, то система как-то делит память на занятую и свободную. Оператор new отмечает ячейки блока как занятые (наверное есть флаги какие-нибудь), delete же помечает ячейки как свободные, зануляя содержимое. Вот, кстати, ссылочку нашел. Может пригодится.

Новые блоги и статьи Все статьи Все блоги /
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 На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

@Toshkarik 1181 / 894 / 94 Регистрация: 03.08.2011 Сообщений: 2,461
	10.09.2012, 03:33
	ps10n1ck, само собой. 0