| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465 |
- /// \file
- // Range v3 library
- //
- // Copyright Eric Niebler 2013-present
- //
- // Use, modification and distribution is subject to the
- // Boost Software License, Version 1.0. (See accompanying
- // file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- //
- // Project home: https://github.com/ericniebler/range-v3
- //
- #ifndef RANGES_V3_ACTION_DROP_HPP
- #define RANGES_V3_ACTION_DROP_HPP
- #include <range/v3/range_fwd.hpp>
- #include <range/v3/action/action.hpp>
- #include <range/v3/action/erase.hpp>
- #include <range/v3/functional/bind_back.hpp>
- #include <range/v3/iterator/concepts.hpp>
- #include <range/v3/iterator/operations.hpp>
- #include <range/v3/iterator/traits.hpp>
- #include <range/v3/utility/static_const.hpp>
- #include <range/v3/detail/prologue.hpp>
- namespace ranges
- {
- /// \addtogroup group-actions
- /// @{
- namespace actions
- {
- struct drop_fn
- {
- template(typename Int)(
- requires detail::integer_like_<Int>)
- constexpr auto operator()(Int n) const
- {
- RANGES_EXPECT(n >= Int(0));
- return make_action_closure(bind_back(drop_fn{}, n));
- }
- template(typename Rng)(
- requires forward_range<Rng> AND
- erasable_range<Rng &, iterator_t<Rng>, iterator_t<Rng>>)
- Rng operator()(Rng && rng, range_difference_t<Rng> n) const
- {
- RANGES_EXPECT(n >= 0);
- ranges::actions::erase(
- rng, begin(rng), ranges::next(begin(rng), n, end(rng)));
- return static_cast<Rng &&>(rng);
- }
- };
- /// \relates actions::drop_fn
- RANGES_INLINE_VARIABLE(drop_fn, drop)
- } // namespace actions
- /// @}
- } // namespace ranges
- #include <range/v3/detail/epilogue.hpp>
- #endif
|