Maxim Integrated / MaximInterface

Device interface library for multiple platforms including Mbed.

Dependents:   DeepCover Embedded Security in IoT MaximInterface MAXREFDES155#

Maxim Interface is a library framework focused on providing flexible and expressive hardware interfaces. Both communication interfaces such as I2C and 1-Wire and device interfaces such as DS18B20 are supported. Modern C++ concepts are used extensively while keeping compatibility with C++98/C++03 and requiring no external dependencies. The embedded-friendly design does not depend on exceptions or RTTI.

The full version of the project is hosted on GitLab: https://gitlab.com/iabenz/MaximInterface

MaximInterfaceCore/span.hpp@12:7eb41621ba22, 2020-05-29 (annotated)

Committer:
IanBenzMaxim
Date:
Fri May 29 16:19:22 2020 -0500
Revision:
12:7eb41621ba22
Parent:
11:3f3bf6bf5e6c 
Updated to version 2.2.

Who changed what in which revision?

UserRevisionLine numberNew contents of line
IanBenzMaxim 7:9cd16581b578 1 /*******************************************************************************
IanBenzMaxim 8:5ea891c7d1a1 2 * Copyright (C) Maxim Integrated Products, Inc., All Rights Reserved.
IanBenzMaxim 7:9cd16581b578 3 *
IanBenzMaxim 7:9cd16581b578 4 * Permission is hereby granted, free of charge, to any person obtaining a
IanBenzMaxim 7:9cd16581b578 5 * copy of this software and associated documentation files (the "Software"),
IanBenzMaxim 7:9cd16581b578 6 * to deal in the Software without restriction, including without limitation
IanBenzMaxim 7:9cd16581b578 7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
IanBenzMaxim 7:9cd16581b578 8 * and/or sell copies of the Software, and to permit persons to whom the
IanBenzMaxim 7:9cd16581b578 9 * Software is furnished to do so, subject to the following conditions:
IanBenzMaxim 7:9cd16581b578 10 *
IanBenzMaxim 7:9cd16581b578 11 * The above copyright notice and this permission notice shall be included
IanBenzMaxim 7:9cd16581b578 12 * in all copies or substantial portions of the Software.
IanBenzMaxim 7:9cd16581b578 13 *
IanBenzMaxim 7:9cd16581b578 14 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
IanBenzMaxim 7:9cd16581b578 15 * OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
IanBenzMaxim 7:9cd16581b578 16 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IanBenzMaxim 7:9cd16581b578 17 * IN NO EVENT SHALL MAXIM INTEGRATED BE LIABLE FOR ANY CLAIM, DAMAGES
IanBenzMaxim 7:9cd16581b578 18 * OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
IanBenzMaxim 7:9cd16581b578 19 * ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
IanBenzMaxim 7:9cd16581b578 20 * OTHER DEALINGS IN THE SOFTWARE.
IanBenzMaxim 7:9cd16581b578 21 *
IanBenzMaxim 7:9cd16581b578 22 * Except as contained in this notice, the name of Maxim Integrated
IanBenzMaxim 7:9cd16581b578 23 * Products, Inc. shall not be used except as stated in the Maxim Integrated
IanBenzMaxim 7:9cd16581b578 24 * Products, Inc. Branding Policy.
IanBenzMaxim 7:9cd16581b578 25 *
IanBenzMaxim 7:9cd16581b578 26 * The mere transfer of this software does not imply any licenses
IanBenzMaxim 7:9cd16581b578 27 * of trade secrets, proprietary technology, copyrights, patents,
IanBenzMaxim 7:9cd16581b578 28 * trademarks, maskwork rights, or any other form of intellectual
IanBenzMaxim 7:9cd16581b578 29 * property whatsoever. Maxim Integrated Products, Inc. retains all
IanBenzMaxim 7:9cd16581b578 30 * ownership rights.
IanBenzMaxim 7:9cd16581b578 31 *******************************************************************************/
IanBenzMaxim 7:9cd16581b578 32
IanBenzMaxim 8:5ea891c7d1a1 33 #ifndef MaximInterfaceCore_span_hpp
IanBenzMaxim 8:5ea891c7d1a1 34 #define MaximInterfaceCore_span_hpp
IanBenzMaxim 7:9cd16581b578 35
IanBenzMaxim 7:9cd16581b578 36 #include <stddef.h>
IanBenzMaxim 7:9cd16581b578 37 #include <iterator>
IanBenzMaxim 7:9cd16581b578 38 #include <vector>
IanBenzMaxim 7:9cd16581b578 39 #include "array.hpp"
IanBenzMaxim 7:9cd16581b578 40 #include "type_traits.hpp"
IanBenzMaxim 7:9cd16581b578 41
IanBenzMaxim 7:9cd16581b578 42 namespace MaximInterfaceCore {
IanBenzMaxim 7:9cd16581b578 43
IanBenzMaxim 7:9cd16581b578 44 /// Differentiates spans of static and dynamic extent.
IanBenzMaxim 8:5ea891c7d1a1 45 static const size_t dynamic_extent = static_cast<size_t>(-1); // SIZE_MAX
IanBenzMaxim 7:9cd16581b578 46
IanBenzMaxim 7:9cd16581b578 47 /// @brief
IanBenzMaxim 7:9cd16581b578 48 /// Generic memory span class similar to gsl::span and the proposed std::span.
IanBenzMaxim 7:9cd16581b578 49 /// @note
IanBenzMaxim 7:9cd16581b578 50 /// Separate implementations are used for spans of static and dynamic extent.
IanBenzMaxim 7:9cd16581b578 51 template <typename T, size_t Extent = dynamic_extent> class span;
IanBenzMaxim 7:9cd16581b578 52
IanBenzMaxim 7:9cd16581b578 53 namespace detail {
IanBenzMaxim 7:9cd16581b578 54
IanBenzMaxim 7:9cd16581b578 55 // Implementation of common span functionality using CRTP.
IanBenzMaxim 7:9cd16581b578 56 template <template <typename, size_t = MaximInterfaceCore::dynamic_extent>
IanBenzMaxim 7:9cd16581b578 57 class span,
IanBenzMaxim 7:9cd16581b578 58 typename T, size_t Extent>
IanBenzMaxim 7:9cd16581b578 59 class span_base {
IanBenzMaxim 7:9cd16581b578 60 public:
IanBenzMaxim 7:9cd16581b578 61 typedef T element_type;
IanBenzMaxim 7:9cd16581b578 62 typedef typename remove_cv<element_type>::type value_type;
IanBenzMaxim 7:9cd16581b578 63 typedef size_t index_type;
IanBenzMaxim 7:9cd16581b578 64 typedef ptrdiff_t difference_type;
IanBenzMaxim 7:9cd16581b578 65 typedef element_type * pointer;
IanBenzMaxim 7:9cd16581b578 66 typedef const element_type * const_pointer;
IanBenzMaxim 7:9cd16581b578 67 typedef element_type & reference;
IanBenzMaxim 7:9cd16581b578 68 typedef const element_type & const_reference;
IanBenzMaxim 7:9cd16581b578 69 typedef element_type * iterator;
IanBenzMaxim 7:9cd16581b578 70 typedef const element_type * const_iterator;
IanBenzMaxim 7:9cd16581b578 71 typedef std::reverse_iterator<iterator> reverse_iterator;
IanBenzMaxim 7:9cd16581b578 72 typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
IanBenzMaxim 7:9cd16581b578 73
IanBenzMaxim 7:9cd16581b578 74 static const index_type extent = Extent;
IanBenzMaxim 7:9cd16581b578 75
IanBenzMaxim 7:9cd16581b578 76 protected:
IanBenzMaxim 7:9cd16581b578 77 span_base(pointer data) : data_(data) {}
IanBenzMaxim 7:9cd16581b578 78 ~span_base() {}
IanBenzMaxim 7:9cd16581b578 79
IanBenzMaxim 7:9cd16581b578 80 public:
IanBenzMaxim 7:9cd16581b578 81 /// @name Iterators
IanBenzMaxim 7:9cd16581b578 82 /// @{
IanBenzMaxim 7:9cd16581b578 83
IanBenzMaxim 10:947d3f44e0a0 84 iterator begin() const { return data(); }
IanBenzMaxim 7:9cd16581b578 85
IanBenzMaxim 10:947d3f44e0a0 86 const_iterator cbegin() const { return begin(); }
IanBenzMaxim 7:9cd16581b578 87
IanBenzMaxim 10:947d3f44e0a0 88 iterator end() const { return begin() + size(); }
IanBenzMaxim 7:9cd16581b578 89
IanBenzMaxim 10:947d3f44e0a0 90 const_iterator cend() const { return end(); }
IanBenzMaxim 7:9cd16581b578 91
IanBenzMaxim 7:9cd16581b578 92 reverse_iterator rbegin() const { return reverse_iterator(end()); }
IanBenzMaxim 7:9cd16581b578 93
IanBenzMaxim 7:9cd16581b578 94 const_reverse_iterator crbegin() const {
IanBenzMaxim 7:9cd16581b578 95 return const_reverse_iterator(cend());
IanBenzMaxim 7:9cd16581b578 96 }
IanBenzMaxim 7:9cd16581b578 97
IanBenzMaxim 7:9cd16581b578 98 reverse_iterator rend() const { return reverse_iterator(begin()); }
IanBenzMaxim 7:9cd16581b578 99
IanBenzMaxim 7:9cd16581b578 100 const_reverse_iterator crend() const {
IanBenzMaxim 7:9cd16581b578 101 return const_reverse_iterator(cbegin());
IanBenzMaxim 7:9cd16581b578 102 }
IanBenzMaxim 7:9cd16581b578 103
IanBenzMaxim 7:9cd16581b578 104 /// @}
IanBenzMaxim 7:9cd16581b578 105
IanBenzMaxim 7:9cd16581b578 106 /// @name Element access
IanBenzMaxim 7:9cd16581b578 107 /// @{
IanBenzMaxim 7:9cd16581b578 108
IanBenzMaxim 7:9cd16581b578 109 reference front() const { return operator[](0); }
IanBenzMaxim 7:9cd16581b578 110
IanBenzMaxim 7:9cd16581b578 111 reference back() const { return operator[](size() - 1); }
IanBenzMaxim 7:9cd16581b578 112
IanBenzMaxim 7:9cd16581b578 113 reference operator[](index_type idx) const { return data()[idx]; }
IanBenzMaxim 7:9cd16581b578 114
IanBenzMaxim 7:9cd16581b578 115 pointer data() const { return data_; }
IanBenzMaxim 7:9cd16581b578 116
IanBenzMaxim 7:9cd16581b578 117 /// @}
IanBenzMaxim 7:9cd16581b578 118
IanBenzMaxim 7:9cd16581b578 119 /// @name Subviews
IanBenzMaxim 7:9cd16581b578 120 /// @{
IanBenzMaxim 7:9cd16581b578 121
IanBenzMaxim 7:9cd16581b578 122 template <index_type Count> span<element_type, Count> first() const {
IanBenzMaxim 7:9cd16581b578 123 return subspan<0, Count>();
IanBenzMaxim 7:9cd16581b578 124 }
IanBenzMaxim 7:9cd16581b578 125
IanBenzMaxim 7:9cd16581b578 126 span<element_type> first(index_type Count) const { return subspan(0, Count); }
IanBenzMaxim 7:9cd16581b578 127
IanBenzMaxim 7:9cd16581b578 128 span<element_type> last(index_type Count) const {
IanBenzMaxim 7:9cd16581b578 129 return subspan(size() - Count, Count);
IanBenzMaxim 7:9cd16581b578 130 }
IanBenzMaxim 7:9cd16581b578 131
IanBenzMaxim 7:9cd16581b578 132 template <index_type Offset, index_type Count>
IanBenzMaxim 7:9cd16581b578 133 span<element_type, Count> subspan() const {
IanBenzMaxim 7:9cd16581b578 134 return span<element_type, Count>(data() + Offset, Count);
IanBenzMaxim 7:9cd16581b578 135 }
IanBenzMaxim 7:9cd16581b578 136
IanBenzMaxim 7:9cd16581b578 137 span<element_type> subspan(index_type Offset,
IanBenzMaxim 7:9cd16581b578 138 index_type Count = dynamic_extent) const {
IanBenzMaxim 7:9cd16581b578 139 return span<element_type>(
IanBenzMaxim 7:9cd16581b578 140 data() + Offset, Count == dynamic_extent ? size() - Offset : Count);
IanBenzMaxim 7:9cd16581b578 141 }
IanBenzMaxim 7:9cd16581b578 142
IanBenzMaxim 7:9cd16581b578 143 /// @}
IanBenzMaxim 7:9cd16581b578 144
IanBenzMaxim 7:9cd16581b578 145 private:
IanBenzMaxim 7:9cd16581b578 146 index_type size() const {
IanBenzMaxim 7:9cd16581b578 147 return static_cast<const span<T, Extent> &>(*this).size();
IanBenzMaxim 7:9cd16581b578 148 }
IanBenzMaxim 7:9cd16581b578 149
IanBenzMaxim 7:9cd16581b578 150 pointer data_;
IanBenzMaxim 7:9cd16581b578 151 };
IanBenzMaxim 7:9cd16581b578 152
IanBenzMaxim 8:5ea891c7d1a1 153 template <template <typename, size_t> class span, typename T, size_t Extent>
IanBenzMaxim 8:5ea891c7d1a1 154 const typename span_base<span, T, Extent>::index_type
IanBenzMaxim 8:5ea891c7d1a1 155 span_base<span, T, Extent>::extent;
IanBenzMaxim 8:5ea891c7d1a1 156
IanBenzMaxim 8:5ea891c7d1a1 157 template <typename T> class has_data {
IanBenzMaxim 8:5ea891c7d1a1 158 typedef char true_type[1];
IanBenzMaxim 8:5ea891c7d1a1 159 typedef char false_type[2];
IanBenzMaxim 8:5ea891c7d1a1 160
IanBenzMaxim 8:5ea891c7d1a1 161 template <typename U, U> struct check;
IanBenzMaxim 8:5ea891c7d1a1 162
IanBenzMaxim 8:5ea891c7d1a1 163 template <typename U>
IanBenzMaxim 8:5ea891c7d1a1 164 static true_type & test(check<typename U::pointer (U::*)(), &U::data> *);
IanBenzMaxim 8:5ea891c7d1a1 165
IanBenzMaxim 8:5ea891c7d1a1 166 template <typename> static false_type & test(...);
IanBenzMaxim 8:5ea891c7d1a1 167
IanBenzMaxim 8:5ea891c7d1a1 168 public:
IanBenzMaxim 8:5ea891c7d1a1 169 static const bool value = (sizeof(test<T>(NULL)) == sizeof(true_type));
IanBenzMaxim 8:5ea891c7d1a1 170 };
IanBenzMaxim 8:5ea891c7d1a1 171
IanBenzMaxim 8:5ea891c7d1a1 172 template <typename T> class has_data<const T> {
IanBenzMaxim 8:5ea891c7d1a1 173 typedef char true_type[1];
IanBenzMaxim 8:5ea891c7d1a1 174 typedef char false_type[2];
IanBenzMaxim 8:5ea891c7d1a1 175
IanBenzMaxim 8:5ea891c7d1a1 176 template <typename U, U> struct check;
IanBenzMaxim 7:9cd16581b578 177
IanBenzMaxim 8:5ea891c7d1a1 178 template <typename U>
IanBenzMaxim 8:5ea891c7d1a1 179 static true_type &
IanBenzMaxim 8:5ea891c7d1a1 180 test(check<typename U::const_pointer (U::*)() const, &U::data> *);
IanBenzMaxim 8:5ea891c7d1a1 181
IanBenzMaxim 8:5ea891c7d1a1 182 template <typename> static false_type & test(...);
IanBenzMaxim 8:5ea891c7d1a1 183
IanBenzMaxim 8:5ea891c7d1a1 184 public:
IanBenzMaxim 8:5ea891c7d1a1 185 static const bool value = (sizeof(test<T>(NULL)) == sizeof(true_type));
IanBenzMaxim 8:5ea891c7d1a1 186 };
IanBenzMaxim 8:5ea891c7d1a1 187
IanBenzMaxim 8:5ea891c7d1a1 188 template <typename T> class has_size {
IanBenzMaxim 8:5ea891c7d1a1 189 typedef char true_type[1];
IanBenzMaxim 8:5ea891c7d1a1 190 typedef char false_type[2];
IanBenzMaxim 7:9cd16581b578 191
IanBenzMaxim 8:5ea891c7d1a1 192 template <typename U, U> struct check;
IanBenzMaxim 8:5ea891c7d1a1 193
IanBenzMaxim 8:5ea891c7d1a1 194 template <typename U>
IanBenzMaxim 8:5ea891c7d1a1 195 static true_type &
IanBenzMaxim 8:5ea891c7d1a1 196 test(check<typename U::size_type (U::*)() const, &U::size> *);
IanBenzMaxim 8:5ea891c7d1a1 197
IanBenzMaxim 8:5ea891c7d1a1 198 // Additionally support a static member function.
IanBenzMaxim 8:5ea891c7d1a1 199 template <typename U>
IanBenzMaxim 8:5ea891c7d1a1 200 static true_type & test(check<typename U::size_type (*)(), &U::size> *);
IanBenzMaxim 8:5ea891c7d1a1 201
IanBenzMaxim 8:5ea891c7d1a1 202 template <typename> static false_type & test(...);
IanBenzMaxim 8:5ea891c7d1a1 203
IanBenzMaxim 8:5ea891c7d1a1 204 public:
IanBenzMaxim 8:5ea891c7d1a1 205 static const bool value = (sizeof(test<T>(NULL)) == sizeof(true_type));
IanBenzMaxim 8:5ea891c7d1a1 206 };
IanBenzMaxim 7:9cd16581b578 207
IanBenzMaxim 7:9cd16581b578 208 template <typename T> struct is_array_class_helper : false_type {};
IanBenzMaxim 7:9cd16581b578 209
IanBenzMaxim 7:9cd16581b578 210 template <typename T, size_t N>
IanBenzMaxim 7:9cd16581b578 211 struct is_array_class_helper<array<T, N> > : true_type {};
IanBenzMaxim 7:9cd16581b578 212
IanBenzMaxim 7:9cd16581b578 213 template <typename T>
IanBenzMaxim 7:9cd16581b578 214 struct is_array_class : is_array_class_helper<typename remove_cv<T>::type> {};
IanBenzMaxim 7:9cd16581b578 215
IanBenzMaxim 7:9cd16581b578 216 template <typename T> struct is_span_helper : false_type {};
IanBenzMaxim 7:9cd16581b578 217
IanBenzMaxim 7:9cd16581b578 218 template <typename T, size_t Extent>
IanBenzMaxim 7:9cd16581b578 219 struct is_span_helper<span<T, Extent> > : true_type {};
IanBenzMaxim 7:9cd16581b578 220
IanBenzMaxim 7:9cd16581b578 221 template <typename T>
IanBenzMaxim 7:9cd16581b578 222 struct is_span : is_span_helper<typename remove_cv<T>::type> {};
IanBenzMaxim 7:9cd16581b578 223
IanBenzMaxim 7:9cd16581b578 224 template <typename T> struct is_vector_helper : false_type {};
IanBenzMaxim 7:9cd16581b578 225
IanBenzMaxim 7:9cd16581b578 226 template <typename T, typename Allocator>
IanBenzMaxim 7:9cd16581b578 227 struct is_vector_helper<std::vector<T, Allocator> > : true_type {};
IanBenzMaxim 7:9cd16581b578 228
IanBenzMaxim 7:9cd16581b578 229 template <typename T>
IanBenzMaxim 7:9cd16581b578 230 struct is_vector : is_vector_helper<typename remove_cv<T>::type> {};
IanBenzMaxim 7:9cd16581b578 231
IanBenzMaxim 8:5ea891c7d1a1 232 // Used to disable the span container constructors.
IanBenzMaxim 7:9cd16581b578 233 template <typename T>
IanBenzMaxim 8:5ea891c7d1a1 234 struct enable_if_span_convertible
IanBenzMaxim 8:5ea891c7d1a1 235 : enable_if<has_data<T>::value && has_size<T>::value &&
IanBenzMaxim 8:5ea891c7d1a1 236 !(is_array_class<T>::value || is_span<T>::value ||
IanBenzMaxim 7:9cd16581b578 237 is_vector<T>::value)> {};
IanBenzMaxim 7:9cd16581b578 238
IanBenzMaxim 7:9cd16581b578 239 } // namespace detail
IanBenzMaxim 7:9cd16581b578 240
IanBenzMaxim 7:9cd16581b578 241 // Implementation of the static extent span.
IanBenzMaxim 7:9cd16581b578 242 template <typename T, size_t Extent>
IanBenzMaxim 7:9cd16581b578 243 class span : public detail::span_base<MaximInterfaceCore::span, T, Extent> {
IanBenzMaxim 7:9cd16581b578 244 typedef detail::span_base<MaximInterfaceCore::span, T, Extent> span_base;
IanBenzMaxim 7:9cd16581b578 245
IanBenzMaxim 7:9cd16581b578 246 public:
IanBenzMaxim 7:9cd16581b578 247 using span_base::extent;
IanBenzMaxim 7:9cd16581b578 248 using typename span_base::element_type;
IanBenzMaxim 7:9cd16581b578 249 using typename span_base::index_type;
IanBenzMaxim 7:9cd16581b578 250 using typename span_base::pointer;
IanBenzMaxim 7:9cd16581b578 251 using typename span_base::value_type;
IanBenzMaxim 7:9cd16581b578 252
IanBenzMaxim 7:9cd16581b578 253 span(pointer data, index_type) : span_base(data) {}
IanBenzMaxim 7:9cd16581b578 254
IanBenzMaxim 7:9cd16581b578 255 span(pointer begin, pointer) : span_base(begin) {}
IanBenzMaxim 7:9cd16581b578 256
IanBenzMaxim 7:9cd16581b578 257 span(element_type (&arr)[extent]) : span_base(arr) {}
IanBenzMaxim 7:9cd16581b578 258
IanBenzMaxim 7:9cd16581b578 259 span(array<value_type, extent> & arr) : span_base(arr.data()) {}
IanBenzMaxim 7:9cd16581b578 260
IanBenzMaxim 7:9cd16581b578 261 span(const array<value_type, extent> & arr) : span_base(arr.data()) {}
IanBenzMaxim 7:9cd16581b578 262
IanBenzMaxim 7:9cd16581b578 263 template <typename U> span(const span<U, extent> & s) : span_base(s.data()) {}
IanBenzMaxim 7:9cd16581b578 264
IanBenzMaxim 7:9cd16581b578 265 template <typename Allocator>
IanBenzMaxim 7:9cd16581b578 266 span(std::vector<value_type, Allocator> & vec) : span_base(&vec.front()) {}
IanBenzMaxim 7:9cd16581b578 267
IanBenzMaxim 7:9cd16581b578 268 template <typename Allocator>
IanBenzMaxim 7:9cd16581b578 269 span(const std::vector<value_type, Allocator> & vec)
IanBenzMaxim 7:9cd16581b578 270 : span_base(&vec.front()) {}
IanBenzMaxim 7:9cd16581b578 271
IanBenzMaxim 7:9cd16581b578 272 template <typename Container>
IanBenzMaxim 7:9cd16581b578 273 span(Container & cont,
IanBenzMaxim 8:5ea891c7d1a1 274 typename detail::enable_if_span_convertible<Container>::type * = NULL)
IanBenzMaxim 7:9cd16581b578 275 : span_base(cont.data()) {}
IanBenzMaxim 7:9cd16581b578 276
IanBenzMaxim 7:9cd16581b578 277 template <typename Container>
IanBenzMaxim 7:9cd16581b578 278 span(const Container & cont,
IanBenzMaxim 8:5ea891c7d1a1 279 typename detail::enable_if_span_convertible<const Container>::type * =
IanBenzMaxim 7:9cd16581b578 280 NULL)
IanBenzMaxim 7:9cd16581b578 281 : span_base(cont.data()) {}
IanBenzMaxim 7:9cd16581b578 282
IanBenzMaxim 7:9cd16581b578 283 /// @name Observers
IanBenzMaxim 7:9cd16581b578 284 /// @{
IanBenzMaxim 7:9cd16581b578 285
IanBenzMaxim 7:9cd16581b578 286 static index_type size() { return extent; }
IanBenzMaxim 7:9cd16581b578 287
IanBenzMaxim 7:9cd16581b578 288 static index_type size_bytes() { return size() * sizeof(element_type); }
IanBenzMaxim 7:9cd16581b578 289
IanBenzMaxim 7:9cd16581b578 290 static bool empty() { return size() == 0; }
IanBenzMaxim 7:9cd16581b578 291
IanBenzMaxim 7:9cd16581b578 292 /// @}
IanBenzMaxim 7:9cd16581b578 293
IanBenzMaxim 7:9cd16581b578 294 /// @name Subviews
IanBenzMaxim 7:9cd16581b578 295 /// @{
IanBenzMaxim 7:9cd16581b578 296
IanBenzMaxim 7:9cd16581b578 297 template <index_type Count> span<element_type, Count> last() const {
IanBenzMaxim 7:9cd16581b578 298 return this->template subspan<extent - Count, Count>();
IanBenzMaxim 7:9cd16581b578 299 }
IanBenzMaxim 7:9cd16581b578 300
IanBenzMaxim 11:3f3bf6bf5e6c 301 using span_base::last;
IanBenzMaxim 11:3f3bf6bf5e6c 302
IanBenzMaxim 7:9cd16581b578 303 /// @}
IanBenzMaxim 7:9cd16581b578 304 };
IanBenzMaxim 7:9cd16581b578 305
IanBenzMaxim 7:9cd16581b578 306 // Implementation of the dynamic extent span.
IanBenzMaxim 7:9cd16581b578 307 template <typename T>
IanBenzMaxim 7:9cd16581b578 308 class span<T, dynamic_extent>
IanBenzMaxim 7:9cd16581b578 309 : public detail::span_base<MaximInterfaceCore::span, T, dynamic_extent> {
IanBenzMaxim 7:9cd16581b578 310 typedef detail::span_base<MaximInterfaceCore::span, T, dynamic_extent>
IanBenzMaxim 7:9cd16581b578 311 span_base;
IanBenzMaxim 7:9cd16581b578 312
IanBenzMaxim 7:9cd16581b578 313 public:
IanBenzMaxim 7:9cd16581b578 314 using typename span_base::element_type;
IanBenzMaxim 7:9cd16581b578 315 using typename span_base::index_type;
IanBenzMaxim 7:9cd16581b578 316 using typename span_base::pointer;
IanBenzMaxim 7:9cd16581b578 317 using typename span_base::value_type;
IanBenzMaxim 7:9cd16581b578 318
IanBenzMaxim 7:9cd16581b578 319 span() : span_base(NULL), size_(0) {}
IanBenzMaxim 7:9cd16581b578 320
IanBenzMaxim 7:9cd16581b578 321 span(pointer data, index_type size) : span_base(data), size_(size) {}
IanBenzMaxim 7:9cd16581b578 322
IanBenzMaxim 7:9cd16581b578 323 span(pointer begin, pointer end) : span_base(begin), size_(end - begin) {}
IanBenzMaxim 7:9cd16581b578 324
IanBenzMaxim 7:9cd16581b578 325 template <size_t N> span(element_type (&arr)[N]) : span_base(arr), size_(N) {}
IanBenzMaxim 7:9cd16581b578 326
IanBenzMaxim 8:5ea891c7d1a1 327 template <size_t N>
IanBenzMaxim 8:5ea891c7d1a1 328 span(array<value_type, N> & arr) : span_base(arr.data()), size_(N) {}
IanBenzMaxim 8:5ea891c7d1a1 329
IanBenzMaxim 8:5ea891c7d1a1 330 template <size_t N>
IanBenzMaxim 8:5ea891c7d1a1 331 span(const array<value_type, N> & arr) : span_base(arr.data()), size_(N) {}
IanBenzMaxim 8:5ea891c7d1a1 332
IanBenzMaxim 7:9cd16581b578 333 template <typename U, size_t N>
IanBenzMaxim 7:9cd16581b578 334 span(const span<U, N> & s) : span_base(s.data()), size_(s.size()) {}
IanBenzMaxim 7:9cd16581b578 335
IanBenzMaxim 7:9cd16581b578 336 template <typename Allocator>
IanBenzMaxim 7:9cd16581b578 337 span(std::vector<value_type, Allocator> & vec)
IanBenzMaxim 7:9cd16581b578 338 : span_base(vec.empty() ? NULL : &vec.front()), size_(vec.size()) {}
IanBenzMaxim 7:9cd16581b578 339
IanBenzMaxim 7:9cd16581b578 340 template <typename Allocator>
IanBenzMaxim 7:9cd16581b578 341 span(const std::vector<value_type, Allocator> & vec)
IanBenzMaxim 7:9cd16581b578 342 : span_base(vec.empty() ? NULL : &vec.front()), size_(vec.size()) {}
IanBenzMaxim 7:9cd16581b578 343
IanBenzMaxim 7:9cd16581b578 344 template <typename Container>
IanBenzMaxim 8:5ea891c7d1a1 345 span(Container & cont,
IanBenzMaxim 8:5ea891c7d1a1 346 typename detail::enable_if_span_convertible<Container>::type * = NULL)
IanBenzMaxim 7:9cd16581b578 347 : span_base(cont.data()), size_(cont.size()) {}
IanBenzMaxim 7:9cd16581b578 348
IanBenzMaxim 7:9cd16581b578 349 template <typename Container>
IanBenzMaxim 8:5ea891c7d1a1 350 span(const Container & cont,
IanBenzMaxim 8:5ea891c7d1a1 351 typename detail::enable_if_span_convertible<const Container>::type * =
IanBenzMaxim 8:5ea891c7d1a1 352 NULL)
IanBenzMaxim 7:9cd16581b578 353 : span_base(cont.data()), size_(cont.size()) {}
IanBenzMaxim 7:9cd16581b578 354
IanBenzMaxim 7:9cd16581b578 355 /// @name Observers
IanBenzMaxim 7:9cd16581b578 356 /// @{
IanBenzMaxim 7:9cd16581b578 357
IanBenzMaxim 7:9cd16581b578 358 index_type size() const { return size_; }
IanBenzMaxim 7:9cd16581b578 359
IanBenzMaxim 7:9cd16581b578 360 index_type size_bytes() const { return size() * sizeof(element_type); }
IanBenzMaxim 7:9cd16581b578 361
IanBenzMaxim 7:9cd16581b578 362 bool empty() const { return size() == 0; }
IanBenzMaxim 7:9cd16581b578 363
IanBenzMaxim 7:9cd16581b578 364 /// @}
IanBenzMaxim 7:9cd16581b578 365
IanBenzMaxim 7:9cd16581b578 366 /// @name Subviews
IanBenzMaxim 7:9cd16581b578 367 /// @{
IanBenzMaxim 7:9cd16581b578 368
IanBenzMaxim 7:9cd16581b578 369 template <index_type Count> span<element_type, Count> last() const {
IanBenzMaxim 7:9cd16581b578 370 return span<element_type, Count>(this->data() + (size() - Count), Count);
IanBenzMaxim 7:9cd16581b578 371 }
IanBenzMaxim 7:9cd16581b578 372
IanBenzMaxim 11:3f3bf6bf5e6c 373 using span_base::last;
IanBenzMaxim 11:3f3bf6bf5e6c 374
IanBenzMaxim 7:9cd16581b578 375 /// @}
IanBenzMaxim 7:9cd16581b578 376
IanBenzMaxim 7:9cd16581b578 377 private:
IanBenzMaxim 7:9cd16581b578 378 index_type size_;
IanBenzMaxim 7:9cd16581b578 379 };
IanBenzMaxim 7:9cd16581b578 380
IanBenzMaxim 7:9cd16581b578 381 template <typename T>
IanBenzMaxim 7:9cd16581b578 382 span<T> make_span(T * data, typename span<T>::index_type size) {
IanBenzMaxim 7:9cd16581b578 383 return span<T>(data, size);
IanBenzMaxim 7:9cd16581b578 384 }
IanBenzMaxim 7:9cd16581b578 385
IanBenzMaxim 7:9cd16581b578 386 template <typename T> span<T> make_span(T * begin, T * end) {
IanBenzMaxim 7:9cd16581b578 387 return span<T>(begin, end);
IanBenzMaxim 7:9cd16581b578 388 }
IanBenzMaxim 7:9cd16581b578 389
IanBenzMaxim 7:9cd16581b578 390 template <typename T, size_t N> span<T, N> make_span(T (&arr)[N]) {
IanBenzMaxim 7:9cd16581b578 391 return span<T, N>(arr);
IanBenzMaxim 7:9cd16581b578 392 }
IanBenzMaxim 7:9cd16581b578 393
IanBenzMaxim 7:9cd16581b578 394 template <typename T, size_t N> span<T, N> make_span(array<T, N> & arr) {
IanBenzMaxim 7:9cd16581b578 395 return arr;
IanBenzMaxim 7:9cd16581b578 396 }
IanBenzMaxim 7:9cd16581b578 397
IanBenzMaxim 7:9cd16581b578 398 template <typename T, size_t N>
IanBenzMaxim 7:9cd16581b578 399 span<const T, N> make_span(const array<T, N> & arr) {
IanBenzMaxim 7:9cd16581b578 400 return arr;
IanBenzMaxim 7:9cd16581b578 401 }
IanBenzMaxim 7:9cd16581b578 402
IanBenzMaxim 7:9cd16581b578 403 template <typename Container>
IanBenzMaxim 7:9cd16581b578 404 span<typename Container::value_type> make_span(Container & cont) {
IanBenzMaxim 7:9cd16581b578 405 return cont;
IanBenzMaxim 7:9cd16581b578 406 }
IanBenzMaxim 7:9cd16581b578 407
IanBenzMaxim 7:9cd16581b578 408 template <typename Container>
IanBenzMaxim 7:9cd16581b578 409 span<const typename Container::value_type> make_span(const Container & cont) {
IanBenzMaxim 7:9cd16581b578 410 return cont;
IanBenzMaxim 7:9cd16581b578 411 }
IanBenzMaxim 7:9cd16581b578 412
IanBenzMaxim 7:9cd16581b578 413 } // namespace MaximInterfaceCore
IanBenzMaxim 7:9cd16581b578 414
IanBenzMaxim 7:9cd16581b578 415 #endif