home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.std.c++
- Path: sparky!uunet!stanford.edu!lucid.com!lucid.com!jss
- From: jss@lucid.com (Jerry Schwarz)
- Subject: Re: Ambiguity in member pointer declaration
- Message-ID: <1992Dec16.211648.4858@lucid.com>
- Sender: usenet@lucid.com
- Reply-To: jss@lucid.com (Jerry Schwarz)
- Organization: Lucid, Inc.
- References: <PNORI.92Dec14161301@hyperion.lsi-j.co.jp> <PNORI.92Dec16132118@hyperion.lsi-j.co.jp>
- Date: Wed, 16 Dec 92 21:16:48 GMT
- Lines: 24
-
- In article <PNORI.92Dec16132118@hyperion.lsi-j.co.jp>, pnori@lsi-j.co.jp (Pochi NORIMATSU) writes:
- |> In article <1992Dec15.011359.17235@lucid.com> jss@lucid.com (Jerry Schwarz) writes:
- jss:
- |> > The grammar
- |> > doesn't contain any rules that derive a declarator starting with "::".
- |> > And that omission is deliberate.
-
-
- pnori:
- |> But in ARM section 8.2.3, it says that the declarator representing a
- |> pointer to members has the form
- |>
- |> complete-class-name :: * cv-qualifier-list<opt> D1
- |>
- |> And complete-class-name can start with ::. Or is it typo?
-
-
- pnori is right. This grammar path does lead to a declarator that begins
- with a "::". I suspect this is an oversight. Since, as the original
- item pointed out, it also leads to an ambiguity it is something the
- standards committee should address. I think it should be made illegal
- on the grounds of my original comment.
-
- -- Jerry Schwarz
-