[2025-02 CWG Motion 8] P2786R13 Trivial Relocation #7705
Conversation
AlisdairM
force-pushed
the
motions-202502-cwg-8
branch
from
5cca302 to
c259b6a
Compare
AlisdairM
changed the title
| @@ -36,7 +36,7 @@ | |||
|
|
|||
| \begin{bnf} | |||
| \nontermdef{class-head}\br | |||
| class-key \opt{attribute-specifier-seq} class-head-name \opt{class-virt-specifier} \opt{base-clause}\br | |||
| class-key \opt{attribute-specifier-seq} class-head-name \opt{class-property-specifier-seq} \opt{base-clause}\br | |||
There was a problem hiding this comment.
It looks like a cleaner fix would be to move the optional class-property-specifier-seq onto the class-head-name production, but that is probably a bigger change than should be considered editorial.
There was a problem hiding this comment.
Why would that be a "cleaner fix"? What's the "fix" part here? Why cleaner?
There was a problem hiding this comment.
We have two productions, but the optional class-property-specifier-seq is valid only after a class-head-name. We could move that optional element into the class-head-name and then the optionality of the class-head-name itself becomes more apparent.
If we move the optional class-property-specifier-seq into the class-head-name, we could even simplify the grammar further by making the class-head-name itself optional, needing only one grammar production and not two to say the same thing.
I have confirmed (to the best of my ability) that there are no other uses of the class-head-name production that would become confused by having this extra optional component suddenly showing up.
Added freestanding to the lib feature-test macro, as all new parts are marked as freestanding. Picked the most appropriate location within the type traits spec for each of the three new traits.
AlisdairM
force-pushed
the
motions-202502-cwg-8
branch
from
c259b6a to
a672a04
Compare
Fixes #7658.
Also fixes cplusplus/papers#1463
Added freestanding to the lib feature-test macro, as all new parts are marked as freestanding.
Picked the most appropriate location within the type traits spec for each of the three new traits.