Unqualified name lookup doubt (ISO/IEC-14882:2003 3.4.1/13)

[murali.desikan]

Hi,

[I posted this in comp.std.c++ but the post never appeared. So trying
here]

ISO/IEC 14882:2003 Section 3.4.1/13 has the following

[...] Names declared in the outermost block of the function definition
are not found when looked up in the scope
of a handler for the function-try-block. [Note: but function parameter
names are found. ]

I thought the following example illustrated the above point but all
the compilers (gcc 3.4.2, MS VC++ 2005, Comeau online compiler) I
tried it with accept the code without any errors.

int main()
{
int x;

try {
// ...
}
catch(...) {
int i = x; // Should lookup of 'x' fail here???
//...
}

return 0;
}

Please explain what the above sentence from 3.4.1/13 really implies
(possibly with a small code example).

Thanks,
Murali

[murali.desikan]

On Feb 6, 2:27 am, Pete Becker <[e-mail]:

This isn't a function-try-block. A function-try-block is a rather
unusual creature. Here's an example from the standard:

Thanks for the clarification. Guess I have to be more careful in
reading the standard since each term has a precise meaning.

Thanks,
Murali

[murali.desikan]

On Feb 6, 2:28 am, Erik Wikström <[e-mail]:

>
I do not know what they mean by that sentence but what you have is not a
function-try-block, just a try-block. A function try block looks
something like this:

Thanks for the inputs. Based on this, I think the sentence from
3.4.1/13 becomes clear. Since the entire block of the function
definition in a function-try-block corresponds to a try block, any
declaration in that block will not be found in the scope of a handler
for that block.

Thanks,
Murali