🚀 go-pugleaf

Steve Clamage (clamage@Eng.Sun.COM) wrote:

|> The results of using "delete" on a pointer value obtained from a placement-
|> new are undefined. Any result is allowed. It is invalid C++, but no
|> diagnostic is required.

Can this be true?  I always thought that the results of using delete
were to call the destructors, and then call operator delete().  If the
memory was not obtained by calling operator new( size_t ), then the
results are undefined, but in the example given, the memory was obtained
by the placement new calling operator new( size_t ).

Does this mean that I cannot delete memory obtained by:

	p = new ( nothrow() ) T ;

This would sort of make this version of new useless.
-- 
James Kanze           (+33) 88 14 49 00          email: kanze@gabi-soft.fr
GABI Software, Sarl., 8 rue des Francs Bourgeois, 67000 Strasbourg, France
Conseils en informatique industrielle--
                             --Beratung in industrieller Datenverarbeitung