Предотвращение двойного удаления указателей

Question

У меня был vector<Points*> points; (size: 6 со всеми уникальными Points) в моей программе, в которой я повторял точки, чтобы нарисовать что-то на экране. Однако, согласно моим новым требованиям, я бы увеличил длину вектора до size: 14.

Новые элементы, которые должны были быть добавлены должны были быть от предыдущего 6Points, поэтому вместо того, чтобы выделить новую память, я думал, что только с помощью предыдущих указателей следующим образом:

while (currentSize < 14){ 
    int rndPoint = getRandomPoint(0, 5); //random index to choose from the vector 
    points->push_back(points[randPoint]); 
} 

В деструкторе класс, когда я для освобождения памяти, я делаю следующее:

for(int i=0;i<points.size(); ++i){ 
    if(points[i] != NULL){ 
    delete (points[i]); 
    } 
} 

Однако, когда я пытаюсь выйти из программы - я получаю ошибку нарушения доступа в контуре (в частности, когда i достигает индекса 6). Когда я уже удалил 6 уникальных точек, используя delete, почему это условие if (points[i] != NULL) приводит к true для i=6,7...13?

Answer 1

Причина в том, что при удалении другие ссылки на одну и ту же память не установлены на nullptr (или 0, pre C++ 11). Рассмотрим:

int *foo = new int; 
// foo should be non-nullptr now 
int *bar = foo; 
// bar should be non-nullptr now 
delete foo; 
// both foo and bar are still non-nullptr. 

Есть три способа решить вашу конкретную проблему:

1. Использование std::shared_ptr

2. Есть отдельный std::vector для уникальных случаях:

   std::vector<Point> unique_points; 
   std::vector<Point*> used_points; 
   
   // create all needed points *once* in unique_points 
   // insert pointers to the points in unique_points into used_points 
   

3. Просто сделайте копии.

Answer 2

Используйте умный указатель. Если источник вашей программы содержит delete, и он не находится в состоянии deleter для умного указателя, ваша программа не работает. (И почему, черт возьми, вы бы это сделали, а не std::default_deleter?).

Победитель «Лучшей награды Smart Pointer Award 2014» - std::unique_ptr, с почетным упоминанием для std::shared_ptr для тех случаев, когда вы должны просто скопировать указатель.

Правило нуля означает, что вам вряд ли когда-либо понадобится реализовать деструктор/etc самостоятельно, так как вы всегда должны использовать общие классы управления ресурсами для управления им самостоятельно.

Answer 3

Общий ответ заключается в том, что при использовании динамической памяти у вас есть ПЛАН для очистки.

Один из планов состоит в том, чтобы использовать различные формы стандартных указателей указателей шаблонов библиотеки (как описано выше). Однако есть и другие способы сделать это.

«Лучший» план зависит от типа приложения. Например, когда вы используете некоторые структуры графиков, подсчет ссылок может не работать, если этот метод работает с другими типами структур.

Например, если вы пытаетесь сделать подсчет ссылок, когда у вас есть

A points to B. 
B points to C and D 
C and D points to E 
E points to B 

Это дает следующие эталонные счетчики

B 2 C 1 D 1 E 2

разрушив link A-> B дает эти контрольные количества

B 1 C 1 D 1 E 2

без ссылки на конструкцию, поэтому он никогда не будет удален.

Выберите лучший план для вашей ситуации.