Re: Access to classwide type

[reason67@my-deja.com]

In article <8GRaL$AJ9PHa@eisner.decus.org>,

> In article <8li0m5$1i4$1@nnrp1.deja.com>, reason67@my-deja.com writes:
> > How in the heck does it do that? Does Ada.Unchecked_Deallocation
read
> > the tag and do a `size on the data structure to determine the size
of
> > the memory in heap to release? I am suprised by this. It is more
> > implicit than I am used to in Ada.

> If it works for access to a variant type, why shouldn't it work here ?
>

Big difference there. A variant record is defined at compile time. The
number of children on a tagged type can not be known until link time.
The machine code for the unchecked deallocation has to be static at
compile time. Like I said, I am betting it reads the 'size inside the
unchecked deallocation at run-time and deleting the size it determines.
---
Jeffrey


Sent via Deja.com http://www.deja.com/
Before you buy.