Re: Emulating placement new

[Florian Weimer <fw@deneb.enyo.de>]

* Robert A. Duff:

> 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.

Interesting.  But think this goes into the wrong direction.  The owner
pool still controls the allocation, Allocate_From_Subpool dispatches
on the master pool, not the subpool.  So I'd still need a special
access type type inject the owner pool.