Re: Specialization

[Hyman Rosen <hyrosen@mail.com>]

Sergey Koshcheyev wrote:
 > As for ordinary new, it does return you a pointer to a
> fully initialized object, doesn't it?

As does placement new. It's one of those silly overloaded
C++isms again. There are two news. One is 'new-expression',
and it is this that returns a pointer to a fully initialized
object. The other is 'operator new' which returns a pointer
to allocated but uninitialized storage. The 'new-expression'
first calls 'operator new' to allocate storage, then builds
the initialized object(s) in that storage.

The key is that 'operator new' is actually an overloaded
family of functions. One of those overloads takes an extra
pointer parameter and simply returns it, and that is the
form generally known as 'placement new'. That is, ordinary
'operator new' calls malloc (essentially) to get storage
for the allocated object, while placement 'operator new'
simply hands back what you give it, namely previously
allocated storage.

The syntax of a 'new-expression' includes the ability to
specify additional parameters for 'operator new', which
allows it to use placement 'operator new'.