blob: 3109036d7407946e7cceaf5fb0f9c9c996142c61 [file] [log] [blame]
Martin Kreichgauer17c30572017-07-18 12:42:18 -07001/* Copyright (c) 2017, Google Inc.
2 *
3 * Permission to use, copy, modify, and/or distribute this software for any
4 * purpose with or without fee is hereby granted, provided that the above
5 * copyright notice and this permission notice appear in all copies.
6 *
7 * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
8 * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
9 * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
10 * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
11 * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
12 * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
13 * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
14
15#ifndef OPENSSL_HEADER_SSL_SPAN_H
16#define OPENSSL_HEADER_SSL_SPAN_H
17
18#include <openssl/base.h>
19
20#if !defined(BORINGSSL_NO_CXX)
21
David Benjaminaf2b1e82017-07-27 14:05:20 -040022extern "C++" {
23
Martin Kreichgauer17c30572017-07-18 12:42:18 -070024#include <algorithm>
David Benjaminb9493552017-09-27 19:02:51 -040025#include <cstdlib>
Martin Kreichgauer17c30572017-07-18 12:42:18 -070026#include <type_traits>
27
Martin Kreichgauer17c30572017-07-18 12:42:18 -070028namespace bssl {
29
30template <typename T>
31class Span;
32
33namespace internal {
34template <typename T>
35class SpanBase {
David Benjamin4512b792017-08-18 19:21:50 -040036 // Put comparison operator implementations into a base class with const T, so
37 // they can be used with any type that implicitly converts into a Span.
Martin Kreichgauer17c30572017-07-18 12:42:18 -070038 static_assert(std::is_const<T>::value,
39 "Span<T> must be derived from SpanBase<const T>");
40
Martin Kreichgauer17c30572017-07-18 12:42:18 -070041 friend bool operator==(Span<T> lhs, Span<T> rhs) {
David Benjamin4512b792017-08-18 19:21:50 -040042 // MSVC issues warning C4996 because std::equal is unsafe. The pragma to
43 // suppress the warning mysteriously has no effect, hence this
44 // implementation. See
45 // https://msdn.microsoft.com/en-us/library/aa985974.aspx.
Martin Kreichgauer2eee1312017-07-24 15:49:07 -070046 if (lhs.size() != rhs.size()) {
47 return false;
48 }
49 for (T *l = lhs.begin(), *r = rhs.begin(); l != lhs.end() && r != rhs.end();
50 ++l, ++r) {
51 if (*l != *r) {
52 return false;
53 }
54 }
55 return true;
Martin Kreichgauer17c30572017-07-18 12:42:18 -070056 }
Martin Kreichgauer17c30572017-07-18 12:42:18 -070057
58 friend bool operator!=(Span<T> lhs, Span<T> rhs) { return !(lhs == rhs); }
59};
60} // namespace internal
61
David Benjamin4512b792017-08-18 19:21:50 -040062// A Span<T> is a non-owning reference to a contiguous array of objects of type
63// |T|. Conceptually, a Span is a simple a pointer to |T| and a count of
64// elements accessible via that pointer. The elements referenced by the Span can
65// be mutated if |T| is mutable.
66//
67// A Span can be constructed from container types implementing |data()| and
68// |size()| methods. If |T| is constant, construction from a container type is
69// implicit. This allows writing methods that accept data from some unspecified
70// container type:
71//
72// // Foo views data referenced by v.
73// void Foo(bssl::Span<const uint8_t> v) { ... }
74//
75// std::vector<uint8_t> vec;
76// Foo(vec);
77//
78// For mutable Spans, conversion is explicit:
79//
80// // FooMutate mutates data referenced by v.
81// void FooMutate(bssl::Span<uint8_t> v) { ... }
82//
83// FooMutate(bssl::Span<uint8_t>(vec));
84//
85// You can also use the |MakeSpan| and |MakeConstSpan| factory methods to
86// construct Spans in order to deduce the type of the Span automatically.
87//
88// FooMutate(bssl::MakeSpan(vec));
89//
90// Note that Spans have value type sematics. They are cheap to construct and
91// copy, and should be passed by value whenever a method would otherwise accept
92// a reference or pointer to a container or array.
Martin Kreichgauer17c30572017-07-18 12:42:18 -070093template <typename T>
94class Span : private internal::SpanBase<const T> {
95 private:
Martin Kreichgauer17c30572017-07-18 12:42:18 -070096 // Heuristically test whether C is a container type that can be converted into
97 // a Span by checking for data() and size() member functions.
David Benjamin66668862017-09-26 16:12:15 -040098 //
99 // TODO(davidben): Switch everything to std::enable_if_t when we remove
100 // support for MSVC 2015. Although we could write our own enable_if_t and MSVC
101 // 2015 has std::enable_if_t anyway, MSVC 2015's SFINAE implementation is
102 // problematic and does not work below unless we write the ::type at use.
Martin Kreichgauer17c30572017-07-18 12:42:18 -0700103 template <typename C>
David Benjamin66668862017-09-26 16:12:15 -0400104 using EnableIfContainer = std::enable_if<
Martin Kreichgauer17c30572017-07-18 12:42:18 -0700105 std::is_convertible<decltype(std::declval<C>().data()), T *>::value &&
106 std::is_integral<decltype(std::declval<C>().size())>::value>;
107
David Benjamin12fdd082017-10-05 13:28:54 -0400108 static const size_t npos = static_cast<size_t>(-1);
David Benjaminb9493552017-09-27 19:02:51 -0400109
Martin Kreichgauer17c30572017-07-18 12:42:18 -0700110 public:
111 constexpr Span() : Span(nullptr, 0) {}
112 constexpr Span(T *ptr, size_t len) : data_(ptr), size_(len) {}
113
114 template <size_t N>
115 constexpr Span(T (&array)[N]) : Span(array, N) {}
116
David Benjamin66668862017-09-26 16:12:15 -0400117 template <
118 typename C, typename = typename EnableIfContainer<C>::type,
119 typename = typename std::enable_if<std::is_const<T>::value, C>::type>
Martin Kreichgauer17c30572017-07-18 12:42:18 -0700120 Span(const C &container) : data_(container.data()), size_(container.size()) {}
121
David Benjamin66668862017-09-26 16:12:15 -0400122 template <
123 typename C, typename = typename EnableIfContainer<C>::type,
124 typename = typename std::enable_if<!std::is_const<T>::value, C>::type>
Martin Kreichgauer17c30572017-07-18 12:42:18 -0700125 explicit Span(C &container)
126 : data_(container.data()), size_(container.size()) {}
127
128 T *data() const { return data_; }
129 size_t size() const { return size_; }
David Benjaminb9493552017-09-27 19:02:51 -0400130 bool empty() const { return size_ == 0; }
Martin Kreichgauer17c30572017-07-18 12:42:18 -0700131
132 T *begin() const { return data_; }
133 const T *cbegin() const { return data_; }
134 T *end() const { return data_ + size_; };
135 const T *cend() const { return end(); };
136
137 T &operator[](size_t i) const { return data_[i]; }
138 T &at(size_t i) const { return data_[i]; }
139
David Benjaminb9493552017-09-27 19:02:51 -0400140 Span subspan(size_t pos = 0, size_t len = npos) const {
141 if (pos > size_) {
142 abort(); // absl::Span throws an exception here.
143 }
144 return Span(data_ + pos, std::min(size_ - pos, len));
145 }
146
Martin Kreichgauer17c30572017-07-18 12:42:18 -0700147 private:
148 T *data_;
149 size_t size_;
150};
151
152template <typename T>
David Benjaminb9493552017-09-27 19:02:51 -0400153const size_t Span<T>::npos;
154
155template <typename T>
Martin Kreichgauer17c30572017-07-18 12:42:18 -0700156Span<T> MakeSpan(T *ptr, size_t size) {
157 return Span<T>(ptr, size);
158}
159
160template <typename C>
161auto MakeSpan(C &c) -> decltype(MakeSpan(c.data(), c.size())) {
162 return MakeSpan(c.data(), c.size());
163}
164
165template <typename T>
166Span<const T> MakeConstSpan(T *ptr, size_t size) {
167 return Span<const T>(ptr, size);
168}
169
170template <typename C>
171auto MakeConstSpan(const C &c) -> decltype(MakeConstSpan(c.data(), c.size())) {
172 return MakeConstSpan(c.data(), c.size());
173}
174
175} // namespace bssl
176
177} // extern C++
178
179#endif // !defined(BORINGSSL_NO_CXX)
180
David Benjamin4512b792017-08-18 19:21:50 -0400181#endif // OPENSSL_HEADER_SSL_SPAN_H