mirror of
https://github.com/XRPLF/rippled.git
synced 2025-12-06 17:27:55 +00:00
Remove buffer_view
This commit is contained in:
Vinnie Falco
committed by
Nik Bougalis
Nik Bougalis
parent
bb4127a6fb
commit
9bf1f994ae
@@ -232,8 +232,6 @@
|
|||||||
</ClInclude>
|
</ClInclude>
|
||||||
<ClInclude Include="..\..\src\beast\beast\container\aged_unordered_set.h">
|
<ClInclude Include="..\..\src\beast\beast\container\aged_unordered_set.h">
|
||||||
</ClInclude>
|
</ClInclude>
|
||||||
<ClInclude Include="..\..\src\beast\beast\container\buffer_view.h">
|
|
||||||
</ClInclude>
|
|
||||||
<ClInclude Include="..\..\src\beast\beast\container\const_container.h">
|
<ClInclude Include="..\..\src\beast\beast\container\const_container.h">
|
||||||
</ClInclude>
|
</ClInclude>
|
||||||
<ClCompile Include="..\..\src\beast\beast\container\Container.unity.cpp">
|
<ClCompile Include="..\..\src\beast\beast\container\Container.unity.cpp">
|
||||||
@@ -250,9 +248,6 @@
|
|||||||
<ClCompile Include="..\..\src\beast\beast\container\tests\aged_associative_container.test.cpp">
|
<ClCompile Include="..\..\src\beast\beast\container\tests\aged_associative_container.test.cpp">
|
||||||
<ExcludedFromBuild>True</ExcludedFromBuild>
|
<ExcludedFromBuild>True</ExcludedFromBuild>
|
||||||
</ClCompile>
|
</ClCompile>
|
||||||
<ClCompile Include="..\..\src\beast\beast\container\tests\buffer_view.test.cpp">
|
|
||||||
<ExcludedFromBuild>True</ExcludedFromBuild>
|
|
||||||
</ClCompile>
|
|
||||||
<ClInclude Include="..\..\src\beast\beast\crypto\base64.h">
|
<ClInclude Include="..\..\src\beast\beast\crypto\base64.h">
|
||||||
</ClInclude>
|
</ClInclude>
|
||||||
<ClCompile Include="..\..\src\beast\beast\crypto\Crypto.unity.cpp">
|
<ClCompile Include="..\..\src\beast\beast\crypto\Crypto.unity.cpp">
|
||||||
|
|||||||
@@ -717,9 +717,6 @@
|
|||||||
<ClInclude Include="..\..\src\beast\beast\container\aged_unordered_set.h">
|
<ClInclude Include="..\..\src\beast\beast\container\aged_unordered_set.h">
|
||||||
<Filter>beast\container</Filter>
|
<Filter>beast\container</Filter>
|
||||||
</ClInclude>
|
</ClInclude>
|
||||||
<ClInclude Include="..\..\src\beast\beast\container\buffer_view.h">
|
|
||||||
<Filter>beast\container</Filter>
|
|
||||||
</ClInclude>
|
|
||||||
<ClInclude Include="..\..\src\beast\beast\container\const_container.h">
|
<ClInclude Include="..\..\src\beast\beast\container\const_container.h">
|
||||||
<Filter>beast\container</Filter>
|
<Filter>beast\container</Filter>
|
||||||
</ClInclude>
|
</ClInclude>
|
||||||
@@ -741,9 +738,6 @@
|
|||||||
<ClCompile Include="..\..\src\beast\beast\container\tests\aged_associative_container.test.cpp">
|
<ClCompile Include="..\..\src\beast\beast\container\tests\aged_associative_container.test.cpp">
|
||||||
<Filter>beast\container\tests</Filter>
|
<Filter>beast\container\tests</Filter>
|
||||||
</ClCompile>
|
</ClCompile>
|
||||||
<ClCompile Include="..\..\src\beast\beast\container\tests\buffer_view.test.cpp">
|
|
||||||
<Filter>beast\container\tests</Filter>
|
|
||||||
</ClCompile>
|
|
||||||
<ClInclude Include="..\..\src\beast\beast\crypto\base64.h">
|
<ClInclude Include="..\..\src\beast\beast\crypto\base64.h">
|
||||||
<Filter>beast\crypto</Filter>
|
<Filter>beast\crypto</Filter>
|
||||||
</ClInclude>
|
</ClInclude>
|
||||||
|
|||||||
@@ -22,4 +22,3 @@
|
|||||||
#endif
|
#endif
|
||||||
|
|
||||||
#include <beast/container/tests/aged_associative_container.test.cpp>
|
#include <beast/container/tests/aged_associative_container.test.cpp>
|
||||||
#include <beast/container/tests/buffer_view.test.cpp>
|
|
||||||
|
|||||||
@@ -1,520 +0,0 @@
|
|||||||
//------------------------------------------------------------------------------
|
|
||||||
/*
|
|
||||||
This file is part of Beast: https://github.com/vinniefalco/Beast
|
|
||||||
Copyright 2013, Vinnie Falco <vinnie.falco@gmail.com>
|
|
||||||
|
|
||||||
Permission to use, copy, modify, and/or distribute this software for any
|
|
||||||
purpose with or without fee is hereby granted, provided that the above
|
|
||||||
copyright notice and this permission notice appear in all copies.
|
|
||||||
|
|
||||||
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
||||||
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
||||||
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
||||||
ANY SPECIAL , DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
||||||
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
||||||
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
||||||
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
||||||
*/
|
|
||||||
//==============================================================================
|
|
||||||
|
|
||||||
#ifndef BEAST_CONTAINER_BUFFER_VIEW_H_INCLUDED
|
|
||||||
#define BEAST_CONTAINER_BUFFER_VIEW_H_INCLUDED
|
|
||||||
|
|
||||||
#include <beast/Config.h>
|
|
||||||
|
|
||||||
#include <array>
|
|
||||||
#include <beast/cxx14/algorithm.h> // <algorithm>
|
|
||||||
#include <cstddef>
|
|
||||||
#include <iterator>
|
|
||||||
#include <memory>
|
|
||||||
#include <string>
|
|
||||||
#include <vector>
|
|
||||||
#include <beast/cxx14/type_traits.h> // <type_traits>
|
|
||||||
|
|
||||||
namespace beast {
|
|
||||||
|
|
||||||
namespace detail {
|
|
||||||
|
|
||||||
template <class T, class U,
|
|
||||||
bool = std::is_const <std::remove_reference_t <T>>::value>
|
|
||||||
struct apply_const
|
|
||||||
{
|
|
||||||
typedef U type;
|
|
||||||
};
|
|
||||||
|
|
||||||
template <class T, class U>
|
|
||||||
struct apply_const <T, U, true>
|
|
||||||
{
|
|
||||||
typedef const U type;
|
|
||||||
};
|
|
||||||
|
|
||||||
// is_contiguous is true if C is a contiguous container
|
|
||||||
template <class C>
|
|
||||||
struct is_contiguous
|
|
||||||
: public std::false_type
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
template <class C>
|
|
||||||
struct is_contiguous <C const>
|
|
||||||
: public is_contiguous <C>
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
template <class T, class Alloc>
|
|
||||||
struct is_contiguous <std::vector <T, Alloc>>
|
|
||||||
: public std::true_type
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
template <class CharT, class Traits, class Alloc>
|
|
||||||
struct is_contiguous <std::basic_string<
|
|
||||||
CharT, Traits, Alloc>>
|
|
||||||
: public std::true_type
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
template <class T, std::size_t N>
|
|
||||||
struct is_contiguous <std::array<T, N>>
|
|
||||||
: public std::true_type
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
// True if T is const or U is not const
|
|
||||||
template <class T, class U>
|
|
||||||
struct buffer_view_const_compatible : std::integral_constant <bool,
|
|
||||||
std::is_const<T>::value || ! std::is_const<U>::value
|
|
||||||
>
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
// True if T and U are the same or differ only in const, or
|
|
||||||
// if T and U are equally sized integral types.
|
|
||||||
template <class T, class U>
|
|
||||||
struct buffer_view_ptr_compatible : std::integral_constant <bool,
|
|
||||||
(std::is_same <std::remove_const <T>, std::remove_const <U>>::value) ||
|
|
||||||
(std::is_integral <T>::value && std::is_integral <U>::value &&
|
|
||||||
sizeof (U) == sizeof (T))
|
|
||||||
>
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
// Determine if buffer_view <T, ..> is constructible from U*
|
|
||||||
template <class T, class U>
|
|
||||||
struct buffer_view_convertible : std::integral_constant <bool,
|
|
||||||
buffer_view_const_compatible <T, U>::value &&
|
|
||||||
buffer_view_ptr_compatible <T, U>::value
|
|
||||||
>
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
// True if C is a container that can be used to construct a buffer_view<T>
|
|
||||||
template <class T, class C>
|
|
||||||
struct buffer_view_container_compatible : std::integral_constant <bool,
|
|
||||||
is_contiguous <C>::value && buffer_view_convertible <T,
|
|
||||||
typename apply_const <C, typename C::value_type>::type>::value
|
|
||||||
>
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
} // detail
|
|
||||||
|
|
||||||
struct buffer_view_default_tag
|
|
||||||
{
|
|
||||||
};
|
|
||||||
|
|
||||||
//------------------------------------------------------------------------------
|
|
||||||
|
|
||||||
/** A view into a range of contiguous container elements.
|
|
||||||
|
|
||||||
The size of the view is determined at the time of construction.
|
|
||||||
This tries to emulate the interface of std::vector as closely as possible,
|
|
||||||
with the constraint that the size of the container cannot be changed.
|
|
||||||
|
|
||||||
@tparam T The underlying element type. If T is const, member functions
|
|
||||||
which can modify elements are removed from the interface.
|
|
||||||
|
|
||||||
@tparam Tag A type used to prevent two views with the same T from being
|
|
||||||
comparable or assignable.
|
|
||||||
*/
|
|
||||||
template <
|
|
||||||
class T,
|
|
||||||
class Tag = buffer_view_default_tag
|
|
||||||
>
|
|
||||||
class buffer_view
|
|
||||||
{
|
|
||||||
private:
|
|
||||||
T* m_base;
|
|
||||||
std::size_t m_size;
|
|
||||||
|
|
||||||
static_assert (std::is_same <T, std::remove_reference_t <T>>::value,
|
|
||||||
"T may not be a reference type");
|
|
||||||
|
|
||||||
static_assert (! std::is_same <T, void>::value,
|
|
||||||
"T may not be void");
|
|
||||||
|
|
||||||
static_assert (std::is_same <std::add_const_t <T>,
|
|
||||||
std::remove_reference_t <T> const>::value,
|
|
||||||
"Expected std::add_const to produce T const");
|
|
||||||
|
|
||||||
template <class Iter>
|
|
||||||
void
|
|
||||||
assign (Iter first, Iter last) noexcept
|
|
||||||
{
|
|
||||||
typedef typename std::iterator_traits <Iter>::value_type U;
|
|
||||||
|
|
||||||
static_assert (detail::buffer_view_const_compatible <T, U>::value,
|
|
||||||
"Cannot convert from 'U const' to 'T', "
|
|
||||||
"conversion loses const qualifiers");
|
|
||||||
|
|
||||||
static_assert (detail::buffer_view_ptr_compatible <T, U>::value,
|
|
||||||
"Cannot convert from 'U*' to 'T*, "
|
|
||||||
"types are incompatible");
|
|
||||||
|
|
||||||
if (first == last)
|
|
||||||
{
|
|
||||||
m_base = nullptr;
|
|
||||||
m_size = 0;
|
|
||||||
}
|
|
||||||
else
|
|
||||||
{
|
|
||||||
#if 0
|
|
||||||
// fails on gcc
|
|
||||||
m_base = reinterpret_cast <T*> (
|
|
||||||
std::addressof (*first));
|
|
||||||
#else
|
|
||||||
m_base = reinterpret_cast <T*> (&*first);
|
|
||||||
#endif
|
|
||||||
m_size = std::distance (first, last);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
public:
|
|
||||||
typedef T value_type;
|
|
||||||
typedef std::size_t size_type;
|
|
||||||
typedef std::ptrdiff_t difference_type;
|
|
||||||
typedef T& reference;
|
|
||||||
typedef T const& const_reference;
|
|
||||||
typedef T* pointer;
|
|
||||||
typedef T const* const_pointer;
|
|
||||||
typedef T* iterator;
|
|
||||||
typedef T const* const_iterator;
|
|
||||||
typedef std::reverse_iterator <iterator> reverse_iterator;
|
|
||||||
typedef std::reverse_iterator <const_iterator> const_reverse_iterator;
|
|
||||||
|
|
||||||
// default construct
|
|
||||||
buffer_view () noexcept
|
|
||||||
: m_base (nullptr)
|
|
||||||
, m_size (0)
|
|
||||||
{
|
|
||||||
}
|
|
||||||
|
|
||||||
// copy construct
|
|
||||||
template <class U,
|
|
||||||
class = std::enable_if_t <
|
|
||||||
detail::buffer_view_convertible <T, U>::value>
|
|
||||||
>
|
|
||||||
buffer_view (buffer_view <U, Tag> v) noexcept
|
|
||||||
{
|
|
||||||
assign (v.begin(), v.end());
|
|
||||||
}
|
|
||||||
|
|
||||||
// construct from container
|
|
||||||
template <class C,
|
|
||||||
class = std::enable_if_t <
|
|
||||||
detail::buffer_view_container_compatible <T, C>::value
|
|
||||||
>
|
|
||||||
>
|
|
||||||
buffer_view (C& c) noexcept
|
|
||||||
{
|
|
||||||
assign (c.begin(), c.end());
|
|
||||||
}
|
|
||||||
|
|
||||||
// construct from pointer range
|
|
||||||
template <class U,
|
|
||||||
class = std::enable_if_t <
|
|
||||||
detail::buffer_view_convertible <T, U>::value>
|
|
||||||
>
|
|
||||||
buffer_view (U* first, U* last) noexcept
|
|
||||||
{
|
|
||||||
assign (first, last);
|
|
||||||
}
|
|
||||||
|
|
||||||
// construct from base and size
|
|
||||||
template <class U,
|
|
||||||
class = std::enable_if_t <
|
|
||||||
detail::buffer_view_convertible <T, U>::value>
|
|
||||||
>
|
|
||||||
buffer_view (U* u, std::size_t n) noexcept
|
|
||||||
: m_base (u)
|
|
||||||
, m_size (n)
|
|
||||||
{
|
|
||||||
}
|
|
||||||
|
|
||||||
// assign from container
|
|
||||||
template <class C,
|
|
||||||
class = std::enable_if_t <
|
|
||||||
detail::buffer_view_container_compatible <T, C>::value
|
|
||||||
>
|
|
||||||
>
|
|
||||||
buffer_view&
|
|
||||||
operator= (C& c) noexcept
|
|
||||||
{
|
|
||||||
assign (c.begin(), c.end());
|
|
||||||
return *this;
|
|
||||||
}
|
|
||||||
|
|
||||||
//
|
|
||||||
// Element access
|
|
||||||
//
|
|
||||||
|
|
||||||
reference
|
|
||||||
at (size_type pos)
|
|
||||||
{
|
|
||||||
if (! (pos < size()))
|
|
||||||
throw std::out_of_range ("bad array index");
|
|
||||||
return m_base [pos];
|
|
||||||
}
|
|
||||||
|
|
||||||
const_reference
|
|
||||||
at (size_type pos) const
|
|
||||||
{
|
|
||||||
if (! (pos < size()))
|
|
||||||
throw std::out_of_range ("bad array index");
|
|
||||||
return m_base [pos];
|
|
||||||
}
|
|
||||||
|
|
||||||
reference
|
|
||||||
operator[] (size_type pos) noexcept
|
|
||||||
{
|
|
||||||
return m_base [pos];
|
|
||||||
}
|
|
||||||
|
|
||||||
const_reference
|
|
||||||
operator[] (size_type pos) const noexcept
|
|
||||||
{
|
|
||||||
return m_base [pos];
|
|
||||||
}
|
|
||||||
|
|
||||||
reference
|
|
||||||
back() noexcept
|
|
||||||
{
|
|
||||||
return m_base [m_size - 1];
|
|
||||||
}
|
|
||||||
|
|
||||||
const_reference
|
|
||||||
back() const noexcept
|
|
||||||
{
|
|
||||||
return m_base [m_size - 1];
|
|
||||||
}
|
|
||||||
|
|
||||||
reference
|
|
||||||
front() noexcept
|
|
||||||
{
|
|
||||||
return *m_base;
|
|
||||||
}
|
|
||||||
|
|
||||||
const_reference
|
|
||||||
front() const noexcept
|
|
||||||
{
|
|
||||||
return *m_base;
|
|
||||||
}
|
|
||||||
|
|
||||||
pointer
|
|
||||||
data() noexcept
|
|
||||||
{
|
|
||||||
return m_base;
|
|
||||||
}
|
|
||||||
|
|
||||||
const_pointer
|
|
||||||
data() const noexcept
|
|
||||||
{
|
|
||||||
return m_base;
|
|
||||||
}
|
|
||||||
|
|
||||||
//
|
|
||||||
// Iterators
|
|
||||||
//
|
|
||||||
|
|
||||||
iterator
|
|
||||||
begin() noexcept
|
|
||||||
{
|
|
||||||
return m_base;
|
|
||||||
}
|
|
||||||
|
|
||||||
const_iterator
|
|
||||||
begin() const noexcept
|
|
||||||
{
|
|
||||||
return m_base;
|
|
||||||
}
|
|
||||||
|
|
||||||
const_iterator
|
|
||||||
cbegin() const noexcept
|
|
||||||
{
|
|
||||||
return m_base;
|
|
||||||
}
|
|
||||||
|
|
||||||
iterator
|
|
||||||
end() noexcept
|
|
||||||
{
|
|
||||||
return m_base + m_size;
|
|
||||||
}
|
|
||||||
|
|
||||||
const_iterator
|
|
||||||
end() const noexcept
|
|
||||||
{
|
|
||||||
return m_base + m_size;
|
|
||||||
}
|
|
||||||
|
|
||||||
const_iterator
|
|
||||||
cend() const noexcept
|
|
||||||
{
|
|
||||||
return m_base + m_size;
|
|
||||||
}
|
|
||||||
|
|
||||||
reverse_iterator
|
|
||||||
rbegin() noexcept
|
|
||||||
{
|
|
||||||
return reverse_iterator (end());
|
|
||||||
}
|
|
||||||
|
|
||||||
const_reverse_iterator
|
|
||||||
rbegin() const noexcept
|
|
||||||
{
|
|
||||||
return const_reverse_iterator (cend());
|
|
||||||
}
|
|
||||||
|
|
||||||
const_reverse_iterator
|
|
||||||
crbegin() const noexcept
|
|
||||||
{
|
|
||||||
return const_reverse_iterator (cend());
|
|
||||||
}
|
|
||||||
|
|
||||||
reverse_iterator
|
|
||||||
rend() noexcept
|
|
||||||
{
|
|
||||||
return reverse_iterator (begin());
|
|
||||||
}
|
|
||||||
|
|
||||||
const_reverse_iterator
|
|
||||||
rend() const noexcept
|
|
||||||
{
|
|
||||||
return const_reverse_iterator (cbegin());
|
|
||||||
}
|
|
||||||
|
|
||||||
const_reverse_iterator
|
|
||||||
crend() const noexcept
|
|
||||||
{
|
|
||||||
return const_reverse_iterator (cbegin());
|
|
||||||
}
|
|
||||||
|
|
||||||
//
|
|
||||||
// Capacity
|
|
||||||
//
|
|
||||||
|
|
||||||
bool
|
|
||||||
empty() const noexcept
|
|
||||||
{
|
|
||||||
return m_size == 0;
|
|
||||||
}
|
|
||||||
|
|
||||||
size_type
|
|
||||||
size() const noexcept
|
|
||||||
{
|
|
||||||
return m_size;
|
|
||||||
}
|
|
||||||
|
|
||||||
size_type
|
|
||||||
max_size() const noexcept
|
|
||||||
{
|
|
||||||
return size();
|
|
||||||
}
|
|
||||||
|
|
||||||
size_type
|
|
||||||
capacity() const noexcept
|
|
||||||
{
|
|
||||||
return size();
|
|
||||||
}
|
|
||||||
|
|
||||||
//
|
|
||||||
// Modifiers
|
|
||||||
//
|
|
||||||
|
|
||||||
template <class U, class K>
|
|
||||||
friend void swap (buffer_view <U, K>& lhs,
|
|
||||||
buffer_view <U, K>& rhs) noexcept;
|
|
||||||
};
|
|
||||||
|
|
||||||
//------------------------------------------------------------------------------
|
|
||||||
|
|
||||||
template <class T, class Tag>
|
|
||||||
inline
|
|
||||||
bool
|
|
||||||
operator== (buffer_view <T, Tag> lhs, buffer_view <T, Tag> rhs)
|
|
||||||
{
|
|
||||||
return std::equal (
|
|
||||||
lhs.cbegin(), lhs.cend(), rhs.cbegin(), rhs.cend());
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class T, class Tag>
|
|
||||||
inline
|
|
||||||
bool
|
|
||||||
operator!= (buffer_view <T, Tag> lhs, buffer_view <T, Tag> rhs)
|
|
||||||
{
|
|
||||||
return ! (lhs == rhs);
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class T, class Tag>
|
|
||||||
inline
|
|
||||||
bool
|
|
||||||
operator< (buffer_view <T, Tag> lhs, buffer_view <T, Tag> rhs)
|
|
||||||
{
|
|
||||||
return std::lexicographical_compare (
|
|
||||||
lhs.cbegin(), lhs.cend(), rhs.cbegin(), rhs.cend());
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class T, class Tag>
|
|
||||||
inline
|
|
||||||
bool
|
|
||||||
operator>= (buffer_view <T, Tag> lhs, buffer_view <T, Tag> rhs)
|
|
||||||
{
|
|
||||||
return ! (lhs < rhs);
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class T, class Tag>
|
|
||||||
inline
|
|
||||||
bool
|
|
||||||
operator> (buffer_view <T, Tag> lhs, buffer_view <T, Tag> rhs)
|
|
||||||
{
|
|
||||||
return rhs < lhs;
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class T, class Tag>
|
|
||||||
inline
|
|
||||||
bool
|
|
||||||
operator<= (buffer_view <T, Tag> lhs, buffer_view <T, Tag> rhs)
|
|
||||||
{
|
|
||||||
return ! (rhs < lhs);
|
|
||||||
}
|
|
||||||
|
|
||||||
template <class T, class Tag>
|
|
||||||
inline
|
|
||||||
void
|
|
||||||
swap (buffer_view <T, Tag>& lhs, buffer_view <T, Tag>& rhs) noexcept
|
|
||||||
{
|
|
||||||
std::swap (lhs.m_base, rhs.m_base);
|
|
||||||
std::swap (lhs.m_size, rhs.m_size);
|
|
||||||
}
|
|
||||||
|
|
||||||
//------------------------------------------------------------------------------
|
|
||||||
|
|
||||||
template <
|
|
||||||
class T,
|
|
||||||
class Tag = buffer_view_default_tag
|
|
||||||
>
|
|
||||||
using const_buffer_view = buffer_view <
|
|
||||||
std::add_const_t <T>, Tag>;
|
|
||||||
|
|
||||||
}
|
|
||||||
|
|
||||||
#endif
|
|
||||||
@@ -1,320 +0,0 @@
|
|||||||
//------------------------------------------------------------------------------
|
|
||||||
/*
|
|
||||||
This file is part of Beast: https://github.com/vinniefalco/Beast
|
|
||||||
Copyright 2013, Vinnie Falco <vinnie.falco@gmail.com>
|
|
||||||
|
|
||||||
Permission to use, copy, modify, and/or distribute this software for any
|
|
||||||
purpose with or without fee is hereby granted, provided that the above
|
|
||||||
copyright notice and this permission notice appear in all copies.
|
|
||||||
|
|
||||||
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
||||||
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
||||||
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
||||||
ANY SPECIAL , DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
||||||
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
||||||
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
||||||
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
||||||
*/
|
|
||||||
//==============================================================================
|
|
||||||
|
|
||||||
#include <beast/unit_test/suite.h>
|
|
||||||
|
|
||||||
#include <beast/container/buffer_view.h>
|
|
||||||
|
|
||||||
#include <beast/cxx14/algorithm.h> // <algorithm>
|
|
||||||
|
|
||||||
namespace beast {
|
|
||||||
|
|
||||||
class buffer_view_test : public unit_test::suite
|
|
||||||
{
|
|
||||||
public:
|
|
||||||
// Returns `true` if the iterator distance matches the size
|
|
||||||
template <class FwdIt, class Size>
|
|
||||||
static bool eq_dist (FwdIt first, FwdIt last, Size size)
|
|
||||||
{
|
|
||||||
auto const dist (std::distance (first, last));
|
|
||||||
|
|
||||||
static_assert (std::is_signed <decltype (dist)>::value,
|
|
||||||
"dist must be signed");
|
|
||||||
|
|
||||||
if (dist < 0)
|
|
||||||
return false;
|
|
||||||
|
|
||||||
return static_cast <Size> (dist) == size;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Check the contents of a buffer_view against the container
|
|
||||||
template <class C, class T>
|
|
||||||
void check (C const& c, buffer_view <T> v)
|
|
||||||
{
|
|
||||||
expect (! v.empty() || c.empty());
|
|
||||||
expect (v.size() == c.size());
|
|
||||||
expect (v.max_size() == v.size());
|
|
||||||
expect (v.capacity() == v.size());
|
|
||||||
|
|
||||||
expect (eq_dist (v.begin(), v.end(), v.size()));
|
|
||||||
expect (eq_dist (v.cbegin(), v.cend(), v.size()));
|
|
||||||
expect (eq_dist (v.rbegin(), v.rend(), v.size()));
|
|
||||||
expect (eq_dist (v.crbegin(), v.crend(), v.size()));
|
|
||||||
|
|
||||||
expect (std::equal (
|
|
||||||
c.cbegin(), c.cend(), v.cbegin(), v.cend()));
|
|
||||||
|
|
||||||
expect (std::equal (
|
|
||||||
c.crbegin(), c.crend(), v.crbegin(), v.crend()));
|
|
||||||
|
|
||||||
if (v.size() == c.size())
|
|
||||||
{
|
|
||||||
if (! v.empty())
|
|
||||||
{
|
|
||||||
expect (v.front() == c.front());
|
|
||||||
expect (v.back() == c.back());
|
|
||||||
}
|
|
||||||
|
|
||||||
for (std::size_t i (0); i < v.size(); ++i)
|
|
||||||
expect (v[i] == c[i]);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
//--------------------------------------------------------------------------
|
|
||||||
|
|
||||||
// Call at() with an invalid index
|
|
||||||
template <class V>
|
|
||||||
void checkBadIndex (V& v,
|
|
||||||
std::enable_if_t <
|
|
||||||
std::is_const <typename V::value_type>::value>* = 0)
|
|
||||||
{
|
|
||||||
try
|
|
||||||
{
|
|
||||||
v.at(0);
|
|
||||||
fail();
|
|
||||||
}
|
|
||||||
catch (std::out_of_range e)
|
|
||||||
{
|
|
||||||
pass();
|
|
||||||
}
|
|
||||||
catch (...)
|
|
||||||
{
|
|
||||||
fail();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Call at() with an invalid index
|
|
||||||
template <class V>
|
|
||||||
void checkBadIndex (V& v,
|
|
||||||
std::enable_if_t <
|
|
||||||
! std::is_const <typename V::value_type>::value>* = 0)
|
|
||||||
{
|
|
||||||
try
|
|
||||||
{
|
|
||||||
v.at(0);
|
|
||||||
fail();
|
|
||||||
}
|
|
||||||
catch (std::out_of_range e)
|
|
||||||
{
|
|
||||||
pass();
|
|
||||||
}
|
|
||||||
catch (...)
|
|
||||||
{
|
|
||||||
fail();
|
|
||||||
}
|
|
||||||
|
|
||||||
try
|
|
||||||
{
|
|
||||||
v.at(0) = 1;
|
|
||||||
fail();
|
|
||||||
}
|
|
||||||
catch (std::out_of_range e)
|
|
||||||
{
|
|
||||||
pass();
|
|
||||||
}
|
|
||||||
catch (...)
|
|
||||||
{
|
|
||||||
fail();
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Checks invariants for an empty buffer_view
|
|
||||||
template <class V>
|
|
||||||
void checkEmpty (V& v)
|
|
||||||
{
|
|
||||||
expect (v.empty());
|
|
||||||
expect (v.size() == 0);
|
|
||||||
expect (v.max_size() == v.size());
|
|
||||||
expect (v.capacity() == v.size());
|
|
||||||
expect (v.begin() == v.end());
|
|
||||||
expect (v.cbegin() == v.cend());
|
|
||||||
expect (v.begin() == v.cend());
|
|
||||||
expect (v.rbegin() == v.rend());
|
|
||||||
expect (v.crbegin() == v.rend());
|
|
||||||
|
|
||||||
checkBadIndex (v);
|
|
||||||
}
|
|
||||||
|
|
||||||
// Test empty containers
|
|
||||||
void testEmpty()
|
|
||||||
{
|
|
||||||
testcase ("empty");
|
|
||||||
|
|
||||||
buffer_view <char> v1;
|
|
||||||
checkEmpty (v1);
|
|
||||||
|
|
||||||
buffer_view <char> v2;
|
|
||||||
swap (v1, v2);
|
|
||||||
checkEmpty (v1);
|
|
||||||
checkEmpty (v2);
|
|
||||||
|
|
||||||
buffer_view <char const> v3 (v2);
|
|
||||||
checkEmpty (v3);
|
|
||||||
}
|
|
||||||
|
|
||||||
//--------------------------------------------------------------------------
|
|
||||||
|
|
||||||
// Construct const views from a container
|
|
||||||
template <class C>
|
|
||||||
void testConstructConst (C const& c)
|
|
||||||
{
|
|
||||||
typedef buffer_view <std::add_const_t <
|
|
||||||
typename C::value_type>> V;
|
|
||||||
|
|
||||||
{
|
|
||||||
// construct from container
|
|
||||||
V v (c);
|
|
||||||
check (c, v);
|
|
||||||
|
|
||||||
// construct from buffer_view
|
|
||||||
V v2 (v);
|
|
||||||
check (c, v2);
|
|
||||||
}
|
|
||||||
|
|
||||||
if (! c.empty())
|
|
||||||
{
|
|
||||||
{
|
|
||||||
// construct from const pointer range
|
|
||||||
V v (&c.front(), &c.back()+1);
|
|
||||||
check (c, v);
|
|
||||||
|
|
||||||
// construct from pointer and size
|
|
||||||
V v2 (&c.front(), c.size());
|
|
||||||
check (v, v2);
|
|
||||||
}
|
|
||||||
|
|
||||||
{
|
|
||||||
// construct from non const pointer range
|
|
||||||
C cp (c);
|
|
||||||
V v (&cp.front(), &cp.back()+1);
|
|
||||||
check (cp, v);
|
|
||||||
|
|
||||||
// construct from pointer and size
|
|
||||||
V v2 (&cp.front(), cp.size());
|
|
||||||
check (v, v2);
|
|
||||||
|
|
||||||
// construct from data and size
|
|
||||||
V v3 (v2.data(), v2.size());
|
|
||||||
check (c, v3);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
// Construct view from a container
|
|
||||||
template <class C>
|
|
||||||
void testConstruct (C const& c)
|
|
||||||
{
|
|
||||||
static_assert (! std::is_const <typename C::value_type>::value,
|
|
||||||
"Container value_type cannot be const");
|
|
||||||
|
|
||||||
testConstructConst (c);
|
|
||||||
|
|
||||||
typedef buffer_view <typename C::value_type> V;
|
|
||||||
|
|
||||||
C cp (c);
|
|
||||||
V v (cp);
|
|
||||||
check (cp, v);
|
|
||||||
|
|
||||||
std::reverse (v.begin(), v.end());
|
|
||||||
check (cp, v);
|
|
||||||
|
|
||||||
expect (std::equal (v.rbegin(), v.rend(),
|
|
||||||
c.begin(), c.end()));
|
|
||||||
}
|
|
||||||
|
|
||||||
void testConstruct()
|
|
||||||
{
|
|
||||||
testcase ("std::vector <char>");
|
|
||||||
testConstruct (
|
|
||||||
std::vector <char> ({'h', 'e', 'l', 'l', 'o'}));
|
|
||||||
|
|
||||||
testcase ("std::string <char>");
|
|
||||||
testConstruct (
|
|
||||||
std::basic_string <char> ("hello"));
|
|
||||||
}
|
|
||||||
|
|
||||||
//--------------------------------------------------------------------------
|
|
||||||
|
|
||||||
void testCoerce()
|
|
||||||
{
|
|
||||||
testcase ("coerce");
|
|
||||||
|
|
||||||
std::string const s ("hello");
|
|
||||||
const_buffer_view <unsigned char> v (s);
|
|
||||||
|
|
||||||
pass();
|
|
||||||
}
|
|
||||||
|
|
||||||
//--------------------------------------------------------------------------
|
|
||||||
|
|
||||||
void testAssign()
|
|
||||||
{
|
|
||||||
testcase ("testAssign");
|
|
||||||
std::vector <int> v1({1, 2, 3});
|
|
||||||
buffer_view<int> r1(v1);
|
|
||||||
std::vector <int> v2({4, 5, 6, 7});
|
|
||||||
buffer_view<int> r2(v2);
|
|
||||||
r1 = r2;
|
|
||||||
expect (std::equal (r1.begin(), r1.end(), v2.begin(), v2.end()));
|
|
||||||
}
|
|
||||||
|
|
||||||
//--------------------------------------------------------------------------
|
|
||||||
|
|
||||||
static_assert (std::is_constructible <buffer_view <int>,
|
|
||||||
std::vector <int>&>::value, "");
|
|
||||||
|
|
||||||
static_assert (!std::is_constructible <buffer_view <int>,
|
|
||||||
std::vector <int> const&>::value, "");
|
|
||||||
|
|
||||||
static_assert (std::is_constructible <buffer_view <int const>,
|
|
||||||
std::vector <int>&>::value, "");
|
|
||||||
|
|
||||||
static_assert (std::is_constructible <buffer_view <int const>,
|
|
||||||
std::vector <int> const&>::value, "");
|
|
||||||
|
|
||||||
static_assert (std::is_nothrow_default_constructible <
|
|
||||||
buffer_view <int>>::value, "");
|
|
||||||
|
|
||||||
static_assert (std::is_nothrow_destructible <
|
|
||||||
buffer_view <int>>::value, "");
|
|
||||||
|
|
||||||
static_assert (std::is_nothrow_copy_constructible <
|
|
||||||
buffer_view <int>>::value, "");
|
|
||||||
|
|
||||||
static_assert (std::is_nothrow_copy_assignable <
|
|
||||||
buffer_view<int>>::value, "");
|
|
||||||
|
|
||||||
static_assert (std::is_nothrow_move_constructible <
|
|
||||||
buffer_view <int>>::value, "");
|
|
||||||
|
|
||||||
static_assert (std::is_nothrow_move_assignable <
|
|
||||||
buffer_view <int>>::value, "");
|
|
||||||
|
|
||||||
void run()
|
|
||||||
{
|
|
||||||
testEmpty();
|
|
||||||
testConstruct();
|
|
||||||
testCoerce();
|
|
||||||
testAssign();
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
BEAST_DEFINE_TESTSUITE(buffer_view,container,beast);
|
|
||||||
|
|
||||||
}
|
|
||||||
Reference in New Issue
Block a user