[gcc/devel/c++-modules] libstdc++: Fix noexcept guarantees for ranges::split_view
Nathan Sidwell
nathan@gcc.gnu.org
Thu Mar 19 12:37:54 GMT 2020
https://gcc.gnu.org/g:cf0c3a457319df1e8dc9321227162a7c57169a39
commit cf0c3a457319df1e8dc9321227162a7c57169a39
Author: Jonathan Wakely <jwakely@redhat.com>
Date: Tue Mar 10 17:45:45 2020 +0000
libstdc++: Fix noexcept guarantees for ranges::split_view
Also introduce the _M_i_current() accessors to solve the problem of
access to the private member of _OuterIter from the iter_move and
iter_swap overloads (which are only friends of _InnerIter not
_OuterIter).
* include/std/ranges (transform_view::_Iterator::__iter_move): Remove.
(transform_view::_Iterator::operator*): Add noexcept-specifier.
(transform_view::_Iterator::iter_move): Inline __iter_move body here.
(split_view::_OuterIter::__current): Add noexcept.
(split_view::_InnerIter::__iter_swap): Remove.
(split_view::_InnerIter::__iter_move): Remove.
(split_view::_InnerIter::_M_i_current): New accessors.
(split_view::_InnerIter::__at_end): Use _M_i_current().
(split_view::_InnerIter::operator*): Likewise.
(split_view::_InnerIter::operator++): Likewise.
(iter_move(const _InnerIter&)): Likewise.
(iter_swap(const _InnerIter&, const _InnerIter&)): Likewise.
* testsuite/std/ranges/adaptors/split.cc: Check noexcept-specifier
for iter_move and iter_swap on split_view's inner iterator.
Diff:
---
libstdc++-v3/ChangeLog | 15 +++++
libstdc++-v3/include/std/ranges | 65 ++++++++++------------
.../testsuite/std/ranges/adaptors/split.cc | 13 +++++
3 files changed, 58 insertions(+), 35 deletions(-)
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog
index 9dbc8516457..0c447ff0806 100644
--- a/libstdc++-v3/ChangeLog
+++ b/libstdc++-v3/ChangeLog
@@ -1,5 +1,20 @@
2020-03-10 Jonathan Wakely <jwakely@redhat.com>
+ * include/std/ranges (transform_view::_Iterator::__iter_move): Remove.
+ (transform_view::_Iterator::operator*): Add noexcept-specifier.
+ (transform_view::_Iterator::iter_move): Inline __iter_move body here.
+ (split_view::_OuterIter::__current): Add noexcept.
+ (split_view::_InnerIter::__iter_swap): Remove.
+ (split_view::_InnerIter::__iter_move): Remove.
+ (split_view::_InnerIter::_M_i_current): New accessors.
+ (split_view::_InnerIter::__at_end): Use _M_i_current().
+ (split_view::_InnerIter::operator*): Likewise.
+ (split_view::_InnerIter::operator++): Likewise.
+ (iter_move(const _InnerIter&)): Likewise.
+ (iter_swap(const _InnerIter&, const _InnerIter&)): Likewise.
+ * testsuite/std/ranges/adaptors/split.cc: Check noexcept-specifier
+ for iter_move and iter_swap on split_view's inner iterator.
+
PR c++/94117
* include/std/ranges (ranges::transform_view::_Iterator::iter_move):
Change expression in noexcept-specifier to match function body.
diff --git a/libstdc++-v3/include/std/ranges b/libstdc++-v3/include/std/ranges
index 292132db990..4dc7342e2f7 100644
--- a/libstdc++-v3/include/std/ranges
+++ b/libstdc++-v3/include/std/ranges
@@ -1679,17 +1679,6 @@ namespace views
return input_iterator_tag{};
}
- static constexpr decltype(auto)
- __iter_move(const _Iterator& __i = {})
- noexcept(noexcept(std::__invoke(*__i._M_parent->_M_fun,
- *__i._M_current)))
- {
- if constexpr (is_lvalue_reference_v<decltype(*__i)>)
- return std::move(*__i);
- else
- return *__i;
- }
-
using _Base_iter = iterator_t<_Base>;
_Base_iter _M_current = _Base_iter();
@@ -1728,6 +1717,7 @@ namespace views
constexpr decltype(auto)
operator*() const
+ noexcept(noexcept(std::__invoke(*_M_parent->_M_fun, *_M_current)))
{ return std::__invoke(*_M_parent->_M_fun, *_M_current); }
constexpr _Iterator&
@@ -1837,8 +1827,13 @@ namespace views
{ return __x._M_current - __y._M_current; }
friend constexpr decltype(auto)
- iter_move(const _Iterator& __i) noexcept(noexcept(__iter_move(__i)))
- { return __iter_move(__i); }
+ iter_move(const _Iterator& __i) noexcept(noexcept(*__i))
+ {
+ if constexpr (is_lvalue_reference_v<decltype(*__i)>)
+ return std::move(*__i);
+ else
+ return *__i;
+ }
friend constexpr void
iter_swap(const _Iterator& __x, const _Iterator& __y)
@@ -2715,7 +2710,7 @@ namespace views
// current of outer-iterator. current is equivalent to current_ if
// V models forward_range, and parent_->current_ otherwise.
constexpr auto&
- __current()
+ __current() noexcept
{
if constexpr (forward_range<_Vp>)
return _M_current;
@@ -2724,7 +2719,7 @@ namespace views
}
constexpr auto&
- __current() const
+ __current() const noexcept
{
if constexpr (forward_range<_Vp>)
return _M_current;
@@ -2860,7 +2855,7 @@ namespace views
auto __end = ranges::end(_M_i._M_parent->_M_base);
if constexpr (__detail::__tiny_range<_Pattern>)
{
- const auto& __cur = _M_i.__current();
+ const auto& __cur = _M_i_current();
if (__cur == __end)
return true;
if (__pcur == __pend)
@@ -2869,7 +2864,7 @@ namespace views
}
else
{
- auto __cur = _M_i.__current();
+ auto __cur = _M_i_current();
if (__cur == __end)
return true;
if (__pcur == __pend)
@@ -2896,16 +2891,13 @@ namespace views
return _Cat{};
}
- static constexpr decltype(auto)
- __iter_move(const _InnerIter& __i = {})
- noexcept(noexcept(ranges::iter_move(__i._M_i.__current())))
- { return ranges::iter_move(__i._M_i.__current()); }
+ constexpr auto&
+ _M_i_current() noexcept
+ { return _M_i.__current(); }
- static constexpr void
- __iter_swap(const _InnerIter& __x = {}, const _InnerIter& __y = {})
- noexcept(noexcept(ranges::iter_swap(__x._M_i.__current(),
- __y._M_i.__current())))
- { ranges::iter_swap(__x._M_i.__current(), __y._M_i.__current()); }
+ constexpr auto&
+ _M_i_current() const noexcept
+ { return _M_i.__current(); }
_OuterIter<_Const> _M_i = _OuterIter<_Const>();
bool _M_incremented = false;
@@ -2926,7 +2918,7 @@ namespace views
constexpr decltype(auto)
operator*() const
- { return *_M_i._M_current; }
+ { return *_M_i_current(); }
constexpr _InnerIter&
operator++()
@@ -2935,7 +2927,7 @@ namespace views
if constexpr (!forward_range<_Base>)
if constexpr (_Pattern::size() == 0)
return *this;
- ++_M_i.__current();
+ ++_M_i_current();
return *this;
}
@@ -2962,14 +2954,16 @@ namespace views
{ return __x.__at_end(); }
friend constexpr decltype(auto)
- iter_move(const _InnerIter& __i) noexcept(noexcept(__iter_move()))
- { return __iter_move(__i); }
+ iter_move(const _InnerIter& __i)
+ noexcept(noexcept(ranges::iter_move(__i._M_i_current())))
+ { return ranges::iter_move(__i._M_i_current()); }
friend constexpr void
iter_swap(const _InnerIter& __x, const _InnerIter& __y)
- noexcept(noexcept(__iter_swap()))
+ noexcept(noexcept(ranges::iter_swap(__x._M_i_current(),
+ __y._M_i_current())))
requires indirectly_swappable<iterator_t<_Base>>
- { __iter_swap(__x, __y); }
+ { ranges::iter_swap(__x._M_i_current(), __y._M_i_current()); }
};
_Vp _M_base = _Vp();
@@ -3010,8 +3004,8 @@ namespace views
begin()
{
if constexpr (forward_range<_Vp>)
- return _OuterIter<__detail::__simple_view<_Vp>>{*this,
- ranges::begin(_M_base)};
+ return _OuterIter<__detail::__simple_view<_Vp>>{
+ *this, ranges::begin(_M_base)};
else
{
_M_current = ranges::begin(_M_base);
@@ -3028,7 +3022,8 @@ namespace views
constexpr auto
end() requires forward_range<_Vp> && common_range<_Vp>
{
- return _OuterIter<__detail::__simple_view<_Vp>>{*this, ranges::end(_M_base)};
+ return _OuterIter<__detail::__simple_view<_Vp>>{
+ *this, ranges::end(_M_base)};
}
constexpr auto
diff --git a/libstdc++-v3/testsuite/std/ranges/adaptors/split.cc b/libstdc++-v3/testsuite/std/ranges/adaptors/split.cc
index e7556725e4f..abdbfb41d8b 100644
--- a/libstdc++-v3/testsuite/std/ranges/adaptors/split.cc
+++ b/libstdc++-v3/testsuite/std/ranges/adaptors/split.cc
@@ -121,6 +121,18 @@ test06()
b = ranges::begin(v);
}
+void
+test07()
+{
+ char str[] = "banana split";
+ auto split = str | views::split(' ');
+ auto val = *split.begin();
+ auto b = val.begin();
+ auto b2 = b++;
+ static_assert( noexcept(iter_move(b)) );
+ static_assert( noexcept(iter_swap(b, b2)) );
+}
+
int
main()
{
@@ -130,4 +142,5 @@ main()
test04();
test05();
test06();
+ test07();
}
More information about the Gcc-cvs
mailing list