LWG4001 iota_view should provide empty

cplusplus · Nov 14, 2023 · 7f8629f · 7f8629f
1 parent 0481462
commit 7f8629f
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/source/ranges.tex b/source/ranges.tex
@@ -2685,6 +2685,7 @@
     constexpr auto end() const;
     constexpr @\exposid{iterator}@ end() const requires @\libconcept{same_as}@<W, Bound>;
 
+    constexpr bool empty() const;
     constexpr auto size() const requires @\seebelow@;
   };
 
@@ -2902,6 +2903,17 @@
 Equivalent to: \tcode{return \exposid{iterator}\{\exposid{bound_}\};}
 \end{itemdescr}
 
+\indexlibrarymember{empty}{iota_view}%
+\begin{itemdecl}
+constexpr bool empty() const;
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\effects
+Equivalent to: \tcode{return \exposid{value_} == \exposid{bound_};}
+\end{itemdescr}
+
 \indexlibrarymember{size}{iota_view}%
 \begin{itemdecl}
 constexpr auto size() const requires @\seebelow@;