О операции удаления в C ++ [duplicate]

Механика заключается в том, что удаление просто сообщает системе, что память больше не нужна и может быть повторно использована для использования снова. Никаких других действий не предпринимается. Это является основой ошибок использования после сбоев в раскрытии информации о безопасности. Программисту необязательно не использовать память снова.

С этой целью RAII - это один из способов попытаться уменьшить инциденты этой проблемы.

Вам не повезло.

В другой раз вам может повезти, и вы сильно столкнетесь, что вызовет проблему.

Доступ к памяти, которую вы delete d, не является чем-то, что вы когда-либо должны делать. В C ++ вы не должны этого делать, потому что компилятор не остановит вас.

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

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

Однако даже при этом вы все равно можете столкнуться с случаями где вы вынуждаете плохие вещи, например:

    std::unique_ptr<Foo> p(new Foo);
    p->foo();
    p.reset(0);
    p->foo();

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

template <typename T>
class CheckedSharedPtr {
    std::shared_ptr<T> ptr_;
public:
    //...
    T * operator -> () const {
        if (ptr_ == 0) {
            //...throw something
        }
        return ptr_.operator->();
    }
};

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

Когда вы вызываете delete на объект, память, используемая этим объектом, становится доступной для использования другим использованием new (или, действительно, любым, что использует кучу). До этого времени удаленный объект может (или может not ) сохранить свое предыдущее значение. Но в конце концов, по мере того, как ваша программа будет запущена, память, используемая удаленным объектом , будет перезаписана , а затем, если повезет, произойдет плохая вещь: ваша программа потерпит крах. Если вам не повезло, программа не будет разбиваться, пока она не будет развернута в поле.