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.prim.this]/2 alludes to the grammar production declarator without necessity #2306

Closed
jabelloc opened this issue Aug 23, 2018 · 3 comments
Closed

[expr.prim.this]/2 alludes to the grammar production declarator without necessity #2306

jabelloc opened this issue Aug 23, 2018 · 3 comments
Assignees
@jensmaurer

Comments

@jabelloc
Copy link

jabelloc commented Aug 23, 2018 •
edited

[expr.prim.this]/2:

If a declaration declares a member function or member function template of a class X, the expression this is a prvalue of type “pointer to cv-qualifier-seq X” between the optional cv-qualifier-seq and the end of the function-definition, member-declarator, or declarator. . . .

A member-declarator is already defined in terms of a declarator. Therefore, the declarator can be eliminated above without loss of generality.
@jensmaurer jensmaurer self-assigned this Sep 2, 2018
@jensmaurer jensmaurer mentioned this issue Sep 2, 2018
Closed
@cpplearner
Copy link
Contributor

cpplearner commented Sep 3, 2018 •
edited

In template auto A::f(int t) -> decltype(t + g());, A::f(int t) -> decltype(t + g()) is a declarator but not a member-declarator.

@jensmaurer
Copy link
Member

Right you are.

@cpplearner
Copy link
Contributor

(But declarator should probably be changed to init-declarator, to make this valid in a trailing requires-clause.)

@zygoloid zygoloid mentioned this issue Nov 14, 2019
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jensmaurer jensmaurer

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@cpplearner @jabelloc @jensmaurer