jacqueline
12 months ago
parent
f852e44715
commit
a231fd1c8a
@ -1,5 +0,0 @@ |
|||||||
# Copyright 2023 jacqueline <me@jacqueline.id.au> |
|
||||||
# |
|
||||||
# SPDX-License-Identifier: GPL-3.0-only |
|
||||||
|
|
||||||
idf_component_register(INCLUDE_DIRS "include") |
|
||||||
@ -1,23 +0,0 @@ |
|||||||
Boost Software License - Version 1.0 - August 17th, 2003 |
|
||||||
|
|
||||||
Permission is hereby granted, free of charge, to any person or organization |
|
||||||
obtaining a copy of the software and accompanying documentation covered by |
|
||||||
this license (the "Software") to use, reproduce, display, distribute, |
|
||||||
execute, and transmit the Software, and to prepare derivative works of the |
|
||||||
Software, and to permit third-parties to whom the Software is furnished to |
|
||||||
do so, all subject to the following: |
|
||||||
|
|
||||||
The copyright notices in the Software and this entire statement, including |
|
||||||
the above license grant, this restriction and the following disclaimer, |
|
||||||
must be included in all copies of the Software, in whole or in part, and |
|
||||||
all derivative works of the Software, unless such copies or derivative |
|
||||||
works are solely in the form of machine-executable object code generated by |
|
||||||
a source language processor. |
|
||||||
|
|
||||||
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
|
||||||
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
|
||||||
FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT |
|
||||||
SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE |
|
||||||
FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, |
|
||||||
ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
|
||||||
DEALINGS IN THE SOFTWARE. |
|
||||||
@ -1,618 +0,0 @@ |
|||||||
|
|
||||||
/*
|
|
||||||
This is an implementation of C++20's std::span |
|
||||||
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/n4820.pdf
|
|
||||||
*/ |
|
||||||
|
|
||||||
// Copyright Tristan Brindle 2018.
|
|
||||||
// Distributed under the Boost Software License, Version 1.0.
|
|
||||||
// (See accompanying file ../../LICENSE_1_0.txt or copy at
|
|
||||||
// https://www.boost.org/LICENSE_1_0.txt)
|
|
||||||
|
|
||||||
#ifndef TCB_SPAN_HPP_INCLUDED |
|
||||||
#define TCB_SPAN_HPP_INCLUDED |
|
||||||
|
|
||||||
#include <array> |
|
||||||
#include <cstddef> |
|
||||||
#include <cstdint> |
|
||||||
#include <type_traits> |
|
||||||
|
|
||||||
#ifndef TCB_SPAN_NO_EXCEPTIONS |
|
||||||
// Attempt to discover whether we're being compiled with exception support
|
|
||||||
#if !(defined(__cpp_exceptions) || defined(__EXCEPTIONS) || defined(_CPPUNWIND)) |
|
||||||
#define TCB_SPAN_NO_EXCEPTIONS |
|
||||||
#endif |
|
||||||
#endif |
|
||||||
|
|
||||||
#ifndef TCB_SPAN_NO_EXCEPTIONS |
|
||||||
#include <cstdio> |
|
||||||
#include <stdexcept> |
|
||||||
#endif |
|
||||||
|
|
||||||
// Various feature test macros
|
|
||||||
|
|
||||||
#ifndef TCB_SPAN_NAMESPACE_NAME |
|
||||||
#define TCB_SPAN_NAMESPACE_NAME tcb |
|
||||||
#endif |
|
||||||
|
|
||||||
#if __cplusplus >= 201703L || (defined(_MSVC_LANG) && _MSVC_LANG >= 201703L) |
|
||||||
#define TCB_SPAN_HAVE_CPP17 |
|
||||||
#endif |
|
||||||
|
|
||||||
#if __cplusplus >= 201402L || (defined(_MSVC_LANG) && _MSVC_LANG >= 201402L) |
|
||||||
#define TCB_SPAN_HAVE_CPP14 |
|
||||||
#endif |
|
||||||
|
|
||||||
namespace TCB_SPAN_NAMESPACE_NAME { |
|
||||||
|
|
||||||
// Establish default contract checking behavior
|
|
||||||
#if !defined(TCB_SPAN_THROW_ON_CONTRACT_VIOLATION) && \ |
|
||||||
!defined(TCB_SPAN_TERMINATE_ON_CONTRACT_VIOLATION) && \
|
|
||||||
!defined(TCB_SPAN_NO_CONTRACT_CHECKING) |
|
||||||
#if defined(NDEBUG) || !defined(TCB_SPAN_HAVE_CPP14) |
|
||||||
#define TCB_SPAN_NO_CONTRACT_CHECKING |
|
||||||
#else |
|
||||||
#define TCB_SPAN_TERMINATE_ON_CONTRACT_VIOLATION |
|
||||||
#endif |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_THROW_ON_CONTRACT_VIOLATION) |
|
||||||
struct contract_violation_error : std::logic_error { |
|
||||||
explicit contract_violation_error(const char* msg) : std::logic_error(msg) |
|
||||||
{} |
|
||||||
}; |
|
||||||
|
|
||||||
inline void contract_violation(const char* msg) |
|
||||||
{ |
|
||||||
throw contract_violation_error(msg); |
|
||||||
} |
|
||||||
|
|
||||||
#elif defined(TCB_SPAN_TERMINATE_ON_CONTRACT_VIOLATION) |
|
||||||
[[noreturn]] inline void contract_violation(const char* /*unused*/) |
|
||||||
{ |
|
||||||
std::terminate(); |
|
||||||
} |
|
||||||
#endif |
|
||||||
|
|
||||||
#if !defined(TCB_SPAN_NO_CONTRACT_CHECKING) |
|
||||||
#define TCB_SPAN_STRINGIFY(cond) #cond |
|
||||||
#define TCB_SPAN_EXPECT(cond) \ |
|
||||||
cond ? (void) 0 : contract_violation("Expected " TCB_SPAN_STRINGIFY(cond)) |
|
||||||
#else |
|
||||||
#define TCB_SPAN_EXPECT(cond) |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP17) || defined(__cpp_inline_variables) |
|
||||||
#define TCB_SPAN_INLINE_VAR inline |
|
||||||
#else |
|
||||||
#define TCB_SPAN_INLINE_VAR |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP14) || \ |
|
||||||
(defined(__cpp_constexpr) && __cpp_constexpr >= 201304) |
|
||||||
#define TCB_SPAN_HAVE_CPP14_CONSTEXPR |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP14_CONSTEXPR) |
|
||||||
#define TCB_SPAN_CONSTEXPR14 constexpr |
|
||||||
#else |
|
||||||
#define TCB_SPAN_CONSTEXPR14 |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP14_CONSTEXPR) && \ |
|
||||||
(!defined(_MSC_VER) || _MSC_VER > 1900) |
|
||||||
#define TCB_SPAN_CONSTEXPR_ASSIGN constexpr |
|
||||||
#else |
|
||||||
#define TCB_SPAN_CONSTEXPR_ASSIGN |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_NO_CONTRACT_CHECKING) |
|
||||||
#define TCB_SPAN_CONSTEXPR11 constexpr |
|
||||||
#else |
|
||||||
#define TCB_SPAN_CONSTEXPR11 TCB_SPAN_CONSTEXPR14 |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP17) || defined(__cpp_deduction_guides) |
|
||||||
#define TCB_SPAN_HAVE_DEDUCTION_GUIDES |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP17) || defined(__cpp_lib_byte) |
|
||||||
#define TCB_SPAN_HAVE_STD_BYTE |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP17) || defined(__cpp_lib_array_constexpr) |
|
||||||
#define TCB_SPAN_HAVE_CONSTEXPR_STD_ARRAY_ETC |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CONSTEXPR_STD_ARRAY_ETC) |
|
||||||
#define TCB_SPAN_ARRAY_CONSTEXPR constexpr |
|
||||||
#else |
|
||||||
#define TCB_SPAN_ARRAY_CONSTEXPR |
|
||||||
#endif |
|
||||||
|
|
||||||
#ifdef TCB_SPAN_HAVE_STD_BYTE |
|
||||||
using byte = std::byte; |
|
||||||
#else |
|
||||||
using byte = unsigned char; |
|
||||||
#endif |
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP17) |
|
||||||
#define TCB_SPAN_NODISCARD [[nodiscard]] |
|
||||||
#else |
|
||||||
#define TCB_SPAN_NODISCARD |
|
||||||
#endif |
|
||||||
|
|
||||||
TCB_SPAN_INLINE_VAR constexpr std::size_t dynamic_extent = SIZE_MAX; |
|
||||||
|
|
||||||
template <typename ElementType, std::size_t Extent = dynamic_extent> |
|
||||||
class span; |
|
||||||
|
|
||||||
namespace detail { |
|
||||||
|
|
||||||
template <typename E, std::size_t S> |
|
||||||
struct span_storage { |
|
||||||
constexpr span_storage() noexcept = default; |
|
||||||
|
|
||||||
constexpr span_storage(E* p_ptr, std::size_t /*unused*/) noexcept |
|
||||||
: ptr(p_ptr) |
|
||||||
{} |
|
||||||
|
|
||||||
E* ptr = nullptr; |
|
||||||
static constexpr std::size_t size = S; |
|
||||||
}; |
|
||||||
|
|
||||||
template <typename E> |
|
||||||
struct span_storage<E, dynamic_extent> { |
|
||||||
constexpr span_storage() noexcept = default; |
|
||||||
|
|
||||||
constexpr span_storage(E* p_ptr, std::size_t p_size) noexcept |
|
||||||
: ptr(p_ptr), size(p_size) |
|
||||||
{} |
|
||||||
|
|
||||||
E* ptr = nullptr; |
|
||||||
std::size_t size = 0; |
|
||||||
}; |
|
||||||
|
|
||||||
// Reimplementation of C++17 std::size() and std::data()
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP17) || \ |
|
||||||
defined(__cpp_lib_nonmember_container_access) |
|
||||||
using std::data; |
|
||||||
using std::size; |
|
||||||
#else |
|
||||||
template <class C> |
|
||||||
constexpr auto size(const C& c) -> decltype(c.size()) |
|
||||||
{ |
|
||||||
return c.size(); |
|
||||||
} |
|
||||||
|
|
||||||
template <class T, std::size_t N> |
|
||||||
constexpr std::size_t size(const T (&)[N]) noexcept |
|
||||||
{ |
|
||||||
return N; |
|
||||||
} |
|
||||||
|
|
||||||
template <class C> |
|
||||||
constexpr auto data(C& c) -> decltype(c.data()) |
|
||||||
{ |
|
||||||
return c.data(); |
|
||||||
} |
|
||||||
|
|
||||||
template <class C> |
|
||||||
constexpr auto data(const C& c) -> decltype(c.data()) |
|
||||||
{ |
|
||||||
return c.data(); |
|
||||||
} |
|
||||||
|
|
||||||
template <class T, std::size_t N> |
|
||||||
constexpr T* data(T (&array)[N]) noexcept |
|
||||||
{ |
|
||||||
return array; |
|
||||||
} |
|
||||||
|
|
||||||
template <class E> |
|
||||||
constexpr const E* data(std::initializer_list<E> il) noexcept |
|
||||||
{ |
|
||||||
return il.begin(); |
|
||||||
} |
|
||||||
#endif // TCB_SPAN_HAVE_CPP17
|
|
||||||
|
|
||||||
#if defined(TCB_SPAN_HAVE_CPP17) || defined(__cpp_lib_void_t) |
|
||||||
using std::void_t; |
|
||||||
#else |
|
||||||
template <typename...> |
|
||||||
using void_t = void; |
|
||||||
#endif |
|
||||||
|
|
||||||
template <typename T> |
|
||||||
using uncvref_t = |
|
||||||
typename std::remove_cv<typename std::remove_reference<T>::type>::type; |
|
||||||
|
|
||||||
template <typename> |
|
||||||
struct is_span : std::false_type {}; |
|
||||||
|
|
||||||
template <typename T, std::size_t S> |
|
||||||
struct is_span<span<T, S>> : std::true_type {}; |
|
||||||
|
|
||||||
template <typename> |
|
||||||
struct is_std_array : std::false_type {}; |
|
||||||
|
|
||||||
template <typename T, std::size_t N> |
|
||||||
struct is_std_array<std::array<T, N>> : std::true_type {}; |
|
||||||
|
|
||||||
template <typename, typename = void> |
|
||||||
struct has_size_and_data : std::false_type {}; |
|
||||||
|
|
||||||
template <typename T> |
|
||||||
struct has_size_and_data<T, void_t<decltype(detail::size(std::declval<T>())), |
|
||||||
decltype(detail::data(std::declval<T>()))>> |
|
||||||
: std::true_type {}; |
|
||||||
|
|
||||||
template <typename C, typename U = uncvref_t<C>> |
|
||||||
struct is_container { |
|
||||||
static constexpr bool value = |
|
||||||
!is_span<U>::value && !is_std_array<U>::value && |
|
||||||
!std::is_array<U>::value && has_size_and_data<C>::value; |
|
||||||
}; |
|
||||||
|
|
||||||
template <typename T> |
|
||||||
using remove_pointer_t = typename std::remove_pointer<T>::type; |
|
||||||
|
|
||||||
template <typename, typename, typename = void> |
|
||||||
struct is_container_element_type_compatible : std::false_type {}; |
|
||||||
|
|
||||||
template <typename T, typename E> |
|
||||||
struct is_container_element_type_compatible< |
|
||||||
T, E, |
|
||||||
typename std::enable_if< |
|
||||||
!std::is_same< |
|
||||||
typename std::remove_cv<decltype(detail::data(std::declval<T>()))>::type, |
|
||||||
void>::value && |
|
||||||
std::is_convertible< |
|
||||||
remove_pointer_t<decltype(detail::data(std::declval<T>()))> (*)[], |
|
||||||
E (*)[]>::value |
|
||||||
>::type> |
|
||||||
: std::true_type {}; |
|
||||||
|
|
||||||
template <typename, typename = size_t> |
|
||||||
struct is_complete : std::false_type {}; |
|
||||||
|
|
||||||
template <typename T> |
|
||||||
struct is_complete<T, decltype(sizeof(T))> : std::true_type {}; |
|
||||||
|
|
||||||
} // namespace detail
|
|
||||||
|
|
||||||
template <typename ElementType, std::size_t Extent> |
|
||||||
class span { |
|
||||||
static_assert(std::is_object<ElementType>::value, |
|
||||||
"A span's ElementType must be an object type (not a " |
|
||||||
"reference type or void)"); |
|
||||||
static_assert(detail::is_complete<ElementType>::value, |
|
||||||
"A span's ElementType must be a complete type (not a forward " |
|
||||||
"declaration)"); |
|
||||||
static_assert(!std::is_abstract<ElementType>::value, |
|
||||||
"A span's ElementType cannot be an abstract class type"); |
|
||||||
|
|
||||||
using storage_type = detail::span_storage<ElementType, Extent>; |
|
||||||
|
|
||||||
public: |
|
||||||
// constants and types
|
|
||||||
using element_type = ElementType; |
|
||||||
using value_type = typename std::remove_cv<ElementType>::type; |
|
||||||
using size_type = std::size_t; |
|
||||||
using difference_type = std::ptrdiff_t; |
|
||||||
using pointer = element_type*; |
|
||||||
using const_pointer = const element_type*; |
|
||||||
using reference = element_type&; |
|
||||||
using const_reference = const element_type&; |
|
||||||
using iterator = pointer; |
|
||||||
using reverse_iterator = std::reverse_iterator<iterator>; |
|
||||||
|
|
||||||
static constexpr size_type extent = Extent; |
|
||||||
|
|
||||||
// [span.cons], span constructors, copy, assignment, and destructor
|
|
||||||
template < |
|
||||||
std::size_t E = Extent, |
|
||||||
typename std::enable_if<(E == dynamic_extent || E <= 0), int>::type = 0> |
|
||||||
constexpr span() noexcept |
|
||||||
{} |
|
||||||
|
|
||||||
TCB_SPAN_CONSTEXPR11 span(pointer ptr, size_type count) |
|
||||||
: storage_(ptr, count) |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(extent == dynamic_extent || count == extent); |
|
||||||
} |
|
||||||
|
|
||||||
TCB_SPAN_CONSTEXPR11 span(pointer first_elem, pointer last_elem) |
|
||||||
: storage_(first_elem, last_elem - first_elem) |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(extent == dynamic_extent || |
|
||||||
last_elem - first_elem == |
|
||||||
static_cast<std::ptrdiff_t>(extent)); |
|
||||||
} |
|
||||||
|
|
||||||
template <std::size_t N, std::size_t E = Extent, |
|
||||||
typename std::enable_if< |
|
||||||
(E == dynamic_extent || N == E) && |
|
||||||
detail::is_container_element_type_compatible< |
|
||||||
element_type (&)[N], ElementType>::value, |
|
||||||
int>::type = 0> |
|
||||||
constexpr span(element_type (&arr)[N]) noexcept : storage_(arr, N) |
|
||||||
{} |
|
||||||
|
|
||||||
template <typename T, std::size_t N, std::size_t E = Extent, |
|
||||||
typename std::enable_if< |
|
||||||
(E == dynamic_extent || N == E) && |
|
||||||
detail::is_container_element_type_compatible< |
|
||||||
std::array<T, N>&, ElementType>::value, |
|
||||||
int>::type = 0> |
|
||||||
TCB_SPAN_ARRAY_CONSTEXPR span(std::array<T, N>& arr) noexcept |
|
||||||
: storage_(arr.data(), N) |
|
||||||
{} |
|
||||||
|
|
||||||
template <typename T, std::size_t N, std::size_t E = Extent, |
|
||||||
typename std::enable_if< |
|
||||||
(E == dynamic_extent || N == E) && |
|
||||||
detail::is_container_element_type_compatible< |
|
||||||
const std::array<T, N>&, ElementType>::value, |
|
||||||
int>::type = 0> |
|
||||||
TCB_SPAN_ARRAY_CONSTEXPR span(const std::array<T, N>& arr) noexcept |
|
||||||
: storage_(arr.data(), N) |
|
||||||
{} |
|
||||||
|
|
||||||
template < |
|
||||||
typename Container, std::size_t E = Extent, |
|
||||||
typename std::enable_if< |
|
||||||
E == dynamic_extent && detail::is_container<Container>::value && |
|
||||||
detail::is_container_element_type_compatible< |
|
||||||
Container&, ElementType>::value, |
|
||||||
int>::type = 0> |
|
||||||
constexpr span(Container& cont) |
|
||||||
: storage_(detail::data(cont), detail::size(cont)) |
|
||||||
{} |
|
||||||
|
|
||||||
template < |
|
||||||
typename Container, std::size_t E = Extent, |
|
||||||
typename std::enable_if< |
|
||||||
E == dynamic_extent && detail::is_container<Container>::value && |
|
||||||
detail::is_container_element_type_compatible< |
|
||||||
const Container&, ElementType>::value, |
|
||||||
int>::type = 0> |
|
||||||
constexpr span(const Container& cont) |
|
||||||
: storage_(detail::data(cont), detail::size(cont)) |
|
||||||
{} |
|
||||||
|
|
||||||
constexpr span(const span& other) noexcept = default; |
|
||||||
|
|
||||||
template <typename OtherElementType, std::size_t OtherExtent, |
|
||||||
typename std::enable_if< |
|
||||||
(Extent == dynamic_extent || OtherExtent == dynamic_extent || |
|
||||||
Extent == OtherExtent) && |
|
||||||
std::is_convertible<OtherElementType (*)[], |
|
||||||
ElementType (*)[]>::value, |
|
||||||
int>::type = 0> |
|
||||||
constexpr span(const span<OtherElementType, OtherExtent>& other) noexcept |
|
||||||
: storage_(other.data(), other.size()) |
|
||||||
{} |
|
||||||
|
|
||||||
~span() noexcept = default; |
|
||||||
|
|
||||||
TCB_SPAN_CONSTEXPR_ASSIGN span& |
|
||||||
operator=(const span& other) noexcept = default; |
|
||||||
|
|
||||||
// [span.sub], span subviews
|
|
||||||
template <std::size_t Count> |
|
||||||
TCB_SPAN_CONSTEXPR11 span<element_type, Count> first() const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(Count <= size()); |
|
||||||
return {data(), Count}; |
|
||||||
} |
|
||||||
|
|
||||||
template <std::size_t Count> |
|
||||||
TCB_SPAN_CONSTEXPR11 span<element_type, Count> last() const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(Count <= size()); |
|
||||||
return {data() + (size() - Count), Count}; |
|
||||||
} |
|
||||||
|
|
||||||
template <std::size_t Offset, std::size_t Count = dynamic_extent> |
|
||||||
using subspan_return_t = |
|
||||||
span<ElementType, Count != dynamic_extent |
|
||||||
? Count |
|
||||||
: (Extent != dynamic_extent ? Extent - Offset |
|
||||||
: dynamic_extent)>; |
|
||||||
|
|
||||||
template <std::size_t Offset, std::size_t Count = dynamic_extent> |
|
||||||
TCB_SPAN_CONSTEXPR11 subspan_return_t<Offset, Count> subspan() const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(Offset <= size() && |
|
||||||
(Count == dynamic_extent || Offset + Count <= size())); |
|
||||||
return {data() + Offset, |
|
||||||
Count != dynamic_extent ? Count : size() - Offset}; |
|
||||||
} |
|
||||||
|
|
||||||
TCB_SPAN_CONSTEXPR11 span<element_type, dynamic_extent> |
|
||||||
first(size_type count) const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(count <= size()); |
|
||||||
return {data(), count}; |
|
||||||
} |
|
||||||
|
|
||||||
TCB_SPAN_CONSTEXPR11 span<element_type, dynamic_extent> |
|
||||||
last(size_type count) const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(count <= size()); |
|
||||||
return {data() + (size() - count), count}; |
|
||||||
} |
|
||||||
|
|
||||||
TCB_SPAN_CONSTEXPR11 span<element_type, dynamic_extent> |
|
||||||
subspan(size_type offset, size_type count = dynamic_extent) const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(offset <= size() && |
|
||||||
(count == dynamic_extent || offset + count <= size())); |
|
||||||
return {data() + offset, |
|
||||||
count == dynamic_extent ? size() - offset : count}; |
|
||||||
} |
|
||||||
|
|
||||||
// [span.obs], span observers
|
|
||||||
constexpr size_type size() const noexcept { return storage_.size; } |
|
||||||
|
|
||||||
constexpr size_type size_bytes() const noexcept |
|
||||||
{ |
|
||||||
return size() * sizeof(element_type); |
|
||||||
} |
|
||||||
|
|
||||||
TCB_SPAN_NODISCARD constexpr bool empty() const noexcept |
|
||||||
{ |
|
||||||
return size() == 0; |
|
||||||
} |
|
||||||
|
|
||||||
// [span.elem], span element access
|
|
||||||
TCB_SPAN_CONSTEXPR11 reference operator[](size_type idx) const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(idx < size()); |
|
||||||
return *(data() + idx); |
|
||||||
} |
|
||||||
|
|
||||||
TCB_SPAN_CONSTEXPR11 reference front() const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(!empty()); |
|
||||||
return *data(); |
|
||||||
} |
|
||||||
|
|
||||||
TCB_SPAN_CONSTEXPR11 reference back() const |
|
||||||
{ |
|
||||||
TCB_SPAN_EXPECT(!empty()); |
|
||||||
return *(data() + (size() - 1)); |
|
||||||
} |
|
||||||
|
|
||||||
constexpr pointer data() const noexcept { return storage_.ptr; } |
|
||||||
|
|
||||||
// [span.iterators], span iterator support
|
|
||||||
constexpr iterator begin() const noexcept { return data(); } |
|
||||||
|
|
||||||
constexpr iterator end() const noexcept { return data() + size(); } |
|
||||||
|
|
||||||
TCB_SPAN_ARRAY_CONSTEXPR reverse_iterator rbegin() const noexcept |
|
||||||
{ |
|
||||||
return reverse_iterator(end()); |
|
||||||
} |
|
||||||
|
|
||||||
TCB_SPAN_ARRAY_CONSTEXPR reverse_iterator rend() const noexcept |
|
||||||
{ |
|
||||||
return reverse_iterator(begin()); |
|
||||||
} |
|
||||||
|
|
||||||
private: |
|
||||||
storage_type storage_{}; |
|
||||||
}; |
|
||||||
|
|
||||||
#ifdef TCB_SPAN_HAVE_DEDUCTION_GUIDES |
|
||||||
|
|
||||||
/* Deduction Guides */ |
|
||||||
template <class T, size_t N> |
|
||||||
span(T (&)[N])->span<T, N>; |
|
||||||
|
|
||||||
template <class T, size_t N> |
|
||||||
span(std::array<T, N>&)->span<T, N>; |
|
||||||
|
|
||||||
template <class T, size_t N> |
|
||||||
span(const std::array<T, N>&)->span<const T, N>; |
|
||||||
|
|
||||||
template <class Container> |
|
||||||
span(Container&)->span<typename std::remove_reference< |
|
||||||
decltype(*detail::data(std::declval<Container&>()))>::type>; |
|
||||||
|
|
||||||
template <class Container> |
|
||||||
span(const Container&)->span<const typename Container::value_type>; |
|
||||||
|
|
||||||
#endif // TCB_HAVE_DEDUCTION_GUIDES
|
|
||||||
|
|
||||||
template <typename ElementType, std::size_t Extent> |
|
||||||
constexpr span<ElementType, Extent> |
|
||||||
make_span(span<ElementType, Extent> s) noexcept |
|
||||||
{ |
|
||||||
return s; |
|
||||||
} |
|
||||||
|
|
||||||
template <typename T, std::size_t N> |
|
||||||
constexpr span<T, N> make_span(T (&arr)[N]) noexcept |
|
||||||
{ |
|
||||||
return {arr}; |
|
||||||
} |
|
||||||
|
|
||||||
template <typename T, std::size_t N> |
|
||||||
TCB_SPAN_ARRAY_CONSTEXPR span<T, N> make_span(std::array<T, N>& arr) noexcept |
|
||||||
{ |
|
||||||
return {arr}; |
|
||||||
} |
|
||||||
|
|
||||||
template <typename T, std::size_t N> |
|
||||||
TCB_SPAN_ARRAY_CONSTEXPR span<const T, N> |
|
||||||
make_span(const std::array<T, N>& arr) noexcept |
|
||||||
{ |
|
||||||
return {arr}; |
|
||||||
} |
|
||||||
|
|
||||||
template <typename Container> |
|
||||||
constexpr span<typename std::remove_reference< |
|
||||||
decltype(*detail::data(std::declval<Container&>()))>::type> |
|
||||||
make_span(Container& cont) |
|
||||||
{ |
|
||||||
return {cont}; |
|
||||||
} |
|
||||||
|
|
||||||
template <typename Container> |
|
||||||
constexpr span<const typename Container::value_type> |
|
||||||
make_span(const Container& cont) |
|
||||||
{ |
|
||||||
return {cont}; |
|
||||||
} |
|
||||||
|
|
||||||
template <typename ElementType, std::size_t Extent> |
|
||||||
span<const byte, ((Extent == dynamic_extent) ? dynamic_extent |
|
||||||
: sizeof(ElementType) * Extent)> |
|
||||||
as_bytes(span<ElementType, Extent> s) noexcept |
|
||||||
{ |
|
||||||
return {reinterpret_cast<const byte*>(s.data()), s.size_bytes()}; |
|
||||||
} |
|
||||||
|
|
||||||
template < |
|
||||||
class ElementType, size_t Extent, |
|
||||||
typename std::enable_if<!std::is_const<ElementType>::value, int>::type = 0> |
|
||||||
span<byte, ((Extent == dynamic_extent) ? dynamic_extent |
|
||||||
: sizeof(ElementType) * Extent)> |
|
||||||
as_writable_bytes(span<ElementType, Extent> s) noexcept |
|
||||||
{ |
|
||||||
return {reinterpret_cast<byte*>(s.data()), s.size_bytes()}; |
|
||||||
} |
|
||||||
|
|
||||||
template <std::size_t N, typename E, std::size_t S> |
|
||||||
constexpr auto get(span<E, S> s) -> decltype(s[N]) |
|
||||||
{ |
|
||||||
return s[N]; |
|
||||||
} |
|
||||||
|
|
||||||
} // namespace TCB_SPAN_NAMESPACE_NAME
|
|
||||||
|
|
||||||
namespace std { |
|
||||||
|
|
||||||
template <typename ElementType, size_t Extent> |
|
||||||
class tuple_size<TCB_SPAN_NAMESPACE_NAME::span<ElementType, Extent>> |
|
||||||
: public integral_constant<size_t, Extent> {}; |
|
||||||
|
|
||||||
template <typename ElementType> |
|
||||||
class tuple_size<TCB_SPAN_NAMESPACE_NAME::span< |
|
||||||
ElementType, TCB_SPAN_NAMESPACE_NAME::dynamic_extent>>; // not defined
|
|
||||||
|
|
||||||
template <size_t I, typename ElementType, size_t Extent> |
|
||||||
class tuple_element<I, TCB_SPAN_NAMESPACE_NAME::span<ElementType, Extent>> { |
|
||||||
public: |
|
||||||
static_assert(Extent != TCB_SPAN_NAMESPACE_NAME::dynamic_extent && |
|
||||||
I < Extent, |
|
||||||
""); |
|
||||||
using type = ElementType; |
|
||||||
}; |
|
||||||
|
|
||||||
} // end namespace std
|
|
||||||
|
|
||||||
#endif // TCB_SPAN_HPP_INCLUDED
|
|
||||||
@ -1,5 +1,5 @@ |
|||||||
# Copyright 2023 jacqueline <me@jacqueline.id.au> |
# Copyright 2023 jacqueline <me@jacqueline.id.au> |
||||||
# |
# |
||||||
# SPDX-License-Identifier: GPL-3.0-only |
# SPDX-License-Identifier: GPL-3.0-only |
||||||
idf_component_register(SRCS "tasks.cpp" INCLUDE_DIRS "." REQUIRES "span" "memory") |
idf_component_register(SRCS "tasks.cpp" INCLUDE_DIRS "." REQUIRES "memory") |
||||||
target_compile_options(${COMPONENT_LIB} PRIVATE ${EXTRA_WARNINGS}) |
target_compile_options(${COMPONENT_LIB} PRIVATE ${EXTRA_WARNINGS}) |
||||||
|
|||||||
Loading…
Reference in new issue