Re: Emulating placement new

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Florian Weimer <fw@deneb.enyo.de> writes:

> Is there a way to specify a storage pool (or something similar) on the
> allocator, and not on the access type?

Ada 2012 has such a feature.  Instead of:

    X := new T'(This => 123, That => 456);

which allocates in T's storage pool, you can say:

    X := new (My_Pool) T'(This => 123, That => 456);

which allocates in My_Pool.

Look up "subpools" in the Ada 2012 RM for details.

For "placement new", you will want to write a pool
that takes an address-to-allocate-at as a discriminant.

- Bob