From: Matthew J Heaney <mheaney@on2.com>
Subject: Re: Access to classwide type
Date: 2000/07/25
Date: 2000-07-25T00:00:00+00:00 [thread overview]
Message-ID: <7rem4ix8wl.fsf@butter.albany.duck.com> (raw)
In-Reply-To: 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.
More or less, yes. The language mandates that the Ada run-time has to
keep track of the specific type being designated by the
(pointer-to-class-wide) access object.
This means Unchecked_Deallocation is guaranteed to work. It even calls
the Finalize operation on controlled objects.
prev parent reply other threads:[~2000-07-25 0:00 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-07-23 0:00 Access to classwide type reason67
2000-07-24 0:00 ` David Botton
2000-07-24 0:00 ` reason67
2000-07-24 0:00 ` Pascal Obry
2000-07-24 0:00 ` Pat Rogers
2000-07-24 0:00 ` Larry Kilgallen
2000-07-24 0:00 ` reason67
2000-07-24 0:00 ` David Botton
2000-07-24 0:00 ` Larry Kilgallen
2000-07-24 0:00 ` David Starner
2000-07-25 0:00 ` Laurent Guerby
2000-07-25 0:00 ` Matthew J Heaney [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox