[cfe-dev] Explaining unqualified lookup in templates
bmerry at gmail.com
Wed Apr 4 10:40:04 PDT 2012
On 4 April 2012 19:35, Richard Smith <richard at metafoo.co.uk> wrote:
> Notionally, yes, name lookup occurs at the point of instantiation. But that
> doesn't mean that name lookup finds names which have been declared since the
> template was defined. The relevant section is 126.96.36.199:
> "For a function call that depends on a template parameter, the candidate
> functions are found using the usual
> lookup rules (3.4.1, 3.4.2, 3.4.3) except that:
> — For the part of the lookup using unqualiﬁed name lookup (3.4.1) or
> qualiﬁed name lookup (3.4.3), only
> function declarations from the template deﬁnition context are found.
> — For the part of the lookup using associated namespaces (3.4.2), only
> function declarations found in
> either the template deﬁnition context or the template instantiation context
> are found."
Thanks, that's the piece of the puzzle I was missing.
Dr Bruce Merry
bmerry <@> gmail <.> com
More information about the cfe-dev