tmp/tmpaqghsz8r/{from.md → to.md}
RENAMED
|
@@ -21,12 +21,12 @@ In qualified function calls, the name to be resolved is an
|
|
| 21 |
construct `A->B` is generally equivalent to `(*A).B`, the rest of
|
| 22 |
Clause [[over]] assumes, without loss of generality, that all member
|
| 23 |
function calls have been normalized to the form that uses an object and
|
| 24 |
the `.` operator. Furthermore, Clause [[over]] assumes that the
|
| 25 |
*postfix-expression* that is the left operand of the `.` operator has
|
| 26 |
-
type “
|
| 27 |
-
|
| 28 |
following the rules for looking up names in classes (
|
| 29 |
[[class.member.lookup]]). The function declarations found by that lookup
|
| 30 |
constitute the set of candidate functions. The argument list is the
|
| 31 |
*expression-list* in the call augmented by the addition of the left
|
| 32 |
operand of the `.` operator in the normalized member function call as
|
|
|
|
| 21 |
construct `A->B` is generally equivalent to `(*A).B`, the rest of
|
| 22 |
Clause [[over]] assumes, without loss of generality, that all member
|
| 23 |
function calls have been normalized to the form that uses an object and
|
| 24 |
the `.` operator. Furthermore, Clause [[over]] assumes that the
|
| 25 |
*postfix-expression* that is the left operand of the `.` operator has
|
| 26 |
+
type “cv `T`” where `T` denotes a class[^3]. Under this assumption, the
|
| 27 |
+
*id-expression* in the call is looked up as a member function of `T`
|
| 28 |
following the rules for looking up names in classes (
|
| 29 |
[[class.member.lookup]]). The function declarations found by that lookup
|
| 30 |
constitute the set of candidate functions. The argument list is the
|
| 31 |
*expression-list* in the call augmented by the addition of the left
|
| 32 |
operand of the `.` operator in the normalized member function call as
|