[gcc r11-4315] libstdc++: Apply proposed resolutions for LWG 3428, 3447
Patrick Palka
ppalka@gcc.gnu.org
Fri Oct 23 13:03:54 GMT 2020
https://gcc.gnu.org/g:50106208ff65fe8076329169cd97460a03e27388
commit r11-4315-g50106208ff65fe8076329169cd97460a03e27388
Author: Patrick Palka <ppalka@redhat.com>
Date: Fri Oct 23 09:03:25 2020 -0400
libstdc++: Apply proposed resolutions for LWG 3428, 3447
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.
Diff:
---
libstdc++-v3/include/std/ranges | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges
index 4d3a4940c6f..a3e5354848a 100644
--- a/libstdc++-v3/include/std/ranges
+++ b/libstdc++-v3/include/std/ranges
@@ -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>>;
More information about the Libstdc++-cvs
mailing list