subrange.hpp

#ifndef HALCHECK_LIB_ITERATOR_SUBRANGE_HPP
#define HALCHECK_LIB_ITERATOR_SUBRANGE_HPP
 
// IWYU pragma: private, include <halcheck/lib/iterator.hpp>
 
#include <halcheck/lib/iterator/interface.hpp>
#include <halcheck/lib/iterator/range.hpp>
#include <halcheck/lib/iterator/type_traits.hpp>
#include <halcheck/lib/type_traits.hpp>
 
#include <type_traits>
 
namespace halcheck { namespace lib {
 
template<typename I>
class subrange : public lib::view_interface<subrange<I>> {
public:
  static_assert(lib::is_iterator<I>(), "I must be an iterator");
 
  constexpr subrange() = default;
 
  constexpr subrange(I first, I last) : _begin(std::move(first)), _end(std::move(last)) {}
 
  constexpr I begin() const { return _begin; }
 
  constexpr I end() const { return _end; }
 
private:
  I _begin;
  I _end;
};
 
template<typename I, HALCHECK_REQUIRE(lib::is_iterator<I>())>
lib::subrange<I> make_subrange(I first, I last) {
  return lib::subrange<I>(std::move(first), std::move(last));
}
 
template<typename I>
struct enable_borrowed_range<lib::subrange<I>> : std::true_type {};
 
}} // namespace halcheck::lib
 
#endif