home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / std / cplus / 1969 < prev    next >
Encoding:
Text File  |  1993-01-04  |  1.6 KB  |  40 lines
  1. Newsgroups: comp.std.c++
  2. Path: sparky!uunet!microsoft!hexnut!jimad
  3. From: jimad@microsoft.com (Jim Adcock)
  4. Subject: Re: pointer comparisons
  5. Message-ID: <1993Jan05.002547.12038@microsoft.com>
  6. Date: 05 Jan 93 00:25:47 GMT
  7. Organization: Microsoft Corporation
  8. References: <1992Dec27.050118.1628@lpi.liant.com> <1992Dec30.184614.5551@microsoft.com> <1992Dec31.152700.21521@lpi.liant.com>
  9. Lines: 29
  10.  
  11. In article <1992Dec31.152700.21521@lpi.liant.com> pkt@lpi.liant.com (Scott Turner) writes:
  12. |"Same type" is a term used repeatedly in the ARM.  It has its limitations,
  13. |but is adequate for my purpose.
  14.  
  15. "Defined by use"?  How about a "real" definition?
  16.  
  17. |"Point to distinct objects" would imply two things:
  18. |(1) Each operand points to one object (not a function, and is not null or
  19. |    invalid).
  20. |(2) The objects are not identicial.  I hope to say more about this in 
  21. |    another article.
  22.  
  23. Presumably distinct objects are not identical and objects that are not
  24. identical are distinct? ;-)  I hope you will tell us more about this
  25. later!
  26.  
  27. |The case I'm concerned with is limited to "objects of that type", i.e.
  28. |each operand points to a properly constructed object of type A (which may
  29. |be a subobject of an enclosing object constructed with a different type).
  30.  
  31. Define "subobject" and "enclosing now."
  32.  
  33. |"Compare not equal" is self-evident; the C standard uses the same kind
  34. |of wording.  It means that the result of the operator != is 1 (TRUE) and
  35. |the result of the operator == is 0 (FALSE).
  36.  
  37. "Compare not equal" was self-evident in C because C has a clearly stated
  38. object model with well-defined object identity.  No such luck in C++.
  39.  
  40.