Re: Deallocating list of polymorphic objects?

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Michael Rohan" <mrohan@ACM.ORG> writes:

> Since I want the deallocation to be dispatching, it needs to take an
> access parameter which is then converted to a pointer for the object
> being deallocated, e.g., an Integer_Pointer, and then passed to an
> Unchecked_Deallocation procedure.

You don't need to do all that by hand.  It's OK to pass
access-to-classwide to Unchecked_Deallocation.  It will do
the necessary dispatching internally.

But, to be safe, you should ensure that the result type of each "new" is
the same as the type passed to Unchecked_Deallocation.

- Bob