New issue from Hewill: "cache_latest_view should be freestanding"

Author: Dani-Hub

xml/issue4189.xml

@@ -0,0 +1,55 @@
+<?xml version='1.0' encoding='utf-8' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
+
+<issue num="4189" status="New">
+<title>`cache_latest_view` should be freestanding</title>
+<section><sref ref="[version.syn]"/><sref ref="[ranges.syn]"/></section>
+<submitter>Hewill Kang</submitter>
+<date>23 Dec 2024</date>
+<priority>99</priority>
+
+<discussion>
+<p>
+`cache_latest_view` can be freestanding, but this never comes up in the discussion, which seems to be an oversight.
+</p>
+
+</discussion>
+
+<resolution>
+<p>
+This wording is relative to <paper num="N5001"/>.
+</p>
+
+<ol>
+<li><p>Modify <sref ref="[version.syn]"/> as indicated:</p>
+
+<blockquote><pre>
+#define __cpp_lib_ranges_cache_latest 202411L // <ins><i>freestanding</i>,</ins> <i>also in</i> &lt;ranges&gt;
+</pre></blockquote>
+
+</li>
+
+<li><p>Modify <sref ref="[ranges.syn]"/> as indicated:</p>
+
+<blockquote><pre>
+#include &lt;compare&gt;              // <i>see <sref ref="[compare.syn]"/></i>
+#include &lt;initializer_list&gt;     // <i>see <sref ref="[initializer.list.syn]"/></i>
+#include &lt;iterator&gt;             // <i>see <sref ref="[iterator.synopsis]"/></i>
+
+namespace std::ranges {
+  [&hellip;]
+  // <i><sref ref="[range.cache.latest]"/>, cache latest view</i>
+  template&lt;input_range V&gt;
+    requires view&lt;V&gt;
+  class cache_latest_view;                                                                <ins>// <i>freestanding</i></ins>
+  
+  namespace views { inline constexpr <i>unspecified</i> cache_latest = <i>unspecified</i>; }            <ins>// <i>freestanding</i></ins>
+  [&hellip;]
+}
+</pre></blockquote>
+</li>
+</ol>
+
+</resolution>
+
+</issue>