tmp/tmp3vaoxxg7/{from.md → to.md}
RENAMED
|
@@ -2,14 +2,15 @@
|
|
| 2 |
|
| 3 |
#### General <a id="basic.lookup.qual.general">[[basic.lookup.qual.general]]</a>
|
| 4 |
|
| 5 |
Lookup of an *identifier* followed by a `::` scope resolution operator
|
| 6 |
considers only namespaces, types, and templates whose specializations
|
| 7 |
-
are types. If a name, *template-id*,
|
| 8 |
-
by a `::`, it shall
|
| 9 |
-
dependent
|
| 10 |
-
|
|
|
|
| 11 |
|
| 12 |
[*Example 1*:
|
| 13 |
|
| 14 |
``` cpp
|
| 15 |
class A {
|
|
@@ -46,13 +47,13 @@ A *qualified name* is
|
|
| 46 |
- the terminal name of
|
| 47 |
- a *qualified-id*,
|
| 48 |
- a *using-declarator*,
|
| 49 |
- a *typename-specifier*,
|
| 50 |
- a *qualified-namespace-specifier*, or
|
| 51 |
-
- a *nested-name-specifier*, *
|
| 52 |
-
*class-or-decltype* that has a
|
| 53 |
-
[[expr.prim.id.qual]].
|
| 54 |
|
| 55 |
The *lookup context* of a member-qualified name is the type of its
|
| 56 |
associated object expression (considered dependent if the object
|
| 57 |
expression is type-dependent). The lookup context of any other qualified
|
| 58 |
name is the type, template, or namespace nominated by the preceding
|
|
|
|
| 2 |
|
| 3 |
#### General <a id="basic.lookup.qual.general">[[basic.lookup.qual.general]]</a>
|
| 4 |
|
| 5 |
Lookup of an *identifier* followed by a `::` scope resolution operator
|
| 6 |
considers only namespaces, types, and templates whose specializations
|
| 7 |
+
are types. If a name, *template-id*, *splice-scope-specifier*, or
|
| 8 |
+
*computed-type-specifier* is followed by a `::`, it shall either be a
|
| 9 |
+
dependent *splice-scope-specifier* [[temp.dep.splice]] or it shall
|
| 10 |
+
designate a namespace, class, enumeration, or dependent type, and the
|
| 11 |
+
`::` is never interpreted as a complete *nested-name-specifier*.
|
| 12 |
|
| 13 |
[*Example 1*:
|
| 14 |
|
| 15 |
``` cpp
|
| 16 |
class A {
|
|
|
|
| 47 |
- the terminal name of
|
| 48 |
- a *qualified-id*,
|
| 49 |
- a *using-declarator*,
|
| 50 |
- a *typename-specifier*,
|
| 51 |
- a *qualified-namespace-specifier*, or
|
| 52 |
+
- a *nested-name-specifier*, *reflection-name*,
|
| 53 |
+
*elaborated-type-specifier*, or *class-or-decltype* that has a
|
| 54 |
+
*nested-name-specifier* [[expr.prim.id.qual]].
|
| 55 |
|
| 56 |
The *lookup context* of a member-qualified name is the type of its
|
| 57 |
associated object expression (considered dependent if the object
|
| 58 |
expression is type-dependent). The lookup context of any other qualified
|
| 59 |
name is the type, template, or namespace nominated by the preceding
|