[expr.call] Clarify the value of this #5399
Conversation
|
The automatic check fails. Also, I'm not convinced this is a net clarification. |
I've used
Any details? |
jensmaurer
added
the
changes requested
| 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 |
There was a problem hiding this comment.
Why "would"? There is nothing hypothetical here. The member function is invoked for a certain subobject (or possibly the entire object) of the object designated by the object expression.
There was a problem hiding this comment.
Why "would"? There is nothing hypothetical here.
We don't do any code transformations or anything else to make this conversion «really exist».
There was a problem hiding this comment.
We do convert the object expression to the type of the base class, and the result of that transformation is the value of "this" inside the member function, in my view.
wg21bot
added
the
needs rebase
There is no such thing as «
thisparameter of the function», after all