|
79 | 79 | </tr> |
80 | 80 | </table> |
81 | 81 | <h1>C++ Standard Library Active Issues List (Revision D125)</h1> |
82 | | -<p>Revised 2025-03-15 at 14:04:55 UTC |
| 82 | +<p>Revised 2025-03-15 at 14:06:19 UTC |
83 | 83 | </p> |
84 | 84 | <p>Reference ISO/IEC IS 14882:2020(E)</p> |
85 | 85 | <p>Also see:</p> |
@@ -215,7 +215,7 @@ <h2 id='History'>Revision History</h2> |
215 | 215 | input_iterator are not quite right (Status: New)">4103</a>, <a href="lwg-active.html#4104" title="basic_const_iterator<volatile int*> is not a contiguous_iterator (Status: New)">4104</a>, <a href="lwg-active.html#4107" title="Map formatter may conflict with user-defined specializations of pair/tuple formatters (Status: New)">4107</a>, <a href="lwg-active.html#4109" title="Instantiating templates in §[rand] with int8_t/uint8_t is undefined behavior (Status: New)">4109</a>, <a href="lwg-active.html#4110" title="shared_ptr(nullptr_t, Deleter) is overconstrained, breaking some sensible deleters (Status: New)">4110</a>, <a href="lwg-active.html#4111" title="LWG 270 and ranges version of binary search algorithms (Status: New)">4111</a>, <a href="lwg-active.html#4114" title="elements_view::iterator::operator* missing conditional noexcept specification (Status: New)">4114</a>, <a href="lwg-active.html#4115" title="move_iterator::operator* should have conditional noexcept specification (Status: New)">4115</a>, <a href="lwg-active.html#4116" title="enumerate_view::iterator and cartesian_product_view::iterator should not |
216 | 216 | always provide iterator_category (Status: New)">4116</a>, <a href="lwg-active.html#4117" title="generator::iterator should provide iterator_concept (Status: New)">4117</a>, <a href="lwg-active.html#4118" title="How should duration formatters format custom rep types? (Status: New)">4118</a>, <a href="lwg-active.html#4120" title="move_iterator should provide iterator_category only when it models |
217 | 217 | forward_iterator (Status: New)">4120</a>, <a href="lwg-active.html#4121" title="ranges::to constructs associative containers via c.emplace(c.end(), *it) (Status: New)">4121</a>, <a href="lwg-active.html#4122" title="Ill-formed operator<=> can cause hard error when instantiating std::inplace_vector (Status: New)">4122</a>, <a href="lwg-active.html#4123" title="Container effects use "the assignment operator or move assignment operator" (Status: New)">4123</a>, <a href="lwg-active.html#4125" title="move_iterator's default constructor should be constrained (Status: New)">4125</a>, <a href="lwg-active.html#4127" title="The Standard Library should not use predicates of the form pred(*i) != false (Status: New)">4127</a>, <a href="lwg-active.html#4128" title="Allocator requirements should not allow rebinding conversions to be explicit (Status: New)">4128</a>, <a href="lwg-active.html#4129" title="Possibly incorrect wording for data race avoidance (Status: New)">4129</a>, <a href="lwg-active.html#4131" title="Including <optional> doesn't provide std::begin/end (Status: New)">4131</a>, <a href="lwg-active.html#4132" title="Throws specifications need to include boolean-testable operations (Status: New)">4132</a>, <a href="lwg-active.html#4133" title="awaitable-receiver's members are potentially throwing (Status: New)">4133</a>, <a href="lwg-active.html#4136" title="Specify behavior of [linalg] Hermitian algorithms on diagonal with nonzero imaginary part (Status: New)">4136</a>, <a href="lwg-active.html#4137" title="Fix Mandates, Preconditions, and Complexity elements of [linalg] algorithms (Status: New)">4137</a>, <a href="lwg-active.html#4138" title="is_within_lifetime should mandate is_object (Status: New)">4138</a>, <a href="lwg-active.html#4139" title="§[time.zone.leap] recursive constraint in <=> (Status: New)">4139</a>, <a href="lwg-active.html#4143" title="execution::set_value/set_error/set_stopped/start should always return void (Status: New)">4143</a>, <a href="lwg-active.html#4145" title="Unclear how [res.on.data.races] apply to templated functions (Status: New)">4145</a>, <a href="lwg-active.html#4146" title="§[format.formatter.spec]/3 unconditionally enables nonlocking for container adaptors (Status: New)">4146</a>, <a href="lwg-active.html#4149" title="User defined macros without standard headers (294 redux) (Status: New)">4149</a>, <a href="lwg-active.html#4151" title="Precondition of inplace_vector::swap (Status: New)">4151</a>, <a href="lwg-active.html#4152" title="The primary template of std::char_traits is totally underspecified (Status: New)">4152</a>, <a href="lwg-active.html#4155" title="Cpp17NullablePointer should require that some expression can be contextually converted to bool (Status: New)">4155</a>, <a href="lwg-active.html#4158" title="packaged_task::operator= should abandon its shared state (Status: New)">4158</a>, <a href="lwg-active.html#4159" title="Uses-allocator construction mechanisms should be opted out for node handles (Status: New)">4159</a>, <a href="lwg-active.html#4160" title="packaged_task should reject rvalue reference return types (Status: New)">4160</a>, <a href="lwg-active.html#4161" title="Some free functions don't automatically work for program-defined std::complex<NonFloatingPoint> (Status: New)">4161</a>, <a href="lwg-active.html#4162" title="Worst time complexity of non-parallel versions of nth_element is underspecified (Status: New)">4162</a>, <a href="lwg-active.html#4165" title="Should swapping a built-in array or std::array with itself result in UB? (Status: New)">4165</a>, <a href="lwg-active.html#4166" title="concat_view::end() should be more constrained in order to support noncopyable iterators (Status: New)">4166</a>, <a href="lwg-active.html#4167" title="Use of "smaller" and "larger" in min, |
218 | | -max, and minmax is unclear (Status: New)">4167</a>, <a href="lwg-active.html#4168" title="std::start_lifetime_as inadvertently has undefined behavior due to use of std::bit_cast (Status: New)">4168</a>, <a href="lwg-active.html#4171" title="P2609R3 breaks code that uses views::zip and get<T> (Status: New)">4171</a>, <a href="lwg-active.html#4173" title="Better term for "references, pointers and iterators to elements" (Status: New)">4173</a>, <a href="lwg-active.html#4176" title="Refer back to container requirements when extending them (Status: New)">4176</a>, <a href="lwg-active.html#4180" title="Inconsistent constraints on flat_foo::emplace (Status: New)">4180</a>, <a href="lwg-active.html#4181" title="Some ranges have negative ssize (Status: New)">4181</a>, <a href="lwg-active.html#4182" title="Definition of NULL is too broad (Status: New)">4182</a>, <a href="lwg-active.html#4183" title="subrange should provide data() (Status: New)">4183</a>, <a href="lwg-active.html#4185" title="Ill-formed, no diagnostic required on runtime behavior (Status: New)">4185</a>, <a href="lwg-active.html#4187" title="bitset::reference should be const-assignable (Status: New)">4187</a>, <a href="lwg-active.html#4190" title="Specification of completion-signatures-for in [exec.snd.expos]/p39 is recursive (Status: New)">4190</a>, <a href="lwg-active.html#4192" title="§[ios.base.cons] ios_base members may not have indeterminate values after construction (Status: New)">4192</a>, <a href="lwg-active.html#4193" title="§[time.zone.db] the specification uses the undefined term "thread-safe" (Status: New)">4193</a>, <a href="lwg-active.html#4195" title="expected<int, int> isn't specified to be trivially assignable (Status: New)">4195</a>, <a href="lwg-active.html#4197" title="Complexity of std::visit with immediate functions (Status: New)">4197</a>, <a href="lwg-active.html#4199" title="constraints on user customizations of standard sender algorithms are incorrectly specified (Status: New)">4199</a>, <a href="lwg-active.html#4206" title="Alias template connect_result_t should be constrained with sender_to (Status: New)">4206</a>, <a href="lwg-active.html#4207" title="Point of reference for source_location is not specified when used in an default template argument (Status: New)">4207</a>, <a href="lwg-active.html#4210" title="Issue with cache_latest_view::iterator's reference type (Status: New)">4210</a>, <a href="lwg-active.html#4211" title="IANA time zone database allows links to refer to links (Status: New)">4211</a>, <a href="lwg-active.html#4212" title="Make the round states in [rand.eng.philox] explicit (Status: New)">4212</a>, <a href="lwg-active.html#4213" title="Sender spec depends on unspecified order of evaluation (Status: New)">4213</a>, <a href="lwg-active.html#4214" title="Missing Preconditions for take/drop adaptor (Status: New)">4214</a>, <a href="lwg-active.html#4215" title="run_loop::finish should be noexcept (Status: New)">4215</a>, <a href="lwg-active.html#4216" title="num_put::do_put and void pointers (Status: New)">4216</a>, <a href="lwg-active.html#4217" title="Clarify mdspan layout mapping requirements for rank == 0 (Status: New)">4217</a>, <a href="lwg-active.html#4218" title="Constraint recursion in basic_const_iterator's relational operators due to ADL + CWG 2369 (Status: New)">4218</a>, <a href="lwg-active.html#4219" title="std::vector::erase[_if] should be based on ranges remove (Status: New)">4219</a>, <a href="lwg-active.html#4220" title="join_view incorrectly stores inner range (Status: New)">4220</a>, <a href="lwg-active.html#4221" title="Cannot format const-iterable only ranges (Status: New)">4221</a>, <a href="lwg-active.html#4222" title=" expected constructor from a single value missing a constraint (Status: New)">4222</a>.</li> |
| 218 | +max, and minmax is unclear (Status: New)">4167</a>, <a href="lwg-active.html#4168" title="std::start_lifetime_as inadvertently has undefined behavior due to use of std::bit_cast (Status: New)">4168</a>, <a href="lwg-active.html#4171" title="P2609R3 breaks code that uses views::zip and get<T> (Status: New)">4171</a>, <a href="lwg-active.html#4173" title="Better term for "references, pointers and iterators to elements" (Status: New)">4173</a>, <a href="lwg-active.html#4176" title="Refer back to container requirements when extending them (Status: New)">4176</a>, <a href="lwg-active.html#4180" title="Inconsistent constraints on flat_foo::emplace (Status: New)">4180</a>, <a href="lwg-active.html#4181" title="Some ranges have negative ssize (Status: New)">4181</a>, <a href="lwg-active.html#4182" title="Definition of NULL is too broad (Status: New)">4182</a>, <a href="lwg-active.html#4183" title="subrange should provide data() (Status: New)">4183</a>, <a href="lwg-active.html#4185" title="Ill-formed, no diagnostic required on runtime behavior (Status: New)">4185</a>, <a href="lwg-active.html#4187" title="bitset::reference should be const-assignable (Status: New)">4187</a>, <a href="lwg-active.html#4190" title="Specification of completion-signatures-for in [exec.snd.expos]/p39 is recursive (Status: New)">4190</a>, <a href="lwg-active.html#4192" title="§[ios.base.cons] ios_base members may not have indeterminate values after construction (Status: New)">4192</a>, <a href="lwg-active.html#4193" title="§[time.zone.db] the specification uses the undefined term "thread-safe" (Status: New)">4193</a>, <a href="lwg-active.html#4195" title="expected<int, int> isn't specified to be trivially assignable (Status: New)">4195</a>, <a href="lwg-active.html#4197" title="Complexity of std::visit with immediate functions (Status: New)">4197</a>, <a href="lwg-active.html#4199" title="constraints on user customizations of standard sender algorithms are incorrectly specified (Status: New)">4199</a>, <a href="lwg-active.html#4206" title="Alias template connect_result_t should be constrained with sender_to (Status: New)">4206</a>, <a href="lwg-active.html#4207" title="Point of reference for source_location is not specified when used in an default template argument (Status: New)">4207</a>, <a href="lwg-active.html#4210" title="Issue with cache_latest_view::iterator's reference type (Status: New)">4210</a>, <a href="lwg-active.html#4211" title="IANA time zone database allows links to refer to links (Status: New)">4211</a>, <a href="lwg-active.html#4212" title="Make the round states in [rand.eng.philox] explicit (Status: New)">4212</a>, <a href="lwg-active.html#4213" title="Sender spec depends on unspecified order of evaluation (Status: New)">4213</a>, <a href="lwg-active.html#4214" title="Missing Preconditions for take/drop adaptor (Status: New)">4214</a>, <a href="lwg-active.html#4215" title="run_loop::finish should be noexcept (Status: New)">4215</a>, <a href="lwg-active.html#4216" title="num_put::do_put and void pointers (Status: New)">4216</a>, <a href="lwg-active.html#4217" title="Clarify mdspan layout mapping requirements for rank == 0 (Status: New)">4217</a>, <a href="lwg-active.html#4218" title="Constraint recursion in basic_const_iterator's relational operators due to ADL + CWG 2369 (Status: New)">4218</a>, <a href="lwg-active.html#4219" title="std::vector::erase[_if] should be based on ranges remove (Status: New)">4219</a>, <a href="lwg-active.html#4220" title="join_view incorrectly stores inner range (Status: New)">4220</a>, <a href="lwg-active.html#4221" title="Cannot format const-iterable only ranges (Status: New)">4221</a>, <a href="lwg-active.html#4222" title="expected constructor from a single value missing a constraint (Status: New)">4222</a>.</li> |
219 | 219 | <li>Added the following 3 Open issues: <a href="lwg-active.html#3988" title="Should as_const_view and basic_const_iterator provide base()? (Status: Open)">3988</a>, <a href="lwg-active.html#4015" title="LWG 3973 broke const overloads of std::optional monadic operations (Status: Open)">4015</a>, <a href="lwg-active.html#4130" title="Preconditions for std::launder might be overly strict (Status: Open)">4130</a>.</li> |
220 | 220 | <li>Added the following LEWG issue: <a href="lwg-active.html#4097" title="views::reverse should be specialized for some view types (Status: LEWG)">4097</a>.</li> |
221 | 221 | <li>Added the following 4 SG1 issues: <a href="lwg-active.html#4004" title="The load and store operation in §[atomics.order] p1 is ambiguous (Status: SG1)">4004</a>, <a href="lwg-active.html#4075" title="Thread stability requirement on constructors and destructors (Status: SG1)">4075</a>, <a href="lwg-active.html#4174" title="How does [atomics.order] p3 apply when then modification is an initialization? (Status: SG1)">4174</a>, <a href="lwg-active.html#4177" title="§[atomics.order] p8 "circularly depend on their own computation" is unclear for loop (Status: SG1)">4177</a>.</li> |
@@ -70809,7 +70809,7 @@ <h3 id="4221"><a href="#4221">4221</a><sup><a href="https://cplusplus.github.io/ |
70809 | 70809 |
|
70810 | 70810 |
|
70811 | 70811 | <hr> |
70812 | | -<h3 id="4222"><a href="#4222">4222</a><sup><a href="https://cplusplus.github.io/LWG/issue4222">(i)</a></sup>. <code class='backtick'>expected</code> constructor from a single value missing a constraint</h3> |
| 70812 | +<h3 id="4222"><a href="#4222">4222</a><sup><a href="https://cplusplus.github.io/LWG/issue4222">(i)</a></sup>. <code class='backtick'>expected</code> constructor from a single value missing a constraint</h3> |
70813 | 70813 | <p><b>Section:</b> 22.8.6.2 <a href="https://wg21.link/expected.object.cons">[expected.object.cons]</a> <b>Status:</b> <a href="lwg-active.html#New">New</a> |
70814 | 70814 | <b>Submitter:</b> Bronek Kozicki <b>Opened:</b> 2025-03-12 <b>Last modified:</b> 2025-03-15</p> |
70815 | 70815 | <p><b>Priority: </b>Not Prioritized |
|
0 commit comments