From: bobduff@world.std.com (Robert A Duff)
Subject: Re: limited/non-limited in Ada95
Date: 1997/10/21
Date: 1997-10-21T00:00:00+00:00 [thread overview]
Message-ID: <EIFE35.377@world.std.com> (raw)
In-Reply-To: mheaney-ya023680001810971645020001@news.ni.net
In article <mheaney-ya023680001810971645020001@news.ni.net>,
Matthew Heaney <mheaney@ni.net> wrote:
>declare
> D : aliased DT;
> O : T (D'Unchecked_Access);
>begin
>
>Will that do what you want?
The problem is that as soon as you use 'Unchecked_Access, you lose the
nice properties of access discriminants for preventing dangling
references. Given the above, somebody might assign "Global := O;",
creating a dangling ref, whereas that won't happen if it were an access
discrim.
- Bob
next prev parent reply other threads:[~1997-10-21 0:00 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-10-13 0:00 limited/non-limited in Ada95 Tom Moran
1997-10-16 0:00 ` Matthew Heaney
1997-10-17 0:00 ` Jon S Anthony
1997-10-18 0:00 ` Matthew Heaney
1997-10-21 0:00 ` Jon S Anthony
1997-10-21 0:00 ` Robert Dewar
1997-10-21 0:00 ` Jon S Anthony
1997-10-22 0:00 ` Robert Dewar
1997-10-22 0:00 ` Jon S Anthony
1997-10-21 0:00 ` Robert A Duff
1997-10-22 0:00 ` Jon S Anthony
1997-10-23 0:00 ` Fergus Henderson
1997-10-23 0:00 ` Jon S Anthony
1997-10-23 0:00 ` Jon S Anthony
1997-10-24 0:00 ` Geert Bosch
1997-10-22 0:00 ` Robert Dewar
1997-10-22 0:00 ` Jon S Anthony
1997-10-18 0:00 ` Tom Moran
1997-10-18 0:00 ` Matthew Heaney
1997-10-19 0:00 ` Tom Moran
1997-10-19 0:00 ` Matthew Heaney
1997-10-21 0:00 ` Tom Moran
1997-10-21 0:00 ` Matthew Heaney
1997-10-21 0:00 ` Robert A Duff [this message]
1997-10-21 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox