[cfe-dev] Error name lookup in template dependant base class

[Adrien Chauve]

Ok then, thank you very much John and Matt for your answers. I'm convinced!!

Is it a known error in "C++ Templates: The Complete Guide", or am I getting
it wrong?

Thanks again,
Adrien

P.S.: Matt, it seems that you replied only to me, but your quote was really
nice so I copy it here:

>From the standard [temp.dep]:

" In the definition of a class or class template, if a base class depends on
a template-parameter, the base class
scope is not examined during unqualified name lookup either at the point of
definition of the class template
or member or during an instantiation of the class template or member"



On Tue, Dec 14, 2010 at 23:05, John McCall <rjmccall at apple.com> wrote:

> On Dec 14, 2010, at 2:01 PM, John McCall wrote:
> > On Dec 14, 2010, at 1:33 PM, Adrien Chauve wrote:
> >> I don't think the problem is ADL here. The name of the function call is
> a dependant name, so the unqualified lookup is delayed until instanciation:
> it's not ADL, it's just delayed ordinary lookup. At instanciation time and
> when all explicit template specializations are available, lookups can be
> done in the base class to find members.
> >
> > Well, no, they can't.  This is what we're all trying to explain.  The
> standard is extremely explicit about this:
> >
> > C++ [temp.dep.res]p1:
> >  In resolving dependent names, names from the following sources are
> considered:
> >  — Declarations that are visible at the point of definition of the
> template.
> >  — Declarations from namespaces associated with the types of the function
> arguments both from the instantiation context and from the definition
> context.
>
> This is actually not the part of the standard I meant to quote, although it
> does apply.  The better quote is [temp.dep.candidate]p1:
>
>  For a function call that depends on a template parameter, the candidate
> functions are found using the usual lookup rules except that:
>  — For the part of the lookup using unqualified name lookup or qualified
> name lookup, only function declarations from the template definition context
> are found.
>  — For the part of the lookup using associated namespaces, only function
> declarations found in either the template definition context or the template
> instantiation context are found.
>
> John.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20101215/93fa6057/attachment.html>