Re: Deallocation via class-wide pointer

["Norman H. Cohen" <ncohen@watson.ibm.com>]

Simon Wright wrote:
 
> I have a type T and a class-wide pointer:
> 
>   type T is tagged with null record;
>   type TP is access T'Class;
> 
> I have a queue of T's (and, of course, types extended from T) to
> process. The individual objects are allocated dynamically and put into
> some Queue package, which manages TP's.
> 
> What I want to do is to pop the objects off the queue, process them
> (via some appropriate dispatching operation) and then deallocate the
> memory.
> 
> For the life of me I can't see how to get to call
> 
>   type TPP is access T;
>   procedure Free is new Unchecked_Deallocation (T, TPP);

Instantiate Ada.Unchecked_Deallocation as follows instead:

   procedure Free is 
      new Ada.Unchecked_Deallocation (T'Class, TP);

The resulting Free can be used to deallocate anything that was allocated
by an allocator of the form
   new T'Class(x)  
appearing in a context where a value of type TP is expected.  (The value
x in this allocator is allowed to belong to any specific type descended
from T.)

-- 
Norman H. Cohen
mailto:ncohen@watson.ibm.com
http://www.research.ibm.com/people/n/ncohen