Implement LWG-4035 single_view should provide empty (#4525)

Co-authored-by: Stephan T. Lavavej <stl@nuwen.net>
microsoft · Mar 28, 2024 · 53f95ba · 53f95ba
1 parent e0a75b3
commit 53f95ba
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/stl/inc/ranges b/stl/inc/ranges
@@ -1031,6 +1031,10 @@ namespace ranges {
             return data() + 1;
         }
 
+        _NODISCARD static constexpr bool empty() noexcept {
+            return false;
+        }
+
         _NODISCARD static constexpr size_t size() noexcept {
             return 1;
         }

diff --git a/tests/std/tests/P0896R4_views_single/test.cpp b/tests/std/tests/P0896R4_views_single/test.cpp
@@ -52,6 +52,13 @@ constexpr bool test_one_type(T value, Args&&... args) {
     same_as<R> auto r0 = ranges::single_view{value};
     const R& cr0       = r0;
 
+    // validate member empty
+    static_assert(same_as<decltype(R::empty()), bool>);
+    static_assert(R::empty() == false);
+    static_assert(noexcept(R::empty()));
+    static_assert(noexcept(ranges::empty(r0)));
+    static_assert(noexcept(ranges::empty(cr0)));
+
     // validate member size
     static_assert(same_as<decltype(R::size()), size_t>);
     static_assert(R::size() == 1);