[expr.type.conv] Move description of 'auto' deduction to [dcl.type.auto.deduct] #5039
Conversation
jensmaurer
added
the
needs rebase
|
@tkoeppe, this needs a rebase after the force-push to main. |
|
I like the radical suggestion: And then move the "shall" up to dcl.type.auto.deduct: @tkoeppe, this is now your branch/diff, so I can't do much here. |
tkoeppe
removed
the
needs rebase
|
@jensmaurer: you can bring your sense of Core aesthetics to bear on reviewing Mr Smith's idea :-) |
| If the initializer is a parenthesized \grammarterm{expression-list}, | ||
| the \grammarterm{expression-list} shall be | ||
| a single \grammarterm{assignment-expression} | ||
| and $E$ is the \grammarterm{assignment-expression}. |
There was a problem hiding this comment.
It's weird to say this explicitly for auto(4) but not for auto x(4);, since the latter's initializer is (4). It's preexisting, but should we adjust /2.2 (or even try to combine them)?
There was a problem hiding this comment.
But... we say that in p2.2.3:
If the initializer is a parenthesized expression-list, the expression-list shall be a single assignment-expression and E is the assignment-expression
There was a problem hiding this comment.
I'd say let's leave this for now? I'm not sure what exactly we could improve here.
…' deduction This change moves the fact that 'the type shall be auto' from [expr.type.conv] to [dcl.type.auto.deduct], and thus avoids repeating the mechanism of placeholder deduction.
Fixes #4745.
See #5015 for discussion and suggestions.