6 Basics [basic]

The name lookup rules apply uniformly to all names (including typedef-names ([dcl.typedef]), namespace-names ([basic.namespace]), and class-names ([class.name])) wherever the grammar allows such names in the context discussed by a particular rule.

Name lookup associates the use of a name with a set of declarations ([basic.def]) of that name.

If the declarations found by name lookup all denote functions or function templates, the declarations are said to form an overload set.

The declarations found by name lookup shall either all denote the same entity or form an overload set.

Overload resolution ([over.match], [over.over]) takes place after name lookup has succeeded.

The access rules ([class.access]) are considered only once name lookup and function overload resolution (if applicable) have succeeded.

Only after name lookup, function overload resolution (if applicable) and access checking have succeeded are the semantic properties introduced by the name's declaration and its reachable ([module.reach]) redeclarations used further in expression processing ([expr]).

A name “looked up in the context of an expression” is looked up in the scope where the expression is found.

The injected-class-name of a class ([class.pre]) is also considered to be a member of that class for the purposes of name hiding and lookup.