mirror of
https://github.com/bolero-MURAKAMI/Sprout
synced 2024-11-12 21:09:01 +00:00
380 lines
12 KiB
C++
380 lines
12 KiB
C++
#ifndef SPROUT_SUB_ARRAY_SUB_ARRAY_HPP
|
|
#define SPROUT_SUB_ARRAY_SUB_ARRAY_HPP
|
|
|
|
#include <algorithm>
|
|
#include <utility>
|
|
#include <stdexcept>
|
|
#include <type_traits>
|
|
#include <sprout/config.hpp>
|
|
#include <sprout/index_tuple.hpp>
|
|
#include <sprout/container/traits.hpp>
|
|
#include <sprout/container/functions.hpp>
|
|
#include <sprout/iterator/operation.hpp>
|
|
#include <sprout/utility/swap.hpp>
|
|
|
|
namespace sprout {
|
|
namespace detail {
|
|
struct is_non_reference_array_tag {};
|
|
struct is_not_non_reference_array_tag {};
|
|
|
|
template<typename Container>
|
|
class sub_array_impl {
|
|
protected:
|
|
typedef Container container_type;
|
|
typedef typename std::remove_reference<container_type>::type internal_type;
|
|
protected:
|
|
SPROUT_STATIC_CONSTEXPR bool is_reference = std::is_reference<container_type>::value;
|
|
SPROUT_STATIC_CONSTEXPR bool is_const = std::is_const<internal_type>::value;
|
|
protected:
|
|
typedef typename sprout::container_traits<internal_type>::const_iterator impl_const_iterator;
|
|
typedef typename sprout::container_traits<internal_type>::difference_type impl_difference_type;
|
|
protected:
|
|
typedef typename std::conditional<
|
|
is_reference,
|
|
internal_type*,
|
|
typename std::remove_const<internal_type>::type
|
|
>::type holder_type;
|
|
typedef typename std::conditional<
|
|
is_reference,
|
|
internal_type&,
|
|
internal_type const&
|
|
>::type param_type;
|
|
typedef internal_type const& const_param_type;
|
|
protected:
|
|
typedef typename std::conditional<
|
|
std::is_array<holder_type>::value,
|
|
sprout::detail::is_non_reference_array_tag,
|
|
sprout::detail::is_not_non_reference_array_tag
|
|
>::type array_tag;
|
|
protected:
|
|
template<typename Arr>
|
|
static SPROUT_CONSTEXPR typename std::enable_if<
|
|
std::is_reference<Arr>::value,
|
|
holder_type
|
|
>::type to_holder(param_type arr) {
|
|
return &arr;
|
|
}
|
|
template<typename Arr>
|
|
static SPROUT_CONSTEXPR typename std::enable_if<
|
|
!std::is_reference<Arr>::value,
|
|
holder_type const&
|
|
>::type to_holder(param_type arr) {
|
|
return arr;
|
|
}
|
|
template<typename Arr>
|
|
static SPROUT_CONSTEXPR typename std::enable_if<
|
|
std::is_reference<Arr>::value,
|
|
param_type
|
|
>::type to_param(holder_type arr) {
|
|
return *arr;
|
|
}
|
|
template<typename Arr>
|
|
static SPROUT_CONSTEXPR typename std::enable_if<
|
|
!std::is_reference<Arr>::value,
|
|
param_type
|
|
>::type to_param(holder_type& arr) {
|
|
return arr;
|
|
}
|
|
template<typename Arr>
|
|
static SPROUT_CONSTEXPR typename std::enable_if<
|
|
!std::is_reference<Arr>::value,
|
|
param_type
|
|
>::type to_param(holder_type const& arr) {
|
|
return arr;
|
|
}
|
|
template<typename Arr>
|
|
static SPROUT_CONSTEXPR typename std::enable_if<
|
|
std::is_reference<Arr>::value,
|
|
const_param_type
|
|
>::type to_const_param(holder_type arr) {
|
|
return *arr;
|
|
}
|
|
template<typename Arr>
|
|
static SPROUT_CONSTEXPR typename std::enable_if<
|
|
!std::is_reference<Arr>::value,
|
|
const_param_type
|
|
>::type to_const_param(holder_type const& arr) {
|
|
return arr;
|
|
}
|
|
protected:
|
|
holder_type array_;
|
|
impl_difference_type to_first_;
|
|
impl_difference_type to_last_;
|
|
public:
|
|
sub_array_impl() = default;
|
|
protected:
|
|
template<typename ContainerTag, sprout::index_t... Indexes>
|
|
SPROUT_CONSTEXPR sub_array_impl(
|
|
ContainerTag,
|
|
param_type arr,
|
|
sprout::index_tuple<Indexes...>,
|
|
impl_const_iterator first,
|
|
impl_const_iterator last,
|
|
typename std::enable_if<std::is_same<ContainerTag, sprout::detail::is_non_reference_array_tag>::value>::type* = 0
|
|
)
|
|
: array_{to_holder<Container>(arr)[Indexes]...}
|
|
, to_first_(sprout::distance(sprout::cbegin(arr), first))
|
|
, to_last_(sprout::distance(sprout::cbegin(arr), last))
|
|
{}
|
|
template<typename ContainerTag, sprout::index_t... Indexes>
|
|
SPROUT_CONSTEXPR sub_array_impl(
|
|
ContainerTag,
|
|
param_type arr,
|
|
sprout::index_tuple<Indexes...>,
|
|
impl_const_iterator first,
|
|
impl_const_iterator last,
|
|
typename std::enable_if<!std::is_same<ContainerTag, sprout::detail::is_non_reference_array_tag>::value>::type* = 0
|
|
)
|
|
: array_(to_holder<Container>(arr))
|
|
, to_first_(sprout::distance(sprout::cbegin(arr), first))
|
|
, to_last_(sprout::distance(sprout::cbegin(arr), last))
|
|
{}
|
|
template<typename ContainerTag, sprout::index_t... Indexes>
|
|
SPROUT_CONSTEXPR sub_array_impl(
|
|
ContainerTag,
|
|
param_type arr,
|
|
sprout::index_tuple<Indexes...>,
|
|
impl_difference_type to_first,
|
|
impl_difference_type to_last,
|
|
typename std::enable_if<std::is_same<ContainerTag, sprout::detail::is_non_reference_array_tag>::value>::type* = 0
|
|
)
|
|
: array_{to_holder<Container>(arr)[Indexes]...}
|
|
, to_first_(to_first)
|
|
, to_last_(to_last)
|
|
{}
|
|
template<typename ContainerTag, sprout::index_t... Indexes>
|
|
SPROUT_CONSTEXPR sub_array_impl(
|
|
ContainerTag,
|
|
param_type arr,
|
|
sprout::index_tuple<Indexes...>,
|
|
impl_difference_type to_first,
|
|
impl_difference_type to_last,
|
|
typename std::enable_if<!std::is_same<ContainerTag, sprout::detail::is_non_reference_array_tag>::value>::type* = 0
|
|
)
|
|
: array_(to_holder<Container>(arr))
|
|
, to_first_(to_first)
|
|
, to_last_(to_last)
|
|
{}
|
|
};
|
|
} // namespace detail
|
|
|
|
//
|
|
// sub_array
|
|
//
|
|
template<typename Container>
|
|
class sub_array
|
|
: private sprout::detail::sub_array_impl<Container>
|
|
, public sprout::container_traits_facade<typename std::remove_reference<Container>::type>
|
|
{
|
|
private:
|
|
typedef sprout::detail::sub_array_impl<Container> impl_type;
|
|
typedef sprout::container_traits_facade<typename std::remove_reference<Container>::type> facade_type;
|
|
public:
|
|
typedef typename impl_type::container_type container_type;
|
|
typedef typename impl_type::internal_type internal_type;
|
|
public:
|
|
SPROUT_STATIC_CONSTEXPR bool is_reference = impl_type::is_reference;
|
|
SPROUT_STATIC_CONSTEXPR bool is_const = impl_type::is_const;
|
|
public:
|
|
typedef typename facade_type::iterator iterator;
|
|
typedef typename facade_type::const_iterator const_iterator;
|
|
typedef typename facade_type::reference reference;
|
|
typedef typename facade_type::const_reference const_reference;
|
|
typedef typename facade_type::size_type size_type;
|
|
typedef typename facade_type::difference_type difference_type;
|
|
typedef typename facade_type::pointer pointer;
|
|
typedef typename facade_type::const_pointer const_pointer;
|
|
public:
|
|
SPROUT_STATIC_CONSTEXPR size_type enumerable_size = sprout::detail::static_size_or_zero<facade_type>::value;
|
|
public:
|
|
typedef typename impl_type::holder_type holder_type;
|
|
typedef typename impl_type::param_type param_type;
|
|
typedef typename impl_type::const_param_type const_param_type;
|
|
private:
|
|
typedef typename impl_type::array_tag array_tag;
|
|
private:
|
|
using impl_type::array_;
|
|
using impl_type::to_first_;
|
|
using impl_type::to_last_;
|
|
public:
|
|
// construct/copy/destroy:
|
|
sub_array() = default;
|
|
SPROUT_CONSTEXPR sub_array(param_type arr, const_iterator first, const_iterator last)
|
|
: impl_type(
|
|
array_tag(),
|
|
arr,
|
|
sprout::index_range<0, enumerable_size>::make(),
|
|
first,
|
|
last
|
|
)
|
|
{}
|
|
SPROUT_CONSTEXPR sub_array(param_type arr, difference_type to_first, difference_type to_last)
|
|
: impl_type(
|
|
array_tag(),
|
|
arr,
|
|
sprout::index_range<0, enumerable_size>::make(),
|
|
to_first,
|
|
to_last
|
|
)
|
|
{}
|
|
SPROUT_CONSTEXPR sub_array(sub_array const& other, const_iterator first, const_iterator last)
|
|
: impl_type(
|
|
array_tag(),
|
|
impl_type::template to_param<Container>(other.array_),
|
|
sprout::index_range<0, enumerable_size>::make(),
|
|
sprout::distance(sprout::begin(other.get_array()), first),
|
|
sprout::distance(sprout::begin(other.get_array()), last)
|
|
)
|
|
{}
|
|
SPROUT_CONSTEXPR sub_array(sub_array const& other, difference_type to_first, difference_type to_last)
|
|
: impl_type(
|
|
array_tag(),
|
|
impl_type::template to_param<Container>(other.array_),
|
|
sprout::index_range<0, enumerable_size>::make(),
|
|
other.to_first_ + to_first,
|
|
other.to_first_ + to_last
|
|
)
|
|
{}
|
|
|
|
void fill(const_reference value) {
|
|
std::fill_n(begin(), size(), value);
|
|
}
|
|
template<typename Container2>
|
|
void swap(sub_array<Container2>& other)
|
|
SPROUT_NOEXCEPT_EXPR(SPROUT_NOEXCEPT_EXPR(sprout::swap(other.array_, array_)))
|
|
{
|
|
sprout::swap(other.array_, array_);
|
|
sprout::swap(other.to_first_, to_first_);
|
|
sprout::swap(other.to_last_, to_last_);
|
|
}
|
|
// iterators:
|
|
iterator begin() {
|
|
return sprout::next(sprout::begin(get_array()), to_first_);
|
|
}
|
|
SPROUT_CONSTEXPR const_iterator begin() const {
|
|
return sprout::next(sprout::begin(get_array()), to_first_);
|
|
}
|
|
iterator end() {
|
|
return sprout::next(sprout::begin(get_array()), to_last_);
|
|
}
|
|
SPROUT_CONSTEXPR const_iterator end() const {
|
|
return sprout::next(sprout::begin(get_array()), to_last_);
|
|
}
|
|
SPROUT_CONSTEXPR const_iterator cbegin() const {
|
|
return sprout::next(sprout::begin(get_array()), to_first_);
|
|
}
|
|
SPROUT_CONSTEXPR const_iterator cend() const {
|
|
return sprout::next(sprout::begin(get_array()), to_last_);
|
|
}
|
|
// capacity:
|
|
SPROUT_CONSTEXPR size_type size() const {
|
|
return to_last_ - to_first_;
|
|
}
|
|
SPROUT_CONSTEXPR size_type max_size() const {
|
|
return size();
|
|
}
|
|
SPROUT_CONSTEXPR bool empty() const {
|
|
return to_first_ == to_last_;
|
|
}
|
|
// element access:
|
|
reference operator[](size_type i) {
|
|
return *sprout::next(sprout::begin(get_array()), to_first_ + i);
|
|
}
|
|
SPROUT_CONSTEXPR const_reference operator[](size_type i) const {
|
|
return *sprout::next(sprout::begin(get_array()), to_first_ + i);
|
|
}
|
|
reference at(size_type i) {
|
|
return i < size()
|
|
? *sprout::next(sprout::begin(get_array()), to_first_ + i)
|
|
: (throw std::out_of_range("sub_array<>: index out of range"), *sprout::next(sprout::begin(get_array()), to_first_ + i))
|
|
;
|
|
}
|
|
SPROUT_CONSTEXPR const_reference at(size_type i) const {
|
|
return i < size()
|
|
? *sprout::next(sprout::begin(get_array()), to_first_ + i)
|
|
: (throw std::out_of_range("sub_array<>: index out of range"), *sprout::next(sprout::begin(get_array()), to_first_ + i))
|
|
;
|
|
}
|
|
reference front() {
|
|
return *sprout::next(sprout::begin(get_array()), to_first_);
|
|
}
|
|
SPROUT_CONSTEXPR const_reference front() const {
|
|
return *sprout::next(sprout::begin(get_array()), to_first_);
|
|
}
|
|
reference back() {
|
|
return *sprout::next(sprout::begin(get_array()), to_last_ - 1);
|
|
}
|
|
SPROUT_CONSTEXPR const_reference back() const {
|
|
return *sprout::next(sprout::begin(get_array()), to_last_ - 1);
|
|
}
|
|
|
|
pointer data() {
|
|
return get_array().data() + to_first_;
|
|
}
|
|
SPROUT_CONSTEXPR const_pointer data() const {
|
|
return get_array().data() + to_first_;
|
|
}
|
|
// others:
|
|
template<typename Container2>
|
|
sub_array& operator=(sub_array<Container2> const& rhs) {
|
|
array_ = rhs.array_;
|
|
to_first_ = rhs.to_first_;
|
|
to_last_ = rhs.to_last_;
|
|
return *this;
|
|
}
|
|
template<typename Container2>
|
|
sub_array& operator=(sub_array<Container2>&& rhs) {
|
|
array_ = std::move(rhs.array_);
|
|
to_first_ = std::move(rhs.to_first_);
|
|
to_last_ = std::move(rhs.to_last_);
|
|
return *this;
|
|
}
|
|
pointer c_array() {
|
|
return data();
|
|
}
|
|
void assign(const_reference value) {
|
|
fill(value);
|
|
}
|
|
void rangecheck(size_type i) const {
|
|
if (i >= size()) {
|
|
throw std::out_of_range("sub_array<>: index out of range");
|
|
}
|
|
}
|
|
|
|
param_type get_internal() {
|
|
return impl_type::template to_param<Container>(array_);
|
|
}
|
|
SPROUT_CONSTEXPR const_param_type get_internal() const {
|
|
return impl_type::template to_const_param<Container>(array_);
|
|
}
|
|
param_type get_array() {
|
|
return impl_type::template to_param<Container>(array_);
|
|
}
|
|
SPROUT_CONSTEXPR const_param_type get_array() const {
|
|
return impl_type::template to_const_param<Container>(array_);
|
|
}
|
|
SPROUT_CONSTEXPR difference_type to_first() const {
|
|
return to_first_;
|
|
}
|
|
SPROUT_CONSTEXPR difference_type to_last() const {
|
|
return to_last_;
|
|
}
|
|
};
|
|
template<typename Container>
|
|
SPROUT_CONSTEXPR_OR_CONST typename sprout::sub_array<Container>::size_type sprout::sub_array<Container>::enumerable_size;
|
|
|
|
//
|
|
// swap
|
|
//
|
|
template<typename Container>
|
|
inline void
|
|
swap(sprout::sub_array<Container>& lhs, sprout::sub_array<Container>& rhs)
|
|
SPROUT_NOEXCEPT_EXPR(SPROUT_NOEXCEPT_EXPR(lhs.swap(rhs)))
|
|
{
|
|
lhs.swap(rhs);
|
|
}
|
|
} // namespace sprout
|
|
|
|
#include <sprout/sub_array/container.hpp>
|
|
|
|
#endif // #ifndef SPROUT_SUB_ARRAY_SUB_ARRAY_HPP
|