ConstBuffer.hxx 6.54 KB
Newer Older
1
/*
2
 * Copyright 2013-2021 Max Kellermann <max.kellermann@gmail.com>
3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * - Redistributions of source code must retain the above copyright
 * notice, this list of conditions and the following disclaimer.
 *
 * - Redistributions in binary form must reproduce the above copyright
 * notice, this list of conditions and the following disclaimer in the
 * documentation and/or other materials provided with the
 * distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 * FOR A PARTICULAR PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE
 * FOUNDATION OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
 * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
 * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 */

30 31
#ifndef CONST_BUFFER_HXX
#define CONST_BUFFER_HXX
32

33
#include <cassert>
34
#include <cstddef>
35

36 37 38 39 40
template<typename T>
struct ConstBuffer;

template<>
struct ConstBuffer<void> {
41
	typedef std::size_t size_type;
42 43 44 45 46
	using value_type = void;
	using pointer = const void *;
	using const_pointer = pointer;
	using iterator = pointer;
	using const_iterator = pointer;
47

48
	pointer data;
49 50 51 52
	size_type size;

	ConstBuffer() = default;

53 54
	constexpr ConstBuffer(std::nullptr_t) noexcept
		:data(nullptr), size(0) {}
55

56
	constexpr ConstBuffer(pointer _data, size_type _size) noexcept
57 58
		:data(_data), size(_size) {}

59
	constexpr static ConstBuffer<void> FromVoid(ConstBuffer<void> other) noexcept {
60 61 62
		return other;
	}

63
	constexpr ConstBuffer<void> ToVoid() const noexcept {
64 65 66
		return *this;
	}

67
	constexpr bool IsNull() const noexcept {
68 69 70
		return data == nullptr;
	}

71
	constexpr bool operator==(std::nullptr_t) const noexcept {
72 73 74
		return data == nullptr;
	}

75
	constexpr bool operator!=(std::nullptr_t) const noexcept {
76 77 78
		return data != nullptr;
	}

79
	constexpr bool empty() const noexcept {
80 81 82 83
		return size == 0;
	}
};

84 85 86 87 88
/**
 * A reference to a memory area that is read-only.
 */
template<typename T>
struct ConstBuffer {
89 90 91 92 93 94 95 96
	using size_type = std::size_t;
	using value_type = T;
	using reference = const T &;
	using const_reference = reference;
	using pointer = const T *;
	using const_pointer = pointer;
	using iterator = pointer;
	using const_iterator = pointer;
97

98
	pointer data;
99 100 101 102
	size_type size;

