libostd/ostd/range.hh

1981 lines
52 KiB
C++
Raw Normal View History

/* Ranges for OctaSTD.
*
* This file is part of OctaSTD. See COPYING.md for futher information.
*/
2015-07-13 21:08:55 +02:00
#ifndef OSTD_RANGE_HH
#define OSTD_RANGE_HH
#include <stddef.h>
#include <string.h>
2017-01-28 18:30:31 +01:00
2017-01-14 15:09:27 +01:00
#include <new>
2017-01-28 18:30:31 +01:00
#include <tuple>
#include <utility>
#include <iterator>
2017-02-09 20:56:15 +01:00
#include <type_traits>
2015-07-13 21:08:55 +02:00
#include "ostd/types.hh"
#include "ostd/utility.hh"
2015-07-13 21:07:14 +02:00
namespace ostd {
2015-04-16 22:50:53 +02:00
2015-06-04 00:55:11 +02:00
struct InputRangeTag {};
struct OutputRangeTag {};
struct ForwardRangeTag: InputRangeTag {};
struct BidirectionalRangeTag: ForwardRangeTag {};
struct RandomAccessRangeTag: BidirectionalRangeTag {};
struct FiniteRandomAccessRangeTag: RandomAccessRangeTag {};
struct ContiguousRangeTag: FiniteRandomAccessRangeTag {};
2015-05-30 00:48:05 +02:00
template<typename T>
struct RangeHalf;
2015-06-04 00:55:11 +02:00
2015-07-13 21:08:55 +02:00
#define OSTD_RANGE_TRAIT(Name) \
2015-06-04 00:55:11 +02:00
namespace detail { \
2015-06-04 23:57:06 +02:00
template<typename T> \
struct Range##Name##Test { \
template<typename U> \
2017-02-09 20:56:15 +01:00
static char test(std::remove_reference_t<typename U::Name> *); \
template<typename U> \
static int test(...); \
static constexpr bool value = (sizeof(test<T>(0)) == sizeof(char)); \
}; \
template<typename T, bool = Range##Name##Test<T>::value> \
struct Range##Name##Base {}; \
template<typename T> \
struct Range##Name##Base<T, true> { \
2015-06-10 02:18:56 +02:00
using Type = typename T::Name; \
2015-05-30 00:48:05 +02:00
}; \
2015-06-04 00:55:11 +02:00
} \
2015-06-04 23:57:06 +02:00
template<typename T> \
using Range##Name = typename detail::Range##Name##Base<T>::Type;
2015-05-30 00:48:05 +02:00
2015-07-13 21:08:55 +02:00
OSTD_RANGE_TRAIT(Category)
OSTD_RANGE_TRAIT(Size)
OSTD_RANGE_TRAIT(Value)
OSTD_RANGE_TRAIT(Reference)
OSTD_RANGE_TRAIT(Difference)
2015-05-30 00:48:05 +02:00
2015-07-13 21:08:55 +02:00
#undef OSTD_RANGE_TRAIT
namespace detail {
template<typename U>
static char is_range_test(
typename U::Category *, typename U::Size *,
typename U::Difference *, typename U::Value *,
2017-02-09 20:56:15 +01:00
std::remove_reference_t<typename U::Reference> *
);
template<typename U>
static int is_range_test(...);
template<typename T> constexpr bool IsRangeTest =
(sizeof(is_range_test<T>(0, 0, 0, 0, 0)) == sizeof(char));
}
2015-06-04 00:55:11 +02:00
// is input range
namespace detail {
template<typename T>
constexpr bool IsInputRangeCore =
2017-02-09 20:56:15 +01:00
std::is_convertible_v<RangeCategory<T>, InputRangeTag>;
2016-01-21 18:58:51 +01:00
template<typename T, bool = detail::IsRangeTest<T>>
2016-01-14 20:11:52 +01:00
constexpr bool IsInputRangeBase = false;
2016-01-13 18:42:37 +01:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsInputRangeBase<T, true> = detail::IsInputRangeCore<T>;
2016-01-13 18:42:37 +01:00
}
2015-06-04 23:57:06 +02:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsInputRange = detail::IsInputRangeBase<T>;
2015-06-04 00:55:11 +02:00
// is forward range
namespace detail {
template<typename T>
constexpr bool IsForwardRangeCore =
2017-02-09 20:56:15 +01:00
std::is_convertible_v<RangeCategory<T>, ForwardRangeTag>;
2016-01-21 18:58:51 +01:00
template<typename T, bool = detail::IsRangeTest<T>>
2016-01-14 20:11:52 +01:00
constexpr bool IsForwardRangeBase = false;
2016-01-13 18:42:37 +01:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsForwardRangeBase<T, true> = detail::IsForwardRangeCore<T>;
2016-01-13 18:42:37 +01:00
}
2015-06-04 23:57:06 +02:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsForwardRange = detail::IsForwardRangeBase<T>;
2015-06-04 00:55:11 +02:00
// is bidirectional range
namespace detail {
template<typename T>
constexpr bool IsBidirectionalRangeCore =
2017-02-09 20:56:15 +01:00
std::is_convertible_v<RangeCategory<T>, BidirectionalRangeTag>;
2016-01-21 18:58:51 +01:00
template<typename T, bool = detail::IsRangeTest<T>>
2016-01-14 20:11:52 +01:00
constexpr bool IsBidirectionalRangeBase = false;
2016-01-13 18:42:37 +01:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsBidirectionalRangeBase<T, true> =
detail::IsBidirectionalRangeCore<T>;
2016-01-13 18:42:37 +01:00
}
template<typename T> constexpr bool IsBidirectionalRange =
detail::IsBidirectionalRangeBase<T>;
2015-06-04 00:55:11 +02:00
// is random access range
namespace detail {
template<typename T>
constexpr bool IsRandomAccessRangeCore =
2017-02-09 20:56:15 +01:00
std::is_convertible_v<RangeCategory<T>, RandomAccessRangeTag>;
2016-01-21 18:58:51 +01:00
template<typename T, bool = detail::IsRangeTest<T>>
2016-01-14 20:11:52 +01:00
constexpr bool IsRandomAccessRangeBase = false;
2016-01-13 18:42:37 +01:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsRandomAccessRangeBase<T, true> =
detail::IsRandomAccessRangeCore<T>;
2016-01-13 18:42:37 +01:00
}
template<typename T> constexpr bool IsRandomAccessRange =
detail::IsRandomAccessRangeBase<T>;
2015-06-04 00:55:11 +02:00
// is finite random access range
namespace detail {
template<typename T>
constexpr bool IsFiniteRandomAccessRangeCore =
2017-02-09 20:56:15 +01:00
std::is_convertible_v<RangeCategory<T>, FiniteRandomAccessRangeTag>;
2016-01-21 18:58:51 +01:00
template<typename T, bool = detail::IsRangeTest<T>>
2016-01-14 20:11:52 +01:00
constexpr bool IsFiniteRandomAccessRangeBase = false;
2016-01-13 18:42:37 +01:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsFiniteRandomAccessRangeBase<T, true> =
detail::IsFiniteRandomAccessRangeCore<T>;
2016-01-13 18:42:37 +01:00
}
template<typename T> constexpr bool IsFiniteRandomAccessRange =
detail::IsFiniteRandomAccessRangeBase<T>;
2015-06-04 00:55:11 +02:00
// is infinite random access range
template<typename T> constexpr bool IsInfiniteRandomAccessRange =
IsRandomAccessRange<T> && !IsFiniteRandomAccessRange<T>;
// is contiguous range
namespace detail {
template<typename T>
constexpr bool IsContiguousRangeCore =
2017-02-09 20:56:15 +01:00
std::is_convertible_v<RangeCategory<T>, ContiguousRangeTag>;
2016-01-21 18:58:51 +01:00
template<typename T, bool = detail::IsRangeTest<T>>
2016-01-14 20:11:52 +01:00
constexpr bool IsContiguousRangeBase = false;
2016-01-13 18:42:37 +01:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsContiguousRangeBase<T, true> =
detail::IsContiguousRangeCore<T>;
2016-01-13 18:42:37 +01:00
}
template<typename T> constexpr bool IsContiguousRange =
detail::IsContiguousRangeBase<T>;
2015-06-04 00:55:11 +02:00
// is output range
2015-06-04 00:55:11 +02:00
namespace detail {
2015-06-04 23:57:06 +02:00
template<typename T, typename P>
2015-06-04 00:55:11 +02:00
struct OutputRangeTest {
template<typename U, bool (U::*)(P)>
struct Test {};
template<typename U>
static char test(Test<U, &U::put> *);
template<typename U>
static int test(...);
2015-06-04 23:57:06 +02:00
static constexpr bool value = (sizeof(test<T>(0)) == sizeof(char));
};
template<typename T>
constexpr bool IsOutputRangeCore =
2017-02-09 20:56:15 +01:00
std::is_convertible_v<RangeCategory<T>, OutputRangeTag> || (
IsInputRange<T> && (
detail::OutputRangeTest<T, RangeValue<T> const &>::value ||
detail::OutputRangeTest<T, RangeValue<T> &&>::value ||
detail::OutputRangeTest<T, RangeValue<T> >::value
)
);
2016-01-13 18:42:37 +01:00
2016-01-21 18:58:51 +01:00
template<typename T, bool = detail::IsRangeTest<T>>
2016-01-14 20:11:52 +01:00
constexpr bool IsOutputRangeBase = false;
2016-01-13 18:42:37 +01:00
template<typename T>
2016-01-14 20:11:52 +01:00
constexpr bool IsOutputRangeBase<T, true> = detail::IsOutputRangeCore<T>;
2016-01-13 18:42:37 +01:00
}
2016-01-14 20:11:52 +01:00
template<typename T> constexpr bool IsOutputRange = detail::IsOutputRangeBase<T>;
2015-06-04 00:55:11 +02:00
namespace detail {
// range iterator
2015-06-04 23:57:06 +02:00
template<typename T>
2015-06-04 00:55:11 +02:00
struct RangeIterator {
RangeIterator(): p_range(), p_init(false) {}
explicit RangeIterator(T const &range): p_range(), p_init(true) {
::new(&get_ref()) T(range);
}
explicit RangeIterator(T &&range): p_range(), p_init(true) {
2017-01-25 01:44:22 +01:00
::new(&get_ref()) T(std::move(range));
}
RangeIterator(const RangeIterator &v): p_range(), p_init(true) {
::new(&get_ref()) T(v.get_ref());
}
RangeIterator(RangeIterator &&v): p_range(), p_init(true) {
2017-01-25 01:44:22 +01:00
::new(&get_ref()) T(std::move(v.get_ref()));
}
RangeIterator &operator=(const RangeIterator &v) {
destroy();
::new(&get_ref()) T(v.get_ref());
p_init = true;
return *this;
}
RangeIterator &operator=(RangeIterator &&v) {
destroy();
swap(v);
return *this;
}
~RangeIterator() {
destroy();
}
2015-06-04 00:55:11 +02:00
RangeIterator &operator++() {
get_ref().pop_front();
2015-04-24 19:16:35 +02:00
return *this;
}
2015-06-04 23:57:06 +02:00
RangeReference<T> operator*() const {
return get_ref().front();
2015-04-24 19:16:35 +02:00
}
bool operator!=(RangeIterator) const { return !get_ref().empty(); }
void swap(RangeIterator &v) {
2017-01-29 15:56:02 +01:00
using std::swap;
swap(get_ref(). v.get_ref());
swap(p_init, v.p_init);
}
2015-04-24 19:16:35 +02:00
private:
2016-07-02 05:56:23 +02:00
T &get_ref() { return *reinterpret_cast<T *>(&p_range); }
T const &get_ref() const { return *reinterpret_cast<T const *>(&p_range); }
void destroy() {
if (p_init) {
get_ref().~T();
p_init = false;
}
}
2017-02-09 20:56:15 +01:00
std::aligned_storage_t<sizeof(T), alignof(T)> p_range;
bool p_init;
2015-04-24 19:16:35 +02:00
};
2015-06-04 00:55:11 +02:00
}
2015-06-04 00:55:11 +02:00
// range half
template<typename T>
struct HalfRange;
namespace detail {
2016-01-13 18:42:37 +01:00
template<typename R, bool = IsBidirectionalRange<typename R::Range>>
struct RangeAdd;
template<typename R>
struct RangeAdd<R, true> {
using Diff = RangeDifference<typename R::Range>;
static Diff add_n(R &half, Diff n) {
if (n < 0) {
return -half.prev_n(n);
}
return half.next_n(n);
}
static Diff sub_n(R &half, Diff n) {
if (n < 0) {
return -half.next_n(n);
}
return half.prev_n(n);
}
};
template<typename R>
struct RangeAdd<R, false> {
using Diff = RangeDifference<typename R::Range>;
static Diff add_n(R &half, Diff n) {
if (n < 0) {
return 0;
}
return half.next_n(n);
}
static Diff sub_n(R &half, Diff n) {
if (n < 0) {
return 0;
}
return half.prev_n(n);
}
};
}
namespace detail {
template<typename>
struct RangeIteratorTag {
/* better range types all become random access iterators */
using Type = std::random_access_iterator_tag;
};
template<>
struct RangeIteratorTag<InputRangeTag> {
using Type = std::input_iterator_tag;
};
template<>
struct RangeIteratorTag<OutputRangeTag> {
using Type = std::output_iterator_tag;
};
template<>
struct RangeIteratorTag<ForwardRangeTag> {
using Type = std::forward_iterator_tag;
};
template<>
struct RangeIteratorTag<BidirectionalRangeTag> {
using Type = std::bidirectional_iterator_tag;
};
}
2015-06-04 23:57:06 +02:00
template<typename T>
2015-06-04 00:55:11 +02:00
struct RangeHalf {
private:
2015-06-04 23:57:06 +02:00
T p_range;
2015-06-04 00:55:11 +02:00
public:
2015-06-08 01:55:08 +02:00
using Range = T;
using iterator_category = typename detail::RangeIteratorTag<T>::Type;
using value_type = RangeValue<T>;
using difference_type = RangeDifference<T>;
using pointer = RangeValue<T> *;
using reference = RangeReference<T>;
RangeHalf() = delete;
2016-06-23 20:18:35 +02:00
RangeHalf(T const &range): p_range(range) {}
2017-02-09 20:56:15 +01:00
template<typename U, typename = std::enable_if_t<std::is_convertible_v<U, T>>>
2016-06-23 20:18:35 +02:00
RangeHalf(RangeHalf<U> const &half): p_range(half.p_range) {}
2016-06-23 20:18:35 +02:00
RangeHalf(RangeHalf const &half): p_range(half.p_range) {}
2017-01-25 01:44:22 +01:00
RangeHalf(RangeHalf &&half): p_range(std::move(half.p_range)) {}
2016-06-23 20:18:35 +02:00
RangeHalf &operator=(RangeHalf const &half) {
2015-06-04 00:55:11 +02:00
p_range = half.p_range;
return *this;
}
2015-06-04 00:55:11 +02:00
RangeHalf &operator=(RangeHalf &&half) {
2017-01-25 01:44:22 +01:00
p_range = std::move(half.p_range);
2015-06-04 00:55:11 +02:00
return *this;
}
2015-06-04 00:55:11 +02:00
bool next() { return p_range.pop_front(); }
bool prev() { return p_range.push_front(); }
2015-06-04 23:57:06 +02:00
RangeSize<T> next_n(RangeSize<T> n) {
2015-06-04 00:55:11 +02:00
return p_range.pop_front_n(n);
}
2015-06-04 23:57:06 +02:00
RangeSize<T> prev_n(RangeSize<T> n) {
2015-06-04 00:55:11 +02:00
return p_range.push_front_n(n);
}
RangeDifference<T> add_n(RangeDifference<T> n) {
return detail::RangeAdd<RangeHalf<T>>::add_n(*this, n);
}
RangeDifference<T> sub_n(RangeDifference<T> n) {
return detail::RangeAdd<RangeHalf<T>>::sub_n(*this, n);
}
2015-06-04 23:57:06 +02:00
RangeReference<T> get() const {
2015-06-04 00:55:11 +02:00
return p_range.front();
}
2016-06-23 20:18:35 +02:00
RangeDifference<T> distance(RangeHalf const &half) const {
2015-06-04 00:55:11 +02:00
return p_range.distance_front(half.p_range);
}
2016-06-23 20:18:35 +02:00
bool equals(RangeHalf const &half) const {
2015-06-04 00:55:11 +02:00
return p_range.equals_front(half.p_range);
}
2016-06-23 20:18:35 +02:00
bool operator==(RangeHalf const &half) const {
2015-06-04 00:55:11 +02:00
return equals(half);
}
2016-06-23 20:18:35 +02:00
bool operator!=(RangeHalf const &half) const {
2015-06-04 00:55:11 +02:00
return !equals(half);
}
2015-06-04 00:55:11 +02:00
/* iterator like interface */
2015-06-04 23:57:06 +02:00
RangeReference<T> operator*() const {
return p_range.front();
2015-06-04 00:55:11 +02:00
}
2015-06-04 23:57:06 +02:00
RangeReference<T> operator[](RangeSize<T> idx) const {
2015-06-04 00:55:11 +02:00
return p_range[idx];
}
2015-06-04 00:55:11 +02:00
RangeHalf &operator++() {
next();
return *this;
}
RangeHalf operator++(int) {
RangeHalf tmp(*this);
next();
return tmp;
2015-06-04 00:55:11 +02:00
}
2015-06-04 00:55:11 +02:00
RangeHalf &operator--() {
prev();
return *this;
}
RangeHalf operator--(int) {
RangeHalf tmp(*this);
prev();
return tmp;
2015-06-04 00:55:11 +02:00
}
RangeHalf operator+(RangeDifference<T> n) const {
2015-06-04 00:55:11 +02:00
RangeHalf tmp(*this);
tmp.add_n(n);
return tmp;
2015-06-04 00:55:11 +02:00
}
RangeHalf operator-(RangeDifference<T> n) const {
2015-06-04 00:55:11 +02:00
RangeHalf tmp(*this);
tmp.sub_n(n);
return tmp;
2015-06-04 00:55:11 +02:00
}
2015-06-04 23:57:06 +02:00
RangeHalf &operator+=(RangeDifference<T> n) {
add_n(n);
2015-06-04 00:55:11 +02:00
return *this;
}
2015-06-04 23:57:06 +02:00
RangeHalf &operator-=(RangeDifference<T> n) {
sub_n(n);
2015-06-04 00:55:11 +02:00
return *this;
2015-05-30 02:46:50 +02:00
}
2015-06-26 22:01:16 +02:00
T iter() const { return p_range; }
2015-06-24 21:03:23 +02:00
2016-06-23 20:18:35 +02:00
HalfRange<RangeHalf> iter(RangeHalf const &other) const {
return HalfRange<RangeHalf>(*this, other);
}
2015-07-28 03:40:24 +02:00
RangeValue<T> *data() { return p_range.data(); }
2016-06-23 20:18:35 +02:00
RangeValue<T> const *data() const { return p_range.data(); }
2015-06-04 00:55:11 +02:00
};
2015-05-30 02:46:50 +02:00
2015-06-04 23:57:06 +02:00
template<typename R>
inline RangeDifference<R> operator-(
RangeHalf<R> const &lhs, RangeHalf<R> const &rhs
) {
2015-06-04 00:55:11 +02:00
return rhs.distance(lhs);
}
namespace detail {
2015-06-04 23:57:06 +02:00
template<typename R>
RangeSize<R> pop_front_n(R &range, RangeSize<R> n) {
for (RangeSize<R> i = 0; i < n; ++i) {
if (!range.pop_front()) {
return i;
}
}
2015-06-04 00:55:11 +02:00
return n;
}
2015-06-04 23:57:06 +02:00
template<typename R>
RangeSize<R> pop_back_n(R &range, RangeSize<R> n) {
for (RangeSize<R> i = 0; i < n; ++i) {
if (!range.pop_back()) {
return i;
}
}
2015-06-04 00:55:11 +02:00
return n;
}
2015-06-04 23:57:06 +02:00
template<typename R>
RangeSize<R> push_front_n(R &range, RangeSize<R> n) {
for (RangeSize<R> i = 0; i < n; ++i) {
if (!range.push_front()) {
return i;
}
}
2015-06-04 00:55:11 +02:00
return n;
}
2015-06-04 23:57:06 +02:00
template<typename R>
RangeSize<R> push_back_n(R &range, RangeSize<R> n) {
for (RangeSize<R> i = 0; i < n; ++i) {
if (!range.push_back()) {
return i;
}
}
2015-06-04 00:55:11 +02:00
return n;
}
}
template<typename>
struct ReverseRange;
template<typename>
struct MoveRange;
template<typename>
struct EnumeratedRange;
template<typename>
struct TakeRange;
template<typename>
struct ChunksRange;
template<typename ...>
struct JoinRange;
template<typename ...>
struct ZipRange;
template<
typename B, typename C, typename V, typename R = V &,
2017-01-30 19:11:39 +01:00
typename S = size_t, typename D = ptrdiff_t
>
struct InputRange {
2015-06-08 01:55:08 +02:00
using Category = C;
using Size = S;
using Difference = D;
using Value = V;
using Reference = R;
2015-06-04 00:55:11 +02:00
detail::RangeIterator<B> begin() const {
2016-07-02 05:56:23 +02:00
return detail::RangeIterator<B>(*static_cast<B const *>(this));
2015-06-04 00:55:11 +02:00
}
detail::RangeIterator<B> end() const {
return detail::RangeIterator<B>();
2015-06-04 00:55:11 +02:00
}
2015-06-04 00:55:11 +02:00
Size pop_front_n(Size n) {
2016-07-02 05:56:23 +02:00
return detail::pop_front_n<B>(*static_cast<B *>(this), n);
2015-06-04 00:55:11 +02:00
}
2015-05-28 03:38:52 +02:00
2015-06-04 00:55:11 +02:00
Size pop_back_n(Size n) {
2016-07-02 05:56:23 +02:00
return detail::pop_back_n<B>(*static_cast<B *>(this), n);
2015-06-04 00:55:11 +02:00
}
2015-06-04 00:55:11 +02:00
Size push_front_n(Size n) {
2016-07-02 05:56:23 +02:00
return detail::push_front_n<B>(*static_cast<B *>(this), n);
2015-06-04 00:55:11 +02:00
}
2015-06-04 00:55:11 +02:00
Size push_back_n(Size n) {
2016-07-02 05:56:23 +02:00
return detail::push_back_n<B>(*static_cast<B *>(this), n);
2015-06-04 00:55:11 +02:00
}
2015-06-26 22:01:16 +02:00
B iter() const {
2016-07-02 05:56:23 +02:00
return B(*static_cast<B const *>(this));
2015-06-04 00:55:11 +02:00
}
ReverseRange<B> reverse() const {
2015-06-26 22:01:16 +02:00
return ReverseRange<B>(iter());
2015-06-09 22:18:43 +02:00
}
MoveRange<B> movable() const {
2015-06-26 22:01:16 +02:00
return MoveRange<B>(iter());
2015-06-04 00:55:11 +02:00
}
EnumeratedRange<B> enumerate() const {
return EnumeratedRange<B>(iter());
}
TakeRange<B> take(Size n) const {
return TakeRange<B>(iter(), n);
}
ChunksRange<B> chunks(Size n) const {
return ChunksRange<B>(iter(), n);
}
template<typename R1, typename ...RR>
JoinRange<B, R1, RR...> join(R1 r1, RR ...rr) const {
2017-01-25 01:44:22 +01:00
return JoinRange<B, R1, RR...>(iter(), std::move(r1), std::move(rr)...);
}
template<typename R1, typename ...RR>
ZipRange<B, R1, RR...> zip(R1 r1, RR ...rr) const {
2017-01-25 01:44:22 +01:00
return ZipRange<B, R1, RR...>(iter(), std::move(r1), std::move(rr)...);
}
RangeHalf<B> half() const {
2015-06-26 22:01:16 +02:00
return RangeHalf<B>(iter());
}
2016-06-23 20:18:35 +02:00
Size put_n(Value const *p, Size n) {
2016-07-02 05:56:23 +02:00
B &r = *static_cast<B *>(this);
Size on = n;
for (; n && r.put(*p++); --n);
return (on - n);
}
2016-03-23 23:11:15 +01:00
template<typename OR>
2017-02-09 20:56:15 +01:00
std::enable_if_t<IsOutputRange<OR>, Size> copy(OR &&orange, Size n = -1) {
2016-07-02 05:56:23 +02:00
B r(*static_cast<B const *>(this));
Size on = n;
2015-07-01 23:26:56 +02:00
for (; n && !r.empty(); --n) {
if (!orange.put(r.front())) {
2016-03-23 23:11:15 +01:00
break;
}
2015-07-01 23:26:56 +02:00
r.pop_front();
}
return (on - n);
}
2017-02-09 20:56:15 +01:00
Size copy(std::remove_cv_t<Value> *p, Size n = -1) {
2016-07-02 05:56:23 +02:00
B r(*static_cast<B const *>(this));
Size on = n;
2015-07-01 23:26:56 +02:00
for (; n && !r.empty(); --n) {
*p++ = r.front();
r.pop_front();
}
return (on - n);
}
/* iterator like interface operating on the front part of the range
* this is sometimes convenient as it can be used within expressions */
Reference operator*() const {
return std::forward<Reference>(static_cast<B const *>(this)->front());
}
B &operator++() {
2016-07-02 05:56:23 +02:00
static_cast<B *>(this)->pop_front();
return *static_cast<B *>(this);
}
B operator++(int) {
2016-07-02 05:56:23 +02:00
B tmp(*static_cast<B const *>(this));
static_cast<B *>(this)->pop_front();
return tmp;
}
B &operator--() {
2016-07-02 05:56:23 +02:00
static_cast<B *>(this)->push_front();
return *static_cast<B *>(this);
}
B operator--(int) {
2016-07-02 05:56:23 +02:00
B tmp(*static_cast<B const *>(this));
static_cast<B *>(this)->push_front();
return tmp;
}
B operator+(Difference n) const {
2016-07-02 05:56:23 +02:00
B tmp(*static_cast<B const *>(this));
tmp.pop_front_n(n);
return tmp;
}
B operator-(Difference n) const {
2016-07-02 05:56:23 +02:00
B tmp(*static_cast<B const *>(this));
tmp.push_front_n(n);
return tmp;
}
B &operator+=(Difference n) {
2016-07-02 05:56:23 +02:00
static_cast<B *>(this)->pop_front_n(n);
return *static_cast<B *>(this);
}
B &operator-=(Difference n) {
2016-07-02 05:56:23 +02:00
static_cast<B *>(this)->push_front_n(n);
return *static_cast<B *>(this);
}
/* pipe op, must be a member to work for user ranges automagically */
template<typename F>
auto operator|(F &&func) & {
return func(*static_cast<B *>(this));
}
template<typename F>
auto operator|(F &&func) const & {
return func(*static_cast<B const *>(this));
}
template<typename F>
auto operator|(F &&func) && {
return func(std::move(*static_cast<B *>(this)));
}
template<typename F>
auto operator|(F &&func) const && {
return func(std::move(*static_cast<B const *>(this)));
}
/* universal bool operator */
2016-07-02 05:56:23 +02:00
explicit operator bool() const {
return !(static_cast<B const *>(this)->empty());
}
2015-06-04 00:55:11 +02:00
};
2015-04-17 22:33:01 +02:00
inline auto reverse() {
return [](auto &&obj) { return obj.reverse(); };
}
inline auto movable() {
return [](auto &&obj) { return obj.movable(); };
}
inline auto enumerate() {
return [](auto &&obj) { return obj.enumerate(); };
}
template<typename T>
inline auto take(T n) {
return [n](auto &&obj) { return obj.take(n); };
}
2015-06-09 22:18:43 +02:00
template<typename T>
inline auto chunks(T n) {
return [n](auto &&obj) { return obj.chunks(n); };
}
2016-05-01 01:34:00 +02:00
namespace detail {
2017-01-30 19:11:39 +01:00
template<typename T, typename ...R, size_t ...I>
2017-01-28 18:30:31 +01:00
inline auto join_proxy(
T &&obj, std::tuple<R &&...> &&tup, std::index_sequence<I...>
) {
2017-01-25 01:44:22 +01:00
return obj.join(std::forward<R>(
2017-01-28 18:30:31 +01:00
std::get<I>(std::forward<std::tuple<R &&...>>(tup))
2017-01-25 01:44:22 +01:00
)...);
2016-05-01 01:34:00 +02:00
}
2017-01-30 19:11:39 +01:00
template<typename T, typename ...R, size_t ...I>
2017-01-28 18:30:31 +01:00
inline auto zip_proxy(
T &&obj, std::tuple<R &&...> &&tup, std::index_sequence<I...>
) {
2017-01-25 01:44:22 +01:00
return obj.zip(std::forward<R>(
2017-01-28 18:30:31 +01:00
std::get<I>(std::forward<std::tuple<R &&...>>(tup))
2017-01-25 01:44:22 +01:00
)...);
2016-05-01 01:34:00 +02:00
}
}
template<typename R>
inline auto join(R &&range) {
2017-01-25 01:44:22 +01:00
return [range = std::forward<R>(range)](auto &&obj) mutable {
return obj.join(std::forward<R>(range));
2016-05-01 01:34:00 +02:00
};
}
template<typename R1, typename ...R>
inline auto join(R1 &&r1, R &&...rr) {
return [
2017-01-28 18:30:31 +01:00
ranges = std::forward_as_tuple(
std::forward<R1>(r1), std::forward<R>(rr)...
)
] (auto &&obj) mutable {
return detail::join_proxy(
2017-01-25 01:44:22 +01:00
std::forward<decltype(obj)>(obj),
2017-01-28 18:30:31 +01:00
std::forward<decltype(ranges)>(ranges),
std::make_index_sequence<sizeof...(R) + 1>()
);
2016-05-01 01:34:00 +02:00
};
}
template<typename R>
inline auto zip(R &&range) {
2017-01-25 01:44:22 +01:00
return [range = std::forward<R>(range)](auto &&obj) mutable {
return obj.zip(std::forward<R>(range));
2016-05-01 01:34:00 +02:00
};
}
template<typename R1, typename ...R>
inline auto zip(R1 &&r1, R &&...rr) {
return [
2017-01-28 18:30:31 +01:00
ranges = std::forward_as_tuple(
std::forward<R1>(r1), std::forward<R>(rr)...
)
] (auto &&obj) mutable {
return detail::zip_proxy(
2017-01-25 01:44:22 +01:00
std::forward<decltype(obj)>(obj),
2017-01-28 18:30:31 +01:00
std::forward<decltype(ranges)>(ranges),
std::make_index_sequence<sizeof...(R) + 1>()
);
2016-05-01 01:34:00 +02:00
};
}
template<typename C, typename = void>
struct ranged_traits;
namespace detail {
template<typename C>
2017-02-09 20:56:15 +01:00
static std::true_type test_direct_iter(decltype(std::declval<C>().iter()) *);
template<typename>
2017-02-09 20:56:15 +01:00
static std::false_type test_direct_iter(...);
template<typename C>
constexpr bool direct_iter_test = decltype(test_direct_iter<C>(0))::value;
}
template<typename C>
2017-02-09 20:56:15 +01:00
struct ranged_traits<C, std::enable_if_t<detail::direct_iter_test<C>>> {
static auto iter(C &r) -> decltype(r.iter()) {
return r.iter();
}
};
template<typename T>
inline auto iter(T &r) -> decltype(ranged_traits<T>::iter(r)) {
return ranged_traits<T>::iter(r);
2015-06-09 22:18:43 +02:00
}
template<typename T>
inline auto iter(T const &r) -> decltype(ranged_traits<T const>::iter(r)) {
return ranged_traits<T const>::iter(r);
2015-06-09 22:18:43 +02:00
}
template<typename T>
inline auto citer(T const &r) -> decltype(ranged_traits<T const>::iter(r)) {
return ranged_traits<T const>::iter(r);
2015-06-09 22:18:43 +02:00
}
template<
typename B, typename V, typename R = V &,
2017-01-30 19:11:39 +01:00
typename S = size_t, typename D = ptrdiff_t
>
struct OutputRange {
2015-06-08 01:55:08 +02:00
using Category = OutputRangeTag;
using Size = S;
using Difference = D;
using Value = V;
using Reference = R;
2016-06-23 20:18:35 +02:00
Size put_n(Value const *p, Size n) {
2016-07-02 05:56:23 +02:00
B &r = *static_cast<B *>(this);
Size on = n;
2015-07-04 03:18:21 +02:00
for (; n && r.put(*p++); --n);
return (on - n);
}
2015-06-04 00:55:11 +02:00
};
2015-04-27 20:53:48 +02:00
template<typename T>
struct HalfRange: InputRange<HalfRange<T>,
RangeCategory<typename T::Range>,
RangeValue<typename T::Range>,
RangeReference<typename T::Range>,
RangeSize<typename T::Range>,
RangeDifference<typename T::Range>
> {
private:
using Rtype = typename T::Range;
T p_beg;
T p_end;
public:
HalfRange() = delete;
HalfRange(HalfRange const &range):
p_beg(range.p_beg), p_end(range.p_end)
{}
HalfRange(HalfRange &&range):
2017-01-25 01:44:22 +01:00
p_beg(std::move(range.p_beg)), p_end(std::move(range.p_end))
{}
HalfRange(T const &beg, T const &end):
p_beg(beg),p_end(end)
{}
HalfRange(T &&beg, T &&end):
2017-01-25 01:44:22 +01:00
p_beg(std::move(beg)), p_end(std::move(end))
{}
2016-06-23 20:18:35 +02:00
HalfRange &operator=(HalfRange const &range) {
p_beg = range.p_beg;
p_end = range.p_end;
return *this;
}
HalfRange &operator=(HalfRange &&range) {
2017-01-25 01:44:22 +01:00
p_beg = std::move(range.p_beg);
p_end = std::move(range.p_end);
return *this;
}
bool empty() const { return p_beg == p_end; }
bool pop_front() {
if (empty()) {
return false;
}
return p_beg.next();
}
bool push_front() {
return p_beg.prev();
}
bool pop_back() {
if (empty()) {
return false;
}
return p_end.prev();
}
bool push_back() {
return p_end.next();
}
RangeReference<Rtype> front() const { return *p_beg; }
RangeReference<Rtype> back() const { return *(p_end - 1); }
2016-06-23 20:18:35 +02:00
bool equals_front(HalfRange const &range) const {
return p_beg == range.p_beg;
}
2016-06-23 20:18:35 +02:00
bool equals_back(HalfRange const &range) const {
return p_end == range.p_end;
}
2016-06-23 20:18:35 +02:00
RangeDifference<Rtype> distance_front(HalfRange const &range) const {
return range.p_beg - p_beg;
}
2016-06-23 20:18:35 +02:00
RangeDifference<Rtype> distance_back(HalfRange const &range) const {
return range.p_end - p_end;
}
RangeSize<Rtype> size() const { return p_end - p_beg; }
HalfRange<Rtype> slice(RangeSize<Rtype> start, RangeSize<Rtype> end) const {
2015-12-30 15:13:07 +01:00
return HalfRange<Rtype>(p_beg + start, p_beg + end);
}
RangeReference<Rtype> operator[](RangeSize<Rtype> idx) const {
return p_beg[idx];
}
2016-06-23 20:18:35 +02:00
bool put(RangeValue<Rtype> const &v) {
2015-07-01 22:12:45 +02:00
return p_beg.range().put(v);
}
2015-07-01 22:12:45 +02:00
bool put(RangeValue<Rtype> &&v) {
2017-01-25 01:44:22 +01:00
return p_beg.range().put(std::move(v));
}
2015-07-28 03:40:24 +02:00
RangeValue<Rtype> *data() { return p_beg.data(); }
2016-06-23 20:18:35 +02:00
RangeValue<Rtype> const *data() const { return p_beg.data(); }
};
2015-06-04 23:57:06 +02:00
template<typename T>
struct ReverseRange: InputRange<ReverseRange<T>,
2017-02-09 20:56:15 +01:00
std::common_type_t<RangeCategory<T>, FiniteRandomAccessRangeTag>,
2015-07-28 03:40:24 +02:00
RangeValue<T>, RangeReference<T>, RangeSize<T>, RangeDifference<T>
2015-06-04 00:55:11 +02:00
> {
private:
2015-06-08 01:55:08 +02:00
using Rref = RangeReference<T>;
using Rsize = RangeSize<T>;
2015-04-28 19:48:58 +02:00
2015-06-04 23:57:06 +02:00
T p_range;
2015-04-28 19:48:58 +02:00
2015-06-04 00:55:11 +02:00
public:
ReverseRange() = delete;
2016-06-23 20:18:35 +02:00
ReverseRange(T const &range): p_range(range) {}
ReverseRange(ReverseRange const &it): p_range(it.p_range) {}
2017-01-25 01:44:22 +01:00
ReverseRange(ReverseRange &&it): p_range(std::move(it.p_range)) {}
2016-06-23 20:18:35 +02:00
ReverseRange &operator=(ReverseRange const &v) {
2015-06-04 00:55:11 +02:00
p_range = v.p_range;
return *this;
}
ReverseRange &operator=(ReverseRange &&v) {
2017-01-25 01:44:22 +01:00
p_range = std::move(v.p_range);
2015-06-04 00:55:11 +02:00
return *this;
}
2016-06-23 20:18:35 +02:00
ReverseRange &operator=(T const &v) {
2015-06-04 00:55:11 +02:00
p_range = v;
return *this;
}
2015-06-04 23:57:06 +02:00
ReverseRange &operator=(T &&v) {
2017-01-25 01:44:22 +01:00
p_range = std::move(v);
2015-06-04 00:55:11 +02:00
return *this;
}
2015-04-27 20:53:48 +02:00
2015-06-04 00:55:11 +02:00
bool empty() const { return p_range.empty(); }
2015-06-08 01:55:08 +02:00
Rsize size() const { return p_range.size(); }
2016-06-23 20:18:35 +02:00
bool equals_front(ReverseRange const &r) const {
return p_range.equals_back(r.p_range);
2015-06-04 00:55:11 +02:00
}
2016-06-23 20:18:35 +02:00
bool equals_back(ReverseRange const &r) const {
2015-06-04 00:55:11 +02:00
return p_range.equals_front(r.p_range);
}
2016-06-23 20:18:35 +02:00
RangeDifference<T> distance_front(ReverseRange const &r) const {
2015-06-04 00:55:11 +02:00
return -p_range.distance_back(r.p_range);
}
2016-06-23 20:18:35 +02:00
RangeDifference<T> distance_back(ReverseRange const &r) const {
2015-06-04 00:55:11 +02:00
return -p_range.distance_front(r.p_range);
}
2015-04-16 03:07:32 +02:00
2015-06-04 00:55:11 +02:00
bool pop_front() { return p_range.pop_back(); }
bool pop_back() { return p_range.pop_front(); }
2015-04-16 03:07:32 +02:00
2015-06-04 00:55:11 +02:00
bool push_front() { return p_range.push_back(); }
bool push_back() { return p_range.push_front(); }
2015-06-08 01:55:08 +02:00
Rsize pop_front_n(Rsize n) { return p_range.pop_front_n(n); }
Rsize pop_back_n(Rsize n) { return p_range.pop_back_n(n); }
2015-06-08 01:55:08 +02:00
Rsize push_front_n(Rsize n) { return p_range.push_front_n(n); }
Rsize push_back_n(Rsize n) { return p_range.push_back_n(n); }
2015-04-16 03:07:32 +02:00
2015-06-08 01:55:08 +02:00
Rref front() const { return p_range.back(); }
Rref back() const { return p_range.front(); }
2015-04-16 03:07:32 +02:00
2015-06-08 01:55:08 +02:00
Rref operator[](Rsize i) const { return p_range[size() - i - 1]; }
2015-04-16 03:07:32 +02:00
2015-06-08 01:55:08 +02:00
ReverseRange<T> slice(Rsize start, Rsize end) const {
Rsize len = p_range.size();
2015-06-04 23:57:06 +02:00
return ReverseRange<T>(p_range.slice(len - end, len - start));
2015-04-16 03:07:32 +02:00
}
2015-06-04 00:55:11 +02:00
};
2015-06-04 23:57:06 +02:00
template<typename T>
struct MoveRange: InputRange<MoveRange<T>,
2017-02-09 20:56:15 +01:00
std::common_type_t<RangeCategory<T>, FiniteRandomAccessRangeTag>,
2015-07-28 03:40:24 +02:00
RangeValue<T>, RangeValue<T> &&, RangeSize<T>, RangeDifference<T>
2015-06-04 00:55:11 +02:00
> {
private:
2015-06-08 01:55:08 +02:00
using Rval = RangeValue<T>;
using Rref = RangeValue<T> &&;
using Rsize = RangeSize<T>;
2015-04-28 19:48:58 +02:00
2015-06-04 23:57:06 +02:00
T p_range;
2015-06-04 00:55:11 +02:00
public:
MoveRange() = delete;
2016-06-23 20:18:35 +02:00
MoveRange(T const &range): p_range(range) {}
MoveRange(MoveRange const &it): p_range(it.p_range) {}
2017-01-25 01:44:22 +01:00
MoveRange(MoveRange &&it): p_range(std::move(it.p_range)) {}
2016-06-23 20:18:35 +02:00
MoveRange &operator=(MoveRange const &v) {
2015-06-04 00:55:11 +02:00
p_range = v.p_range;
return *this;
}
MoveRange &operator=(MoveRange &&v) {
2017-01-25 01:44:22 +01:00
p_range = std::move(v.p_range);
2015-06-04 00:55:11 +02:00
return *this;
}
2016-06-23 20:18:35 +02:00
MoveRange &operator=(T const &v) {
2015-06-04 00:55:11 +02:00
p_range = v;
return *this;
}
2015-06-04 23:57:06 +02:00
MoveRange &operator=(T &&v) {
2017-01-25 01:44:22 +01:00
p_range = std::move(v);
2015-06-04 00:55:11 +02:00
return *this;
}
2015-06-04 00:55:11 +02:00
bool empty() const { return p_range.empty(); }
2015-06-08 01:55:08 +02:00
Rsize size() const { return p_range.size(); }
2016-06-23 20:18:35 +02:00
bool equals_front(MoveRange const &r) const {
2015-06-04 00:55:11 +02:00
return p_range.equals_front(r.p_range);
}
2016-06-23 20:18:35 +02:00
bool equals_back(MoveRange const &r) const {
2015-06-04 00:55:11 +02:00
return p_range.equals_back(r.p_range);
}
2016-06-23 20:18:35 +02:00
RangeDifference<T> distance_front(MoveRange const &r) const {
2015-06-04 00:55:11 +02:00
return p_range.distance_front(r.p_range);
}
2016-06-23 20:18:35 +02:00
RangeDifference<T> distance_back(MoveRange const &r) const {
2015-06-04 00:55:11 +02:00
return p_range.distance_back(r.p_range);
}
2015-06-04 00:55:11 +02:00
bool pop_front() { return p_range.pop_front(); }
bool pop_back() { return p_range.pop_back(); }
2015-06-04 00:55:11 +02:00
bool push_front() { return p_range.push_front(); }
bool push_back() { return p_range.push_back(); }
2015-06-08 01:55:08 +02:00
Rsize pop_front_n(Rsize n) { return p_range.pop_front_n(n); }
Rsize pop_back_n(Rsize n) { return p_range.pop_back_n(n); }
2015-06-08 01:55:08 +02:00
Rsize push_front_n(Rsize n) { return p_range.push_front_n(n); }
Rsize push_back_n(Rsize n) { return p_range.push_back_n(n); }
2017-01-25 01:44:22 +01:00
Rref front() const { return std::move(p_range.front()); }
Rref back() const { return std::move(p_range.back()); }
2017-01-25 01:44:22 +01:00
Rref operator[](Rsize i) const { return std::move(p_range[i]); }
2015-04-17 00:26:10 +02:00
2015-06-08 01:55:08 +02:00
MoveRange<T> slice(Rsize start, Rsize end) const {
2015-06-04 23:57:06 +02:00
return MoveRange<T>(p_range.slice(start, end));
2015-04-17 00:26:10 +02:00
}
2015-04-17 01:55:50 +02:00
2016-06-23 20:18:35 +02:00
bool put(Rval const &v) { return p_range.put(v); }
2017-01-25 01:44:22 +01:00
bool put(Rval &&v) { return p_range.put(std::move(v)); }
2015-06-04 00:55:11 +02:00
};
2015-06-04 23:57:06 +02:00
template<typename T>
struct NumberRange: InputRange<NumberRange<T>, ForwardRangeTag, T, T> {
NumberRange() = delete;
NumberRange(T a, T b, T step = T(1)):
p_a(a), p_b(b), p_step(step)
{}
2015-06-04 23:57:06 +02:00
NumberRange(T v): p_a(0), p_b(v), p_step(1) {}
2015-04-17 01:55:50 +02:00
2015-06-04 00:55:11 +02:00
bool empty() const { return p_a * p_step >= p_b * p_step; }
2016-06-23 20:18:35 +02:00
bool equals_front(NumberRange const &range) const {
2015-06-04 00:55:11 +02:00
return p_a == range.p_a;
}
2015-06-04 00:55:11 +02:00
bool pop_front() { p_a += p_step; return true; }
2015-06-04 23:57:06 +02:00
T front() const { return p_a; }
2015-05-08 03:03:48 +02:00
2015-06-04 00:55:11 +02:00
private:
2015-06-04 23:57:06 +02:00
T p_a, p_b, p_step;
2015-06-04 00:55:11 +02:00
};
2015-06-04 23:57:06 +02:00
template<typename T>
inline NumberRange<T> range(T a, T b, T step = T(1)) {
2015-06-04 23:57:06 +02:00
return NumberRange<T>(a, b, step);
2015-06-04 00:55:11 +02:00
}
2015-06-04 23:57:06 +02:00
template<typename T>
inline NumberRange<T> range(T v) {
2015-06-04 23:57:06 +02:00
return NumberRange<T>(v);
2015-06-04 00:55:11 +02:00
}
template<typename T>
struct PointerRange: InputRange<PointerRange<T>, ContiguousRangeTag, T> {
private:
struct Nat {};
public:
2015-07-29 02:37:00 +02:00
PointerRange(): p_beg(nullptr), p_end(nullptr) {}
2017-02-09 22:48:28 +01:00
PointerRange(T *beg, T *end): p_beg(beg), p_end(end) {}
2015-06-04 00:55:11 +02:00
2017-02-09 20:56:15 +01:00
template<typename U, typename = std::enable_if_t<
std::is_convertible_v<U *, T *>
>>
2016-06-23 20:18:35 +02:00
PointerRange(PointerRange<U> const &v): p_beg(&v[0]), p_end(&v[v.size()]) {}
2016-06-23 20:18:35 +02:00
PointerRange &operator=(PointerRange const &v) {
2015-06-04 00:55:11 +02:00
p_beg = v.p_beg;
p_end = v.p_end;
return *this;
}
2015-06-04 00:55:11 +02:00
/* satisfy InputRange / ForwardRange */
bool empty() const { return p_beg == p_end; }
2015-06-04 00:55:11 +02:00
bool pop_front() {
if (p_beg == p_end) {
return false;
}
2015-06-04 00:55:11 +02:00
++p_beg;
return true;
}
bool push_front() {
--p_beg; return true;
}
2017-01-30 19:11:39 +01:00
size_t pop_front_n(size_t n) {
size_t olen = p_end - p_beg;
2015-06-04 00:55:11 +02:00
p_beg += n;
if (p_beg > p_end) {
p_beg = p_end;
return olen;
}
2015-06-04 00:55:11 +02:00
return n;
}
2017-01-30 19:11:39 +01:00
size_t push_front_n(size_t n) {
2015-06-04 00:55:11 +02:00
p_beg -= n; return true;
}
T &front() const { return *p_beg; }
2016-06-23 20:18:35 +02:00
bool equals_front(PointerRange const &range) const {
2015-06-04 00:55:11 +02:00
return p_beg == range.p_beg;
}
2017-01-30 19:11:39 +01:00
ptrdiff_t distance_front(PointerRange const &range) const {
2015-06-04 00:55:11 +02:00
return range.p_beg - p_beg;
}
2015-06-04 00:55:11 +02:00
/* satisfy BidirectionalRange */
bool pop_back() {
if (p_end == p_beg) {
return false;
}
2015-06-04 00:55:11 +02:00
--p_end;
return true;
}
bool push_back() {
++p_end; return true;
}
2017-01-30 19:11:39 +01:00
size_t pop_back_n(size_t n) {
size_t olen = p_end - p_beg;
2015-06-04 00:55:11 +02:00
p_end -= n;
if (p_end < p_beg) {
p_end = p_beg;
return olen;
}
2015-06-04 00:55:11 +02:00
return n;
}
2017-01-30 19:11:39 +01:00
size_t push_back_n(size_t n) {
2015-06-04 00:55:11 +02:00
p_end += n; return true;
}
T &back() const { return *(p_end - 1); }
2016-06-23 20:18:35 +02:00
bool equals_back(PointerRange const &range) const {
2015-06-04 00:55:11 +02:00
return p_end == range.p_end;
}
2017-01-30 19:11:39 +01:00
ptrdiff_t distance_back(PointerRange const &range) const {
2015-06-04 00:55:11 +02:00
return range.p_end - p_end;
}
2015-06-04 00:55:11 +02:00
/* satisfy FiniteRandomAccessRange */
2017-01-30 19:11:39 +01:00
size_t size() const { return p_end - p_beg; }
2015-04-21 18:58:36 +02:00
2017-01-30 19:11:39 +01:00
PointerRange slice(size_t start, size_t end) const {
2015-06-04 00:55:11 +02:00
return PointerRange(p_beg + start, p_beg + end);
}
2015-04-21 18:58:36 +02:00
2017-01-30 19:11:39 +01:00
T &operator[](size_t i) const { return p_beg[i]; }
2015-04-27 20:53:48 +02:00
2015-06-04 00:55:11 +02:00
/* satisfy OutputRange */
2016-06-23 20:18:35 +02:00
bool put(T const &v) {
if (empty()) {
return false;
}
2015-06-04 00:55:11 +02:00
*(p_beg++) = v;
2015-07-01 22:12:45 +02:00
return true;
2015-06-04 00:55:11 +02:00
}
2015-07-01 22:12:45 +02:00
bool put(T &&v) {
if (empty()) {
return false;
}
2017-01-25 01:44:22 +01:00
*(p_beg++) = std::move(v);
2015-07-01 22:12:45 +02:00
return true;
2015-06-04 00:55:11 +02:00
}
2015-04-28 19:48:58 +02:00
2017-01-30 19:11:39 +01:00
size_t put_n(T const *p, size_t n) {
size_t ret = size();
if (n < ret) {
ret = n;
}
2017-02-09 20:56:15 +01:00
if constexpr(std::is_pod_v<T>) {
memcpy(p_beg, p, ret * sizeof(T));
p_beg += ret;
return ret;
}
2017-01-30 19:11:39 +01:00
for (size_t i = ret; i; --i) {
*p_beg++ = *p++;
}
return ret;
}
2016-03-23 23:11:15 +01:00
template<typename R>
2017-02-09 20:56:15 +01:00
std::enable_if_t<IsOutputRange<R>, size_t> copy(R &&orange, size_t n = -1) {
2017-01-30 19:11:39 +01:00
size_t c = size();
if (n < c) {
c = n;
}
return orange.put_n(p_beg, c);
}
2017-02-09 20:56:15 +01:00
size_t copy(std::remove_cv_t<T> *p, size_t n = -1) {
2017-01-30 19:11:39 +01:00
size_t c = size();
if (n < c) {
c = n;
}
2017-02-09 20:56:15 +01:00
if constexpr(std::is_pod_v<T>) {
memcpy(p, p_beg, c * sizeof(T));
2016-03-23 23:11:15 +01:00
return c;
}
return copy(PointerRange(p, p + c), c);
}
T *data() { return p_beg; }
2016-06-23 20:18:35 +02:00
T const *data() const { return p_beg; }
2015-06-04 00:55:11 +02:00
private:
T *p_beg, *p_end;
2015-06-04 00:55:11 +02:00
};
2015-04-28 19:48:58 +02:00
2017-01-30 19:11:39 +01:00
template<typename T, size_t N>
struct ranged_traits<T[N]> {
static PointerRange<T> iter(T (&array)[N]) {
2017-02-09 22:48:28 +01:00
return PointerRange<T>(array, array + N);
}
};
2017-01-25 01:44:22 +01:00
2015-08-07 03:36:58 +02:00
namespace detail {
struct PtrNat {};
}
template<typename T, typename U>
2017-02-09 20:56:15 +01:00
inline PointerRange<T> iter(T *a, U b, std::enable_if_t<
(std::is_pointer_v<U> || std::is_null_pointer_v<U>) &&
std::is_convertible_v<U, T *>, detail::PtrNat
2015-08-07 03:36:58 +02:00
> = detail::PtrNat()) {
return PointerRange<T>(a, b);
}
template<typename T>
2017-01-30 19:11:39 +01:00
inline PointerRange<T> iter(T *a, size_t b) {
2017-02-09 22:48:28 +01:00
return PointerRange<T>(a, a + b);
2015-07-04 04:20:51 +02:00
}
2015-06-04 23:57:06 +02:00
template<typename T, typename S>
2015-06-04 00:55:11 +02:00
struct EnumeratedValue {
2015-06-04 23:57:06 +02:00
S index;
T value;
2015-06-04 00:55:11 +02:00
};
2015-04-28 19:48:58 +02:00
2015-06-04 23:57:06 +02:00
template<typename T>
struct EnumeratedRange: InputRange<EnumeratedRange<T>,
2017-02-09 20:56:15 +01:00
std::common_type_t<RangeCategory<T>, ForwardRangeTag>, RangeValue<T>,
2015-06-04 23:57:06 +02:00
EnumeratedValue<RangeReference<T>, RangeSize<T>>,
RangeSize<T>
2015-06-04 00:55:11 +02:00
> {
private:
2015-06-08 01:55:08 +02:00
using Rref = RangeReference<T>;
using Rsize = RangeSize<T>;
2015-04-21 18:58:36 +02:00
2015-06-04 23:57:06 +02:00
T p_range;
2015-06-08 01:55:08 +02:00
Rsize p_index;
2015-04-28 19:48:58 +02:00
2015-06-04 00:55:11 +02:00
public:
EnumeratedRange() = delete;
2015-04-21 18:58:36 +02:00
2016-06-23 20:18:35 +02:00
EnumeratedRange(T const &range): p_range(range), p_index(0) {}
2015-04-21 18:58:36 +02:00
2016-06-23 20:18:35 +02:00
EnumeratedRange(EnumeratedRange const &it):
p_range(it.p_range), p_index(it.p_index)
{}
2015-06-04 00:55:11 +02:00
EnumeratedRange(EnumeratedRange &&it):
2017-01-25 01:44:22 +01:00
p_range(std::move(it.p_range)), p_index(it.p_index)
{}
2015-04-21 18:58:36 +02:00
2016-06-23 20:18:35 +02:00
EnumeratedRange &operator=(EnumeratedRange const &v) {
2015-06-04 00:55:11 +02:00
p_range = v.p_range;
p_index = v.p_index;
return *this;
}
EnumeratedRange &operator=(EnumeratedRange &&v) {
2017-01-25 01:44:22 +01:00
p_range = std::move(v.p_range);
2015-06-04 00:55:11 +02:00
p_index = v.p_index;
return *this;
}
2016-06-23 20:18:35 +02:00
EnumeratedRange &operator=(T const &v) {
2015-06-04 00:55:11 +02:00
p_range = v;
p_index = 0;
return *this;
}
2015-06-04 23:57:06 +02:00
EnumeratedRange &operator=(T &&v) {
2017-01-25 01:44:22 +01:00
p_range = std::move(v);
2015-06-04 00:55:11 +02:00
p_index = 0;
return *this;
}
2015-06-04 00:55:11 +02:00
bool empty() const { return p_range.empty(); }
2015-04-21 18:58:36 +02:00
2016-06-23 20:18:35 +02:00
bool equals_front(EnumeratedRange const &r) const {
2015-06-04 00:55:11 +02:00
return p_range.equals_front(r.p_range);
2015-04-21 18:58:36 +02:00
}
2015-05-26 20:25:20 +02:00
2015-06-04 00:55:11 +02:00
bool pop_front() {
if (p_range.pop_front()) {
++p_index;
return true;
2015-05-27 21:45:34 +02:00
}
2015-06-04 00:55:11 +02:00
return false;
}
2015-05-27 21:45:34 +02:00
2015-06-08 01:55:08 +02:00
Rsize pop_front_n(Rsize n) {
Rsize ret = p_range.pop_front_n(n);
2015-06-04 00:55:11 +02:00
p_index += ret;
return ret;
}
2015-05-27 21:45:34 +02:00
2015-06-08 01:55:08 +02:00
EnumeratedValue<Rref, Rsize> front() const {
return EnumeratedValue<Rref, Rsize> { p_index, p_range.front() };
2015-06-04 00:55:11 +02:00
}
};
2015-06-04 23:57:06 +02:00
template<typename T>
struct TakeRange: InputRange<TakeRange<T>,
2017-02-09 20:56:15 +01:00
std::common_type_t<RangeCategory<T>, ForwardRangeTag>,
2015-06-04 23:57:06 +02:00
RangeValue<T>, RangeReference<T>, RangeSize<T>
2015-06-04 00:55:11 +02:00
> {
private:
2015-06-04 23:57:06 +02:00
T p_range;
RangeSize<T> p_remaining;
2015-06-04 00:55:11 +02:00
public:
TakeRange() = delete;
TakeRange(T const &range, RangeSize<T> rem):
p_range(range), p_remaining(rem)
{}
TakeRange(TakeRange const &it):
p_range(it.p_range), p_remaining(it.p_remaining)
{}
TakeRange(TakeRange &&it):
2017-01-25 01:44:22 +01:00
p_range(std::move(it.p_range)), p_remaining(it.p_remaining)
{}
2015-06-04 00:55:11 +02:00
2016-06-23 20:18:35 +02:00
TakeRange &operator=(TakeRange const &v) {
2015-06-04 00:55:11 +02:00
p_range = v.p_range; p_remaining = v.p_remaining; return *this;
}
TakeRange &operator=(TakeRange &&v) {
2017-01-25 01:44:22 +01:00
p_range = std::move(v.p_range);
2015-06-04 00:55:11 +02:00
p_remaining = v.p_remaining;
return *this;
}
2015-05-27 21:45:34 +02:00
2015-06-04 00:55:11 +02:00
bool empty() const { return (p_remaining <= 0) || p_range.empty(); }
2015-05-27 21:45:34 +02:00
2015-06-04 00:55:11 +02:00
bool pop_front() {
if (p_range.pop_front()) {
--p_remaining;
return true;
2015-05-27 21:45:34 +02:00
}
2015-06-04 00:55:11 +02:00
return false;
2015-05-27 21:45:34 +02:00
}
2015-05-27 21:56:44 +02:00
2015-06-04 23:57:06 +02:00
RangeSize<T> pop_front_n(RangeSize<T> n) {
RangeSize<T> ret = p_range.pop_front_n(n);
2015-06-04 00:55:11 +02:00
p_remaining -= ret;
return ret;
}
2015-06-04 23:57:06 +02:00
RangeReference<T> front() const { return p_range.front(); }
2015-05-27 21:56:44 +02:00
2016-06-23 20:18:35 +02:00
bool equals_front(TakeRange const &r) const {
2015-06-04 00:55:11 +02:00
return p_range.equals_front(r.p_range);
}
};
2015-05-27 21:56:44 +02:00
2015-06-04 23:57:06 +02:00
template<typename T>
struct ChunksRange: InputRange<ChunksRange<T>,
2017-02-09 20:56:15 +01:00
std::common_type_t<RangeCategory<T>, ForwardRangeTag>,
2015-06-04 23:57:06 +02:00
TakeRange<T>, TakeRange<T>, RangeSize<T>
2015-06-04 00:55:11 +02:00
> {
private:
2015-06-04 23:57:06 +02:00
T p_range;
RangeSize<T> p_chunksize;
2015-06-04 00:55:11 +02:00
public:
ChunksRange() = delete;
ChunksRange(T const &range, RangeSize<T> chs):
p_range(range), p_chunksize(chs)
{}
ChunksRange(ChunksRange const &it):
p_range(it.p_range), p_chunksize(it.p_chunksize)
{}
ChunksRange(ChunksRange &&it):
2017-01-25 01:44:22 +01:00
p_range(std::move(it.p_range)), p_chunksize(it.p_chunksize)
{}
2015-06-04 00:55:11 +02:00
2016-06-23 20:18:35 +02:00
ChunksRange &operator=(ChunksRange const &v) {
2015-06-04 00:55:11 +02:00
p_range = v.p_range; p_chunksize = v.p_chunksize; return *this;
}
ChunksRange &operator=(ChunksRange &&v) {
2017-01-25 01:44:22 +01:00
p_range = std::move(v.p_range);
2015-06-04 00:55:11 +02:00
p_chunksize = v.p_chunksize;
return *this;
2015-05-26 20:25:20 +02:00
}
2015-06-04 00:55:11 +02:00
bool empty() const { return p_range.empty(); }
2016-06-23 20:18:35 +02:00
bool equals_front(ChunksRange const &r) const {
2015-06-04 00:55:11 +02:00
return p_range.equals_front(r.p_range);
2015-05-26 20:25:20 +02:00
}
2015-06-04 00:55:11 +02:00
bool pop_front() { return p_range.pop_front_n(p_chunksize) > 0; }
2015-06-04 23:57:06 +02:00
RangeSize<T> pop_front_n(RangeSize<T> n) {
2015-06-04 00:55:11 +02:00
return p_range.pop_front_n(p_chunksize * n) / p_chunksize;
}
TakeRange<T> front() const { return p_range.take(p_chunksize); }
2015-06-04 00:55:11 +02:00
};
namespace detail {
2017-02-10 21:06:08 +01:00
template<size_t I, size_t N, typename T>
inline bool join_range_pop(T &tup) {
if constexpr(I != N) {
2017-01-28 18:30:31 +01:00
if (!std::get<I>(tup).empty()) {
return std::get<I>(tup).pop_front();
}
2017-02-10 21:06:08 +01:00
return join_range_pop<I + 1, N>(tup);
}
2017-02-10 21:06:08 +01:00
return false;
}
2017-01-30 19:11:39 +01:00
template<size_t I, size_t N, typename T>
2017-02-10 21:06:08 +01:00
inline auto join_range_front(T &tup) {
if constexpr(I != N) {
2017-01-28 18:30:31 +01:00
if (!std::get<I>(tup).empty()) {
return std::get<I>(tup).front();
}
2017-02-10 21:06:08 +01:00
return join_range_front<I + 1, N>(tup);
}
2017-02-10 21:06:08 +01:00
return std::get<0>(tup).front();
}
}
template<typename ...R>
struct JoinRange: InputRange<JoinRange<R...>,
2017-02-09 20:56:15 +01:00
std::common_type_t<ForwardRangeTag, RangeCategory<R>...>,
std::common_type_t<RangeValue<R>...>, std::common_type_t<RangeReference<R>...>,
std::common_type_t<RangeSize<R>...>, std::common_type_t<RangeDifference<R>...>> {
private:
2017-01-28 18:30:31 +01:00
std::tuple<R...> p_ranges;
public:
JoinRange() = delete;
2016-06-23 20:18:35 +02:00
JoinRange(R const &...ranges): p_ranges(ranges...) {}
2017-01-25 01:44:22 +01:00
JoinRange(R &&...ranges): p_ranges(std::forward<R>(ranges)...) {}
2016-06-23 20:18:35 +02:00
JoinRange(JoinRange const &v): p_ranges(v.p_ranges) {}
2017-01-25 01:44:22 +01:00
JoinRange(JoinRange &&v): p_ranges(std::move(v.p_ranges)) {}
2016-06-23 20:18:35 +02:00
JoinRange &operator=(JoinRange const &v) {
p_ranges = v.p_ranges;
return *this;
}
JoinRange &operator=(JoinRange &&v) {
2017-01-25 01:44:22 +01:00
p_ranges = std::move(v.p_ranges);
return *this;
}
bool empty() const {
return std::apply([](auto const &...args) {
return (... && args.empty());
}, p_ranges);
}
2016-06-23 20:18:35 +02:00
bool equals_front(JoinRange const &r) const {
return std::apply([&r](auto const &...r1) {
return std::apply([&](auto const &...r2) {
return (... && r1.equals_front(r2));
}, r);
}, p_ranges);
}
bool pop_front() {
2017-02-10 21:06:08 +01:00
return detail::join_range_pop<0, sizeof...(R)>(p_ranges);
}
2017-02-09 20:56:15 +01:00
std::common_type_t<RangeReference<R>...> front() const {
2017-02-10 21:06:08 +01:00
return detail::join_range_front<0, sizeof...(R)>(p_ranges);
}
};
2016-03-28 00:49:27 +02:00
namespace detail {
template<typename ...T>
struct ZipValueType {
2017-01-28 18:30:31 +01:00
using Type = std::tuple<T...>;
2016-03-28 00:49:27 +02:00
};
template<typename T, typename U>
struct ZipValueType<T, U> {
using Type = std::pair<T, U>;
2016-03-28 00:49:27 +02:00
};
template<typename ...T>
using ZipValue = typename detail::ZipValueType<T...>::Type;
}
template<typename ...R>
struct ZipRange: InputRange<ZipRange<R...>,
2017-02-09 20:56:15 +01:00
std::common_type_t<ForwardRangeTag, RangeCategory<R>...>,
2016-03-30 21:41:59 +02:00
detail::ZipValue<RangeValue<R>...>,
2016-03-28 00:49:27 +02:00
detail::ZipValue<RangeReference<R>...>,
2017-02-09 20:56:15 +01:00
std::common_type_t<RangeSize<R>...>,
std::common_type_t<RangeDifference<R>...>> {
2016-03-28 00:49:27 +02:00
private:
2017-01-28 18:30:31 +01:00
std::tuple<R...> p_ranges;
2016-03-28 00:49:27 +02:00
public:
ZipRange() = delete;
2016-06-23 20:18:35 +02:00
ZipRange(R const &...ranges): p_ranges(ranges...) {}
2017-01-25 01:44:22 +01:00
ZipRange(R &&...ranges): p_ranges(std::forward<R>(ranges)...) {}
2016-06-23 20:18:35 +02:00
ZipRange(ZipRange const &v): p_ranges(v.p_ranges) {}
2017-01-25 01:44:22 +01:00
ZipRange(ZipRange &&v): p_ranges(std::move(v.p_ranges)) {}
2016-03-28 00:49:27 +02:00
2016-06-23 20:18:35 +02:00
ZipRange &operator=(ZipRange const &v) {
2016-03-28 00:49:27 +02:00
p_ranges = v.p_ranges;
return *this;
}
ZipRange &operator=(ZipRange &&v) {
2017-01-25 01:44:22 +01:00
p_ranges = std::move(v.p_ranges);
2016-03-28 00:49:27 +02:00
return *this;
}
bool empty() const {
return std::apply([](auto const &...args) {
return (... || args.empty());
}, p_ranges);
2016-03-28 00:49:27 +02:00
}
2016-06-23 20:18:35 +02:00
bool equals_front(ZipRange const &r) const {
return std::apply([&r](auto const &...r1) {
return std::apply([&](auto const &...r2) {
return (... && r1.equals_front(r2));
}, r);
}, p_ranges);
2016-03-28 00:49:27 +02:00
}
bool pop_front() {
return std::apply([](auto &...args) {
return (... && args.pop_front());
}, p_ranges);
2016-03-28 00:49:27 +02:00
}
detail::ZipValue<RangeReference<R>...> front() const {
return std::apply([](auto &&...args) {
return detail::ZipValue<RangeReference<R>...>{args.front()...};
}, p_ranges);
2016-03-28 00:49:27 +02:00
}
};
template<typename T>
2017-01-30 00:54:06 +01:00
struct AppenderRange: OutputRange<AppenderRange<T>, typename T::value_type,
typename T::reference, typename T::size_type, typename T::difference_type> {
AppenderRange(): p_data() {}
2016-06-23 20:18:35 +02:00
AppenderRange(T const &v): p_data(v) {}
2017-01-25 01:44:22 +01:00
AppenderRange(T &&v): p_data(std::move(v)) {}
2016-06-23 20:18:35 +02:00
AppenderRange(AppenderRange const &v): p_data(v.p_data) {}
2017-01-25 01:44:22 +01:00
AppenderRange(AppenderRange &&v): p_data(std::move(v.p_data)) {}
2016-06-23 20:18:35 +02:00
AppenderRange &operator=(AppenderRange const &v) {
p_data = v.p_data;
return *this;
}
AppenderRange &operator=(AppenderRange &&v) {
2017-01-25 01:44:22 +01:00
p_data = std::move(v.p_data);
return *this;
}
2016-06-23 20:18:35 +02:00
AppenderRange &operator=(T const &v) {
p_data = v;
return *this;
}
AppenderRange &operator=(T &&v) {
2017-01-25 01:44:22 +01:00
p_data = std::move(v);
return *this;
}
void clear() { p_data.clear(); }
2017-01-30 00:54:06 +01:00
void reserve(typename T::size_type cap) { p_data.reserve(cap); }
void resize(typename T::size_type len) { p_data.resize(len); }
2017-01-30 00:54:06 +01:00
typename T::size_type size() const { return p_data.size(); }
typename T::size_type capacity() const { return p_data.capacity(); }
2017-01-30 00:54:06 +01:00
bool put(typename T::const_reference v) {
p_data.push_back(v);
return true;
}
2017-01-30 00:54:06 +01:00
bool put(typename T::value_type &&v) {
p_data.push_back(std::move(v));
return true;
}
T &get() { return p_data; }
private:
T p_data;
};
template<typename T>
inline AppenderRange<T> appender() {
return AppenderRange<T>();
}
template<typename T>
inline AppenderRange<T> appender(T &&v) {
2017-01-25 01:44:22 +01:00
return AppenderRange<T>(std::forward<T>(v));
}
namespace detail {
template<typename>
struct IteratorRangeTagBase {
/* fallback, the most basic range */
using Type = InputRangeTag;
};
template<>
struct IteratorRangeTagBase<std::output_iterator_tag> {
using Type = OutputRangeTag;
};
template<>
struct IteratorRangeTagBase<std::forward_iterator_tag> {
using Type = ForwardRangeTag;
};
template<>
struct IteratorRangeTagBase<std::bidirectional_iterator_tag> {
using Type = BidirectionalRangeTag;
};
template<>
struct IteratorRangeTagBase<std::random_access_iterator_tag> {
using Type = FiniteRandomAccessRangeTag;
};
}
template<typename T>
using IteratorRangeTag = typename detail::IteratorRangeTagBase<T>::Type;
template<typename T>
struct IteratorRange: InputRange<
IteratorRange<T>,
std::conditional_t<
std::is_pointer_v<T>,
ContiguousRangeTag,
IteratorRangeTag<typename std::iterator_traits<T>::iterator_category>
>,
typename std::iterator_traits<T>::value_type,
typename std::iterator_traits<T>::reference,
std::make_unsigned_t<typename std::iterator_traits<T>::difference_type>,
typename std::iterator_traits<T>::difference_type
> {
private:
using ValT = typename std::iterator_traits<T>::value_type;
using RefT = typename std::iterator_traits<T>::reference;
using DiffT = typename std::iterator_traits<T>::difference_type;
using SizeT = std::make_unsigned_t<typename std::iterator_traits<T>::difference_type>;
public:
IteratorRange(T beg = T{}, T end = T{}): p_beg(beg), p_end(end) {}
template<typename U, typename = std::enable_if_t<
std::is_pointer_v<T> && std::is_pointer_v<U> &&
std::is_convertible_v<U, T>
>>
IteratorRange(IteratorRange<U> const &v): p_beg(&v[0]), p_end(&v[v.size()]) {}
IteratorRange(IteratorRange const &v): p_beg(v.p_beg), p_end(v.p_end) {}
IteratorRange(IteratorRange &&v):
p_beg(std::move(v.p_beg)), p_end(std::move(v.p_end))
{}
IteratorRange &operator=(IteratorRange const &v) {
p_beg = v.p_beg;
p_end = v.p_end;
return *this;
}
IteratorRange &operator=(IteratorRange &&v) {
p_beg = std::move(v.p_beg);
p_end = std::move(v.p_end);
return *this;
}
/* satisfy InputRange / ForwardRange */
bool empty() const { return p_beg == p_end; }
bool pop_front() {
if (p_beg == p_end) {
return false;
}
++p_beg;
return true;
}
bool push_front() {
--p_beg; return true;
}
SizeT pop_front_n(SizeT n) {
using IC = typename std::iterator_traits<T>::iterator_category;
if constexpr(std::is_convertible_v<IC, std::random_access_iterator_tag>) {
SizeT olen = SizeT(p_end - p_beg);
p_beg += n;
if (p_beg > p_end) {
p_beg = p_end;
return olen;
}
return n;
} else {
return detail::pop_front_n(*this, n);
}
}
SizeT push_front_n(SizeT n) {
using IC = typename std::iterator_traits<T>::iterator_category;
if constexpr(std::is_convertible_v<IC, std::random_access_iterator_tag>) {
p_beg -= n;
return true;
} else {
return detail::push_front_n(*this, n);
}
}
RefT front() const { return *p_beg; }
bool equals_front(IteratorRange const &range) const {
return p_beg == range.p_beg;
}
DiffT distance_front(IteratorRange const &range) const {
return range.p_beg - p_beg;
}
/* satisfy BidirectionalRange */
bool pop_back() {
if (p_end == p_beg) {
return false;
}
--p_end;
return true;
}
bool push_back() {
++p_end; return true;
}
SizeT pop_back_n(SizeT n) {
using IC = typename std::iterator_traits<T>::iterator_category;
if constexpr(std::is_convertible_v<IC, std::random_access_iterator_tag>) {
SizeT olen = SizeT(p_end - p_beg);
p_end -= n;
if (p_end < p_beg) {
p_end = p_beg;
return olen;
}
return n;
} else {
return detail::pop_back_n(*this, n);
}
}
SizeT push_back_n(SizeT n) {
using IC = typename std::iterator_traits<T>::iterator_category;
if constexpr(std::is_convertible_v<IC, std::random_access_iterator_tag>) {
p_end += n;
return true;
} else {
return detail::push_back_n(*this, n);
}
}
RefT back() const { return *(p_end - 1); }
bool equals_back(IteratorRange const &range) const {
return p_end == range.p_end;
}
ptrdiff_t distance_back(IteratorRange const &range) const {
return range.p_end - p_end;
}
/* satisfy FiniteRandomAccessRange */
SizeT size() const { return SizeT(p_end - p_beg); }
IteratorRange slice(SizeT start, SizeT end) const {
return IteratorRange(p_beg + start, p_beg + end);
}
RefT operator[](SizeT i) const { return p_beg[i]; }
/* satisfy OutputRange */
bool put(T const &v) {
if (empty()) {
return false;
}
*(p_beg++) = v;
return true;
}
bool put(T &&v) {
if (empty()) {
return false;
}
*(p_beg++) = std::move(v);
return true;
}
SizeT put_n(ValT const *p, SizeT n) {
using IC = typename std::iterator_traits<T>::iterator_category;
if constexpr(std::is_convertible_v<IC, std::random_access_iterator_tag>) {
SizeT ret = size();
if (n < ret) {
ret = n;
}
if constexpr(std::is_pointer_v<T> && std::is_pod_v<ValT>) {
memcpy(p_beg, p, ret * sizeof(ValT));
p_beg += ret;
} else {
for (SizeT i = ret; i; --i) {
*p_beg++ = *p++;
}
}
return ret;
} else {
SizeT on = n;
for (; n && put(*p++); --n);
return (on - n);
}
}
template<typename R>
std::enable_if_t<IsOutputRange<R>, SizeT> copy(R &&orange, SizeT n = -1) {
if constexpr(std::is_pointer_v<T>) {
SizeT c = size();
if (n < c) {
c = n;
}
return orange.put_n(p_beg, c);
} else {
SizeT on = n;
for (; n && !empty(); --n) {
if (!orange.put(front())) {
break;
}
pop_front();
}
return (on - n);
}
}
SizeT copy(std::remove_cv_t<ValT> *p, SizeT n = -1) {
using IC = typename std::iterator_traits<T>::iterator_category;
if constexpr(std::is_convertible_v<IC, std::random_access_iterator_tag>) {
SizeT c = size();
if (n < c) {
c = n;
}
if constexpr(std::is_pointer_v<T> && std::is_pod_v<ValT>) {
memcpy(p, p_beg, c * sizeof(ValT));
return c;
} else {
return copy(IteratorRange<std::remove_cv_t<ValT> *>(p, p + c), c);
}
} else {
SizeT on = n;
for (; n && !empty(); --n) {
*p++ = front();
pop_front();
}
return (on - n);
}
}
private:
T p_beg, p_end;
};
template<typename T>
IteratorRange<T> make_range(T beg, T end) {
return IteratorRange<T>{beg, end};
}
template<typename T>
IteratorRange<T> make_range(T beg, size_t n) {
return IteratorRange<T>{beg, beg + n};
}
2015-07-13 21:07:14 +02:00
} /* namespace ostd */
2015-06-04 00:55:11 +02:00
2016-02-07 22:17:15 +01:00
#endif