libstdc++: Apply proposed resolutions for LWG 3428, 3447
authorPatrick Palka <ppalka@redhat.com>
Fri, 23 Oct 2020 13:03:25 +0000 (09:03 -0400)
committerPatrick Palka <ppalka@redhat.com>
Fri, 23 Oct 2020 13:03:25 +0000 (09:03 -0400)
libstdc++-v3/ChangeLog:

* include/std/ranges (single_view::single_view): Mark the
in place constructor explicit as per LWG 3428.
(take_view): Remove the constraint on the deduction guide's
template parameter as per LWG 3447.

libstdc++-v3/include/std/ranges

index 4d3a4940c6f4a79181dbdca618134b9b1a811cf2..a3e5354848a4f4917e4b7cfa4292dfc245bacd5b 100644 (file)
@@ -205,9 +205,11 @@ namespace ranges
       : _M_value(std::move(__t))
       { }
 
+      // _GLIBCXX_RESOLVE_LIB_DEFECTS
+      // 3428. single_view's in place constructor should be explicit
       template<typename... _Args>
        requires constructible_from<_Tp, _Args...>
-       constexpr
+       constexpr explicit
        single_view(in_place_t, _Args&&... __args)
        : _M_value{in_place, std::forward<_Args>(__args)...}
        { }
@@ -1801,7 +1803,10 @@ namespace views
       }
     };
 
-  template<range _Range>
+  // _GLIBCXX_RESOLVE_LIB_DEFECTS
+  // 3447. Deduction guides for take_view and drop_view have different
+  // constraints
+  template<typename _Range>
     take_view(_Range&&, range_difference_t<_Range>)
       -> take_view<views::all_t<_Range>>;