-
Notifications
You must be signed in to change notification settings - Fork 769
/
Copy pathn4829.html
1279 lines (903 loc) · 50.1 KB
/
n4829.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html><html><head><meta charset="utf-8"><style>html { font-size: 100%; overflow-y: scroll; -webkit-text-size-adjust: 100%; -ms-text-size-adjust: 100%; }
body{
color:#444;
font-family:Georgia, Palatino, 'Palatino Linotype', Times, 'Times New Roman',
"Hiragino Sans GB", "STXihei", "微软雅黑", serif;
font-size:12px;
line-height:1.5em;
background:#fefefe;
width: 45em;
margin: 10px auto;
padding: 1em;
outline: 1300px solid #FAFAFA;
}
a{ color: #0645ad; text-decoration:none;}
a:visited{ color: #0b0080; }
a:hover{ color: #06e; }
a:active{ color:#faa700; }
a:focus{ outline: thin dotted; }
a:hover, a:active{ outline: 0; }
span.backtick {
border:1px solid #EAEAEA;
border-radius:3px;
background:#F8F8F8;
padding:0 3px 0 3px;
}
::-moz-selection{background:rgba(255,255,0,0.3);color:#000}
::selection{background:rgba(255,255,0,0.3);color:#000}
a::-moz-selection{background:rgba(255,255,0,0.3);color:#0645ad}
a::selection{background:rgba(255,255,0,0.3);color:#0645ad}
p{
margin:1em 0;
}
img{
max-width:100%;
}
h1,h2,h3,h4,h5,h6{
font-weight:normal;
color:#111;
line-height:1em;
}
h4,h5,h6{ font-weight: bold; }
h1{ font-size:2.5em; }
h2{ font-size:2em; border-bottom:1px solid silver; padding-bottom: 5px; }
h3{ font-size:1.5em; }
h4{ font-size:1.2em; }
h5{ font-size:1em; }
h6{ font-size:0.9em; }
blockquote{
color:#666666;
margin:0;
padding-left: 3em;
border-left: 0.5em #EEE solid;
}
hr { display: block; height: 2px; border: 0; border-top: 1px solid #aaa;border-bottom: 1px solid #eee; margin: 1em 0; padding: 0; }
pre , code, kbd, samp {
color: #000;
font-family: monospace;
font-size: 0.88em;
border-radius:3px;
background-color: #F8F8F8;
border: 1px solid #CCC;
}
pre { white-space: pre; white-space: pre-wrap; word-wrap: break-word; padding: 5px 12px;}
pre code { border: 0px !important; padding: 0;}
code { padding: 0 3px 0 3px; }
b, strong { font-weight: bold; }
dfn { font-style: italic; }
ins { background: #ff9; color: #000; text-decoration: none; }
mark { background: #ff0; color: #000; font-style: italic; font-weight: bold; }
sub, sup { font-size: 75%; line-height: 0; position: relative; vertical-align: baseline; }
sup { top: -0.5em; }
sub { bottom: -0.25em; }
ul, ol { margin: 1em 0; padding: 0 0 0 2em; }
li p:last-child { margin:0 }
dd { margin: 0 0 0 2em; }
img { border: 0; -ms-interpolation-mode: bicubic; vertical-align: middle; }
table { border-collapse: collapse; border-spacing: 0; }
td { vertical-align: top; }
@media only screen and (min-width: 480px) {
body{font-size:14px;}
}
@media only screen and (min-width: 768px) {
body{font-size:16px;}
}
@media print {
* { background: transparent !important; color: black !important; filter:none !important; -ms-filter: none !important; }
body{font-size:12pt; max-width:100%; outline:none;}
a, a:visited { text-decoration: underline; }
hr { height: 1px; border:0; border-bottom:1px solid black; }
a[href]:after { content: " (" attr(href) ")"; }
abbr[title]:after { content: " (" attr(title) ")"; }
.ir a:after, a[href^="javascript:"]:after, a[href^="#"]:after { content: ""; }
pre, blockquote { border: 1px solid #999; padding-right: 1em; page-break-inside: avoid; }
tr, img { page-break-inside: avoid; }
img { max-width: 100% !important; }
@page :left { margin: 15mm 20mm 15mm 10mm; }
@page :right { margin: 15mm 10mm 15mm 20mm; }
p, h2, h3 { orphans: 3; widows: 3; }
h2, h3 { page-break-after: avoid; }
}
</style><title>N4829</title></head><body>
<h1>N4829 Editors' Report -- Programming Languages -- C++</h1>
<p>2019-08-15 <br />
Richard Smith (editor) (Google Inc) <br />
Thomas Köppe (co-editor) (Google DeepMind) <br />
Jens Maurer (co-editor) <br />
Dawn Perchik (co-editor) (Bright Side Computing, LLC) <br />
<code><[email protected]></code></p>
<h2>Acknowledgements</h2>
<p>Special thanks to several paper authors
for supplying the LaTeX sources for their papers.</p>
<p>Special thanks also to the Editing Committee --
Daniel Krügler, Davis Herring, Nina Ranns, and Ville Voutilainen --
for providing a careful review of the application of these motions
and the editorial changes described below
to ensure the correctness of the C++20 Committee Draft.</p>
<p>Thanks to all those who have <a href="https://github.com/cplusplus/draft/wiki/How-to-submit-an-editorial-issue">submitted editorial
issues</a>
and to those who have provided pull requests with fixes.</p>
<h2>New papers</h2>
<ul>
<li><a href="http://wg21.link/n4830">N4830</a> is the committee draft for C++20. It replaces <a href="http://wg21.link/n4820">N4820</a>.</li>
<li>N4829 is this Editors' Report.</li>
</ul>
<p><strong>Note</strong>:
A working draft was circulated to the editing committee for review,
and was mistakenly published with paper number N4828.
N4828 is not the C++20 Committee Draft,
and does not contain the results of addressing feedback from
the editing committee.</p>
<h2>Motions incorporated into working draft</h2>
<h3>Core working group motions</h3>
<p>CWG motion 1: <a href="http://wg21.link/p1510r0">Core issue resolutions</a> for 10 issues in "tentatively ready" status applied: <strong>(DR)</strong></p>
<ul>
<li><a href="http://wg21.link/cwg682">682</a> Missing description of lookup of template aliases</li>
<li><a href="http://wg21.link/cwg2207">2207</a> Alignment of allocation function return value</li>
<li><a href="http://wg21.link/cwg2300">2300</a> Lambdas in multiple definitions</li>
<li><a href="http://wg21.link/cwg2366">2366</a> Can default initialization be constant initialization?</li>
<li><a href="http://wg21.link/cwg2376">2376</a> Class template argument deduction with array declarator</li>
<li><a href="http://wg21.link/cwg2390">2390</a> Is the argument of <code>__has_cpp_attribute</code> macro-expanded?</li>
<li><a href="http://wg21.link/cwg2400">2400</a> Constexpr virtual functions and temporary objects</li>
<li><a href="http://wg21.link/cwg2404">2404</a> <code>[[no_unique_address]]</code> and allocation order</li>
<li><a href="http://wg21.link/cwg2406">2406</a> <code>[[fallthrough]]</code> attribute and iteration statements</li>
<li><a href="http://wg21.link/cwg2418">2418</a> Missing cases in definition of "usable in constant expressions"</li>
</ul>
<p>CWG motion 2: <a href="http://wg21.link/p1161r3">P1161R3 "Deprecate uses of the comma operator in subscripting expressions"</a></p>
<p>CWG motion 3: <a href="http://wg21.link/p1331r2">P1331R2 "Permitting trivial default initialization in constexpr contexts"</a></p>
<p>CWG motion 4: <a href="http://wg21.link/p0735r1">P0735R1 "Interaction of <code>memory_order_consume</code> with release sequences"</a></p>
<p>CWG motion 5: <a href="http://wg21.link/p0848r3">P0848R3 "Conditionally trivial special member functions"</a></p>
<p>CWG motion 6: <a href="http://wg21.link/p1186r3">P1186R3 "When do you actually use <code><=></code>?"</a></p>
<p>CWG motion 7: <a href="http://wg21.link/p1301r4">P1301R4 "<code>[[nodiscard("should have a reason")]]</code>"</a></p>
<p>CWG motion 8: <a href="http://wg21.link/p1099r5">P1099R5 "<code>using enum</code>"</a></p>
<p>CWG motion 9: <a href="http://wg21.link/p1630r1">P1630R1 "Spaceship needs a tune-up"</a></p>
<p>CWG motion 10: <a href="http://wg21.link/p1616r1">P1616R1 "Using unconstrained template template parameters with constrained templates"</a></p>
<p>CWG motion 11: <a href="http://wg21.link/p1816r0">P1816R0 "Class template argument deduction for aggregates"</a></p>
<p>CWG motion 12: <a href="http://wg21.link/p1668r1">P1668R1 "Enabling <code>constexpr</code> intrinsics by permitting unevaluated inline assembly in <code>constexpr</code> functions"</a></p>
<p>CWG motion 13: <a href="http://wg21.link/p1766r1">P1766R1 "Mitigating minor modules maladies"</a> <strong>(DR)</strong></p>
<p>CWG motion 14: <a href="http://wg21.link/p1811r0">P1811R0 "Relaxing redefinition restrictions for re-exportation robustness"</a></p>
<p>CWG motion 15: <a href="http://wg21.link/p0388r4">P0388R4 "Permit conversions to arrays of unknown bound"</a></p>
<p>CWG motion 16: <a href="http://wg21.link/p1823r0">P1823R0 "Remove contracts"</a></p>
<p>CWG motion 17: <a href="http://wg21.link/p1143r2">P1143R2 "Adding the <code>constinit</code> keyword"</a></p>
<p>CWG motion 18: <a href="http://wg21.link/p1452r2">P1452R2 "On the non-uniform semantics of <em>return-type-requirement</em>s"</a></p>
<p>CWG motion 19: <a href="http://wg21.link/p1152r4">P1152R4 "Deprecating <code>volatile</code>"</a></p>
<p>CWG motion 20: <a href="http://wg21.link/p1771r1">P1771R1 "<code>[[nodiscard]]</code> for constructors"</a> <strong>(DR)</strong></p>
<p>CWG motion 21: <a href="http://wg21.link/p1814r0">P1814R0 "Class template argument deduction for alias templates"</a></p>
<p>CWG motion 22 was withdrawn</p>
<p>CWG motion 23: <a href="http://wg21.link/p1825r0">P1825R0 "Merged wording for P0527R1 and P1155R3"</a> <strong>(DR)</strong></p>
<ul>
<li><a href="http://wg21.link/p0527r1">P0527R1 "Implicitly move from rvalue references in return statements"</a></li>
<li><a href="http://wg21.link/p1155r3">P1155R3 "More implicit moves"</a></li>
</ul>
<p>CWG motion 24: <a href="http://wg21.link/p1703r1">P1703R1 "Recognizing header unit imports requires full preprocessing"</a></p>
<p>CWG motion 25: <a href="http://wg21.link/p0784r7">P0784R7 "More <code>constexpr</code> containers"</a></p>
<h3>Library working group motions</h3>
<p>LWG motion 1: <a href="http://wg21.link/p1724r0">Library issue resolutions</a> for 17 issues in "Ready" and "Tentatively Ready" status applied: <strong>(DR)</strong></p>
<ul>
<li><a href="http://wg21.link/lwg3209">3209</a> Expression in <code>year::ok()</code> returns clause is ill-formed</li>
<li><a href="http://wg21.link/lwg3208">3208</a> <code>Boolean</code>'s expression requirements are ordered inconsistently</li>
<li><a href="http://wg21.link/lwg3206">3206</a> <code>year_month_day</code> conversion to <code>sys_days</code> uses not-existing member function</li>
<li><a href="http://wg21.link/lwg3202">3202</a> <a href="http://wg21.link/p0318r1">P0318R1</a> was supposed to be revised</li>
<li><a href="http://wg21.link/lwg3199">3199</a> <code>istream >> bitset<0></code> fails</li>
<li><a href="http://wg21.link/lwg3198">3198</a> Bad constraint on <code>std::span::span()</code></li>
<li><a href="http://wg21.link/lwg3196">3196</a> <code>std::optional<T></code> is ill-formed if <code>T</code> is an array</li>
<li><a href="http://wg21.link/lwg3191">3191</a> <code>std::ranges::shuffle</code> synopsis does not match algorithm definition</li>
<li><a href="http://wg21.link/lwg3187">3187</a> <a href="http://wg21.link/p0591r4">P0591R4</a> reverted <a href="http://wg21.link/lwg2586">DR 2586</a> fixes to <code>scoped_allocator_adaptor::construct()</code></li>
<li><a href="http://wg21.link/lwg3186">3186</a> Ranges <code>remove</code>, <code>partition</code>, and <code>partial_sort_copy</code> algorithms discard useful information</li>
<li><a href="http://wg21.link/lwg3185">3185</a> Uses-allocator construction functions missing <code>constexpr</code> and <code>noexcept</code></li>
<li><a href="http://wg21.link/lwg3184">3184</a> Inconsistencies in <code>bind_front</code> wording</li>
<li><a href="http://wg21.link/lwg3183">3183</a> Normative permission to specialize ranges variable templates</li>
<li><a href="http://wg21.link/lwg3169">3169</a> Ranges permutation generators discard useful information</li>
<li><a href="http://wg21.link/lwg3158">3158</a> <code>tuple(allocator_arg_t, const Alloc&)</code> should be conditionally explicit</li>
<li><a href="http://wg21.link/lwg3055">3055</a> <code>path::operator+=(</code>single-character<code>)</code> misspecified</li>
<li><a href="http://wg21.link/lwg2899">2899</a> <code>is_(nothrow_)move_constructible</code> and <code>tuple</code>, <code>optional</code> and <code>unique_ptr</code></li>
</ul>
<p>LWG motion 2: <a href="http://wg21.link/p1355r2">P1355R2 "Exposing a narrow contract for <code>ceil2</code>"</a></p>
<p>LWG motion 3: <a href="http://wg21.link/p0553r4">P0553R4 "Bit operations"</a></p>
<p>LWG motion 4: <a href="http://wg21.link/p1424r1">P1424R1 "<code>constexpr</code> feature macro concerns"</a></p>
<p>LWG motion 5: <a href="http://wg21.link/p0645r10">P0645R10 "Text formatting"</a></p>
<p>LWG motion 6: <a href="http://wg21.link/p1361r2">P1361R2 "Integration of chrono with text formatting"</a></p>
<p>LWG motion 7: <a href="http://wg21.link/p1652r1">P1652R1 "Printf corner cases in <code>std::format</code>"</a></p>
<p>LWG motion 8: <a href="http://wg21.link/p0631r8">P0631R8 "Math constants"</a></p>
<p>LWG motion 9: Synchronization library:</p>
<ul>
<li><a href="http://wg21.link/p1135r6">P1135R6 "The C++20 synchronization library"</a></li>
<li><a href="http://wg21.link/p1643r1">P1643R1 "Add wait/notify to <code>atomic_ref</code>"</a></li>
<li><a href="http://wg21.link/p1644r0">P1644R0 "Add wait/notify to <code>atomic<shared_ptr></code>"</a></li>
</ul>
<p>LWG motion 10: <a href="http://wg21.link/p1466r3">P1466R3 "Miscellaneous minor fixes for chrono"</a></p>
<p>LWG motion 11: <a href="http://wg21.link/p1754r1">P1754R1 "Rename concepts to <code>standard_case</code> for C++20, while we still can"</a></p>
<p>LWG motion 12: <a href="http://wg21.link/p1614r2">P1614R2 "The mothership has landed"</a></p>
<p>LWG motion 13: <a href="http://wg21.link/p0325r4">P0325R4 "<code>to_array</code> from LFTS with updates"</a></p>
<p>LWG motion 14: <a href="http://wg21.link/p0408r7">P0408R7 "Efficient access to <code>basic_stringbuf</code>'s buffer"</a></p>
<p>LWG motion 15: <a href="http://wg21.link/p1423r3">P1423R3 "<code>char8_t</code> backward compatibility remediation"</a></p>
<p>LWG motion 16: <a href="http://wg21.link/p1502r1">P1502R1 "Standard library header units"</a></p>
<p>LWG motion 17: <a href="http://wg21.link/p1612r1">P1612R1 "Relocate <code>endian</code>'s specification"</a></p>
<p>LWG motion 18: <a href="http://wg21.link/p1661r1">P1661R1 "Remove dedicated precalculated hash lookup interface"</a></p>
<p>LWG motion 19: <a href="http://wg21.link/p1650r0">P1650R0 "Output <code>std::chrono::days</code> with <code>d</code> suffix"</a></p>
<p>LWG motion 20: <a href="http://wg21.link/p1651r0">P1651R0 "<code>bind_front</code> should not unwrap <code>reference_wrapper</code>"</a></p>
<p>LWG motion 21: <a href="http://wg21.link/p1065r2">P1065R2 "Constexpr <code>invoke</code>"</a></p>
<p>LWG motion 22: <a href="http://wg21.link/p1207r4">P1207R4 "Movability of single-pass iterators"</a></p>
<p>LWG motion 23: <a href="http://wg21.link/p1035r7">P1035R7 "Input range adaptors"</a></p>
<p>LWG motion 24: <a href="http://wg21.link/p1638r1">P1638R1 "<code>basic_istream_view::iterator</code> should not be copyable"</a></p>
<p>LWG motion 25: <a href="http://wg21.link/p1522r1">P1522R1 "Iterator difference type and integer overflow"</a></p>
<p>LWG motion 26: <a href="http://wg21.link/p1004r2">P1004R2 "Making <code>std::vector</code> constexpr"</a></p>
<p>LWG motion 27: <a href="http://wg21.link/p0980r1">P0980R1 "Making <code>std::string</code> constexpr"</a></p>
<p>LWG motion 28: <a href="http://wg21.link/p0660r10">P0660R10 "Stop token and joining thread"</a></p>
<p>LWG motion 29: <a href="http://wg21.link/p1474r1">P1474R1 "Helpful pointers for <code>ContiguousIterator</code>"</a></p>
<p>LWG motion 30: <a href="http://wg21.link/p1523r1">P1523R1 "Views and size types"</a></p>
<p>LWG motion 31: <a href="http://wg21.link/p0466r5">P0466R5 "Layout-compatibility and pointer-interconvertibility traits"</a></p>
<p>LWG motion 32: <a href="http://wg21.link/p1208r6">P1208R6 "<code>source_location</code>"</a></p>
<h2>Notable editorial changes</h2>
<h3>CWG motion 21</h3>
<p>The changes for this motion in [over.match.class.deduct]
described the matching of a <em>simple-template-id</em> against
the <em>defining-type-id</em> of an alias template
in imprecise terms
(quoting only part of the grammar to which the change intended to apply).
This has been made more precise by repeating the full grammar
previously specified in [dcl.type.simple]
in [over.match.class.deduct].</p>
<h3>LWG motions 5-7</h3>
<p>The new <code>std::format</code> library underwent substantial editorial rework
for clarity and precision.
Thanks to Tomasz Kamiński and
Johel Ernesto Guerrero Peña
for reviewing the resulting edits,
and to Victor Zverovich for responding to various questions about intent.</p>
<h3>LWG motion 10</h3>
<p>The <code>operator<<</code> added for <code>hh_mm_ss</code> was written in terms of
the old chrono formatting machinery that was replaced by
<code>std::format</code>-based machinery by LWG motion 6.
It has been rephrased in terms of <code>std::format</code>.
Thanks to Howard Hinnant for providing wording.</p>
<h3>LWG motion 11</h3>
<p>In addition to the requested renames, the following concepts were also renamed,
following the editorial instructions to rename all other concepts:</p>
<ul>
<li><code>ThreeWayComparableWith</code> -> <code>three_way_comparable_with</code></li>
<li><code>ThreeWayComparable</code> -> <code>three_way_comparable</code></li>
<li><code>ForwardRange</code> -> <code>forward_range</code></li>
</ul>
<h3>LWG motion 14</h3>
<p>This motion requested that the same constructor be added to <code>basic_stringbuf</code>
twice. It was only added once.</p>
<h3>LWG motion 23</h3>
<p>The wording paper proposed making changes to the algorithms</p>
<ul>
<li><code>std::ranges::sample</code></li>
<li><code>std::ranges::shift_left</code></li>
<li><code>std::ranges::shift_right</code></li>
</ul>
<p>However, these algorithms were never adopted into the C++ working draft from
the Ranges Technical Specification, so after consulting with the Library
Working Group, the requested changes to these algorithms were ignored.</p>
<h3>LWG motion 26, 27</h3>
<p>These motions would have added <code>constexpr</code> to
<code>operator<</code>, <code>operator></code>, <code>operator<=</code>, <code>operator>=</code>, and <code>operator!=</code> functions
that LWG motion 12 removed.
Instead <code>constexpr</code> was added to the replacement <code>operator<=></code>.</p>
<p>In addition, following the paper's request to add <code>constexpr</code> to any
<code>std::basic_string</code> functions that the wording missed, and after consulting
with the LWG chair as directed, the overloads of <code>std::erase</code> and
<code>std::erase_if</code> for <code>std::basic_string</code> were also marked <code>contexpr</code>.</p>
<h3>Section label changes</h3>
<p>Several section labels introduced by the motions papers have been modified
to match our style guide. In addition to the section labels affected by the
above motions, the following section labels have been renamed:</p>
<ul>
<li>[concept.convertibleto] => [concept.convertible]</li>
<li>[concept.derivedfrom] => [concept.derived]</li>
<li>[concept.stricttotallyordered] => [concept.totallyordered]</li>
</ul>
<h2>Feature test macros</h2>
<p>Attention should be drawn to the fact that multiple papers updated feature test
macros to the same version:</p>
<ul>
<li><code>__cpp_constexpr</code> was updated to <code>201907L</code> by both
<a href="http://wg21.link/p1331r2">P1331R2</a> (CWG motion 3) and
<a href="http://wg21.link/p1668r1">P1668R1</a> (CWG motion 12).</li>
<li><code>__has_cpp_attribute(nodiscard)</code> was updated to <code>201907L</code> by both
<a href="http://wg21.link/p1304r4">P1304R4</a> (CWG motion 7) and
<a href="http://wg21.link/p1771r1">P1771R1</a> (CWG motion 20).</li>
</ul>
<p>Implementers should be aware that the new version of the feature test macro
advertises support for both papers in these cases (in addition to advertising
support for prior papers that gave smaller version numbers to the relevant
macro).</p>
<h2>Minor editorial fixes</h2>
<p>A log of editorial fixes made to the working draft since N4820 is below.
This list excludes changes
that do not affect the body text or only affect whitespace or typeface. For a
complete list including such changes (or for the actual deltas applied by these
changes), consult the <a href="https://github.com/cplusplus/draft/compare/n4820...n4830">draft sources on github</a>.</p>
<pre><code>commit 44ea29778d15cd5d9f2b5c706c6b3f4338548ec2
Author: Casey Carter <[email protected]>
Date: Tue Jun 25 06:04:14 2019 -0700
[range.filter.sentinel] Correct typo in constructor Effects (#2937)
commit 97b615a5a6ab0598b624ee05402c531d0421cff6
Author: Casey Carter <[email protected]>
Date: Tue Jun 25 06:09:55 2019 -0700
[iterator.synopsis] Copy constraint for iterator_traits<T*> from [iterator.traits]/5 (#2943)
commit da7eac5e621b5fab12c0b1992100c4bfd983ed8e
Author: Saar Raz <[email protected]>
Date: Mon Jul 1 22:46:37 2019 +0300
[Concepts] Remove qualified-concept-name reference
Update 'qualified-concept-name' (the previous incarnation of 'type-constraint') reference to 'type-constraint' in [temp.over.link]p6.
commit f54f306c3b9fad27e70766963840e3df14f20b28
Author: Jens Maurer <[email protected]>
Date: Thu Jul 4 15:34:38 2019 +0200
[func.bind] Remove bogus 'shall's. (#2955)
commit 72cc844ef44ae47aebb1ad346146138d3279be9e
Author: Eelis <[email protected]>
Date: Fri Jul 5 16:16:58 2019 +0200
[expr.reinterpret.cast] Properly capitalize full-sentence bullets. (#2956)
commit c635711cdd81346ad41c7861adb8035176fa236f
Author: Eelis <[email protected]>
Date: Fri Jul 5 23:55:22 2019 +0200
[temp.constr.constr] Add missing period at end of sentence. (#2957)
commit 4f9942cafadc17fb902610b4c67afb6fcf81ff64
Author: Jens Maurer <[email protected]>
Date: Sun Jul 7 19:38:20 2019 +0200
[dcl.asm] Rename grammar term 'asm-definition' to 'asm-declaration'
commit 51c5b01217799fdfa754179c20af888ec8c1889d
Author: Casey Carter <[email protected]>
Date: Wed Jul 10 00:40:19 2019 -0700
[temp.constr.order] Remove extraneous "the". (#2964)
commit 67db9422b6bc58f5399c7c019ec5ede28d8ac4f5
Author: Jens Maurer <[email protected]>
Date: Fri Jun 28 17:01:54 2019 +0200
[expr.prim.req] Fix cross-reference for substituting into constraints.
commit 98c2c56ab5e945452586270d72d2fb606b71cd94
Author: Richard Smith <[email protected]>
Date: Mon Jul 22 02:24:42 2019 +0200
[class.prop] [special] Move definition of eligible special member
functions to the section on special member functions.
commit 94a72b5c11a20cfd6c92a4faa5bd0df4b8ebc620
Author: Richard Smith <[email protected]>
Date: Mon Jul 22 02:28:15 2019 +0200
[class.dtor] Reorder the introduction of an implicit prospective
destructor to before we describe the overload resolution to pick the
actual destructor.
commit 6bd3daeae3a3e9ae6174c35ab020dbfe4504b75b
Author: Richard Smith <[email protected]>
Date: Thu Aug 1 20:04:36 2019 -0700
[class.ctor], [class.dtor] Introduce actual definitions for
"constructor" and "prospective destructor".
commit dc45e8c329eeb0076d074fa671c2be2fc605555a
Author: Richard Smith <[email protected]>
Date: Mon Jul 22 03:18:33 2019 +0200
[class.spaceship] Remove incorrect note.
commit d6a291776858bc647fc6826888767284f305c799
Author: Richard Smith <[email protected]>
Date: Mon Jul 22 03:58:34 2019 +0200
[dcl.attr.nodiscard] Simplify note describing the string-literal in a
nodiscard attribute and make it less confusing.
commit 46ba985402de963f50d364b26b594707be16c7c9
Author: Richard Smith <[email protected]>
Date: Mon Jul 22 04:42:43 2019 +0200
[dcl.enum] Avoid hanging paragraphs by moving "Enumeration declarations"
down one level to a sibling of "The using enum declaration".
[namespace.udir] Rename section to "Using namespace directive" to
further distinguish this from a using enum declaration.
commit 5d1bb1c7f8ed44016c38bfeb9797e363d52cfc51
Author: Richard Smith <[email protected]>
Date: Thu Aug 1 20:42:13 2019 -0700
[over.match.oper] Replace "member, non-member, and built-in candidates"
with "non-rewritten candidates"
This simplifies the wording, implicitly explains why we're considering
only some candidates, and avoids overtly suggesting that we could ever
pick a reversed-parameter-order built-in candidate.
commit 1fbc1c315008152770eea8bd383aa2a4fa47cfd5
Author: Jens Maurer <[email protected]>
Date: Fri Jul 26 16:56:13 2019 +0200
[basic.def.odr] Turn long comma-separate list into bullets.
commit c0c589881759871b2183105f315d4ddd0d2734be
Author: Jens Maurer <[email protected]>
Date: Thu Aug 1 22:47:19 2019 +0200
[expr.const.cast] Clarify pairwise correspondence for P_i.
[over.ics.rank] Move cross-reference pointing to [conv.qual].
commit 47539b965a84f69c548fe043a632af17db3cb315
Author: Richard Smith <[email protected]>
Date: Fri Aug 2 15:49:39 2019 -0700
[conv.qual] Move note after the rule that implies it.
commit f10e3751b39138746b601fa702c9ed9e67777c96
Author: Richard Smith <[email protected]>
Date: Fri Aug 2 15:59:50 2019 -0700
[over.ics.rank] Reorder examples to match order of normative text.
commit 813a4300a036f12d5ff6b82965b83a8e87b1ae8d
Author: Richard Smith <[email protected]>
Date: Fri Aug 2 16:55:56 2019 -0700
[dcl.attr.nodiscard] Fix vexing-parse bug in example. Make sure the
missiles actually get launched, not merely redeclared.
commit 6e845457bfd83f20c2f61bf4015afcd96cbd0cec
Author: Richard Smith <[email protected]>
Date: Fri Aug 2 17:17:52 2019 -0700
[over.match.class.deduct] Fix failure to handle the case where a
deducible alias template's defining-type-id contains a
nested-name-specifier (or 'typename' or 'template' keywords).
commit 7226ced32fe3cda28eb05f044985427684397128
Author: Richard Smith <[email protected]>
Date: Fri Aug 2 17:26:53 2019 -0700
[over.match.class.deduct] Switch from imperative to passive, and clarify
what happens if the various 'if' conditions are not met.
commit 6552c03d3793e7532793097d760edc3a93e150b1
Author: Richard Smith <[email protected]>
Date: Fri Aug 2 17:32:40 2019 -0700
[over.match.class.deduct] Put all bullets describing the properties of
f' at the same depth, and guard them all by the condition that we're
actually adding an f' to the set of guides.
commit b3b7d37c073051826c21c231bd386c10d64433dc
Author: Jens Maurer <[email protected]>
Date: Fri Aug 2 22:09:14 2019 +0200
[class.copy.elision] Add cross-reference, fix example.
commit 4a657ca3e26850a993c2015bbecd6287e817a615
Author: Richard Smith <[email protected]>
Date: Sat Aug 3 18:51:09 2019 -0700
[iterator.concept.sizedsentinel], [range.sized], [range.view]
Provide proper descriptions for disable_sized_sentinel,
disable_sized_range, and enable_view.
commit 796c871f9b14a42fea634ec97a35032bfe3c422a
Author: Jens Maurer <[email protected]>
Date: Tue Jul 23 09:57:04 2019 +0200
[bit] Avoid std::numeric_limits<...>
Referring to numeric_limits (without std:: prefix) is sufficient.
commit fb97956bc9eee5a50c10df9148d9422e260e352c
Author: Richard Smith <[email protected]>
Date: Wed Jul 31 17:28:28 2019 -0700
[format.formatter] Add subclause heading to avoid hanging paragraphs.
commit eae84a0a10b4409da01ae5c9e7c734e113973cdf
Author: Richard Smith <[email protected]>
Date: Wed Jul 31 17:34:37 2019 -0700
[format.string] Clarify that "other characters" means "characters other
than { and }".
commit b62dc39c0541a1968ac1717773574f4ef868934c
Author: Richard Smith <[email protected]>
Date: Wed Jul 31 18:05:00 2019 -0700
[format.string] Change 'integer' grammar to be left-recursive and factor
out separate positive-integer and nonnegative-integer productions for
clarity.
commit 2db4bd64f7f157266ae0f7c7c44c4fe7c68c6070
Author: Richard Smith <[email protected]>
Date: Wed Jul 31 18:14:56 2019 -0700
[format.string] Fix wording that talks about omitting arg-ids but
presupposes that they are all present to instead specify what happens
when some or all are absent.
commit 5a32fd1040b8a7c4c997ba8841c4f28a34a6c97d
Author: Richard Smith <[email protected]>
Date: Wed Jul 31 18:26:41 2019 -0700
[format.string] Add missing grammar definition for custom-format-spec
rather than leaving it dangling.
commit d529b96f3be22332d4a88de646f56cb636680f6c
Author: Richard Smith <[email protected]>
Date: Wed Jul 31 18:33:05 2019 -0700
[format.string] Make tone of wording more formal and less tutorialesque.
commit 3ced91d524f3c2a850243863440151735276b38a
Author: Richard Smith <[email protected]>
Date: Wed Jul 31 18:41:56 2019 -0700
[format.context] Add specification of wformat_context analogous to that
of format_context, as discussed on lib reflector.
commit ed00761315546c11b48441e1bcef6aa5927f76c8
Author: Richard Smith <[email protected]>
Date: Thu Aug 1 18:17:10 2019 -0700
[format.string] Explicitly list all the possible formatting types for
bool and charT in their respective tables rather than requiring the
reader to infer how to merge the integer table into the bool and charT
tables.
commit 46622695da52f8080f7280207eecd93bd950cc1a
Author: Richard Smith <[email protected]>
Date: Sat Aug 3 19:57:13 2019 -0700
[format.functions] Use clamp rather than min(max(a,b),c)
Co-Authored-By: Johel Ernesto Guerrero Peña <[email protected]>
commit a870403a2dc47924e7f607f7c69694291d43007c
Author: Richard Smith <[email protected]>
Date: Sat Aug 3 20:39:06 2019 -0700
[format.arg] Don't use placeholder name for private member char-type.
commit d17fd4d5f10f6af87654fdc73bd6417313a295f2
Author: Richard Smith <[email protected]>
Date: Sun Aug 4 14:04:04 2019 -0700
[format.string] Avoid duplicating the specification of '#' for integers.
Fix the specification for '#' being different for octal integers in the
two places it's specified.
commit e30b8a69d485b96ddacfa31b7eb411c5a64d83a5
Author: Richard Smith <[email protected]>
Date: Sun Aug 4 14:23:48 2019 -0700
[format.string] Separate out the general (type-independent) description
of formatting from the format specifiers for arithmetic and string
types, and make the presentation of the latter consistent with the
presentation for chrono types.
commit f430bec8e7a4437b69d1ad31b2c1f4246e753770
Author: Richard Smith <[email protected]>
Date: Sun Aug 4 15:09:26 2019 -0700
[format.string.std] Convert normative duplication to a note to avoid
creating the impression that alignment is only applied to non-string
types.
commit b6454e39ede7ab11ce0958fa2ee3b487c8983ae1
Author: Richard Smith <[email protected]>
Date: Sun Aug 4 15:32:02 2019 -0700
[format.string] Further clarify description of cases where formatting is
described in terms of a call to to_chars.
commit 895f30bd225d050bcb2ab9f0a793af9865dcd513
Author: Richard Smith <[email protected]>
Date: Sun Aug 4 20:02:33 2019 -0700
[format.formatter] Reorder Formatter requirements before the
descriptions of specializations that meet those requirements.
commit c7ada4d28ae7be82ef64104617e216fd738a4d0f
Author: Jens Maurer <[email protected]>
Date: Tue Jul 30 16:07:16 2019 +0200
[numbers] Use 'template<class T>', not 'typename'.
commit 14aa4ed0d323c163f0559bd7c8555d77f2dc8093
Author: Jens Maurer <[email protected]>
Date: Tue Jul 30 16:12:59 2019 +0200
[math.constants] Expand 'math' to 'mathematical'.
commit 3f761c76b5daf9f1a75695226514c323ba6619f0
Author: Jens Maurer <[email protected]>
Date: Thu Aug 1 10:50:09 2019 +0200
[numbers.syn] Use 'namespace std::numbers'.
commit dc61857d3779253c6cdeec572cdcb43077b0ce86
Author: Richard Smith <[email protected]>
Date: Sun Aug 4 20:51:47 2019 -0700
[atomics.lockfree] "are" -> "is"; "along with" is not a coordinating
conjunction.
commit 3d3f16f99454d3ffffcfbf92a02b9bcaac9b375b
Author: Richard Smith <[email protected]>
Date: Sun Aug 4 21:50:27 2019 -0700
[thread.barrier.class] Rename constructor parameter from `phase_count`
to `expected`.
The parameter is not a phase count, and is referred to by other
normative wording as `expected`; also, `expected` is the name we use for
the same parameter in the constructor of `latch`.
commit 2e82327045fb92d89dd1431cc7e771da63c982dc
Author: Jens Maurer <[email protected]>
Date: Thu Aug 1 10:37:25 2019 +0200
[time.hms.members] Rephrased note.
[time.hms.overview] Removed redundant declaration of operator<<.
[time.hms.overview] Moved exposition-only data members to the bottom.
commit 1a37c22bb6b621f14d01b4e16378c9cd08724183
Author: Richard Smith <[email protected]>
Date: Sun Aug 4 23:36:25 2019 -0700
[time.hms.nonmembers] Finish rebase on std::format: rewrite hh_mm_ss
operator<< in terms of format rather than using (removed) old formatting
terminology.
commit 584a87ec1d48862b9e68a269d0a5eb7b05d6999d
Author: Richard Smith <[email protected]>
Date: Mon Aug 5 13:57:50 2019 -0700
[time.hms.nonmembers] Fix editorial error in hh_mm_ss operator<< (only
stream to 'os' once). This formulation was proposed by Howard Hinnant
on the lib reflector.
commit d243672db3269754d4ee91a5fbcdfb82ae6f2539
Author: Jens Maurer <[email protected]>
Date: Tue Jul 30 16:01:10 2019 +0200
Apply P1452R2 On the non-uniform semantics of return-type-requirements
to newly-introduced return type requirements.
commit 90f64792ec7d5372a093d3bea69dffff2f7af28a
Author: Richard Smith <[email protected]>
Date: Mon Aug 5 13:48:59 2019 -0700
Rename _s to -s in placeholder names per editorial guidelines.
commit ad685c42b18103ace094b375a4fde1a7ec6aba02
Author: Dawn Perchik <[email protected]>
Date: Tue Jul 30 19:33:10 2019 -0700
[stringbuf] Name string parameters "s" instead of "str" for consistency and to avoid confusion with "str" methods.
commit 26f7cd6d3b2d271c74e1d2022f972f833de940f6
Author: Dawn Perchik <[email protected]>
Date: Thu Aug 1 13:35:42 2019 -0700
[stringbuf.members] Minor fixes to P0408R7 wording.
"str()" should be "str"; we're talking about all str member functions here.
Add comma after "For efficiency reasons".
"i.e." -> "e.g." since we're describing an example case.
commit b4a8b798e00bce697af9b477a214828b69e9e383
Author: Richard Smith <[email protected]>
Date: Mon Aug 5 17:31:21 2019 -0700
[module.unit] Add "either" to clarify that we're talking about
module-names containing a reserved identifier, not module names starting
with an identifier that contains a reserved identifier.
commit 906fd4d0519994e06659ce066c8252df186c23b9
Author: Richard Smith <[email protected]>
Date: Mon Aug 5 17:57:35 2019 -0700
[func.require] Convert restrictive 'which' to 'that'.
commit 7e862f0f238257b2cbb1f7296a593b4587029e39
Author: Richard Smith <[email protected]>
Date: Mon Aug 5 18:46:55 2019 -0700
[range.transform.sentinel] Reinstate transform_view::sentinel::operator-
overloads, accidentally removed during application of P1614R2.
commit e02aa79ca43de3fdf6e1887d4fd02bc58874e190
Author: Jens Maurer <[email protected]>
Date: Wed Jul 31 22:55:50 2019 +0200
[range.istream.view] Do not repeat declaration of function istream_view
[range.elements.iterator] Renamed from [range.elements_view.iterator]
[range.elements.iterator] Use local typedef difference_type
[range.elements.iterator] Use reference return type for compound assignment
commit a0b5a70fade22203ebfbaeb4828e0c304b1f62ab
Author: Richard Smith <[email protected]>
Date: Mon Aug 5 23:02:38 2019 -0700
[ranges] Fix 'constexpr friend' to our preferred order 'friend constexpr'.
commit f0256ab73cd6a9fae611af95526d16fe59968d4c
Author: Richard Smith <[email protected]>
Date: Mon Aug 5 23:08:59 2019 -0700
[range.drop.view] Fix typo "requirement" -> "required".
commit 7698c3dc28251540b4a4733cc4a6b3f6942f13ed
Author: Richard Smith <[email protected]>
Date: Tue Aug 6 00:40:47 2019 -0700
[range.iota.view] Rename IOTA_DIFF_T to the preferred IOTA-DIFF-T.
commit cf1bc270c0e7d7b1670502c69268b0373bbf9799
Author: Richard Smith <[email protected]>
Date: Tue Aug 6 01:35:47 2019 -0700
[thread] Update headings, comments, and line wrapping to match editorial
conventions.
commit 7f4e95e3296b31c23bfb358f31294d384a955e3b
Author: Jens Maurer <[email protected]>
Date: Sat Aug 3 08:38:34 2019 +0200
[support.srcloc] Fix comments in example.
commit 06ab7ebef8a763e36f87f504ed7765528aa25fc7
Author: Richard Smith <[email protected]>
Date: Tue Aug 6 02:28:42 2019 -0700
[support.srcloc.cons] Use term "default member initialier" rather than
describing it indirectly.
commit 7beed51f4388074f46fd55a7c5f559cd82b7c40c
Author: Dawn Perchik <[email protected]>
Date: Tue Jul 30 20:36:34 2019 -0700
[alg.is.permutation] Add parameters to \libconcept{sized_sentinel_for} as suggested in PR #3099.
commit fbb0691134e39059adaa4a886e7d746b0e56c81c
Author: Dawn Perchik <[email protected]>
Date: Wed Jul 31 12:52:26 2019 -0700
[concepts] Renamed concepts' section names to remove trailing prepositions for consistency.
* concept.convertibleto => concept.convertible
* concept.derivedfrom => concept.derived
* concept.stricttotallyordered => concept.totallyordered
commit e2a070f7a5484e272c10e4ab31359fede5ff24a1
Author: Richard Smith <[email protected]>
Date: Tue Aug 6 13:51:24 2019 -0700
[diff.cpp17.library], [tab:headers.cpp] Add missing <coroutine> entry
to the list of headers, and add various missing entries to the list of
new-in-C++20 headers.
Fixes #3122.
commit 54a87d7849e7d5283c2d0a34f8200ef6a67bb0da
Author: Jens Maurer <[email protected]>
Date: Tue Aug 6 23:17:24 2019 +0200
[conv.qual,expr.static.cast] Harmonize notes on cv-qualified function types.
commit ee234abfbfa7deb5c585b67590205e1660df180f
Author: Jens Maurer <[email protected]>
Date: Thu Aug 1 16:45:51 2019 +0200
[time.clock,bit.cast] Replace template<typename...> with template<class...>
as per library specification policy.
commit a374c4f3664cf84a4440feb3c236076b25cfe736
Author: languagelawyer <[email protected]>
Date: Thu Jul 25 21:24:06 2019 +0200
[tuple] Use "objects" instead of "variables"
with "temporary" in the definition of `forward_as_tuple`
commit 7e02aa3d7d3e5e9dfc2c66451e112d40f4491465
Author: Jonathan Wakely <[email protected]>
Date: Mon Jul 22 23:27:57 2019 +0100
[is.sorted] Add missing "return" and semi-colon
This was lost when changing "Returns:" to "Effects:" for P0896R4. The
paper included this change, but it was lost when applying it.
commit cc421307fb4ce393e7ab1dcf0d0f1298d163fbe0
Author: Yehezkel Bernat <[email protected]>
Date: Sun Jul 21 22:16:23 2019 +0300
Delete irrelevant copy-paste from previous section
commit d4c4cc0ac037c51ec10cf6f7c80d8c761b517cba
Author: onihusube <[email protected]>
Date: Wed Jul 17 22:46:24 2019 +0900
[basic.lookup.argdep]/5 add export to apply()
fix #2968
commit 557cfa9dd706780fb672bfe9e5e2f0ef3b2f3d4a
Author: Jens Maurer <[email protected]>
Date: Thu Jul 4 09:31:57 2019 +0200
[basic.life] Lifetime of class objects is treated uniformly
under CWG2256, regardless of triviality of the destructor.
commit 4c3b9f50ecd230263974c81e1df2fb07b541c58d
Author: onihusube <[email protected]>
Date: Mon Jul 1 16:26:16 2019 +0900
[module.global] fix sample code comment
commit 06bd4b02febcb43c014ffd46b7a07dab8d66aa4b
Author: onihusube <[email protected]>
Date: Mon Jul 1 16:41:33 2019 +0900
[cpp.module] fix sample code comment
commit 1be069efaa41f4df376364290f8069ec030b13cc
Author: Jens Maurer <[email protected]>
Date: Fri Jun 28 17:11:44 2019 +0200
[time.parse] Fix description of %Ex and %EX parse flags.
Also refer to the table number instead of 'the table below'.
commit f038d86fb9112b62adaaebaf95dc70d786412cbd
Author: Jens Maurer <[email protected]>
Date: Fri Jun 28 16:50:03 2019 +0200
[res.on.functions] Properly capitalize full-sentence bullets.
Also add periods at the end of sentences.
commit 43945886b4ff4481da3d29b3f624d55bc9b5d124