home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.std.c++
- Path: sparky!uunet!taumet!steve
- From: steve@taumet.com (Steve Clamage)
- Subject: Re: Pointer comparisons
- Message-ID: <1992Dec18.181029.1061@taumet.com>
- Organization: TauMetric Corporation
- References: <BzCG7K.2sG@frumious.uucp> <1992Dec16.202711.22367@bcrka451.bnr.ca> <BzDs2x.wA@frumious.uucp> <1992Dec17.151642.9954@bcrka451.bnr.ca>
- Date: Fri, 18 Dec 1992 18:10:29 GMT
- Lines: 19
-
- sjm@bcrki65.bnr.ca (Stuart MacMartin) writes:
-
- >In article <BzDs2x.wA@frumious.uucp> uunet.ca!frumious!pat writes:
- >>
- >> Two pointers to the same object compare equal. If two pointers
-
- >...but nowhere do I see a statement that (p == q) ==> p and q point
- >to the same object, even if p and q are the same type.
-
- Right. In the C Standard, it is stated explicitly that two pointers
- of the same type which compare equal point to the same object or
- function. There is no such statment for C++ in the ARM or in the
- current C++ Committee working draft.
-
- I believe this issue needs to be resolved. (Obviously, we need
- to exclude pointer-to-member from such a requirement.)
- --
-
- Steve Clamage, TauMetric Corp, steve@taumet.com
-