14 #define CONSTEXPR_IF_NOT_DEBUG
15 #define ASSERT_IF_DEBUG(x) assert((x))
17 #define CONSTEXPR_IF_NOT_DEBUG constexpr
18 #define ASSERT_IF_DEBUG(x)
21 #if defined(__clang__)
22 #if __has_attribute(lifetimebound)
23 #define SPAN_ATTR_LIFETIMEBOUND [[clang::lifetimebound]]
25 #define SPAN_ATTR_LIFETIMEBOUND
28 #define SPAN_ATTR_LIFETIMEBOUND
113 template <
typename T,
typename std::enable_if<std::is_convertible<T (*)[], C (*)[]>::value,
int>::type = 0>
121 template <
typename T,
typename std::enable_if<std::is_convertible<T (*)[], C (*)[]>::value,
int>::type = 0>
135 template <
typename O,
typename std::enable_if<std::is_convertible<O (*)[], C (*)[]>::value,
int>::type = 0>
155 template <
typename V>
158 std::is_convertible<
typename std::remove_pointer<decltype(std::declval<V&>().
data())>::type (*)[], C (*)[]>::value &&
159 std::is_convertible<decltype(std::declval<V&>().
size()), std::size_t>::value, std::nullptr_t>::type =
nullptr)
162 template <
typename V>
165 std::is_convertible<
typename std::remove_pointer<decltype(std::declval<const V&>().
data())>::type (*)[], C (*)[]>::value &&
166 std::is_convertible<decltype(std::declval<const V&>().
size()), std::size_t>::value, std::nullptr_t>::type =
nullptr)
182 constexpr std::size_t
size() const noexcept {
return m_size; }
209 friend constexpr
bool operator==(
const Span& a,
const Span& b) noexcept {
return a.size() == b.size() && std::equal(a.begin(), a.end(), b.begin()); }
211 friend constexpr
bool operator<(
const Span& a,
const Span& b) noexcept {
return std::lexicographical_compare(a.begin(), a.end(), b.begin(), b.end()); }
216 template <
typename O>
friend class Span;
223 template <
typename V> constexpr
auto MakeSpan(V&& v
SPAN_ATTR_LIFETIMEBOUND) ->
typename std::enable_if<!std::is_lvalue_reference<V>::value,
Span<
const typename std::remove_pointer<decltype(v.data())>::type>>::type {
return std::forward<V>(v); }
228 template <
typename T>
239 inline unsigned char*
UCharCast(
char* c) {
return (
unsigned char*)c; }
240 inline unsigned char*
UCharCast(
unsigned char* c) {
return c; }
241 inline const unsigned char*
UCharCast(
const char* c) {
return (
unsigned char*)c; }
242 inline const unsigned char*
UCharCast(
const unsigned char* c) {
return c; }
A Span is an object that can refer to a contiguous sequence of objects.
constexpr std::size_t size() const noexcept
constexpr friend bool operator>=(const Span &a, const Span &b) noexcept
Span & operator=(const Span &other) noexcept=default
Default assignment operator.
constexpr friend bool operator>(const Span &a, const Span &b) noexcept
CONSTEXPR_IF_NOT_DEBUG Span< C > subspan(std::size_t offset, std::size_t count) const noexcept
constexpr Span(V &other SPAN_ATTR_LIFETIMEBOUND, typename std::enable_if<!is_Span< V >::value &&std::is_convertible< typename std::remove_pointer< decltype(std::declval< V & >().data())>::type(*)[], C(*)[]>::value &&std::is_convertible< decltype(std::declval< V & >().size()), std::size_t >::value, std::nullptr_t >::type=nullptr)
Construct a Span for objects with .data() and .size() (std::string, std::array, std::vector,...
CONSTEXPR_IF_NOT_DEBUG C & back() const noexcept
constexpr Span(C(&a)[N]) noexcept
Construct a Span from an array.
constexpr Span() noexcept
CONSTEXPR_IF_NOT_DEBUG C & front() const noexcept
constexpr C * data() const noexcept
constexpr Span(T *begin, std::size_t size) noexcept
Construct a span from a begin pointer and a size.
CONSTEXPR_IF_NOT_DEBUG Span(T *begin, T *end) noexcept
Construct a span from a begin and end pointer.
constexpr C * end() const noexcept
constexpr C * begin() const noexcept
constexpr Span(const Span &) noexcept=default
Default copy constructor.
constexpr Span(const V &other SPAN_ATTR_LIFETIMEBOUND, typename std::enable_if<!is_Span< V >::value &&std::is_convertible< typename std::remove_pointer< decltype(std::declval< const V & >().data())>::type(*)[], C(*)[]>::value &&std::is_convertible< decltype(std::declval< const V & >().size()), std::size_t >::value, std::nullptr_t >::type=nullptr)
CONSTEXPR_IF_NOT_DEBUG Span< C > last(std::size_t count) const noexcept
CONSTEXPR_IF_NOT_DEBUG Span< C > first(std::size_t count) const noexcept
CONSTEXPR_IF_NOT_DEBUG C & operator[](std::size_t pos) const noexcept
CONSTEXPR_IF_NOT_DEBUG Span< C > subspan(std::size_t offset) const noexcept
constexpr friend bool operator!=(const Span &a, const Span &b) noexcept
constexpr friend bool operator==(const Span &a, const Span &b) noexcept
constexpr Span(const Span< O > &other) noexcept
Implicit conversion of spans between compatible types.
constexpr friend bool operator<(const Span &a, const Span &b) noexcept
constexpr friend bool operator<=(const Span &a, const Span &b) noexcept
#define T(expected, seed, data)
#define ASSERT_IF_DEBUG(x)
constexpr Span< A > MakeSpan(A(&a)[N])
MakeSpan for arrays:
#define SPAN_ATTR_LIFETIMEBOUND
unsigned char * UCharCast(char *c)
constexpr auto UCharSpanCast(Span< T > s) -> Span< typename std::remove_pointer< decltype(UCharCast(s.data()))>::type >
#define CONSTEXPR_IF_NOT_DEBUG
T & SpanPopBack(Span< T > &span)
Pop the last element off a span, and return a reference to that element.
constexpr auto MakeUCharSpan(V &&v) -> decltype(UCharSpanCast(MakeSpan(std::forward< V >(v))))
Like MakeSpan, but for (const) unsigned char member types only.