Re: Access to classwide type

["David Botton" <David@Botton.com>]

You may have missed Pat Rogers answer:

>Have a look at package System.Storage_Pools.  You'll note that the
>primitives are abstract -- i.e., dispatching.

Perhaps this will help: Similar to C++ the memory allocation of an object is
a "method" of the object. So just like any "virtual" member of an object
that dispatches, so too the "delete" method.

It is as if you had:

type X is abstract tagged null record;

function Delete (O : X) is abstract;


Then a dispatching function like this is possible:

function Dispatch_Delete (O : X'Class) is
begin
    Delete (O);
end Dispatch_Delete;

delete in C++ and Ada.Unchecked_Deallocation are not like free in C

David Botton


<reason67@my-deja.com> wrote
>Like I said, I am betting it reads the 'size inside the
> unchecked deallocation at run-time and deleting the size it determines.