From 9f10790b3cc214961b0d5cd20b36accce2b3738a Mon Sep 17 00:00:00 2001 From: languagelawyer <38548419+languagelawyer@users.noreply.github.com> Date: Tue, 19 Apr 2022 11:06:01 +0300 Subject: [PATCH] [expr.call] Clarify the value of this --- source/expressions.tex | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/source/expressions.tex b/source/expressions.tex index 6710c39aeb..156465953f 100644 --- a/source/expressions.tex +++ b/source/expressions.tex @@ -3197,10 +3197,12 @@ int x = f(); // error: no argument for second function parameter \end{codeblock} \end{example} -If the function is an implicit object member -function, the \keyword{this} parameter of the function\iref{expr.prim.this} -is initialized with a pointer to the object of the call, converted -as if by an explicit type conversion\iref{expr.cast}. +If the function is an implicit object member function, +the object for which it is invoked\iref{expr.prim.this} +is the object which would be pointed to by the result +of an explicit type conversion\iref{expr.cast} +on a pointer pointing to the result of the \termref{object expression} +to the type of \keyword{this} in the body of the function. \begin{note} There is no access or ambiguity checking on this conversion; the access checking and disambiguation are done as part of the (possibly implicit)