home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / std / cplus / 1975 < prev    next >
Encoding:
Text File  |  1993-01-05  |  2.9 KB  |  74 lines
  1. Newsgroups: comp.std.c++
  2. Path: sparky!uunet!titan!lpi!pkt
  3. From: pkt@lpi.liant.com (Scott Turner)
  4. Subject: Re: pointer comparisons
  5. Message-ID: <1993Jan5.203237.28304@lpi.liant.com>
  6. Sender: pkt@lpi (Scott Turner)
  7. Organization: Liant Software Corporation
  8. References: <1992Dec27.050118.1628@lpi.liant.com> <1992Dec30.184614.5551@microsoft.com> <1992Dec31.170223.21637@lpi.liant.com> <1993Jan05.003819.12515@microsoft.com>
  9. Date: Tue, 5 Jan 1993 20:32:37 GMT
  10. Lines: 62
  11.  
  12. In article <1993Jan05.003819.12515@microsoft.com>, jimad@microsoft.com (Jim Adcock) writes:
  13. > In article <1992Dec31.170223.21637@lpi.liant.com> pkt@lpi.liant.com (Scott Turner) writes:
  14. > |In article <1992Dec30.184614.5551@microsoft.com> (Jim Adcock) writes:
  15. > |> Can you define your terms for us?
  16. > |
  17. > |> "distinct objects" means what?
  18. > |It means the objects are not identical.  
  19. > 
  20. > Which only leaves the issue of object identity.
  21.  
  22. Which is where I wish to leave the issue, willing to trust for the present
  23. that objects which I wish distinct will be distinct.  This trust rests on
  24.  
  25.       1. The status of distinct objects as objects.
  26.  
  27.       2. The guarantee of 1.3 that an object occupies at least 1 byte
  28.          of storage.
  29.  
  30.       3. The implementation's duty to reserve storage for objects.
  31.  
  32. If anyone can think of an example in which I am likely to be diappointed
  33. and end up surprised with indistinct objects, I'd be grateful to see it.  
  34. (Implementations which don't do their duty aren't necessarily a surprise.)
  35.  
  36. > Lots of other things remain unclear.  If a definition or a new expressions
  37. > reserves the storage needed by an object, when and when not can other
  38. > objects use this storage? [this is a trick question ;-]
  39.  
  40. I was responding to clarify a possible feature of pointer comparison.
  41. To clarify everything is beyond me.
  42.  
  43. > |    The constructs in a C++ program create, refer to, access, and
  44. > |    manipulate objects in memory.  Each object (except bit-fields)
  45. > |    occupies one or more contiguous bytes.
  46. > 
  47. > Can other objects occupy those bytes?
  48.  
  49. Yes.  An _other_ object is distinct, not identical to the object with which
  50. it shares storage.  For example, given
  51.     int x[9];
  52. then the bytes occupied by the objects x and x[2] overlap.
  53.  
  54. > |    Does it govern base class subobjects?  As I understand it,
  55. > |    base class subobjects are objects, and hence are covered.
  56. > 
  57. > As I understand it, base class subobjects are NOT objects, because [...]
  58. > Further it would violate the overlapping objects rule.  
  59.  
  60. What rule?
  61.  
  62. > Also, it would imply that deriving some class from some base class can cause
  63. > a change in behavior of an "object" of that base class, and such flies
  64. > in the face of reason [IMHO].  
  65.  
  66. If some class declares a virtual function, it's asking to be changeable.
  67. --
  68. Prescott K. Turner, Jr.
  69. Liant Software Corp. (developers of LPI languages)
  70. 959 Concord St., Framingham, MA 01701 USA    (508) 872-8700
  71. UUCP: uunet!lpi!pkt                          Internet: pkt@lpi.liant.com
  72.  
  73.  
  74.