Skip to content

Commit 87f9828

Browse files
committed
New P/R for 4164
1 parent 8b09c4e commit 87f9828

File tree

1 file changed

+42
-3
lines changed

1 file changed

+42
-3
lines changed

xml/issue4164.xml

Lines changed: 42 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -73,9 +73,7 @@ to simply
7373
there is no effect on the forward_list"
7474
</p>
7575

76-
</discussion>
77-
78-
<resolution>
76+
<superseded>
7977
<p>This wording is relative to <paper num="n4988"/>.</p>
8078

8179
<ol>
@@ -97,6 +95,47 @@ there <del>shall be</del> <ins>is</ins> no effect
9795
</li>
9896
</ol>
9997

98+
</superseded>
99+
100+
<note>2024-10-09; LWG suggested improved wording</note>
101+
<p>
102+
The proposed resolution potentially mandates a change to `resize` when
103+
increasing the size, requiring implementations to "roll back" earlier
104+
insertions if a later one throws, so that the size is left unchanged.
105+
It appears that all of libstdc++, libc++ and MSVC already do this.
106+
</p>
107+
108+
</discussion>
109+
110+
<resolution>
111+
<p>This wording is relative to <paper num="n4988"/>.</p>
112+
113+
<ol>
114+
<li>
115+
<p>Change <sref ref="[forward.list.modifiers]"/> as indicated:</p>
116+
<blockquote>
117+
<del>
118+
None of the overloads of `insert_after` shall
119+
affect the validity of iterators and references,
120+
and `erase_after` shall invalidate
121+
only iterators and references to the erased elements.
122+
</del>
123+
<ins>The member functions in this subclause do not
124+
affect the validity of iterators and references when inserting elements,
125+
and when erasing elements invalidate iterators and references
126+
to the erased elements only.
127+
</ins>
128+
If an exception is thrown
129+
<del>during `insert_after`</del>
130+
<ins>by any of these member functions</ins>
131+
there <del>shall be</del> <ins>is</ins> no effect
132+
<ins>on the container</ins>.
133+
</blockquote>
134+
135+
</li>
136+
</ol>
137+
138+
100139
</resolution>
101140

102141
</issue>

0 commit comments

Comments
 (0)