From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2136) id C06123851C0C; Wed, 17 Jun 2020 19:33:17 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org C06123851C0C DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1592422397; bh=K8JrvgYwenaFwzOA8fu8LuSVQXQQ7fGUaTI6dKIAYeg=; h=From:To:Subject:Date:From; b=fe0WbDfzSDtlsD6G4Yz0IvkwK5omG7CFbw3/P2Ge6qQd/6NWK8W+NapMp5hqnbe4B PTxVpJYmihkpCWy0+BI2dyk7MJ8DpstMncCm3l2/kPw+NqlkkyiyDLm5GY1SjEnQ22 1uz5HfIZnunDweL8PSJ3Yc2uUZK1Xtk/rvb6e8BM= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Aldy Hernandez To: gcc-cvs@gcc.gnu.org, libstdc++-cvs@gcc.gnu.org Subject: [gcc/devel/ranger] libstdc++: Fix noexcept guarantees for ranges::split_view X-Act-Checkin: gcc X-Git-Author: Jonathan Wakely X-Git-Refname: refs/heads/devel/ranger X-Git-Oldrev: b888a051deb7df7587acbe8865513b86d2a1d49f X-Git-Newrev: cf0c3a457319df1e8dc9321227162a7c57169a39 Message-Id: <20200617193317.C06123851C0C@sourceware.org> Date: Wed, 17 Jun 2020 19:33:17 +0000 (GMT) X-BeenThere: libstdc++-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 17 Jun 2020 19:33:17 -0000 https://gcc.gnu.org/g:cf0c3a457319df1e8dc9321227162a7c57169a39 commit cf0c3a457319df1e8dc9321227162a7c57169a39 Author: Jonathan Wakely 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 + * 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) - 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) + 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> - { __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(); }