Skip to content

Commit 860c700

Browse files
[basic.lookup.unqual] Clarify conversion-function-id components lookup
1 parent b34b337 commit 860c700

File tree

1 file changed

+8
-6
lines changed

1 file changed

+8
-6
lines changed

source/basic.tex

+8-6
Original file line numberDiff line numberDiff line change
@@ -1777,13 +1777,15 @@
17771777
such a name undergoes unqualified name lookup from the point where it appears.
17781778

17791779
\pnum
1780-
An unqualified name that is a component name\iref{expr.prim.id.unqual} of
1780+
Lookup for an unqualified name $U$
1781+
that is a component name\iref{expr.prim.id.unqual} of
17811782
a \grammarterm{type-specifier} or \grammarterm{ptr-operator} of
1782-
a \grammarterm{conversion-type-id} is looked up in the same fashion
1783-
as the \grammarterm{conversion-function-id} in which it appears.
1784-
If that lookup finds nothing, it undergoes unqualified name lookup;
1785-
in each case, only names
1786-
that denote types or templates whose specializations are types are considered.
1783+
a \grammarterm{conversion-type-id} $T$ considers only names
1784+
that denote types or templates whose specializations are types.
1785+
If $T$ appears in a \grammarterm{conversion-function-id} that is a qualified name
1786+
whose lookup context\iref{basic.lookup.qual} is a class $S$,
1787+
lookup for $U$ performs a search in the scope associated with $S$;
1788+
if that lookup finds nothing, $U$ undergoes unqualified name lookup.
17871789
\begin{example}
17881790
\begin{codeblock}
17891791
struct T1 { struct U { int i; }; };

0 commit comments

Comments
 (0)