	ConstBuffer() = default;

103 104
	constexpr ConstBuffer(std::nullptr_t) noexcept
		:data(nullptr), size(0) {}
105

106
	constexpr ConstBuffer(pointer _data, size_type _size) noexcept
107 108
		:data(_data), size(_size) {}

109
	constexpr ConstBuffer(pointer _data, pointer _end) noexcept
110 111
		:data(_data), size(_end - _data) {}

112 113 114 115
	/**
	 * Convert array to ConstBuffer instance.
	 */
	template<size_type _size>
116
	constexpr ConstBuffer(const T (&_data)[_size]) noexcept
117 118
		:data(_data), size(_size) {}

119 120 121 122
	/**
	 * Cast a ConstBuffer<void> to a ConstBuffer<T>, rounding down
	 * to the next multiple of T's size.
	 */
123
	static constexpr ConstBuffer<T> FromVoidFloor(ConstBuffer<void> other) noexcept {
124
		static_assert(sizeof(T) > 0, "Empty base type");
125
		return ConstBuffer<T>(pointer(other.data),
126 127 128
				      other.size / sizeof(T));
	}

129 130 131 132 133 134
	/**
	 * Cast a ConstBuffer<void> to a ConstBuffer<T>.  A "void"
	 * buffer records its size in bytes, and when casting to "T",
	 * the assertion below ensures that the size is a multiple of
	 * sizeof(T).
	 */
135
	constexpr static ConstBuffer<T> FromVoid(ConstBuffer<void> other) noexcept {
136
		static_assert(sizeof(T) > 0, "Empty base type");
137
		assert(other.size % sizeof(T) == 0);
138
		return FromVoidFloor(other);
139 140
	}

141
	constexpr ConstBuffer<void> ToVoid() const noexcept {
142 143 144 145
		static_assert(sizeof(T) > 0, "Empty base type");
		return ConstBuffer<void>(data, size * sizeof(T));
	}

146
	constexpr bool IsNull() const noexcept {
147 148 149
		return data == nullptr;
	}

150
	constexpr bool operator==(std::nullptr_t) const noexcept {
151 152 153
		return data == nullptr;
	}

154
	constexpr bool operator!=(std::nullptr_t) const noexcept {
155 156 157
		return data != nullptr;
	}

158
	constexpr bool empty() const noexcept {
159 160 161
		return size == 0;
	}

162
	template<typename U>
163
	constexpr bool Contains(U &&u) const noexcept {
164 165 166 167 168 169 170
		for (const auto &i : *this)
			if (u == i)
				return true;

		return false;
	}

171
	constexpr iterator begin() const noexcept {
172 173 174
		return data;
	}

175
	constexpr iterator end() const noexcept {
176 177 178
		return data + size;
	}

179
	constexpr const_iterator cbegin() const noexcept {
180 181 182
		return data;
	}

183
	constexpr const_iterator cend() const noexcept {
184 185
		return data + size;
	}
186

187
	constexpr reference operator[](size_type i) const noexcept {
188 189 190 191
		assert(i < size);

		return data[i];
	}
192 193 194 195 196

	/**
	 * Returns a reference to the first element.  Buffer must not
	 * be empty.
	 */
197
	constexpr reference front() const noexcept {
198
		assert(!empty());
199 200 201 202 203 204 205
		return data[0];
	}

	/**
	 * Returns a reference to the last element.  Buffer must not
	 * be empty.
	 */
206
	constexpr reference back() const noexcept {
207
		assert(!empty());
208 209 210 211 212 213 214
		return data[size - 1];
	}

	/**
	 * Remove the first element (by moving the head pointer, does
	 * not actually modify the buffer).  Buffer must not be empty.
	 */
215
	constexpr void pop_front() noexcept {
216
		assert(!empty());
217 218 219 220 221 222 223 224 225

		++data;
		--size;
	}

	/**
	 * Remove the last element (by moving the tail pointer, does
	 * not actually modify the buffer).  Buffer must not be empty.
	 */
226
	constexpr void pop_back() noexcept {
227
		assert(!empty());
228 229 230 231 232 233 234 235

		--size;
	}

	/**
	 * Remove the first element and return a reference to it.
	 * Buffer must not be empty.
	 */
236
	constexpr reference shift() noexcept {
237
		reference result = front();
238 239 240
		pop_front();
		return result;
	}
241

242
	constexpr void skip_front(size_type n) noexcept {
243 244 245 246 247
		assert(size >= n);

		data += n;
		size -= n;
	}
248 249 250 251 252

	/**
	 * Move the front pointer to the given address, and adjust the
	 * size attribute to retain the old end address.
	 */
253
	void MoveFront(pointer new_data) noexcept {
254 255 256 257 258 259
		assert(IsNull() == (new_data == nullptr));
		assert(new_data <= end());

		size = end() - new_data;
		data = new_data;
	}
260 261 262 263 264

	/**
	 * Move the end pointer to the given address (by adjusting the
	 * size).
	 */
265
	void SetEnd(pointer new_end) noexcept {
266 267 268 269 270
		assert(IsNull() == (new_end == nullptr));
		assert(new_end >= begin());

		size = new_end - data;
	}
271 272 273
};

#endif