Merge 2023-06 LWG Motion 24

P2697R1 Interfacing bitset with string_view

Author: tkoeppe

source/support.tex

@@ -580,6 +580,7 @@
 #define @\defnlibxname{cpp_lib_bind_front}@                        201907L // freestanding, also in \libheader{functional}
 #define @\defnlibxname{cpp_lib_bit_cast}@                          201806L // freestanding, also in \libheader{bit}
 #define @\defnlibxname{cpp_lib_bitops}@                            201907L // freestanding, also in \libheader{bit}
+#define @\defnlibxname{cpp_lib_bitset}@                            202306L // also in \libheader{bitset}
 #define @\defnlibxname{cpp_lib_bool_constant}@                     201505L // freestanding, also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_bounded_array_traits}@              201902L // freestanding, also in \libheader{type_traits}
 #define @\defnlibxname{cpp_lib_boyer_moore_searcher}@              201603L // also in \libheader{functional}

source/utilities.tex

@@ -9687,10 +9687,18 @@
           = basic_string<charT, traits, Allocator>::npos,
         charT zero = charT('0'),
         charT one = charT('1'));
+    template<class charT, class traits>
+      constexpr explicit bitset(
+        basic_string_view<charT, traits> str,
+        typename basic_string_view<charT, traits>::size_type pos = 0,
+        typename basic_string_view<charT, traits>::size_type n
+          = basic_string_view<charT, traits>::npos,
+        charT zero = charT('0'),
+        charT one = charT('1'));
     template<class charT>
       constexpr explicit bitset(
         const charT* str,
-        typename basic_string<charT>::size_type n = basic_string<charT>::npos,
+        typename basic_string_view<charT>::size_type n = basic_string_view<charT>::npos,
         charT zero = charT('0'),
         charT one = charT('1'));
 
@@ -9823,6 +9831,14 @@
       = basic_string<charT, traits, Allocator>::npos,
     charT zero = charT('0'),
     charT one = charT('1'));
+template<class charT, class traits>
+  constexpr explicit bitset(
+    basic_string_view<charT, traits> str,
+    typename basic_string_view<charT, traits>::size_type pos = 0,
+    typename basic_string_view<charT, traits>::size_type n
+      = basic_string_view<charT, traits>::npos,
+    charT zero = charT('0'),
+    charT one = charT('1'));
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -9869,7 +9885,7 @@
 template<class charT>
   constexpr explicit bitset(
     const charT* str,
-    typename basic_string<charT>::size_type n = basic_string<charT>::npos,
+    typename basic_string_view<charT>::size_type n = basic_string_view<charT>::npos,
     charT zero = charT('0'),
     charT one = charT('1'));
 \end{itemdecl}
@@ -9879,9 +9895,9 @@
 \effects
 As if by:
 \begin{codeblock}
-bitset(n == basic_string<charT>::npos
-          ? basic_string<charT>(str)
-          : basic_string<charT>(str, n),
+bitset(n == basic_string_view<charT>::npos
+          ? basic_string_view<charT>(str)
+          : basic_string_view<charT>(str, n),
        0, n, zero, one)
 \end{codeblock}
 \end{itemdescr}