From: news.crd.ge.com!e7sa!groleau@uunet.uu.net (Wes Groleau x1240 C73-8)
Subject: Re: Generic Pointer Type
Date: 9 Sep 93 14:59:06 GMT [thread overview]
Message-ID: <CD3DMI.JJA@crdnns.crd.ge.com> (raw)
In article <EMERY.93Sep8133649@goldfinger.mitre.org> emery@goldfinger.mitre.org
(David Emery) writes:
>There is no guarantee *within the language* that any unchecked
>conversion will have any meaning. In particular, there are systems
>where you *cannot* convert between arbitrary access types in any
>meaningful sense. For instance, access to scalar may be the address
>of the object, but access to array may be a structure holding the
>first index, length and address of the first element. .......
This reminds me of another mistake made by many: doing an unchecked conversion
between an access type for an object and the address of an object of the same
type. Even if access types are addresses (they USUALLY are...) the access to
an array is often the address of a structure like the one David mentioned,
while the address of the array is actually the address of the array.
next reply other threads:[~1993-09-09 14:59 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-09-09 14:59 Wes Groleau x1240 C73-8 [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-09-09 17:44 Generic Pointer Type Bev in R. Brett
1993-09-08 19:25 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!progers
1993-09-08 18:36 David Emery
1993-09-08 15:51 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!progers
1993-09-07 19:18 dog.ee.lbl.gov!agate!howland.reston.ans.net!usc!elroy.jpl.nasa.gov!swrind
1993-09-07 15:58 Norman H. Cohen
1993-09-04 0:17 Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox