BLT/include/blt/std/ranges.h

375 lines
14 KiB
C
Raw Permalink Normal View History

2024-02-06 00:20:37 -05:00
#pragma once
/*
* Created by Brett on 06/02/24.
* Licensed under GNU General Public License V3.0
* See LICENSE file for license detail
*/
#ifndef BLT_RANGES_H
#define BLT_RANGES_H
#include <blt/std/types.h>
2024-09-06 00:22:04 -04:00
#include <blt/meta/meta.h>
2024-09-24 15:37:17 -04:00
#include <blt/meta/iterator.h>
2024-02-09 00:13:59 -05:00
#include <type_traits>
2024-02-06 00:20:37 -05:00
#include <iterator>
2024-02-11 14:05:53 -05:00
#include <memory>
2024-02-06 00:20:37 -05:00
#include <utility>
2024-02-09 00:13:59 -05:00
#include <limits>
2024-02-06 00:20:37 -05:00
namespace blt
{
template<typename T>
struct range
{
public:
struct range_itr
{
public:
using iterator_category = std::bidirectional_iterator_tag;
using difference_type = T;
using value_type = T;
using pointer = T*;
using reference = T&;
private:
T current;
bool forward;
public:
explicit range_itr(T current, bool forward): current(current), forward(forward)
{}
value_type operator*() const
{ return current; }
value_type operator->()
{ return current; }
range_itr& operator++()
{
if (forward)
current++;
else
current--;
return *this;
}
range_itr& operator--()
{
if (forward)
current--;
else
current++;
return *this;
}
friend bool operator==(const range_itr& a, const range_itr& b)
{
return a.current == b.current;
}
friend bool operator!=(const range_itr& a, const range_itr& b)
{
return a.current != b.current;
}
};
private:
T _begin;
T _end;
T offset = 0;
public:
range(T begin, T end): _begin(begin), _end(end), offset(end < begin ? 1 : 0)
{}
range_itr begin()
{
return range_itr(_begin - offset, offset == 0);
}
range_itr end()
{
// not sure if i like this
return range_itr(_end - offset, offset == 0);
}
};
2024-02-09 00:13:59 -05:00
inline constexpr std::size_t dynamic_extent = std::numeric_limits<std::size_t>::max();
2024-02-11 14:05:53 -05:00
template<typename T, std::size_t extent = dynamic_extent>
class span;
// https://codereview.stackexchange.com/questions/217814/c17-span-implementation
namespace span_detail
{
// detect specializations of span
template<class T>
struct is_span : std::false_type
{
};
template<class T, std::size_t N>
struct is_span<span<T, N>> : std::true_type
{
};
template<class T>
inline constexpr bool is_span_v = is_span<T>::value;
// detect specializations of std::array
template<class T>
struct is_array : std::false_type
{
};
template<class T, std::size_t N>
struct is_array<std::array<T, N>> : std::true_type
{
};
template<class T>
inline constexpr bool is_array_v = is_array<T>::value;
// detect container
template<class C, class = void>
struct is_cont : std::false_type
{
};
template<class C>
struct is_cont<C,
std::void_t<
std::enable_if_t<!is_span_v<C>>,
std::enable_if_t<!is_array_v<C>>,
std::enable_if_t<!std::is_array_v<C>>,
decltype(data(std::declval<C>())),
decltype(size(std::declval<C>()))
>> : std::true_type
{
};
template<class C>
inline constexpr bool is_cont_v = is_cont<C>::value;
}
template<typename T, std::size_t extent>
2024-02-09 00:13:59 -05:00
class span
{
public:
using element_type = T;
using value_type = std::remove_cv_t<T>;
using size_type = blt::size_t;
using difference_type = std::ptrdiff_t;
using pointer = T*;
using const_pointer = const T*;
using reference = T&;
using const_reference = const T&;
2024-02-11 14:05:53 -05:00
using iterator = T*;
using const_iterator = const T*;
using reverse_iterator = std::reverse_iterator<iterator>;
using const_reverse_iterator = std::reverse_iterator<const_iterator>;
2024-02-09 00:13:59 -05:00
private:
2024-02-11 14:05:53 -05:00
size_type size_;
2024-02-13 15:11:02 -05:00
pointer data_;
2024-02-09 00:13:59 -05:00
public:
2024-02-11 14:05:53 -05:00
constexpr span() noexcept: size_(0), data_(nullptr)
{}
2024-03-10 15:49:52 -04:00
constexpr span(T* data, size_type count): size_(count), data_(data)
{}
2024-02-13 15:09:08 -05:00
template<class It, std::size_t SIZE, typename std::enable_if_t<extent != dynamic_extent && SIZE == extent, bool> = true>
2024-02-11 14:05:53 -05:00
constexpr explicit span(It first, size_type count): size_(count), data_(&*first)
{}
2024-02-13 15:09:08 -05:00
template<class It, std::size_t SIZE, typename std::enable_if_t<extent == dynamic_extent && SIZE == extent, bool> = true>
2024-02-11 14:05:53 -05:00
constexpr span(It first, size_type count): size_(count), data_(&*first)
{}
2024-02-13 15:09:08 -05:00
template<class It, class End, std::size_t SIZE, typename std::enable_if_t<extent != dynamic_extent && SIZE == extent, bool> = true>
2024-02-11 14:05:53 -05:00
constexpr explicit span(It first, End last): size_(&*last - &*first), data_(&*first)
{}
2024-02-13 15:09:08 -05:00
template<class It, class End, std::size_t SIZE, typename std::enable_if_t<extent == dynamic_extent && SIZE == extent, bool> = true>
2024-02-11 14:05:53 -05:00
constexpr span(It first, End last): size_(&*last - &*first), data_(&*first)
{}
2024-02-13 15:09:08 -05:00
template<std::size_t N, typename std::enable_if_t<(N == dynamic_extent || N == extent) &&
2024-02-21 15:31:22 -05:00
(std::is_convertible_v<std::remove_pointer_t<decltype(
std::data(std::declval<T(&)[N]>()))>(*)[], T(*)[]>), bool> = true>
constexpr span(element_type (& arr)[N]) noexcept: size_{N}, data_{arr} // NOLINT
2024-02-11 14:05:53 -05:00
{}
2024-02-13 15:09:08 -05:00
template<class U, std::size_t N, typename std::enable_if_t<(N == dynamic_extent || N == extent) &&
2024-02-21 15:31:22 -05:00
(std::is_convertible_v<std::remove_pointer_t<decltype(
std::data(std::declval<T(&)[N]>()))>(*)[], T(*)[]>), bool> = true>
constexpr span(std::array<U, N>& arr) noexcept: size_(N), data_{arr.data()} // NOLINT
2024-02-11 14:05:53 -05:00
{}
2024-02-13 15:09:08 -05:00
template<class U, std::size_t N, typename std::enable_if_t<(N == dynamic_extent || N == extent) &&
2024-02-21 15:31:22 -05:00
(std::is_convertible_v<std::remove_pointer_t<decltype(
std::data(std::declval<T(&)[N]>()))>(*)[], T(*)[]>), bool> = true>
constexpr span(const std::array<U, N>& arr) noexcept: size_(N), data_{arr.data()} // NOLINT
2024-02-11 14:05:53 -05:00
{}
2024-02-13 15:09:08 -05:00
template<class R, class RCV = std::remove_cv_t<std::remove_reference_t<R>>, typename std::enable_if_t<
2024-02-11 14:05:53 -05:00
extent != dynamic_extent && span_detail::is_cont_v<RCV> &&
std::is_convertible_v<std::remove_pointer_t<decltype(std::data(std::declval<R>()))>(*)[], T(*)[]>, bool> = true>
explicit constexpr span(R&& range): size_(std::size(range)), data_(std::data(range))
{}
2024-02-13 15:09:08 -05:00
template<class R, class RCV = std::remove_cv_t<std::remove_reference_t<R>>, typename std::enable_if_t<
2024-02-11 14:05:53 -05:00
extent == dynamic_extent && span_detail::is_cont_v<RCV> &&
std::is_convertible_v<std::remove_pointer_t<decltype(std::data(std::declval<R>()))>(*)[], T(*)[]>, bool> = true>
constexpr span(R&& range): size_(std::size(range)), data_(std::data(range)) // NOLINT
2024-02-11 14:05:53 -05:00
{}
2024-02-21 15:31:22 -05:00
template<size_type SIZE, typename std::enable_if_t<
extent != dynamic_extent && SIZE == extent && std::is_const_v<element_type>, bool> = true>
explicit constexpr span(std::initializer_list<value_type> il) noexcept: size_(il.size()), data_(&il.begin()) // NOLINT
2024-02-11 14:05:53 -05:00
{}
2024-02-21 15:31:22 -05:00
template<size_type SIZE, typename std::enable_if_t<
extent == dynamic_extent && SIZE == extent && std::is_const_v<element_type>, bool> = true>
explicit span(std::initializer_list<value_type> il) noexcept: size_(il.size()), data_(&il.begin()) // NOLINT
2024-02-11 14:05:53 -05:00
{}
2024-02-13 15:09:08 -05:00
template<class U, std::size_t N, typename std::enable_if_t<
2024-02-11 14:05:53 -05:00
extent != dynamic_extent && N == dynamic_extent && std::is_convertible_v<U(*)[], T(*)[]>, bool> = true>
explicit constexpr span(const span<U, N>& source) noexcept: size_{source.size()}, data_{source.data()}
{}
2024-02-13 15:09:08 -05:00
template<class U, std::size_t N, typename std::enable_if_t<
2024-02-11 14:05:53 -05:00
!(extent != dynamic_extent && N == dynamic_extent) && std::is_convertible_v<U(*)[], T(*)[]>, bool> = true>
constexpr span(const span<U, N>& source) noexcept: size_{source.size()}, data_{source.data()} // NOLINT
2024-02-11 14:05:53 -05:00
{}
constexpr span& operator=(const span& copy)
{
size_ = copy.size();
data_ = copy.data();
return *this;
}
2024-02-11 14:05:53 -05:00
constexpr span(const span& other) noexcept = default;
constexpr iterator begin() const noexcept
{
return data();
}
constexpr iterator end() const noexcept
{
return data() + size();
}
constexpr const_iterator cbegin() const noexcept
{
return data();
}
constexpr const_iterator cend() const noexcept
{
return data() + size();
}
constexpr reverse_iterator rbegin() const noexcept
{
return reverse_iterator{end()};
}
constexpr reverse_iterator rend() const noexcept
{
return reverse_iterator{begin()};
}
constexpr const_reverse_iterator crbegin() const noexcept
{
return reverse_iterator{cend()};
}
constexpr const_reverse_iterator crend() const noexcept
{
return reverse_iterator{cbegin()};
}
friend constexpr iterator begin(span s) noexcept
{
return s.begin();
}
friend constexpr iterator end(span s) noexcept
{
return s.end();
}
[[nodiscard]] constexpr size_type size() const noexcept
{
return size_;
}
[[nodiscard]] constexpr size_type size_bytes() const noexcept
{
return size() * sizeof(T);
}
[[nodiscard]] constexpr bool empty() const noexcept
{
return size() == 0;
}
constexpr reference operator[](size_type idx) const
{
return *(data() + idx);
}
constexpr reference front() const
{
return *data();
}
constexpr reference back() const
{
return *(data() + (size() - 1));
}
constexpr pointer data() const noexcept
{
return data_;
}
constexpr span<T, dynamic_extent> first(size_type cnt) const
{
return {data(), cnt};
}
constexpr span<T, dynamic_extent> last(size_type cnt) const
{
return {data() + (size() - cnt), cnt};
}
constexpr span<T, dynamic_extent> subspan(size_type off, size_type cnt = dynamic_extent) const
{
return {data() + off, cnt == dynamic_extent ? size() - off : cnt};
}
2024-02-09 00:13:59 -05:00
};
2024-02-11 14:05:53 -05:00
template<class T, std::size_t N>
span(T (&)[N]) -> span<T, N>;
template<class T, std::size_t N>
span(std::array<T, N>&) -> span<T, N>;
template<class T, std::size_t N>
span(const std::array<T, N>&) -> span<const T, N>;
template<class Cont>
span(Cont&) -> span<typename Cont::value_type>;
template<class Cont>
span(const Cont&) -> span<const typename Cont::value_type>;
2024-02-06 00:20:37 -05:00
}
#endif //BLT_RANGES_H