Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[expr.call] Incorrect reference to "this parameter" #3811

Open
sdkrystian opened this issue Feb 28, 2020 · 3 comments
Open

[expr.call] Incorrect reference to "this parameter" #3811

sdkrystian opened this issue Feb 28, 2020 · 3 comments

Comments

@sdkrystian
Copy link
Contributor

sdkrystian commented Feb 28, 2020 •
edited

[expr.call] p7 states:

[...] If the function is a non-static member function, the this parameter of the function is initialized with a pointer to the object of the call, converted as if by an explicit type conversion.

Seems to be some forgotten wording, the correct term would be "implicit object parameter".

A potential problem regarding this could be that it would be unclear if the lifetime of the object denoted by the object expression is extended by the reference binding, or if it follows the rules of a normal temporary, however in both these cases the lifetime would end at the completion of the full-expression, so it seems to be a non-issue save for the clarity.
@jensmaurer
Copy link
Member

While I agree that "this parameter" is bad phrasing, the term "implicit object parameter" is only used during overload resolution as a technical conveyance, and does not seem to exist outside of overload resolution.

@jensmaurer jensmaurer added the decision-required A decision of the editorial group (or the Project Editor) is required. label Apr 20, 2020
@sdkrystian
Copy link
Contributor Author

Maybe we just strike it then? [expr.prim.this] sufficiently describes this using "object upon which the call was involed" so we don't need it at all.

@jensmaurer
Copy link
Member

jensmaurer commented May 28, 2021 •
edited

Editorial meeting: Express the desired offset adjustment semantics by more directly referring to [expr.prim.this] phrasing. Have CWG check the resulting wording.

@jensmaurer jensmaurer removed the decision-required A decision of the editorial group (or the Project Editor) is required. label May 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sdkrystian @jensmaurer