RE: [boost] RE: any_cast and Koenig lookup (was: Boosting boost)

From: Jim.Hyslop (jim.hyslop_at_[hidden])
Date: 2001-10-29 10:04:06

Peter Dimov [SMTP:pdimov_at_[hidden]] wrote:
> From: "Jens Maurer" <Jens.Maurer_at_[hidden]>
> > Whatever Comeau does, I believe it should invoke Koenig lookup
> > for code like this:
> >
> >     f<int>(x);
> 
> ... I don't agree here. "the postfix-expression" here is "f<int>", which
is
> not, I think, an "unqualified name." It's a template-id. So, by this
> interpretation, 3.4.2 doesn't allow argument dependent lookup to occur.

According to the grammar at the beginning of 5.1, an unqualified-id consists
of (among other possibilities) a template-id, so 3.4.2 should allow argument
dependent lookup, when 5.1/11 is removed (per DR 122). Or have I missed
something?

-- 
Jim