14#ifndef RANGES_V3_ACTION_ERASE_HPP
15#define RANGES_V3_ACTION_ERASE_HPP
22#include <range/v3/utility/static_const.hpp>
24#include <range/v3/detail/prologue.hpp>
29 namespace adl_erase_detail
31 template(
typename Cont,
typename I,
typename S)(
32 requires lvalue_container_like<Cont> AND forward_iterator<I> AND
34 auto erase(Cont && cont, I first, S last)
35 ->
decltype(unwrap_reference(cont).erase(first, last))
37 return unwrap_reference(cont).erase(first, last);
42 template(
typename Rng,
typename I,
typename S)(
43 requires range<Rng> AND forward_iterator<I> AND sentinel_for<S, I>)
44 auto operator()(Rng && rng, I first, S last)
const
45 ->
decltype(erase((Rng &&) rng, first, last))
47 return erase(
static_cast<Rng &&
>(rng), first, last);
54 RANGES_INLINE_VARIABLE(adl_erase_detail::erase_fn, erase)
66 template<
typename Rng,
typename I,
typename S>
67 CPP_requires(erasable_range_,
68 requires(Rng && rng, I first, S last)
70 ranges::erase((Rng &&) rng, first, last)
75 template<
typename Rng,
typename I,
typename S>
76 CPP_concept erasable_range =
82#include <range/v3/detail/epilogue.hpp>
The erasable_range_ concept.