mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-20 01:25:03 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

libstdc++: Implement LWG 3590-3592 changes to split_view/lazy_split_view

Browse Source 
libstdc++-v3/ChangeLog:

	* include/std/ranges (lazy_split_view::base): Add forward_range
	constraint as per LWG 3591.
	(lazy_split_view::begin, lazy_split_view::end): Also check
	simpleness of _Pattern as per LWG 3592.
	(split_view::base): Relax copyable constraint as per LWG 3590.
This commit is contained in:
Patrick Palka 2021-10-20 21:34:23 -04:00
parent 6667274b05
commit 2d3ac60390
1 changed files with 10 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
libstdc++-v3/include/std/ranges
View File

@ -3137,7 +3137,7 @@ namespace views::__adaptor
{ return _M_i_current(); }
constexpr iterator_t<_Base>
base() &&
base() && requires forward_range<_Vp>
{ return std::move(_M_i_current()); }
constexpr decltype(auto)
@ -3229,8 +3229,11 @@ namespace views::__adaptor
begin()
{
if constexpr (forward_range<_Vp>)
return _OuterIter<__detail::__simple_view<_Vp>>{
this, ranges::begin(_M_base)};
{
constexpr bool __simple
= __detail::__simple_view<_Vp> && __detail::__simple_view<_Pattern>;
return _OuterIter<__simple>{this, ranges::begin(_M_base)};
}
else
{
_M_current = ranges::begin(_M_base);
@ -3247,8 +3250,9 @@ namespace views::__adaptor
constexpr auto
end() requires forward_range<_Vp> && common_range<_Vp>
{
return _OuterIter<__detail::__simple_view<_Vp>>{
this, ranges::end(_M_base)};
constexpr bool __simple
= __detail::__simple_view<_Vp> && __detail::__simple_view<_Pattern>;
return _OuterIter<__simple>{this, ranges::end(_M_base)};
}
constexpr auto
@ -3339,7 +3343,7 @@ namespace views::__adaptor
{ }
constexpr _Vp
base() const& requires copyable<_Vp>
base() const& requires copy_constructible<_Vp>
{ return _M_base; }
constexpr _Vp