Re: Parsing C++

jlilley@empathy.com (John Lilley) writes:


>dlmoore@ix.netcom.com says...
>>One interesting thing about C++ is the "injection" rule which says that
>>a method defined in a class is compiled as if it immediately followed
>>the
>>class:
>>
>> int foo;
>> class A {
>> void bar()
>> {
>> foo x;
>> }
>> enum foo {bar,bletch};
>> };
>
>This is not entirely correct. You are not allowed to change the
>meaning of an identifier to a type after usage of the identifier has
>been encountered.


You're right that dlmoore@ix.netcom.com was not entirely correct:
you are not allowed to change the meaning of an identifier to a type
after a _declaration_ of the identifier has been encountered.
However, the current draft C++ standard allows code which uses type
names before those type names have been declared, so the meaning
of an identifier can change from "undeclared identifier" to "type name"
after the usage of that identifier.


--
Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3 | -- the last words of T. S. Garp.


            [ Send an empty e-mail to c++-help@netlab.cs.rpi.edu for info ]
            [ about comp.lang.c++.moderated. First time posters: do this! ]
--

Return to the comp.compilers page.
Search the comp.compilers archives again.