libcruft-util/view.hpp

680 lines
21 KiB
C++
Raw Normal View History

/*
2015-04-13 18:05:28 +10:00
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
2015-04-13 18:05:28 +10:00
* http://www.apache.org/licenses/LICENSE-2.0
*
2015-04-13 18:05:28 +10:00
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*
2018-01-10 18:49:00 +11:00
* Copyright 2015-2018 Danny Robson <danny@nerdcruft.net>
*/
#ifndef CRUFT_UTIL_VIEW_HPP
#define CRUFT_UTIL_VIEW_HPP
#include "types/traits.hpp"
#include "maths.hpp"
#include <cstdlib>
#include <ostream>
#include <string>
#include <cstring>
2017-08-31 13:03:19 +10:00
#include <stdexcept>
#include <iterator>
namespace util {
2017-12-28 17:49:18 +11:00
template <typename BeginT, typename EndT = BeginT>
struct view {
public:
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
using value_type = typename std::iterator_traits<
2017-12-28 17:49:18 +11:00
remove_restrict_t<BeginT>
2017-09-15 15:22:51 +10:00
>::value_type;
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
constexpr
2017-12-28 17:49:18 +11:00
view (const BeginT &first, const EndT &last) noexcept:
m_begin (first),
m_end (last)
{ ; }
template <
typename ContainerT,
typename = std::enable_if_t<is_container_v<std::decay_t<ContainerT>>,void>
>
view (ContainerT &rhs):
view (rhs.begin (), rhs.end ())
{ ; }
template <
typename ContainerT,
typename = std::enable_if_t<is_container_v<std::decay_t<ContainerT>>,void>
>
view (const ContainerT &rhs):
view (rhs.begin (), rhs.end ())
{ ; }
2017-09-14 13:13:45 +10:00
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-12-30 13:40:37 +11:00
// cosntruction from pointer/size represenations for ease of use with
// legacy C code.
template <
typename CountT,
typename = std::enable_if_t<std::is_integral_v<CountT>,void>
>
2017-12-28 17:49:18 +11:00
view (
const BeginT &_begin,
CountT _size
):
view (_begin, _begin + _size)
{ ; }
2017-09-14 13:13:45 +10:00
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-12-30 13:40:37 +11:00
// implicit conversion from pointer views to const pointer views
2017-12-28 17:49:18 +11:00
template <
typename ValueT,
typename = std::enable_if_t<
std::is_same_v<BeginT, const ValueT*> &&
2017-12-30 13:40:37 +11:00
std::is_same_v<EndT, const ValueT*>
2017-12-28 17:49:18 +11:00
>
>
view (const view<ValueT*,ValueT*> &rhs):
m_begin (rhs.begin ()),
m_end (rhs.end ())
{ ; }
//---------------------------------------------------------------------
// explicitly cater for the char array case so that we don't
// accidentally include the trailing null in the data.
template <std::size_t N>
view (const char (&value)[N]):
2017-12-30 13:40:37 +11:00
view {std::begin (value), std::begin (value) + N - 1}
2017-09-14 13:13:45 +10:00
{
static_assert (N > 0);
2017-09-14 13:13:45 +10:00
}
2017-12-30 13:40:37 +11:00
//---------------------------------------------------------------------
view (const char *str):
view { str, str + strlen (str) }
{ ; }
//---------------------------------------------------------------------
view (char *str):
view (str, str + strlen (str))
{ ; }
//---------------------------------------------------------------------
template <std::size_t N>
2017-12-30 13:40:37 +11:00
view (char (&value)[N]):
view {std::begin (value), std::begin (value) + N - 1}
{
static_assert (N > 0);
}
//---------------------------------------------------------------------
template <std::size_t N, typename ValueT>
view (const ValueT(&value)[N]):
2017-12-30 13:40:37 +11:00
view {std::begin (value), std::end (value)}
{ ; }
//---------------------------------------------------------------------
template <std::size_t N, typename ValueT>
view (ValueT(&value)[N]):
view {std::begin (value), std::end (value)}
{ ; }
2017-12-30 13:40:37 +11:00
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-09-14 13:13:45 +10:00
constexpr
view (const view &rhs) noexcept:
2017-12-30 13:40:37 +11:00
view {rhs.m_begin, rhs.m_end}
2017-09-14 13:13:45 +10:00
{ ; }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-09-14 13:13:45 +10:00
// technically we could get away without explicitly defining a move
// constructor here, but by nulling rhs we can more easily use this
2017-12-19 18:13:03 +11:00
// class as a base for unique owning pointers without exposing the
// begin/end data members to them directly.
2017-09-14 13:13:45 +10:00
constexpr view (view &&rhs) noexcept:
2017-12-30 13:40:37 +11:00
view {std::move (rhs.m_begin), std::move (rhs.m_end)}
{ ; }
2017-09-14 13:13:45 +10:00
2017-12-19 18:13:03 +11:00
//---------------------------------------------------------------------
// allow null construction of views where IteratorT is constructible
// from nullptr_t
//
// ideally we would avoid exposing this as it promotes use of nulls but
// it simplifies construction of views that are data members of classes
// when we may not immediately know the values we should contain.
constexpr view (std::nullptr_t) noexcept:
view {nullptr,nullptr}
{ ; }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-12-28 17:49:18 +11:00
template <typename CharT, typename Traits, typename Allocator>
view (std::basic_string<CharT,Traits,Allocator> &val):
view (std::data (val), std::data (val) + std::size (val))
{ ; }
2017-12-28 17:49:18 +11:00
//---------------------------------------------------------------------
2017-12-30 13:40:37 +11:00
template <typename CharT, typename Traits, typename Allocator>
view (const std::basic_string<CharT,Traits,Allocator> &val):
view (std::data (val), std::data (val) + std::size (val))
{ ; }
2017-09-14 13:13:45 +10:00
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-12-30 13:40:37 +11:00
template <typename ValueT, typename AllocatorT>
view (const std::vector<ValueT,AllocatorT> &rhs):
view (std::data (rhs), std::data (rhs) + std::size (rhs))
{ ; }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-12-30 13:40:37 +11:00
template <typename ValueT, typename AllocatorT>
view (std::vector<ValueT,AllocatorT> &rhs):
view (std::data (rhs), std::data (rhs) + std::size (rhs))
{ ; }
2017-09-14 13:13:45 +10:00
//---------------------------------------------------------------------
template <typename ValueT, std::size_t N>
view (std::array<ValueT,N> &rhs):
view (std::data (rhs), std::data (rhs) + std::size (rhs))
{ ; }
//---------------------------------------------------------------------
template <typename ValueT, std::size_t N>
view (const std::array<ValueT,N> &rhs):
view (std::data (rhs), std::data (rhs) + std::size (rhs))
{ ; }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-09-14 13:13:45 +10:00
view&
operator= (const view &rhs) noexcept
{
m_begin = rhs.m_begin;
m_end = rhs.m_end;
return *this;
}
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-09-14 13:13:45 +10:00
view&
operator= (view &&rhs) noexcept
{
m_begin = rhs.m_begin;
m_end = rhs.m_end;
2017-12-28 17:49:18 +11:00
rhs.m_begin = BeginT{};
rhs.m_end = EndT{};
2017-09-14 13:13:45 +10:00
return *this;
};
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
2017-12-28 17:49:18 +11:00
constexpr BeginT begin (void) noexcept { return m_begin; }
constexpr EndT end (void) noexcept { return m_end; }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-12-28 17:49:18 +11:00
constexpr const BeginT begin (void) const noexcept { return cbegin (); }
constexpr const EndT end (void) const noexcept { return cend (); }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2017-12-28 17:49:18 +11:00
constexpr const BeginT cbegin (void) const noexcept { return m_begin; }
constexpr const EndT cend (void) const noexcept { return m_end; }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
auto data (void) { return begin (); }
auto data (void) const { return begin (); }
2017-12-28 17:49:18 +11:00
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
constexpr bool
empty (void) const noexcept
{
return m_begin == m_end;
}
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
2018-01-10 18:49:00 +11:00
// the return type of size _should_ be whatever std::distance returns,
// or something else that makes sense for the iterators we've been
// handed.
//
// but it's a pain in the arse to use sizes that aren't unsigned given
// that other libraries need to compare sizes pretty often and
// everything else in the world tends to be unsigned.
constexpr auto
size (void) const noexcept
{
2018-01-10 18:49:00 +11:00
return static_cast<std::size_t> (std::distance (m_begin, m_end));
}
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
[[gnu::warn_unused_result]] constexpr auto
redim (int count) const
2017-08-31 13:03:19 +10:00
{
assert (count > 0);
2017-08-31 13:03:19 +10:00
if (count > size ())
throw std::invalid_argument ("redim to higher size not allowed");
return view { m_begin, m_begin + count };
};
//---------------------------------------------------------------------
constexpr std::tuple<
util::view<BeginT,BeginT>,
util::view<BeginT,EndT>
>
split (BeginT pos)
{
return {
{ m_begin, pos },
{ pos, m_end }
};
}
//---------------------------------------------------------------------
constexpr auto
split (int pos)
{
auto last = m_begin;
std::advance (last, pos);
return split (last);
}
//---------------------------------------------------------------------
constexpr auto
consume (int count)
{
auto [a,b] = split (count);
return b;
}
//---------------------------------------------------------------------
constexpr util::view<BeginT,EndT>
consume (util::view<BeginT,BeginT> val)
{
assert (val.begin () == begin ());
return { val.end (), end () };
}
//---------------------------------------------------------------------
util::view<BeginT,EndT>
operator- (BeginT newbegin) const noexcept
{
return { newbegin, end () };
}
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
2017-12-28 17:49:18 +11:00
template <
typename ValueT,
typename = std::enable_if_t<
std::is_pointer_v<BeginT> &&
sizeof (*std::declval<BeginT> ()) == sizeof (ValueT)
,
void
>
>
view<ValueT*>
cast (void) const
{
2017-12-28 17:49:18 +11:00
return {
reinterpret_cast<ValueT*> (m_begin),
reinterpret_cast<ValueT*> (m_end)
};
}
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
constexpr auto&
2017-09-15 15:22:51 +10:00
operator[] (size_t idx)& noexcept
{
auto it = begin ();
std::advance (it, idx);
return *it;
}
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
constexpr auto&
2017-09-15 15:22:51 +10:00
operator[] (size_t idx) const& noexcept
{
auto it = begin ();
std::advance (it, idx);
return *it;
}
private:
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
2017-12-28 17:49:18 +11:00
BeginT m_begin;
EndT m_end;
};
2017-12-28 17:49:18 +11:00
//-------------------------------------------------------------------------
template <typename ValueT, std::size_t N>
view (const ValueT(&)[N]) -> view<const ValueT*,const ValueT*>;
2017-12-30 13:40:37 +11:00
//-------------------------------------------------------------------------
view (const char*) -> view<const char*, const char*>;
2017-12-30 13:40:37 +11:00
view (char*) -> view<char*>;
2017-12-28 17:49:18 +11:00
//-------------------------------------------------------------------------
template <
typename IteratorT,
typename SizeT,
typename = std::enable_if_t<
std::is_integral_v<SizeT>,void
>
>
view (IteratorT, SizeT) -> view<IteratorT,IteratorT>;
2017-12-30 13:40:37 +11:00
template <typename CharT, typename Traits, typename Allocator>
view (std::basic_string<CharT,Traits,Allocator> &) -> view<typename Allocator::pointer>;
2017-12-28 17:49:18 +11:00
2017-12-30 13:40:37 +11:00
template <typename CharT, typename Traits, typename Allocator>
view (const std::basic_string<CharT,Traits,Allocator> &) -> view<typename Allocator::const_pointer>;
template <typename ValueT, typename AllocatorT>
view (std::vector<ValueT,AllocatorT>&) -> view<typename AllocatorT::pointer>;
2017-12-28 17:49:18 +11:00
2017-12-30 13:40:37 +11:00
template <typename ValueT, typename AllocatorT>
view (const std::vector<ValueT,AllocatorT>&) -> view<typename AllocatorT::const_pointer>;
2017-12-28 17:49:18 +11:00
template <typename ValueT, std::size_t N>
view (std::array<ValueT,N>) -> view<ValueT*>;
template <typename ContainerT>
view (ContainerT&) -> view<
typename ContainerT::iterator
>;
template <typename ContainerT>
view (const ContainerT&) -> view<
typename ContainerT::const_iterator
>;
2017-12-28 17:49:18 +11:00
2017-09-15 15:22:51 +10:00
///////////////////////////////////////////////////////////////////////////
template <typename ValueT, size_t N>
auto
2017-09-15 15:22:51 +10:00
make_view (const ValueT (&arr)[N])
{
2017-09-15 15:22:51 +10:00
return util::view<const ValueT*> (arr + 0, arr + N);
}
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
template <typename ContainerT>
auto
2017-09-15 15:22:51 +10:00
make_view (ContainerT &t)
{
return util::view<decltype(std::begin (t))> { std::begin (t), std::end (t) };
}
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
template <typename ContainerT>
auto
2017-09-15 15:22:51 +10:00
make_view (const ContainerT &t)
{
return util::view<decltype(std::cbegin (t))> { std::cbegin (t), std::cend (t) };
}
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
// disable the possibility of creating a view to a temporary. note that
// this only works if an lval version has already been defined otherwise
// universal reference rules will capture both lval and rval here.
template <typename ContainerT>
auto
2017-09-15 15:22:51 +10:00
make_view (ContainerT&&) = delete;
2017-09-15 15:22:51 +10:00
///////////////////////////////////////////////////////////////////////////
template <typename ContainerT>
2016-12-06 15:18:49 +11:00
auto
2017-09-15 15:22:51 +10:00
make_cview (const ContainerT &t)
{
2017-12-28 17:49:18 +11:00
return make_view (t);
//return util::view<decltype(std::cbegin (t))> { std::cbegin (t), std::cend (t) };
}
2016-12-06 15:18:49 +11:00
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
2017-12-28 17:49:18 +11:00
template <typename BeginT, typename EndT>
2017-02-21 21:20:15 +11:00
auto
2017-12-28 17:49:18 +11:00
make_view (BeginT first, EndT last)
2017-02-21 21:20:15 +11:00
{
2017-12-28 17:49:18 +11:00
return view<BeginT, EndT> {first, last};
2017-02-21 21:20:15 +11:00
}
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
template <typename ValueT>
auto
2017-09-15 15:22:51 +10:00
make_cview (ValueT *first, ValueT *last)
{
2017-09-15 15:22:51 +10:00
return view<const ValueT*> {first, last};
}
2017-09-15 15:22:51 +10:00
///////////////////////////////////////////////////////////////////////////
inline
view<const char*> make_view (const char *str)
{
return { str, str + strlen (str) };
}
2017-12-28 17:49:18 +11:00
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
inline
view<char*> make_view (char *str)
{
return { str, str + strlen (str) };
}
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
template <typename CharT, typename TraitsT, typename AllocT>
view<const CharT*>
make_view (const std::basic_string<CharT,TraitsT,AllocT> &str)
{
return {
std::data (str),
std::data (str) + std::size (str)
};
}
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
template <typename CharT, typename TraitsT, typename AllocT>
view<CharT*>
make_view (std::basic_string<CharT,TraitsT,AllocT> &str)
{
return {
std::data (str),
std::data (str) + std::size (str)
};
}
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
template <typename CharT, typename TraitsT, typename AllocT>
view<const CharT*>
make_view (const std::basic_string<CharT,TraitsT,AllocT>&&) = delete;
2017-09-15 15:22:51 +10:00
//-------------------------------------------------------------------------
template <typename CharT, typename TraitsT, typename AllocT>
view<CharT*>
make_view (std::basic_string<CharT,TraitsT,AllocT>&&) = delete;
2017-02-20 18:10:26 +11:00
2017-09-15 15:22:51 +10:00
///////////////////////////////////////////////////////////////////////////
2018-01-10 18:49:35 +11:00
template <
typename BeginA, typename EndA,
typename BeginB, typename EndB
>
2017-09-15 15:22:51 +10:00
constexpr bool
2018-01-10 18:49:35 +11:00
operator== (const view<BeginA,EndA> &a, const view<BeginB,EndB> &b)
2017-09-15 15:22:51 +10:00
{
return a.size () == b.size () &&
std::equal (std::begin (a), std::end (a), std::begin (b));
2017-09-15 15:22:51 +10:00
}
//-------------------------------------------------------------------------
// defer equality to the view/view operator by way of make_view
2018-01-10 18:49:35 +11:00
template <
typename IteratorA,
typename IteratorB,
typename ValueT,
typename = std::enable_if_t<
!std::is_same_v<ValueT, view<IteratorA,IteratorB>>,
void
>
>
2017-09-15 15:22:51 +10:00
constexpr bool
2018-01-10 18:49:35 +11:00
operator== (const view<IteratorA,IteratorB> &a, const ValueT &b)
2017-09-15 15:22:51 +10:00
{
return a == make_view (b);
2017-09-15 15:22:51 +10:00
}
//-------------------------------------------------------------------------
// reverse the arguments and forward to the above operator. we formumlate
// equality this way to avoid implementing the operator twice for each
// weird case.
2018-01-10 18:49:35 +11:00
template <
typename IteratorA,
typename IteratorB,
typename ValueT,
typename = std::enable_if_t<
!std::is_same_v<ValueT, view<IteratorA,IteratorB>>,
void
>
>
constexpr bool
2018-01-10 18:49:35 +11:00
operator== (const ValueT &a, const view<IteratorA,IteratorB> &b)
{
return b == a;
}
2017-09-15 15:22:51 +10:00
///////////////////////////////////////////////////////////////////////////
2018-01-10 18:49:35 +11:00
template <typename IteratorA, typename IteratorB>
constexpr bool
operator!= (const view<IteratorA,IteratorB> &a, const view<IteratorA,IteratorB> &b)
{
return !(a == b);
}
//-------------------------------------------------------------------------
template <
typename IteratorA,
typename IteratorB,
typename ValueT,
typename = std::enable_if_t<
!std::is_same_v<ValueT, view<IteratorA,IteratorB>>,
void
>
>
constexpr bool
2018-01-10 18:49:35 +11:00
operator!= (const view<IteratorA,IteratorB> &a, const ValueT &b)
{
return !(a == b);
}
//-------------------------------------------------------------------------
2018-01-10 18:49:35 +11:00
template <
typename IteratorA,
typename IteratorB,
typename ValueT,
typename = std::enable_if_t<
!std::is_same_v<ValueT, view<IteratorA,IteratorB>>,
void
>
>
constexpr bool
2018-01-10 18:49:35 +11:00
operator!= (const ValueT &a, const view<IteratorA,IteratorB> &b)
{
return !(a == b);
}
2017-09-15 15:22:51 +10:00
///////////////////////////////////////////////////////////////////////////
2017-12-30 13:40:37 +11:00
template <typename BeginT, typename EndT>
2016-02-10 13:07:03 +11:00
std::ostream&
2017-12-30 13:40:37 +11:00
operator<< (std::ostream &os, view<BeginT, EndT> val)
{
std::copy (
std::cbegin (val),
2017-12-30 13:40:37 +11:00
std::cend (val),
std::ostream_iterator<typename decltype(val)::value_type> (os)
);
return os;
}
2017-12-19 18:13:49 +11:00
///////////////////////////////////////////////////////////////////////////
/// a basic stringlike comparison operator that behaves as
/// std::string::compare would.
///
/// provided so that the common case of stringlike views can be used in a
/// std::map and similar without a great deal of work.
inline bool
operator< (util::view<const char*> a, util::view<const char*> b)
{
const auto la = std::size (a);
const auto lb = std::size (b);
const auto res = strncmp (
std::data (a),
std::data (b),
util::min (la, lb)
);
return res < 0 || (res == 0 && la < lb);
2017-12-19 18:13:49 +11:00
}
}
#endif