Как обращаться с ручным управлением памятью при переназначении указателя?

Question

Скажи мне что-то вроде этого:

int* arr = new int[30]; 
int* newArr = new int[30]; 
arr[15] = 5; 
newArr[15] = 9; 
arr = newArr; 
delete[] newArr; 

Последняя строка освободит newArr, тем самым освободив обр. Но что случилось с блоком памяти, который содержал 5? Это теперь утечка памяти, к которой никогда нельзя получить доступ? Если да, то как я должен позаботиться о том, чтобы эта память никогда не могла просочиться, и в то же время успешно переназначить исходный массив?

Answer 1

Последняя строка освободит newArr, тем самым освобождая arr

free(p) С, вы не освободив p, но блок памяти, на который указывает p.

---

С arr = newArr, вы по существу «потеряли след» динамически выделенный блок памяти, который был первоначально указываемой arr, что означает, что вы больше не можете освободить его на более позднем этапе выполнения вашей программы , следовательно, утечка памяти становится неизбежной.

Answer 2

int* arr = new int[30]; 
int* newArr = new int[30]; 
arr[15] = 5; 
newArr[15] = 9; 
arr = newArr; 
delete[] newArr; 

Последняя строка освободит newArr, тем самым освободив обр.

Не совсем. newArr и arr - это просто имена, которые указывают на блоки памяти. Вы действительно не «бесплатно newArr», вы освобождаете блок памяти, на который он указывает сейчас. Который в тот момент оказывается тем же самым блоком, который на данный момент указывает arr.

Но что случилось с блоком памяти, который содержал 5?

Он по-прежнему отмечен как использованный, но ничто в вашей программе никогда не сможет указать на него снова. Единственный указатель, который вам когда-либо был, был arr, но затем вы назначили arr чему-то еще.

Неужели это утечка памяти, к которой никогда нельзя получить доступ?

Точно.

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

Забудьте обо всем этом динамическом массиве бессмысленности и используйте std::vector.

std::vector<int> arr(30); 
std::vector<int> newArr(30); 
arr[15] = 5; 
newArr[15] = 9; 
arr = newArr;