comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Preventing Unchecked_Deallocation?
Date: Tue, 07 Feb 2012 18:10:22 -0500
Date: 2012-02-07T18:10:22-05:00	[thread overview]
Message-ID: <wccehu6qly9.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: ac4ac2b3-602e-4733-b231-f800fc508a02@y10g2000vbn.googlegroups.com

Alan Copeland <acopeland01@gmail.com> writes:

> On Feb 7, 4:30�pm, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
>> I don't understand that last sentence. �You don't need pointers
>> (access types) to call primitive operations.
>
> Sure, but from a practical standpoint, what other choice is there?
> You can't save the actual object Z off into an element of both X and Y
> (otherwise you would have two separate objects), so you have to save
> an access value.  That way primitive ops of X and Y can both call
> primitive ops on the same Z.  Unless I'm missing something...

If you want X and Y to share the same Z, then yes, they have to
point at it in some way.  But I still don't see what that has
to do with primitive ops.

You also often need pointers when working with class-wide
objects (you can't have a component type T'Class,
directly).

- Bob



  reply	other threads:[~2012-02-07 23:10 UTC|newest]

Thread overview: 37+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-02-02 23:41 Preventing Unchecked_Deallocation? Simon Belmont
2012-02-04 14:40 ` AdaMagica
2012-02-05 16:42   ` Simon Belmont
2012-02-06 12:52     ` Julian Leyh
2012-02-06 16:05       ` Adam Beneschan
2012-02-06 16:21     ` Adam Beneschan
2012-02-06 18:34       ` AdaMagica
2012-02-07  0:14       ` Simon Belmont
2012-02-07  2:19         ` Shark8
2012-02-07 16:39           ` Robert A Duff
2012-02-07 11:42         ` Gautier write-only
2012-02-07 21:11           ` Simon Belmont
2012-02-07 21:30             ` Robert A Duff
2012-02-07 22:23               ` Simon Wright
2012-02-07 23:07                 ` Robert A Duff
2012-02-08  8:43                   ` Simon Wright
2012-02-08 15:06                     ` Robert A Duff
2012-02-09  2:22                     ` Randy Brukardt
2012-02-09  7:28                       ` Simon Wright
2012-02-07 23:06               ` Alan Copeland
2012-02-07 23:10                 ` Robert A Duff [this message]
2012-02-09  2:49         ` Randy Brukardt
2012-02-09  3:39           ` Jeffrey Carter
2012-02-09 15:47             ` Adam Beneschan
2012-02-09 19:16               ` Jeffrey Carter
2012-02-09  7:37           ` Simon Wright
2012-02-10  1:08             ` Randy Brukardt
2012-02-10  7:35               ` Simon Wright
2012-02-07  6:26     ` Jeffrey Carter
2012-02-08  8:49       ` Maciej Sobczak
2012-02-08 23:40         ` BrianG
2012-02-09  2:57         ` Randy Brukardt
2012-02-09  7:13           ` Pascal Obry
2012-02-10  1:12             ` Randy Brukardt
2012-02-09  8:08           ` Maciej Sobczak
2012-02-10  1:18             ` Randy Brukardt
2012-02-07 16:27     ` 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