Re: Emulating placement new

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

* Dmitry A. Kazakov:

> On Sun, 29 Jul 2012 15:56:27 +0200, Florian Weimer wrote:
>
>> Is there a way to specify a storage pool (or something similar) on the
>> allocator, and not on the access type?

> Maybe something like this:
>
>    function Allocate_In (Pool : in out Root_Storage_Pool'Class)
>        return not null access T is
>        type T_Ptr is access T;
>        for T_Ptr'Storage_Pool use Pool;
>        Ptr : T_Ptr;
>    begin
>        Ptr := new T;
>        return Ptr.all'Unchecked_Access;
>    end Allocate_In;

This doesn't work for unconstrained types.