home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / std / cplus / 1991 < prev    next >
Encoding:
Text File  |  1993-01-07  |  1.6 KB  |  36 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: <1993Jan7.145511.718@lpi.liant.com>
  6. Sender: pkt@lpi (Scott Turner)
  7. Organization: Liant Software Corporation
  8. References: <1992Dec31.170223.21637@lpi.liant.com> <1993Jan05.003819.12515@microsoft.com> <1993Jan5.203237.28304@lpi.liant.com> <1993Jan06.194710.6913@microsoft.com>
  9. Date: Thu, 7 Jan 1993 14:55:11 GMT
  10. Lines: 24
  11.  
  12. In article <1993Jan06.194710.6913@microsoft.com>, jimad@microsoft.com (Jim Adcock) writes:
  13. > In article <1993Jan5.203237.28304@lpi.liant.com> pkt@lpi.liant.com (Scott Turner) writes:
  14. > |Yes.  An _other_ object is distinct, not identical to the object with which
  15. > |it shares storage. 
  16. > 
  17. > I still don't understand your [undefined] concepts of "distinctness"
  18. > and "identity"
  19.  
  20. I suspect the definition wouldn't matter to our issues of pointer comparison.
  21.  
  22. Also, I'm hesitant to try to define identity of objects.  The fundamental
  23. semantics of a programming language are typically specified by their 
  24. (1) operation, (2) denotation, or (3) axiomatically.  In (1) and (2) you
  25. start with a rigorous framework, which we don't even have an inkling of
  26. for C++.  In (3) you don't define the fundamentals, you specify how to 
  27. reason about them.
  28.  
  29. Identity of objects is more of the essence than storage, so it would be
  30. problematic to define the former in terms of the latter.
  31. --
  32. Prescott K. Turner, Jr.
  33. Liant Software Corp. (developers of LPI languages)
  34. 959 Concord St., Framingham, MA 01701 USA    (508) 872-8700
  35. UUCP: uunet!lpi!pkt                          Internet: pkt@lpi.liant.com
  36.