search

cplusplus / draft

C++ standards drafts
http://www.open-std.org/jtc1/sc22/wg21/
5.7k stars 751 forks source link

[structure.specifications] Should we add an element for semantic requirements of concepts? #4491

Open frederick-vs-ja opened 3 years ago

frederick-vs-ja commented 3 years ago

There are many semantic requirements of form "... type(s) model(s) some concept only if..." in specifications of standard concepts. However, as mentioned in #4054, there are also semantic requirements not of such form, and there are cases where semantic requirements are separated into different bullets (e.g. [iterator.concept.random.access]).

Should we add the "semantic requirements" element and specify semantic requirements consistently by it?

jensmaurer commented 3 years ago

Editorial meeting 2021-04-16: This seems to be paper-level material.

@jwakely , do you want to create an LWG issue for this?

tkoeppe commented 3 years ago

We're definitely sympathetic to the idea, but it needs someone to drive this.