Matthias Kretz improves wording, Daniel adjusts to CD draft

Author: Dani-Hub

xml/issue4230.xml

@@ -45,9 +45,7 @@ simd<complex<double>, 4> sc1(simd<double, 4>(1.), simd<floa
 Set priority to 2 after reflector poll.
 </p>
 
-</discussion>
-
-<resolution>
+<superseded>
 <p>
 This wording is relative to <paper num="N5008"/>.
 </p>
@@ -153,6 +151,137 @@ where the <tt><i>i</i></tt><sup>th</sup> element is initialized to the result of
 </blockquote>
 </li>
 
+</ol>
+</superseded>
+
+<note>2025-07-21; Matthias Kretz comments</note>
+<p>
+The currently shown P/R says:
+</p>
+<blockquote><p>
+<i>Remarks</i>: The expression inside `explicit` evaluates to `false` if and only if
+the floating-point conversion rank of `T::value_type` is greater than or equal
+to the floating-point conversion rank of <tt><i>real-type</i>::value_type</tt>.
+</p></blockquote>
+<p>
+But, by construction, <tt><i>real-type</i>::value_type</tt> is the same as `T::value_type`. 
+So we get an elaborately worded `explicit(false)` here (which is correct).
+Consequently, the proposed resolution needs to strike `explicit(<i>see below</i>)`
+from <sref ref="[simd.overview]"/> and <sref ref="[simd.ctor]"/> and drop the Remarks paragraph (21).
+</p>
+</discussion>
+
+<resolution>
+<p>
+This wording is relative to this 
+<a href="https://github.com/cplusplus/draft/actions/runs/16433597877/artifacts/3583518547">CD preview draft</a>.
+</p>
+
+
+<ol>
+
+<li><p>Modify <sref ref="[simd.overview]"/>, class template `basic_vec` synopsis, as indicated:</p>
+
+<blockquote>
+<pre>
+namespace std::simd {
+  template&lt;class T, class Abi&gt; class basic_vec {
+  public:
+    using value_type = T;
+    using mask_type = basic_mask&lt;sizeof(T), Abi&gt;;
+    using abi_type = Abi;
+    using iterator = <i>simd-iterator</i>&lt;basic_vec&gt;;
+    using const_iterator = <i>simd-iterator</i>&lt;const basic_vec&gt;;
+    
+    <ins>using <i>real-type</i> = rebind_t&lt;typename T::value_type, basic_vec&gt; <i>// exposition-only</i></ins>
+    
+    <i>// <sref ref="[simd.ctor]"/>, basic_vec constructors</i>   
+    [&hellip;]
+    <del>template&lt;<i>simd-floating-point</i> V&gt;</del>
+      constexpr <del>explicit(<i>see below</i>)</del> basic_vec(const <ins><i>real-type</i></ins><del>V</del>&amp; reals, const <ins><i>real-type</i></ins><del>V</del>&amp; imags = {}) noexcept;
+    [&hellip;]
+    <i>// <sref ref="[simd.complex.access]"/>, basic_vec complex-value accessors</i>
+    constexpr <ins><i>real-type</i></ins><del>auto</del> real() const noexcept;
+    constexpr <ins><i>real-type</i></ins><del>auto</del> imag() const noexcept;
+    <del>template&lt;<i>simd-floating-point</i> V&gt;</del>
+      constexpr void real(const <ins><i>real-type</i></ins><del>V</del>&amp; v) noexcept;
+    <del>template&lt;<i>simd-floating-point</i> V&gt;</del>
+      constexpr void imag(const <ins><i>real-type</i></ins><del>V</del>&amp; v) noexcept;
+    [&hellip;]
+  };
+  [&hellip;]
+}
+</pre>
+</blockquote>
+</li>
+
+<li><p>Modify <sref ref="[simd.ctor]"/> as indicated:</p>
+
+<blockquote>
+<pre>
+<del>template&lt;<i>simd-floating-point</i> V&gt;</del>
+  constexpr <del>explicit(<i>see below</i>)</del> 
+    basic_vec(const <ins><i>real-type</i></ins><del>V</del>&amp; reals, const <ins><i>real-type</i></ins><del>V</del>&amp; imags = {}) noexcept;
+</pre>
+<blockquote>
+<p>
+-19- <i>Constraints</i>:
+</p>
+<ol style="list-style-type: none">
+<li><p><del>(19.1) &mdash;</del> <tt><i>simd-complex</i>&lt;basic_vec&gt;</tt> is modeled<ins>.</ins><del>, and</del></p></li>
+<li><p><del>(19.2) &mdash; `V::size() == size()` is `true`.</del></p></li>
+</ol>
+<p>
+[&hellip;]
+<p/>
+<del>-21- <i>Remarks</i>: The expression inside `explicit` evaluates to `false` if and only if the 
+floating-point conversion rank of `T::value_type` is greater than or equal to the floating-point 
+conversion rank of <tt>V::value_type</tt>.</del>
+</p>
+</blockquote>
+</blockquote>
+</li>
+
+<li><p>Modify <sref ref="[simd.complex.access]"/> as indicated:</p>
+
+<blockquote>
+<pre>
+constexpr <ins><i>real-type</i></ins><del>auto</del> real() const noexcept;
+constexpr <ins><i>real-type</i></ins><del>auto</del> imag() const noexcept;
+</pre>
+<blockquote>
+<p>
+-1- <i>Constraints</i>: <tt><i>simd-complex</i>&lt;basic_vec&gt;</tt> is modeled.
+<p/>
+-2- <i>Returns</i>: An object of type <tt><ins><i>real-type</i></ins><del>rebind_t&lt;typename T::value_type, basic_vec&gt;</del></tt> 
+where the <tt><i>i</i></tt><sup>th</sup> element is initialized to the result of 
+<tt><i>cmplx-func</i>(operator[](<i>i</i>))</tt> for all <tt><i>i</i></tt> in the range 
+`[0, size())`, where <tt><i>cmplx-func</i></tt> is the corresponding function from 
+<tt>&lt;complex&gt;</tt>.
+</p>
+</blockquote>
+<pre>
+<del>template&lt;<i>simd-floating-point</i> V&gt;</del>
+  constexpr void real(const <ins><i>real-type</i></ins><del>V</del>&amp; v) noexcept;
+<del>template&lt;<i>simd-floating-point</i> V&gt;</del>
+  constexpr void imag(const <ins><i>real-type</i></ins><del>V</del>&amp; v) noexcept;
+</pre>
+<blockquote>
+<p>
+-3- <i>Constraints</i>:
+</p>
+<ol style="list-style-type: none">
+<li><p><del>(3.1) &mdash;</del> <tt><i>simd-complex</i>&lt;basic_vec&gt;</tt> is modeled<ins>.</ins><del>,</del></p></li>
+<li><p><del>(3.2) &mdash; <tt>same_as&lt;typename V::value_type, typename T::value_type&gt;</tt> is modeled, and</del></p></li>
+<li><p><del>(3.3) &mdash; `V::size() == size()` is `true`.</del></p></li>
+</ol>
+<p>
+[&hellip;]
+</p>
+</blockquote>
+</blockquote>
+</li>
+
 </ol>
 </resolution>