typedef name question

[Daniel Lohmann]

Hi Michal,

John (Eljay) Love-Jensen wrote:
 > You are allowed to introduce identifiers in a scope that
 > shadow identifiers outside that scope.  Even in the
 > "foo foo;" case, where you are using an outer scope
 > identifier and in the process are introducing a new
 > identifier that shadows that self-same outer
 > scope identifier.

Just a small add-on:

In C++ you can easily test this rule and still access the outer identifier 
by explicitly looking it up in global namespace scope. The following 
compiles with g++:

// foo is defined in the global namespace
typedef int foo;

foo foo_fct(int a) {
    foo foo;              /* line 3: a variable foo with type foo */
    return (::foo)foo;    /* line 4: cast to outer foo */
}


Of course, this does not work with C.

Daniel