Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!usc!wuarchive!uunet!microsoft!jimad
From: jimad@microsoft.UUCP (Jim ADCOCK)
Newsgroups: comp.std.c++
Subject: operator delete modifying pointers?
Message-ID: <70879@microsoft.UUCP>
Date: 25 Feb 91 22:05:14 GMT
Reply-To: jimad@microsoft.UUCP (Jim ADCOCK)
Organization: Microsoft Corp., Redmond WA
Lines: 12

ARM page 63 seems to be saying that implementations are permitted that
change pointer values as a result of a delete.  For example, doing a 
delete on a pointer might cause a pointer to be set to zero, so that
a deleted object may not be sucessfully accessed via the deleted pointer
after delete.

Is this true?

If so, shouldn't overloaded operator deletes also support a first parameter
of reference-to-void-pointer, so that programmers can implement their own
operator deletes that change pointers to null [or some other value]
as a side-effect of deleting via that pointer?