Как понять, что в C ++ удален указатель

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

вызов delete для указателя не устанавливает сам указатель в NULL (зачем это нужно? Вы поймете, что он не может этого сделать, учитывая подпись delete, т.е. он принимает void*, а не void**).

Зачем тебе (думаешь, что тебе) это нужно? Вам не нужно обнаруживать эту ситуацию, просто структурируйте свой код так, чтобы память освобождалась детерминированно.

Вы не «удаляете» указатель, вы удаляете то, что он адресует.

Организуйте свой код следующим образом:

{
    int* a = new int;
    *a = 5;
    delete a;
}
// a no longer exists so you know it is gone.

PS. Предпочитайте никогда не использовать указатели RAW.

{
   // C++03
   std::auto_ptr<int> a(new int);
   *a = 5;
}

Or

{
   // C++11
   std::unique_ptr<int> a(new int);
   *a = 5;
}

Удаление указателя не установит его в NULL, оно удалит память, на которую указывает указатель. Даже если вы исследуете память, вы не сможете понять, свободна она или нет. Другими словами, проверить, указывает ли указатель на «доступную» память, непросто, и уж точно не так просто, как a == NULL.

Вот почему считается хорошей практикой установить указатель на NULL, как только вы освободите память, на которую он указывает:

int* a = new int;
*a = 5;
delete a;
a = NULL;

if (!a)                      //I also tried a == NULL but got same result     
    cout<<"deleted"<<endl;
else
    cout<<"not deleted"<<endl;

Почему бы не использовать valgrind для экспериментального «доказательства» отсутствия утечек памяти в приложении - доказательства того, что все узлы были удалены, а их содержимое удалено?

Valgrind запускает приложение на виртуальной машине и отслеживает все выделения и отмены выделения в куче. Он сообщает о любых недействительных доступах к памяти и может быть настроен на отчет о количестве утечек памяти (выделенная вручную память, которая не освобождена).

Простой факт заключается в следующем: C ++ - небезопасный язык.

И это хорошо. Если вы используете C ++, вы хотите контролировать, когда у вас есть безопасность, как она у вас есть и где вы хотите быть небезопасными.

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

Если вы создаете структуру данных, вам решать, насколько безопасной должна быть эта структура данных. Обратите внимание, что структуры данных стандартной библиотеки C ++ позволяют итераторам (обобщенным указателям) становиться недействительными при определенных условиях. Это возлагает на пользователя ответственность знать, что они делают.

Выигрыш от этого - высокая производительность. Если вам не нужна такая производительность, вам нужно использовать более безопасный контейнер или структуру данных. Если вам нужна такая безопасность, вам следует использовать умный указатель для элементов в вашей структуре данных. Пользователь должен получить shared_ptr<> или weak_ptr<> объекты, которые ссылаются на узлы, а не на голые указатели. И так далее.

C ++ небезопасен. Конечно, это небезопасно; это C ++. Но это хорошо.