Re: newbie: can't read fast enough... :-) memory leaks...

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Wed, 03 Sep 2014 22:32:51 -0700, Jeffrey Carter wrote:

> On 09/03/2014 09:57 PM, Brad Moore wrote:
>> 
>>      declare
>>         type String_Access is access String;
>>         A, B : String_Access;
>>      begin
>>         A := new String'("String 1");
>>         B := new String'("String 2");
>>         ... -- Operate on the data.
>>      end;
>>      -- A and B are automatically freed here because the String_Access
>>      -- is finalized since the scope of the declaration of the access
>>      -- type is being exited, and finalizing an access type also
>>      -- finalizes its collection (allocated objects designated by that
>>      -- type).
>> 
>> This is a nice way to free up a bunch of objects that are no longer needed, if
>> it can be guaranteed that the objects are only needed in a nested scope. I like
>> this better than garbage collection, because the
>> deallocation occurs more consistently, when and where it is needed.
>> I view this as being less error prone, if one is able to take advantage of this
>> approach.
> 
> Recent comments here in another thread indicate that this only works if
> 'Storage_Size is defined for the access type.

An arena pool would do the job. The Storage_Pool attribute would statically
ensure that the access type won't outlive the pool.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de