libcruft-util/view.hpp

996 lines
32 KiB
C++
Raw Normal View History

/*
2018-08-04 15:14:06 +10:00
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
*
2019-01-29 21:21:18 +11:00
* Copyright 2015-2019 Danny Robson <danny@nerdcruft.net>
*/
2019-01-29 21:21:18 +11:00
#pragma once
#include "annotation.hpp"
#include "cast.hpp"
#include "debug/assert.hpp"
#include "maths.hpp"
#include "platform.hpp"
2019-01-29 21:21:18 +11:00
#include "types/traits.hpp"
#include <cstdlib>
2018-03-22 16:10:06 +11:00
#include <iosfwd>
#include <string>
#include <cstring>
2017-08-31 13:03:19 +10:00
#include <stdexcept>
#include <iterator>
#include <type_traits>
namespace cruft {
2017-12-28 17:49:18 +11:00
template <typename BeginT, typename EndT = BeginT>
struct view {
public:
using begin_type = BeginT;
using end_type = EndT;
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;
using size_type = size_t;
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)
{
if constexpr (cruft::is_lteq_orderable_v<BeginT,EndT>) {
CHECK_LE (m_begin, m_end);
}
}
template <
typename ContainerT,
typename = std::void_t<
decltype (std::declval<ContainerT&> ().begin ()),
decltype (std::declval<ContainerT&> ().end ())
>
>
view (ContainerT &rhs) noexcept (
noexcept (std::declval<ContainerT> ().begin ()) &&
noexcept (std::declval<ContainerT> ().end ())
)
: view (rhs.begin (), rhs.end ())
{ ; }
template <
typename ContainerT,
typename = std::void_t<
decltype (std::declval<ContainerT const&> ().begin ()),
decltype (std::declval<ContainerT const&> ().end ())
>
>
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
//---------------------------------------------------------------------
2019-11-15 14:53:51 +11:00
// Construction from pointer/size representations for ease of use with
2017-12-30 13:40:37 +11:00
// legacy C code.
template <
typename CountT,
typename = std::enable_if_t<std::is_integral_v<CountT>,void>
>
constexpr view (
2017-12-28 17:49:18 +11:00
const BeginT &_begin,
CountT _size
) : view (_begin, _begin + _size)
2017-12-28 17:49:18 +11:00
{ ; }
2017-09-14 13:13:45 +10:00
//---------------------------------------------------------------------
// implicit conversion from const pointer const views to const pointer views
template <
typename ValueT,
typename = std::enable_if_t<
std::is_same_v<BeginT, const ValueT**> &&
std::is_same_v<EndT, const ValueT**>
>
>
view (const view<const ValueT*const*,const ValueT*const*> &rhs):
view (
const_cast<const ValueT**> (rhs.begin ()),
const_cast<const ValueT**> (rhs.end ())
)
{ ; }
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):
view (rhs.begin (), rhs.end ())
2017-12-28 17:49:18 +11:00
{ ; }
//---------------------------------------------------------------------
// 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
//---------------------------------------------------------------------
constexpr view (const view &) noexcept (
std::is_nothrow_copy_constructible_v<BeginT> && std::is_nothrow_copy_constructible_v<EndT>
) = default;
2017-09-14 13:13:45 +10:00
constexpr view (view &&) noexcept (
std::is_nothrow_move_constructible_v<BeginT> && std::is_nothrow_move_constructible_v<EndT>
) = default;
view& operator= (view const &rhs) noexcept (
std::is_nothrow_copy_assignable_v<BeginT> && std::is_nothrow_copy_assignable_v<EndT>
) = default;
view& operator= (view &&rhs) noexcept (
std::is_nothrow_move_assignable_v<BeginT> && std::is_nothrow_move_assignable_v<EndT>
) = default;
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::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::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::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::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::size (rhs))
{ ; }
//---------------------------------------------------------------------
template <typename ValueT, std::size_t N>
view (const std::array<ValueT,N> &rhs):
view (std::data (rhs), std::size (rhs))
{ ; }
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
constexpr BeginT begin (void) noexcept { return m_begin; }
constexpr EndT end (void) noexcept { return m_end; }
constexpr BeginT begin (void) const noexcept { return m_begin; }
constexpr EndT end (void) const noexcept { return m_end; }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
constexpr BeginT cbegin (void) const noexcept { return m_begin; }
constexpr EndT cend (void) const noexcept { return m_end; }
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
auto data (void) noexcept { return begin (); }
auto data (void) const noexcept { return begin (); }
2019-02-08 11:59:24 +11:00
//---------------------------------------------------------------------
auto& front (void) noexcept { return *m_begin; }
auto& front (void) const noexcept { return *m_begin; }
//---------------------------------------------------------------------
auto& back (void) noexcept { return *(m_end - 1); }
auto& back (void) const noexcept { return *(m_end - 1); }
2017-12-28 17:49:18 +11:00
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
/// Returns true if the size of the view is zero.
constexpr bool
empty (void) const noexcept
{
return m_begin == m_end;
}
///--------------------------------------------------------------------
/// Returns true if the view is not empty; ie, there is data remaining.
constexpr operator bool () const noexcept
{
return not empty ();
}
///--------------------------------------------------------------------
/// Returns the number of items in the view.
constexpr auto
size (void) const noexcept
{
return static_cast<size_type> (std::distance (m_begin, m_end));
}
2019-05-12 07:53:08 +10:00
///--------------------------------------------------------------------
/// Returns a signed count of items in the view.
constexpr ssize_t
ssize (void) const noexcept
{
return std::distance (m_begin, m_end);
}
///--------------------------------------------------------------------
/// Returns a subview of the first `count` elements of this view.
[[nodiscard]] constexpr auto
redim (size_type 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 };
};
///--------------------------------------------------------------------
/// Returns two subviews split at `pos`.
///
/// The first view extends from `begin` to `pos`, and the second view
/// extends from `pos` to `end`.
[[nodiscard]] constexpr std::pair<
view<BeginT,BeginT>,
view<BeginT,EndT>
>
split (BeginT pos) const
{
CHECK_GE (pos, m_begin);
CHECK_LE (pos, m_end );
return {
{ m_begin, pos },
{ pos, m_end }
};
}
///--------------------------------------------------------------------
template <
typename IndexT,
typename = std::enable_if_t<std::is_integral_v<IndexT>>
>
[[nodiscard]] constexpr auto
split (IndexT idx) const
{
// It's ok if `idx` points to the end iterator; this just means the
// second element of the returned pair is an empty view.
static_assert (
std::numeric_limits<IndexT>::max () <= std::numeric_limits<size_type>::max ()
);
CHECK_GE (idx, IndexT {0});
CHECK_LE (cruft::cast::lossless<size_type> (idx), size ());
auto last = m_begin;
std::advance (last, idx);
return split (last);
}
//---------------------------------------------------------------------
// slices a view using python indexing semantics. ie,
// "abc".slice(0, 3) == "abc"
// "abc".slice(0, -1) == "abc"
// "abc".slice(0, -2) == "ab"
template <typename IndexA, typename IndexB>
[[nodiscard]] constexpr
auto
slice (IndexA a, IndexB b) const
{
CHECK_LIMIT (cruft::abs (a), IndexA {0}, cruft::cast::lossless<IndexA> (size ()));
CHECK_LIMIT (cruft::abs (b), IndexB {0}, cruft::cast::lossless<IndexB> (size ()));
auto first = m_begin;
auto last = m_begin;
std::advance (first, a < 0 ? size () + a + 1 : a);
std::advance (last, b < 0 ? size () + b + 1 : b);
return view { first, last };
}
//---------------------------------------------------------------------
template <
typename IndexT,
typename = std::enable_if_t<std::is_integral_v<IndexT>>
>
[[nodiscard]] constexpr auto
head (IndexT idx) const
{
return std::get<0> (split (idx));
}
//---------------------------------------------------------------------
template <
typename IndexT,
typename = std::enable_if_t<std::is_integral_v<IndexT>>
>
[[nodiscard]] constexpr auto
2019-01-18 17:19:25 +11:00
tail (IndexT idx) const
{
return std::get<1> (split (idx));
}
//---------------------------------------------------------------------
template <
typename IndexT,
typename = std::enable_if_t<std::is_integral_v<IndexT>>
>
[[nodiscard]] constexpr auto
consume (IndexT count) const
{
auto [a,b] = split (count);
(void)a;
return b;
}
//---------------------------------------------------------------------
[[nodiscard]] constexpr view<BeginT,EndT>
consume (view<BeginT,EndT> prefix) const
{
assert (prefix.begin () == begin ());
assert (prefix.end () < end ());
2017-12-28 17:49:18 +11:00
return { prefix.end (), end () };
}
[[nodiscard]] constexpr view<BeginT,EndT>
consume (const BeginT pos) const
{
return { pos, end () };
}
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
/// Explicitly cast to a view with different iterator types.
///
/// The source and destination iterator types must be:
/// * pointers
/// * alignable
///
/// It is undefined behaviour to cast with begin and/or end iterators
/// that do not have natural alignment. Instrumented builds _may_
/// provide diagnostics or assertions in this case.
///
/// \tparam ValueT The new iterator type
/// \return A view that uses the new iterator type
2017-12-28 17:49:18 +11:00
template <
typename ValueT,
typename = std::enable_if_t<
// We can only convert views that use pointer iterators
std::is_pointer_v<BeginT> &&
std::is_pointer_v<EndT> &&
std::is_same_v<BeginT,EndT> &&
std::is_pointer_v<ValueT>
2017-12-28 17:49:18 +11:00
>
>
view<ValueT>
2017-12-28 17:49:18 +11:00
cast (void) const
{
// The values they point to must allow for alignment in one
// direction or another.
//
// We prefer a static_assert over SFINAE because it reduces the
// header burden for users (they do not need to include the
// implementation of the pointer values to satisfy
// iterator_traits), and it is quite unlikely we want to disable
// this only if alignment is incompatible).
static_assert (
sizeof (typename std::iterator_traits<BeginT>::value_type) %
sizeof (typename std::iterator_traits<ValueT>::value_type) == 0 ||
sizeof (typename std::iterator_traits<ValueT>::value_type) %
sizeof (typename std::iterator_traits<BeginT>::value_type) == 0
);
2017-12-28 17:49:18 +11:00
return {
cast::alignment<ValueT> (m_begin),
cast::alignment<ValueT> (m_end)
2017-12-28 17:49:18 +11:00
};
}
2017-10-02 14:14:55 +11:00
///////////////////////////////////////////////////////////////////////
constexpr auto&&
operator[] (size_t idx) noexcept
{
CHECK_LIMIT (idx, 0u, size ());
return *std::next (begin (), idx);
}
2017-09-15 15:22:51 +10:00
//---------------------------------------------------------------------
constexpr auto&&
operator[] (size_t idx) const noexcept
{
CHECK_LIMIT (idx, 0u, size ());
return *std::next (begin (), idx);
}
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 (ValueT(&)[N]) -> view<ValueT*,ValueT*>;
2017-12-28 17:49:18 +11:00
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>
2017-12-28 17:49:18 +11:00
>
>
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 std::allocator_traits<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 std::allocator_traits<Allocator>::const_pointer
>;
2017-12-30 13:40:37 +11:00
template <typename ValueT, typename AllocatorT>
view (
std::vector<ValueT,AllocatorT>&
) -> view<typename std::allocator_traits<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 std::allocator_traits<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 ValueT, std::size_t N>
view (const std::array<ValueT,N>&) -> view<const ValueT*>;
template <typename ContainerT>
view (ContainerT&) -> view<
decltype (std::declval<ContainerT&> ().begin ()),
decltype (std::declval<ContainerT&> ().end ())
>;
template <typename ContainerT>
view (const ContainerT&) -> view<
decltype (std::declval<ContainerT const&> ().begin ()),
decltype (std::declval<ContainerT const&> ().end ())
>;
// base + count constructor
template <typename BeginT>
2018-07-18 15:20:30 +10:00
view (BeginT, std::uint64_t count) -> view<BeginT,BeginT>;
template <typename BeginT>
view (BeginT, std::uint32_t count) -> view<BeginT,BeginT>;
template <typename IteratorT>
view (IteratorT, int) -> view<IteratorT, IteratorT>;
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])
{
return 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 view { 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 view { 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 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;
///////////////////////////////////////////////////////////////////////////
/// Calculates a word oriented view over an arbitrary type
///
/// Useful for passing in memory structures to file descriptors and the
/// like. but the consequences of endian conversion is on the user...
///
/// We have to be careful that rval-references and other temporaries aren't
/// accepted in this signature.
template <
typename WordT = std::byte const,
typename T
>
cruft::view<WordT*>
make_byte_view (T &t)
{
static_assert (sizeof (T) % sizeof (WordT) == 0);
static_assert (std::is_const_v<T> ? std::is_const_v<WordT> : true);
return view {
cast::alignment<WordT*> (&t),
sizeof (T) / sizeof (WordT)
};
}
///////////////////////////////////////////////////////////////////////////
/// Returns a reference to a value of the designated type at the front of
/// the word-view. if there is insufficient data for the extraction an
/// exception will be thrown.
///
/// There are no validity or other checks performed on the returned data
/// this is deliberate, so that the function is safe to call on user
/// supplied data during parsing routines. it is up to the user to ensure
/// the object is valid.
///
/// The buffer object is advanced in place so that it no longer covers
/// the extract value
///
/// It is assumed the user has taken care of alignment concerns
template <
typename ValueT,
typename WordT
>
ValueT&
extract (view<WordT*> &buffer)
{
// Only allow calls if the value is a multiple of the word size.
// It's useful to allow non-unit words for areas like TCP/IP which
// tend to include protocols that utilise u16 words.
static_assert (
sizeof (ValueT) % sizeof (WordT) == 0,
"The value type must be a multiple of the word size"
);
static_assert (
!std::is_const_v<WordT> or std::is_const_v<ValueT>,
"buffer and output types must have matching constness"
);
if (unlikely (sizeof (ValueT) > buffer.size () * sizeof (WordT)))
throw std::runtime_error ("insufficient data for extraction");
auto ptr = cast::alignment<ValueT*> (buffer.data ());
buffer = buffer.consume (sizeof (ValueT) / sizeof (WordT));
return *ptr;
}
///////////////////////////////////////////////////////////////////////////
/// extracts an object of a specified type from the front of a byte-view.
///
/// in contrast to 'extract' this will always copy the bytes out from the
/// view, making the operation alignment safe.
template <
typename ValueT,
typename WordT,
typename = std::enable_if_t<sizeof (ValueT) % sizeof(WordT) == 0>
>
ValueT
read (view<WordT*> &buffer)
{
// We're going to use memcpy which requires that the type is
// trivially copyable.
static_assert (std::is_trivially_copyable_v<ValueT>);
if (unlikely (sizeof (ValueT) > buffer.size () * sizeof (WordT)))
throw std::runtime_error ("insufficient data for extraction");
std::aligned_storage_t<sizeof(ValueT),alignof(ValueT)> bytes;
memcpy (&bytes, buffer.data (), sizeof (ValueT));
buffer = buffer.consume (sizeof (ValueT) / sizeof (WordT));
return *reinterpret_cast<ValueT const*> (&bytes);
}
2018-08-01 13:10:43 +10:00
///////////////////////////////////////////////////////////////////////////
2018-12-17 14:46:30 +11:00
/// Tests whether an iterator falls within a given view.
2018-08-01 13:10:43 +10:00
template <typename IteratorT>
constexpr bool
intersects (view<IteratorT> a, IteratorT b)
2018-08-01 13:10:43 +10:00
{
return b >= a.begin () && b < a.end ();
}
2018-12-17 14:46:30 +11:00
///------------------------------------------------------------------------
/// Tests whether view `a` inclusively contains view `b`.
template <typename IteratorA, typename IteratorB>
constexpr bool
covers (
view<IteratorA,IteratorB> const &a,
view<IteratorA,IteratorB> const &b
) {
return a.begin () <= b.begin () && a.end () >= b.end ();
}
2017-09-15 15:22:51 +10:00
///////////////////////////////////////////////////////////////////////////
template <
typename BeginA, typename EndA,
typename BeginB, typename EndB,
typename ComparatorT
>
decltype(auto)
equal (
view<BeginA,EndA> const &a,
view<BeginB,EndB> const &b,
ComparatorT &&cmp
) {
return std::equal (
std::begin (a), std::end (a),
std::begin (b), std::end (b),
std::forward<ComparatorT> (cmp)
);
}
//-------------------------------------------------------------------------
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
equal (const view<BeginA,EndA> &a, const view<BeginB,EndB> &b)
2017-09-15 15:22:51 +10:00
{
return ::cruft::equal (a, b, std::equal_to<void> {});
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
equal (const view<IteratorA,IteratorB> &a, const ValueT &b)
2017-09-15 15:22:51 +10:00
{
return equal (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
equal (const ValueT &a, const view<IteratorA,IteratorB> &b)
{
return equal (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.begin () == b.begin () && a.end () == b.end ();
}
//-------------------------------------------------------------------------
template <typename IteratorA, typename IteratorB>
constexpr bool
2018-01-10 18:49:35 +11:00
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< (view<const char*> a, view<const char*> b)
2017-12-19 18:13:49 +11:00
{
const auto la = std::size (a);
const auto lb = std::size (b);
const auto res = strncmp (
std::data (a),
std::data (b),
min (la, lb)
2017-12-19 18:13:49 +11:00
);
return res < 0 || (res == 0 && la < lb);
2017-12-19 18:13:49 +11:00
}
}
2019-01-29 21:30:29 +11:00
2019-01-29 21:21:18 +11:00
namespace cruft::debug {
///////////////////////////////////////////////////////////////////////////
template <typename IteratorT, typename ...ArgsT>
struct validator<
view<IteratorT>,
ArgsT&&...
> {
static bool
is_valid (view<IteratorT> data, ArgsT &&...args)
{
return std::all_of (
std::begin (data),
std::end (data),
[&] (auto const &i)
{
return ::cruft::debug::is_valid (i, args...);
});
}
};
};