2015-02-11 16:18:43 +11:00
|
|
|
/*
|
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-02-11 16:18:43 +11:00
|
|
|
*
|
2015-04-13 18:05:28 +10:00
|
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
2015-02-11 16:18:43 +11:00
|
|
|
*
|
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.
|
2015-02-11 16:18:43 +11:00
|
|
|
*
|
2018-01-10 18:49:00 +11:00
|
|
|
* Copyright 2015-2018 Danny Robson <danny@nerdcruft.net>
|
2015-02-11 16:18:43 +11:00
|
|
|
*/
|
|
|
|
|
|
|
|
|
2017-08-31 13:48:44 +10:00
|
|
|
#ifndef CRUFT_UTIL_VIEW_HPP
|
|
|
|
#define CRUFT_UTIL_VIEW_HPP
|
2015-02-11 16:18:43 +11:00
|
|
|
|
2018-05-10 12:44:03 +10:00
|
|
|
#include "cast.hpp"
|
2017-11-22 16:49:37 +11:00
|
|
|
#include "types/traits.hpp"
|
2018-01-10 17:19:39 +11:00
|
|
|
#include "maths.hpp"
|
2016-03-16 19:27:58 +11:00
|
|
|
|
2015-02-11 16:18:43 +11:00
|
|
|
#include <cstdlib>
|
2018-03-22 16:10:06 +11:00
|
|
|
#include <iosfwd>
|
2017-03-17 17:59:30 +11:00
|
|
|
#include <string>
|
2017-08-01 14:16:55 +10:00
|
|
|
#include <cstring>
|
2017-08-31 13:03:19 +10:00
|
|
|
#include <stdexcept>
|
2017-12-26 17:30:41 +11:00
|
|
|
#include <iterator>
|
2015-02-11 16:18:43 +11:00
|
|
|
|
|
|
|
namespace util {
|
2017-12-28 17:49:18 +11:00
|
|
|
template <typename BeginT, typename EndT = BeginT>
|
2015-09-21 15:36:05 +10:00
|
|
|
struct view {
|
2015-02-11 16:41:09 +11:00
|
|
|
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;
|
2015-02-11 16:18:43 +11:00
|
|
|
|
2018-01-16 13:31:53 +11:00
|
|
|
using size_type = size_t;
|
2017-09-15 15:22:51 +10:00
|
|
|
|
|
|
|
//---------------------------------------------------------------------
|
2016-03-17 18:12:34 +11:00
|
|
|
constexpr
|
2017-12-28 17:49:18 +11:00
|
|
|
view (const BeginT &first, const EndT &last) noexcept:
|
2017-08-01 14:16:55 +10:00
|
|
|
m_begin (first),
|
|
|
|
m_end (last)
|
|
|
|
{ ; }
|
|
|
|
|
2018-01-13 13:48:58 +11:00
|
|
|
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
|
|
|
|
|
|
|
|
2018-01-30 16:25:48 +11: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):
|
|
|
|
m_begin (const_cast<const ValueT**> (rhs.begin ())),
|
|
|
|
m_end (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):
|
|
|
|
m_begin (rhs.begin ()),
|
|
|
|
m_end (rhs.end ())
|
|
|
|
{ ; }
|
|
|
|
|
|
|
|
|
2017-12-26 17:29:32 +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
|
|
|
{
|
2017-12-26 17:29:32 +11: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))
|
|
|
|
{ ; }
|
|
|
|
|
|
|
|
|
|
|
|
//---------------------------------------------------------------------
|
2018-01-09 16:28:25 +11:00
|
|
|
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);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2017-12-20 12:31:52 +11:00
|
|
|
//---------------------------------------------------------------------
|
|
|
|
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-20 12:31:52 +11:00
|
|
|
{ ; }
|
|
|
|
|
2017-12-30 13:40:37 +11:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
//---------------------------------------------------------------------
|
2018-03-23 14:10:57 +11:00
|
|
|
constexpr view (const view &) noexcept = default;
|
|
|
|
constexpr view (view &&) noexcept = default;
|
2017-09-14 13:13:45 +10:00
|
|
|
|
2018-03-23 14:10:57 +11:00
|
|
|
view& operator= (const view &rhs) noexcept = default;
|
|
|
|
view& operator= (view &&rhs) noexcept = 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::data (val) + std::size (val))
|
2018-01-09 16:28:25 +11:00
|
|
|
{ ; }
|
|
|
|
|
|
|
|
|
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))
|
2018-01-09 16:28:25 +11:00
|
|
|
{ ; }
|
|
|
|
|
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-08-01 14:16:55 +10:00
|
|
|
{ ; }
|
|
|
|
|
2017-09-14 13:24:08 +10:00
|
|
|
|
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-08-01 14:16:55 +10:00
|
|
|
{ ; }
|
|
|
|
|
2017-09-14 13:13:45 +10:00
|
|
|
|
2018-01-13 13:48:58 +11: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-10-02 14:14:55 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////
|
2018-03-23 14:40:40 +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-08-01 14:16:55 +10:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
//---------------------------------------------------------------------
|
2018-03-23 14:40:40 +11:00
|
|
|
constexpr BeginT cbegin (void) const noexcept { return m_begin; }
|
|
|
|
constexpr EndT cend (void) const noexcept { return m_end; }
|
2015-02-11 16:41:09 +11:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
//---------------------------------------------------------------------
|
2018-02-26 10:55:10 +11:00
|
|
|
auto data (void) noexcept { return begin (); }
|
|
|
|
auto data (void) const noexcept { return begin (); }
|
2017-07-28 14:26:49 +10:00
|
|
|
|
2017-12-28 17:49:18 +11:00
|
|
|
|
2017-10-02 14:14:55 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////
|
2017-08-01 14:16:55 +10: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.
|
2017-08-01 14:16:55 +10:00
|
|
|
constexpr auto
|
|
|
|
size (void) const noexcept
|
|
|
|
{
|
2018-01-16 13:31:53 +11:00
|
|
|
return static_cast<size_type> (std::distance (m_begin, m_end));
|
2017-08-01 14:16:55 +10:00
|
|
|
}
|
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
//---------------------------------------------------------------------
|
2018-02-01 13:47:42 +11:00
|
|
|
[[nodiscard]] constexpr auto
|
2018-01-16 13:31:53 +11:00
|
|
|
redim (size_type count) const
|
2017-08-31 13:03:19 +10:00
|
|
|
{
|
2018-01-09 16:28:25 +11: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 };
|
|
|
|
};
|
|
|
|
|
2017-12-26 17:31:17 +11:00
|
|
|
|
|
|
|
//---------------------------------------------------------------------
|
2018-07-13 14:05:54 +10:00
|
|
|
[[nodiscard]] constexpr std::tuple<
|
2018-01-13 13:48:58 +11:00
|
|
|
util::view<BeginT,BeginT>,
|
|
|
|
util::view<BeginT,EndT>
|
|
|
|
>
|
2018-01-14 17:13:21 +11:00
|
|
|
split (BeginT pos) const
|
2017-12-26 17:31:17 +11:00
|
|
|
{
|
2018-01-13 13:48:58 +11:00
|
|
|
return {
|
|
|
|
{ m_begin, pos },
|
|
|
|
{ pos, m_end }
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//---------------------------------------------------------------------
|
2018-07-13 14:05:54 +10:00
|
|
|
[[nodiscard]] constexpr auto
|
2018-01-14 17:13:21 +11:00
|
|
|
split (int pos) const
|
2018-01-13 13:48:58 +11:00
|
|
|
{
|
|
|
|
auto last = m_begin;
|
|
|
|
std::advance (last, pos);
|
|
|
|
return split (last);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-01-29 17:17:28 +11:00
|
|
|
//---------------------------------------------------------------------
|
|
|
|
// slices a view using python indexing semantics. ie,
|
|
|
|
// "abc".slice(0, 3) == "abc"
|
|
|
|
// "abc".slice(0, -1) == "abc"
|
|
|
|
// "abc".slice(0, -2) == "ab"
|
2018-07-13 14:05:54 +10:00
|
|
|
[[nodiscard]] constexpr auto
|
2018-04-01 14:44:08 +10:00
|
|
|
slice (int a, int b) const
|
2018-01-29 17:17:28 +11:00
|
|
|
{
|
|
|
|
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 util::view { first, last };
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-01-13 13:48:58 +11:00
|
|
|
//---------------------------------------------------------------------
|
2018-07-13 14:05:54 +10:00
|
|
|
[[nodiscard]] constexpr auto
|
2018-01-14 17:13:21 +11:00
|
|
|
consume (int count) const
|
2018-01-13 13:48:58 +11:00
|
|
|
{
|
|
|
|
auto [a,b] = split (count);
|
2018-01-14 17:13:21 +11:00
|
|
|
(void)a;
|
2018-01-13 13:48:58 +11:00
|
|
|
return b;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//---------------------------------------------------------------------
|
2018-07-13 14:05:54 +10:00
|
|
|
[[nodiscard]] constexpr util::view<BeginT,EndT>
|
2018-01-14 17:13:21 +11:00
|
|
|
consume (util::view<BeginT,BeginT> prefix) const
|
2017-12-26 17:31:17 +11:00
|
|
|
{
|
2018-01-10 17:19:39 +11:00
|
|
|
assert (prefix.begin () == begin ());
|
2017-12-28 17:49:18 +11:00
|
|
|
return { prefix.end (), end () };
|
2017-12-26 17:31:17 +11:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-07-13 14:05:54 +10:00
|
|
|
[[nodiscard]] constexpr util::view<BeginT,EndT>
|
2018-01-14 17:13:21 +11:00
|
|
|
consume (const BeginT pos) const
|
|
|
|
{
|
|
|
|
return { pos, end () };
|
2017-12-26 17:31:17 +11:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2018-05-10 12:53:45 +10:00
|
|
|
constexpr auto
|
|
|
|
operator+ (int count) const
|
|
|
|
{
|
|
|
|
return consume (count);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
constexpr auto
|
|
|
|
operator+= (int count)&
|
|
|
|
{
|
|
|
|
return *this = consume (count);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2017-10-02 14:14:55 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////
|
2017-12-28 17:49:18 +11:00
|
|
|
template <
|
|
|
|
typename ValueT,
|
|
|
|
typename = std::enable_if_t<
|
2018-05-10 12:52:01 +10:00
|
|
|
std::is_pointer_v<BeginT> && std::is_pointer_v<ValueT>
|
2017-12-28 17:49:18 +11:00
|
|
|
>
|
|
|
|
>
|
2018-05-10 12:52:01 +10:00
|
|
|
view<ValueT>
|
2017-12-28 17:49:18 +11:00
|
|
|
cast (void) const
|
2017-12-26 17:31:17 +11:00
|
|
|
{
|
2017-12-28 17:49:18 +11:00
|
|
|
return {
|
2018-05-10 12:52:22 +10:00
|
|
|
util::cast::alignment<ValueT> (m_begin),
|
|
|
|
util::cast::alignment<ValueT> (m_end)
|
2017-12-28 17:49:18 +11:00
|
|
|
};
|
2017-12-26 17:31:17 +11:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2017-10-02 14:14:55 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////
|
2018-05-08 21:51:09 +10:00
|
|
|
constexpr auto&&
|
|
|
|
operator[] (size_t idx) noexcept
|
2017-08-01 14:16:55 +10:00
|
|
|
{
|
2018-05-08 21:49:27 +10:00
|
|
|
return *std::next (begin (), idx);
|
2017-08-01 14:16:55 +10:00
|
|
|
}
|
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
//---------------------------------------------------------------------
|
2018-05-08 21:51:09 +10:00
|
|
|
constexpr auto&&
|
|
|
|
operator[] (size_t idx) const noexcept
|
2017-08-01 14:16:55 +10:00
|
|
|
{
|
2018-05-08 21:49:27 +10:00
|
|
|
return *std::next (begin (), idx);
|
2017-08-01 14:16:55 +10:00
|
|
|
}
|
|
|
|
|
2018-05-08 21:51:09 +10:00
|
|
|
|
2015-02-11 16:41:09 +11:00
|
|
|
private:
|
2017-10-02 14:14:55 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////
|
2017-12-28 17:49:18 +11:00
|
|
|
BeginT m_begin;
|
|
|
|
EndT m_end;
|
2015-02-11 16:18:43 +11:00
|
|
|
};
|
|
|
|
|
2017-08-30 15:13:24 +10:00
|
|
|
|
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
|
|
|
//-------------------------------------------------------------------------
|
2018-01-13 13:48:58 +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<
|
2018-05-10 13:31:51 +10:00
|
|
|
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 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
|
|
|
|
2018-01-13 13:48:58 +11:00
|
|
|
template <typename ValueT, std::size_t N>
|
2018-03-20 13:30:22 +11:00
|
|
|
view (std::array<ValueT,N>&) -> view<ValueT*>;
|
|
|
|
|
|
|
|
template <typename ValueT, std::size_t N>
|
|
|
|
view (const std::array<ValueT,N>&) -> view<const ValueT*>;
|
2018-01-13 13:48:58 +11:00
|
|
|
|
|
|
|
template <typename ContainerT>
|
|
|
|
view (ContainerT&) -> view<
|
|
|
|
typename ContainerT::iterator
|
|
|
|
>;
|
|
|
|
|
|
|
|
template <typename ContainerT>
|
|
|
|
view (const ContainerT&) -> view<
|
|
|
|
typename ContainerT::const_iterator
|
|
|
|
>;
|
|
|
|
|
2018-05-10 12:48:20 +10:00
|
|
|
// 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>;
|
2018-01-13 13:48:58 +11:00
|
|
|
|
2017-12-28 17:49:18 +11:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
|
|
template <typename ValueT, size_t N>
|
2016-11-14 21:29:16 +11:00
|
|
|
auto
|
2017-09-15 15:22:51 +10:00
|
|
|
make_view (const ValueT (&arr)[N])
|
2017-08-01 14:16:55 +10:00
|
|
|
{
|
2017-09-15 15:22:51 +10:00
|
|
|
return util::view<const ValueT*> (arr + 0, arr + N);
|
2017-08-01 14:16:55 +10:00
|
|
|
}
|
2016-11-14 21:29:16 +11:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
//-------------------------------------------------------------------------
|
|
|
|
template <typename ContainerT>
|
2016-06-28 14:06:02 +10:00
|
|
|
auto
|
2017-09-15 15:22:51 +10:00
|
|
|
make_view (ContainerT &t)
|
2017-08-01 14:16:55 +10:00
|
|
|
{
|
2018-05-10 12:48:20 +10:00
|
|
|
return util::view { std::begin (t), std::end (t) };
|
2017-08-01 14:16:55 +10:00
|
|
|
}
|
2016-03-17 18:12:34 +11:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
//-------------------------------------------------------------------------
|
|
|
|
template <typename ContainerT>
|
2016-06-28 14:06:02 +10:00
|
|
|
auto
|
2017-09-15 15:22:51 +10:00
|
|
|
make_view (const ContainerT &t)
|
2017-08-01 14:16:55 +10:00
|
|
|
{
|
2018-05-10 12:48:20 +10:00
|
|
|
return util::view { std::cbegin (t), std::cend (t) };
|
2017-08-01 14:16:55 +10:00
|
|
|
}
|
2016-03-17 18:12:34 +11:00
|
|
|
|
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>
|
2016-03-17 18:12:34 +11:00
|
|
|
auto
|
2017-09-15 15:22:51 +10:00
|
|
|
make_view (ContainerT&&) = delete;
|
|
|
|
|
2016-03-17 18:12:34 +11:00
|
|
|
|
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-08-01 14:16:55 +10:00
|
|
|
{
|
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) };
|
2017-08-01 14:16:55 +10:00
|
|
|
}
|
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>
|
2017-03-23 14:36:56 +11:00
|
|
|
auto
|
2017-09-15 15:22:51 +10:00
|
|
|
make_cview (ValueT *first, ValueT *last)
|
2017-03-23 14:36:56 +11:00
|
|
|
{
|
2017-09-15 15:22:51 +10:00
|
|
|
return view<const ValueT*> {first, last};
|
2017-03-23 14:36:56 +11:00
|
|
|
}
|
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////
|
2017-08-01 14:16:55 +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
|
|
|
//-------------------------------------------------------------------------
|
2017-08-01 14:16:55 +10:00
|
|
|
inline
|
|
|
|
view<char*> make_view (char *str)
|
|
|
|
{
|
|
|
|
return { str, str + strlen (str) };
|
|
|
|
}
|
2017-03-17 17:59:30 +11:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
2017-03-17 17:59:30 +11:00
|
|
|
template <typename CharT, typename TraitsT, typename AllocT>
|
|
|
|
view<const CharT*>
|
2017-08-01 14:16:55 +10:00
|
|
|
make_view (const std::basic_string<CharT,TraitsT,AllocT> &str)
|
|
|
|
{
|
|
|
|
return {
|
|
|
|
std::data (str),
|
|
|
|
std::data (str) + std::size (str)
|
|
|
|
};
|
|
|
|
}
|
2017-03-17 17:59:30 +11:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
2017-03-17 17:59:30 +11:00
|
|
|
template <typename CharT, typename TraitsT, typename AllocT>
|
|
|
|
view<CharT*>
|
2017-08-01 14:16:55 +10:00
|
|
|
make_view (std::basic_string<CharT,TraitsT,AllocT> &str)
|
|
|
|
{
|
|
|
|
return {
|
|
|
|
std::data (str),
|
|
|
|
std::data (str) + std::size (str)
|
|
|
|
};
|
|
|
|
}
|
2017-03-17 17:59:30 +11:00
|
|
|
|
2017-09-15 15:22:51 +10:00
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
2017-03-17 17:59:30 +11: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
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
2017-03-17 17:59:30 +11:00
|
|
|
template <typename CharT, typename TraitsT, typename AllocT>
|
|
|
|
view<CharT*>
|
|
|
|
make_view (std::basic_string<CharT,TraitsT,AllocT>&&) = delete;
|
|
|
|
|
2018-02-01 13:48:03 +11:00
|
|
|
|
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
|
|
// calculates a byte 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...
|
|
|
|
template <typename T>
|
|
|
|
view<std::byte*>
|
|
|
|
make_byte_view (T &t)
|
|
|
|
{
|
|
|
|
auto first = reinterpret_cast<std::byte*> (&t);
|
|
|
|
auto last = first + sizeof (t);
|
|
|
|
return { first, last };
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
|
|
|
template <typename T>
|
|
|
|
view<std::byte*>
|
|
|
|
make_byte_view (T&&) = delete;
|
|
|
|
|
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
|
|
|
template <typename T>
|
|
|
|
view<const std::byte*>
|
|
|
|
make_byte_view (const T &t)
|
|
|
|
{
|
2018-07-18 15:20:42 +10:00
|
|
|
auto first = reinterpret_cast<std::byte const*> (&t);
|
2018-02-01 13:48:03 +11:00
|
|
|
auto last = first + sizeof (t);
|
|
|
|
return { first, last };
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
|
|
|
template <typename T>
|
|
|
|
view<const std::byte*>
|
|
|
|
make_byte_view (const T &&t) = 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-31 19:33:42 +11:00
|
|
|
equal (const view<BeginA,EndA> &a, const view<BeginB,EndB> &b)
|
2017-09-15 15:22:51 +10:00
|
|
|
{
|
2017-12-20 12:31:52 +11: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
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
2017-12-20 12:31:52 +11: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-31 19:33:42 +11:00
|
|
|
equal (const view<IteratorA,IteratorB> &a, const ValueT &b)
|
2017-09-15 15:22:51 +10:00
|
|
|
{
|
2018-01-31 19:33:42 +11:00
|
|
|
return equal (a, make_view (b));
|
2017-09-15 15:22:51 +10:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
//-------------------------------------------------------------------------
|
2017-12-20 12:31:52 +11: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
|
|
|
|
>
|
|
|
|
>
|
2017-12-19 18:13:32 +11:00
|
|
|
constexpr bool
|
2018-01-31 19:33:42 +11:00
|
|
|
equal (const ValueT &a, const view<IteratorA,IteratorB> &b)
|
2017-12-19 18:13:32 +11:00
|
|
|
{
|
2018-01-31 19:33:42 +11:00
|
|
|
return equal (b, a);
|
2017-12-19 18:13:32 +11:00
|
|
|
}
|
2017-09-15 15:22:51 +10:00
|
|
|
|
|
|
|
|
2017-12-20 12:31:52 +11:00
|
|
|
///////////////////////////////////////////////////////////////////////////
|
2018-01-10 18:49:35 +11:00
|
|
|
template <typename IteratorA, typename IteratorB>
|
|
|
|
constexpr bool
|
2018-01-31 19:33:42 +11:00
|
|
|
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
|
|
|
|
>
|
|
|
|
>
|
2017-12-19 18:13:32 +11:00
|
|
|
constexpr bool
|
2018-01-10 18:49:35 +11:00
|
|
|
operator!= (const view<IteratorA,IteratorB> &a, const ValueT &b)
|
2017-12-19 18:13:32 +11:00
|
|
|
{
|
|
|
|
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
|
|
|
|
>
|
|
|
|
>
|
2017-12-19 18:13:32 +11:00
|
|
|
constexpr bool
|
2018-01-10 18:49:35 +11:00
|
|
|
operator!= (const ValueT &a, const view<IteratorA,IteratorB> &b)
|
2017-12-19 18:13:32 +11:00
|
|
|
{
|
|
|
|
return !(a == b);
|
|
|
|
}
|
2016-03-17 18:12:34 +11:00
|
|
|
|
|
|
|
|
2018-04-01 14:44:15 +10:00
|
|
|
///////////////////////////////////////////////////////////////////////////
|
|
|
|
template <typename CharT>
|
|
|
|
bool
|
|
|
|
operator== (
|
|
|
|
util::view<const CharT*> lhs,
|
|
|
|
const std::basic_string<CharT> &rhs
|
|
|
|
) {
|
|
|
|
return lhs.size () == rhs.size () && std::equal (lhs.cbegin (), lhs.cend (), rhs.cbegin ());
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
inline bool
|
|
|
|
operator== (util::view<const char*> lhs, const char *rhs)
|
|
|
|
{
|
|
|
|
return lhs.size () == strlen (rhs) && std::equal (lhs.cbegin (), lhs.cend (), rhs);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
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)
|
2017-12-26 17:30:41 +11:00
|
|
|
{
|
|
|
|
std::copy (
|
|
|
|
std::cbegin (val),
|
2017-12-30 13:40:37 +11:00
|
|
|
std::cend (val),
|
2017-12-26 17:30:41 +11:00
|
|
|
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)
|
|
|
|
);
|
|
|
|
|
2017-12-20 12:31:52 +11:00
|
|
|
return res < 0 || (res == 0 && la < lb);
|
2017-12-19 18:13:49 +11:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2015-02-11 16:18:43 +11:00
|
|
|
}
|
2015-09-22 18:31:47 +10:00
|
|
|
|
|
|
|
|
2015-02-11 16:18:43 +11:00
|
|
|
#endif
|