Re: virtual destructors

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

Stephen Leake <Stephe.Leake@nasa.gov> writes:

> In general, the compiler can use different storage pools for each
> access type. 

True, but in the following example, there is only one access type:
CBase.  So both the "new" and the "Free" will be referring to the same
storage pool, namely CBase'Storage_Pool, so all is well.

> If you do:
> 
> A : CBase := new Derived'();
> 
> and then later:
> 
> Free (A);
> 
> The compiler might allocation from CDerived_Storage_Pool, and then
> deallocate from CBase_Storage_Pool. Very bad. 

To get in trouble, you have to do a type conversion.

- Bob