Skip to content

Commit 73a6700

Browse files
committed
Set 4265 to Tentatively Ready
1 parent 4cd93d0 commit 73a6700

File tree

1 file changed

+20
-1
lines changed

1 file changed

+20
-1
lines changed

xml/issue4265.xml

Lines changed: 20 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
<?xml version='1.0' encoding='utf-8' standalone='no'?>
22
<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
33

4-
<issue num="4265" status="New">
4+
<issue num="4265" status="Tentatively Ready">
55
<title>`std::midpoint` should not accept `const bool`</title>
66
<section><sref ref="[numeric.ops.midpoint]"/></section>
77
<submitter>Jan Schultke</submitter>
@@ -34,6 +34,25 @@ for these other functions seems evolutionary, not like fixing an obvious oversig
3434
and so it likely requires a separate issue.
3535
</p>
3636

37+
38+
<note>2025-10-21; Reflector poll.</note>
39+
<p>
40+
Set status to Tentatively Ready after seven votes in favour during reflector poll.
41+
</p>
42+
<p>
43+
This requires template argument to be explicty specified, i.e.
44+
<code>midpoint&lt;const bool&gt;</code>.
45+
I would prefer to address all cv-qualified types at once, e.g.
46+
<i>Constraints</i>:
47+
<code>remove_cv_t&lt;T&gt;</code> is an arithmetic type other than `bool`."
48+
</p>
49+
<p>
50+
"This is locally consistent with `gcd` and `lcm` which only exclude <i>cv</i> `bool`.
51+
<sref ref="[algorithms.requirements"/> p15 makes it unspecified to use an explicit
52+
template argument list here, so <code>midpoint&lt;const bool&gt;</code>
53+
and <code>midpoint&lt;const int&gt;</code> are already unspecified,
54+
this issue just ensures that `const bool` is explicitly rejected, like `bool`."
55+
</p>
3756
</discussion>
3857

3958
<resolution>

0 commit comments

Comments
 (0)