Re: generic question

["Alex R. Mosteo" <devnull@mailinator.com>]

Pascal Obry wrote:

> Matthew Heaney a �crit :
>> Storage pools are associated with named access types.  (I think it's
>> possible to allocate using an anonymous access type, but to me that's
>> thoroughly confusing and so I have never attempted to do so.)
> 
> Yes of course:
> 
>    C : access Integer;
>    ...
>    C := new Integer'(12);
> 
>> With anonymous access types the programmer must maintain the
>> association between allocated instance and its pool.  You can only
>> allocate from a pool, and you must deallocate to the same pool from
>> which you allocated, so at some point there needs to be a conversion
>> between the anonymous access type and the named access type (with which
>> the storage pool is associated).
> 
> I do not follow. The conversion will change nothing:
> 
> 1. you allocate an anonymous access from a "compiler specific pool A"
> 
> 2. you convert the anonymous access type to a named access type : NAT
> 
> 3. you deallocate NAT from a "compiler specific pool B"
> 
> This will allocate and deallocate on different pool. And AFAIK there is
> no way to specify the anonymous access type pool.
> 
> I don't see a solution to that problem at the moment...
> or I'm confused :)

I think Matthew meant (and I certainly did in my other post):

type AI is access Integer;

function Get_Some return access Integer is
   Local : constant AI := new Integer'(...);
begin
   return Local;
   --  Instead of return new Integer'();
end Get_Some;

and then you convert back to AI for deallocation. This way you allocate and
deallocate from AI'Storage_Pool.

I'm not sure about what use cases this can be useful though...