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.

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

[expr.prim.lambda] Move operator() return type description #4069

Closed
wants to merge 1 commit into from

Conversation

languagelawyer
Copy link
Contributor

No description provided.

Copy link
Member

@jensmaurer jensmaurer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please rework a bit.

source/expressions.tex Outdated Show resolved Hide resolved
source/expressions.tex Outdated Show resolved Hide resolved
@jensmaurer jensmaurer added the changes requested Changes to the wording or approach have been requested and not yet applied. label Jul 4, 2020
@jensmaurer jensmaurer removed the changes requested Changes to the wording or approach have been requested and not yet applied. label Jul 4, 2020
source/expressions.tex Outdated Show resolved Hide resolved
Copy link
Member

@jensmaurer jensmaurer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

still more changes

source/expressions.tex Outdated Show resolved Hide resolved
source/expressions.tex Show resolved Hide resolved
reformat operator() declaration description
\item \grammarterm{parameter-declaration-clause} is the \grammarterm{lambda-declarator}'s
\grammarterm{parameter-declaration-clause},

\item return type is \tcode{auto},
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think that this isn't the return type, so much as it is the type in the decl-specifier-seq. (The declared return type is determined by the trailing-return-type if any, and the actual return type is what we deduce. Per [dcl.spec.auto.general]p3, the auto is just something that can appear in the decl-specifier-seq; it's not really a return type at all.) So:

Suggested change
\item return type is \tcode{auto},
\item \grammarterm{decl-specifier-seq} is the \grammarterm{lambda-declarator}'s \grammarterm{decl-specifier-seq} followed by \keyword{auto}, except that \keyword{constexpr} is also included if [...]

Also... should we say something about the attribute-specifier-seq?

@zygoloid zygoloid added the changes requested Changes to the wording or approach have been requested and not yet applied. label Oct 18, 2020
@jensmaurer jensmaurer self-requested a review October 29, 2020 21:16
@jensmaurer
Copy link
Member

@languagelawyer , this needs a bit more work.

@wg21bot wg21bot added the needs rebase The pull request needs a git rebase to resolve merge conflicts. label Jun 15, 2021
@tkoeppe
Copy link
Contributor

tkoeppe commented Jun 22, 2021

Can you please rebase, and address the open comments?

@jensmaurer
Copy link
Member

@languagelawyer, ping.

@tkoeppe
Copy link
Contributor

tkoeppe commented Aug 22, 2022

Please reopen if you would like to continue with this.

@tkoeppe tkoeppe closed this Aug 22, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changes requested Changes to the wording or approach have been requested and not yet applied. needs rebase The pull request needs a git rebase to resolve merge conflicts.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants