-
Notifications
You must be signed in to change notification settings - Fork 769
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
Restructuring clauses for C++26 #5315
Comments
I think so, too. Currently, it's hard to find. It makes more sense than [text], as text can represent more than just numbers.
I'm not sure. You can use |
[meta] and [concepts] should be adjacent clauses, or [concepts] should become a subclass of [meta] adjacent to [type.traits]. |
I agree with making [concepts] a subclause. Not much point to a top-level [concepts] if new concepts are, rightfully, placed in more pertinent subclauses. Its title also needs to better reflect that "not all concepts are here!" Perhaps "basic concepts". |
Is it time to move the container header synopses closer to where their contents are defined? E.g., [array.syn],[deque.syn],[forward.list.syn],[list.syn], and [vector.syn] are all adjacent at the top of the sequence containers subclause, [sequences], before we start on the definitions in [array] as a sibling node, and similarly for the associative containers, unordered containers, and container adapters. I don't think any other library clause collects header synopses in this way. |
Yes, the containers structure is weird. |
Consensus from 2024-06-28 editorial meeting: Have a new "text" top-level clause with charconv, formt, text.encoding, re, locale and the C library facilities mentioned in #5226. New order top-level clauses: Algorithms, Strings, Text, Numerics, Time, I/O Move [execpol] to the end of algorithms.parallel. Move debugging to end of diagnostics Reorder container subclauses (sequential, associative, unordered, adapters) so that the header synopsis comes just before the first "class template X" heading that describes the content of the respective header. Move type.index to support.rtti and extract its header subclause so that it becomes a sibling of type.index. |
@jwakely , please have a look. |
We were also broadly in favour of moving |
We also spoke about finding a new top level title for the Metaprogramming Library so that we could incorporate Concepts and place it adjacent to Type Traits. However, we did not find an acceptable solution at this time. It is anticipated that the reflection library will slide into the Metaprogramming Library. |
There was no discussion about reordering Core clauses, such as by #2252. Is there time to revisit that in this cycle? |
The core language changes that have been contemplated are more involved than shuffling subclauses around, so would need CWG oversight. I don't see an urgent need to do something. |
I would hope to rename [dcl.dcl] to just [dcl] and [stmt.stmt] to just [stmt]. |
These core reorganisation changes were suggested and not discussed for While they are not my suggestion, they are a change I am very much in |
@jicama , renaming those two labels hardly counts as "clause restructuring", since it's not moving text around. @AlisdairM , do you refer to @jicama comment or something else? @tkoeppe , we could have those label renames rather independently of anything else. |
@jensmaurer I'm not even sure we should rename those labels. People are very familiar with them, and this could be pretty disruptive. What's the motivation here? |
People are not familiar with those particular top-level labels. Why do we have [stmt.stmt] on the top level, and then [stmt.if] underneath? Same for [dcl.dcl]. Every time we need to pronounce these labels in CWG, people go another notch on becoming crazy. |
The suggested library changes look great, thanks. Side note: [dcl.dcl] and [stmt.stmt] are C++ tautonyms 😃 I'm not aware of any trinomial names, thankfully. |
I was referring to your comment immediate preceding @jicama, about restructuring of specific Core clauses. |
@jwakely thanks for the link --- an new term for my vocabulary :) In our case, I don't think that it matters that we have tautonyms, but it is surprising to have multipart labels for a top level clause. |
The core language changes likely need wording changes. Specific suggestions welcome, in a paper. |
Per comment on issue cplusplus#5315. Thanks to Jonathan Wakely for the notion of tautonyms.
Per comment on issue cplusplus#5315. Thanks to Jonathan Wakely for the notion of tautonyms.
Per comment on issue cplusplus#5315. Thanks to Jonathan Wakely for the notion of tautonyms.
Per comment on issue cplusplus#5315. Thanks to Jonathan Wakely for the notion of tautonyms.
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
The subclause is integrated into the structure of [support.rtti], meaning that the synopsis becomes a sibling of the rest, and the subdivisions of the remaining text are removed (in analogy with [type.info]). Part of the C++26 clause restructuring (#5315).
The subclause is integrated into the structure of [support.rtti], meaning that the synopsis becomes a sibling of the rest, and the subdivisions of the remaining text are removed (in analogy with [type.info]). Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
The subclause [text.encodings] is extracted and elevated to a sibling subclause of [localization]. Part of the C++26 clause restructuring (#5315).
Part of the C++26 clause restructuring (#5315).
The reordering of #5315 (comment) is now done. |
Just to clarify for posterity: "locale" in the above refers to the entire clause [localization], not just its [locale] subclause. |
I wonder whether |
@frederick-vs-ja , please consider this "for C++26" activity done and closed. Do we have a similar github issue for C++29 ? |
I don't think we have a concrete proposal yet for another major restructuring. The core wording things we've talked about don't affect top-level clauses I believe. We can open an issue once there's some concrete idea that we'd like to pursue. As for |
Per comment on issue cplusplus#5315. Thanks to Jonathan Wakely for the notion of tautonyms.
Per comment on issue cplusplus#5315. Thanks to Jonathan Wakely for the notion of tautonyms.
See #2252 [basic] before [lex]
Maybe also move the preprocessor section near lex or merge both into a new "lexical processing" clause.
[basic] has some details that need to move later, e.g. allocation/deallocation function details should go to "Declarations".
Operator overloading [over.oper] should partially move to [expr] and to "Declarations".
Isn't "[charconv] Primitive numeric conversions" a good fit for Clause 26 "Numerics library"?
keep Utility types: pair, tuple, variant, optional, any, bitset under [utilities], but create a new grouping subclause called "data types".
Maybe put all of locale, regex. std::format under I/O-ish (because locale-using)
Create [text] clause; see #5226 for details.
The text was updated successfully, but these errors were encountered: