P2711R1 Making multi-param constructors of views explicit

Author: burblebee

source/ranges.tex

@@ -2655,8 +2655,8 @@
   public:
     iota_view() requires @\libconcept{default_initializable}@<W> = default;
     constexpr explicit iota_view(W value);
-    constexpr iota_view(type_identity_t<W> value, type_identity_t<Bound> bound);
-    constexpr iota_view(@\exposid{iterator}@ first, @\seebelow@ last);
+    constexpr explicit iota_view(type_identity_t<W> value, type_identity_t<Bound> bound);
+    constexpr explicit iota_view(@\exposid{iterator}@ first, @\seebelow@ last);
 
     constexpr @\exposid{iterator}@ begin() const;
     constexpr auto end() const;
@@ -2789,7 +2789,7 @@
 
 \indexlibraryctor{iota_view}%
 \begin{itemdecl}
-constexpr iota_view(type_identity_t<W> value, type_identity_t<Bound> bound);
+constexpr explicit iota_view(type_identity_t<W> value, type_identity_t<Bound> bound);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -2808,7 +2808,7 @@
 
 \indexlibraryctor{iota_view}%
 \begin{itemdecl}
-constexpr iota_view(@\exposid{iterator}@ first, @\seebelow@ last);
+constexpr explicit iota_view(@\exposid{iterator}@ first, @\seebelow@ last);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -4549,7 +4549,7 @@
 
   public:
     filter_view() requires @\libconcept{default_initializable}@<V> && @\libconcept{default_initializable}@<Pred> = default;
-    constexpr filter_view(V base, Pred pred);
+    constexpr explicit filter_view(V base, Pred pred);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -4572,7 +4572,7 @@
 
 \indexlibraryctor{filter_view}%
 \begin{itemdecl}
-constexpr filter_view(V base, Pred pred);
+constexpr explicit filter_view(V base, Pred pred);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -4976,7 +4976,7 @@
 
   public:
     transform_view() requires @\libconcept{default_initializable}@<V> && @\libconcept{default_initializable}@<F> = default;
-    constexpr transform_view(V base, F fun);
+    constexpr explicit transform_view(V base, F fun);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -5007,7 +5007,7 @@
 
 \indexlibraryctor{transform_view}%
 \begin{itemdecl}
-constexpr transform_view(V base, F fun);
+constexpr explicit transform_view(V base, F fun);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -5714,7 +5714,7 @@
 
   public:
     take_view() requires @\libconcept{default_initializable}@<V> = default;
-    constexpr take_view(V base, range_difference_t<V> count);
+    constexpr explicit take_view(V base, range_difference_t<V> count);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -5798,7 +5798,7 @@
 
 \indexlibraryctor{take_view}%
 \begin{itemdecl}
-constexpr take_view(V base, range_difference_t<V> count);
+constexpr explicit take_view(V base, range_difference_t<V> count);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -5945,7 +5945,7 @@
 
   public:
     take_while_view() requires @\libconcept{default_initializable}@<V> && @\libconcept{default_initializable}@<Pred> = default;
-    constexpr take_while_view(V base, Pred pred);
+    constexpr explicit take_while_view(V base, Pred pred);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -5976,7 +5976,7 @@
 
 \indexlibraryctor{take_while_view}%
 \begin{itemdecl}
-constexpr take_while_view(V base, Pred pred);
+constexpr explicit take_while_view(V base, Pred pred);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -6169,7 +6169,7 @@
   class drop_view : public view_interface<drop_view<V>> {
   public:
     drop_view() requires @\libconcept{default_initializable}@<V> = default;
-    constexpr drop_view(V base, range_difference_t<V> count);
+    constexpr explicit drop_view(V base, range_difference_t<V> count);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -6210,7 +6210,7 @@
 
 \indexlibraryctor{drop_view}%
 \begin{itemdecl}
-constexpr drop_view(V base, range_difference_t<V> count);
+constexpr explicit drop_view(V base, range_difference_t<V> count);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -6294,7 +6294,7 @@
   class drop_while_view : public view_interface<drop_while_view<V, Pred>> {
   public:
     drop_while_view() requires @\libconcept{default_initializable}@<V> && @\libconcept{default_initializable}@<Pred> = default;
-    constexpr drop_while_view(V base, Pred pred);
+    constexpr explicit drop_while_view(V base, Pred pred);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -6317,7 +6317,7 @@
 
 \indexlibraryctor{drop_while_view}%
 \begin{itemdecl}
-constexpr drop_while_view(V base, Pred pred);
+constexpr explicit drop_while_view(V base, Pred pred);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -6917,12 +6917,12 @@
     join_with_view()
       requires @\libconcept{default_initializable}@<V> && @\libconcept{default_initializable}@<Pattern> = default;
 
-    constexpr join_with_view(V base, Pattern pattern);
+    constexpr explicit join_with_view(V base, Pattern pattern);
 
     template<@\libconcept{input_range}@ R>
       requires @\libconcept{constructible_from}@<V, views::all_t<R>> &&
                @\libconcept{constructible_from}@<Pattern, single_view<range_value_t<@\exposid{InnerRng}@>>>
-    constexpr join_with_view(R&& r, range_value_t<@\exposid{InnerRng}@> e);
+    constexpr explicit join_with_view(R&& r, range_value_t<@\exposid{InnerRng}@> e);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -6969,7 +6969,7 @@
 \end{codeblock}
 
 \begin{itemdecl}
-constexpr join_with_view(V base, Pattern pattern);
+constexpr explicit join_with_view(V base, Pattern pattern);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -6983,7 +6983,7 @@
 template<@\libconcept{input_range}@ R>
   requires @\libconcept{constructible_from}@<V, views::all_t<R>> &&
            @\libconcept{constructible_from}@<Pattern, single_view<range_value_t<@\exposid{InnerRng}@>>>
-constexpr join_with_view(R&& r, range_value_t<@\exposid{InnerRng}@> e);
+constexpr explicit join_with_view(R&& r, range_value_t<@\exposid{InnerRng}@> e);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -7502,12 +7502,12 @@
   public:
     lazy_split_view()
       requires @\libconcept{default_initializable}@<V> && @\libconcept{default_initializable}@<Pattern> = default;
-    constexpr lazy_split_view(V base, Pattern pattern);
+    constexpr explicit lazy_split_view(V base, Pattern pattern);
 
     template<@\libconcept{input_range}@ R>
       requires @\libconcept{constructible_from}@<V, views::all_t<R>> &&
                @\libconcept{constructible_from}@<Pattern, single_view<range_value_t<R>>>
-    constexpr lazy_split_view(R&& r, range_value_t<R> e);
+    constexpr explicit lazy_split_view(R&& r, range_value_t<R> e);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -7550,7 +7550,7 @@
 
 \indexlibraryctor{lazy_split_view}%
 \begin{itemdecl}
-constexpr lazy_split_view(V base, Pattern pattern);
+constexpr explicit lazy_split_view(V base, Pattern pattern);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -7565,7 +7565,7 @@
 template<@\libconcept{input_range}@ R>
   requires @\libconcept{constructible_from}@<V, views::all_t<R>> &&
            @\libconcept{constructible_from}@<Pattern, single_view<range_value_t<R>>>
-constexpr lazy_split_view(R&& r, range_value_t<R> e);
+constexpr explicit lazy_split_view(R&& r, range_value_t<R> e);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -8046,12 +8046,12 @@
   public:
     split_view()
       requires @\libconcept{default_initializable}@<V> && @\libconcept{default_initializable}@<Pattern> = default;
-    constexpr split_view(V base, Pattern pattern);
+    constexpr explicit split_view(V base, Pattern pattern);
 
     template<@\libconcept{forward_range}@ R>
       requires @\libconcept{constructible_from}@<V, views::all_t<R>> &&
                @\libconcept{constructible_from}@<Pattern, single_view<range_value_t<R>>>
-    constexpr split_view(R&& r, range_value_t<R> e);
+    constexpr explicit split_view(R&& r, range_value_t<R> e);
 
     constexpr V base() const & requires @\libconcept{copy_constructible}@<V> { return @\exposid{base_}@; }
     constexpr V base() && { return std::move(@\exposid{base_}@); }
@@ -8079,7 +8079,7 @@
 \end{codeblock}
 
 \begin{itemdecl}
-constexpr split_view(V base, Pattern pattern);
+constexpr explicit split_view(V base, Pattern pattern);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -8094,7 +8094,7 @@
 template<@\libconcept{forward_range}@ R>
   requires @\libconcept{constructible_from}@<V, views::all_t<R>> &&
            @\libconcept{constructible_from}@<Pattern, single_view<range_value_t<R>>>
-constexpr split_view(R&& r, range_value_t<R> e);
+constexpr explicit split_view(R&& r, range_value_t<R> e);
 \end{itemdecl}
 
 \begin{itemdescr}