ConstBuffer.hxx 6.47 KB
Newer Older
1
/*
2
 * Copyright (C) 2013-2017 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 34 35 36 37 38 39 40

#include "Compiler.h"

#include <cstddef>

#ifndef NDEBUG
#include <assert.h>
#endif

41 42 43 44 45 46
template<typename T>
struct ConstBuffer;

template<>
struct ConstBuffer<void> {
	typedef size_t size_type;
47
	typedef void value_type;
48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66
	typedef const void *pointer_type;
	typedef pointer_type const_pointer_type;
	typedef pointer_type iterator;
	typedef pointer_type const_iterator;

	pointer_type data;
	size_type size;

	ConstBuffer() = default;

	constexpr ConstBuffer(std::nullptr_t):data(nullptr), size(0) {}

	constexpr ConstBuffer(pointer_type _data, size_type _size)
		:data(_data), size(_size) {}

	constexpr static ConstBuffer Null() {
		return ConstBuffer(nullptr, 0);
	}

67 68 69 70 71 72 73 74
	constexpr static ConstBuffer<void> FromVoid(ConstBuffer<void> other) {
		return other;
	}

	constexpr ConstBuffer<void> ToVoid() const {
		return *this;
	}

75 76 77 78
	constexpr bool IsNull() const {
		return data == nullptr;
	}

79 80 81 82 83 84 85 86
	constexpr bool operator==(std::nullptr_t) const {
		return data == nullptr;
	}

	constexpr bool operator!=(std::nullptr_t) const {
		return data != nullptr;
	}

87
	constexpr bool empty() const {
88 89 90 91
		return size == 0;
	}
};

92 93 94 95 96 97
/**
 * A reference to a memory area that is read-only.
 */
template<typename T>
struct ConstBuffer {
	typedef size_t size_type;
98
	typedef T value_type;
99 100
	typedef const T &reference_type;
	typedef reference_type const_reference_type;
101 102 103 104 105 106 107 108 109 110 111 112 113 114 115
	typedef const T *pointer_type;
	typedef pointer_type const_pointer_type;
	typedef pointer_type iterator;
	typedef pointer_type const_iterator;

	pointer_type data;
	size_type size;

	ConstBuffer() = default;

	constexpr ConstBuffer(std::nullptr_t):data(nullptr), size(0) {}

	constexpr ConstBuffer(pointer_type _data, size_type _size)
		:data(_data), size(_size) {}

116 117 118 119 120 121 122
	/**
	 * Convert array to ConstBuffer instance.
	 */
	template<size_type _size>
	constexpr ConstBuffer(const T (&_data)[_size])
		:data(_data), size(_size) {}

123 124 125 126
	constexpr static ConstBuffer Null() {
		return ConstBuffer(nullptr, 0);
	}

127 128 129 130 131 132 133 134 135 136
	/**
	 * Cast a ConstBuffer<void> to a ConstBuffer<T>, rounding down
	 * to the next multiple of T's size.
	 */
	static constexpr ConstBuffer<T> FromVoidFloor(ConstBuffer<void> other) {
		static_assert(sizeof(T) > 0, "Empty base type");
		return ConstBuffer<T>(pointer_type(other.data),
				      other.size / sizeof(T));
	}

137 138 139 140 141 142 143 144 145 146
	/**
	 * 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).
	 */
#ifdef NDEBUG
	constexpr
#endif
	static ConstBuffer<T> FromVoid(ConstBuffer<void> other) {
147
		static_assert(sizeof(T) > 0, "Empty base type");
148 149 150
#ifndef NDEBUG
		assert(other.size % sizeof(T) == 0);
#endif
151
		return FromVoidFloor(other);
152 153 154 155 156 157 158 159 160 161 162
	}

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

	constexpr bool IsNull() const {
		return data == nullptr;
	}

163 164 165 166 167 168 169 170
	constexpr bool operator==(std::nullptr_t) const {
		return data == nullptr;
	}

	constexpr bool operator!=(std::nullptr_t) const {
		return data != nullptr;
	}

171
	constexpr bool empty() const {
172 173 174
		return size == 0;
	}

175 176
	template<typename U>
	gcc_pure
177
	bool Contains(U &&u) const noexcept {
178 179 180 181 182 183 184
		for (const auto &i : *this)
			if (u == i)
				return true;

		return false;
	}

185 186 187 188 189 190 191 192 193 194 195 196 197 198 199
	constexpr iterator begin() const {
		return data;
	}

	constexpr iterator end() const {
		return data + size;
	}

	constexpr const_iterator cbegin() const {
		return data;
	}

	constexpr const_iterator cend() const {
		return data + size;
	}
200 201 202 203

#ifdef NDEBUG
	constexpr
#endif
204
	reference_type operator[](size_type i) const {
205 206 207 208 209 210
#ifndef NDEBUG
		assert(i < size);
#endif

		return data[i];
	}
211 212 213 214 215 216 217 218 219 220

	/**
	 * Returns a reference to the first element.  Buffer must not
	 * be empty.
	 */
#ifdef NDEBUG
	constexpr
#endif
	reference_type front() const {
#ifndef NDEBUG
221
		assert(!empty());
222 223 224 225 226 227 228 229 230 231 232 233 234
#endif
		return data[0];
	}

	/**
	 * Returns a reference to the last element.  Buffer must not
	 * be empty.
	 */
#ifdef NDEBUG
	constexpr
#endif
	reference_type back() const {
#ifndef NDEBUG
235
		assert(!empty());
236 237 238 239 240 241 242 243 244
#endif
		return data[size - 1];
	}

	/**
	 * Remove the first element (by moving the head pointer, does
	 * not actually modify the buffer).  Buffer must not be empty.
	 */
	void pop_front() {
245
#ifndef NDEBUG
246
		assert(!empty());
247
#endif
248 249 250 251 252 253 254 255 256 257

		++data;
		--size;
	}

	/**
	 * Remove the last element (by moving the tail pointer, does
	 * not actually modify the buffer).  Buffer must not be empty.
	 */
	void pop_back() {
258
#ifndef NDEBUG
259
		assert(!empty());
260
#endif
261 262 263 264 265 266 267 268 269 270 271 272 273

		--size;
	}

	/**
	 * Remove the first element and return a reference to it.
	 * Buffer must not be empty.
	 */
	reference_type shift() {
		reference_type result = front();
		pop_front();
		return result;
	}
274 275 276 277 278 279 280 281 282

	void skip_front(size_type n) {
#ifndef NDEBUG
		assert(size >= n);
#endif

		data += n;
		size -= n;
	}
283 284 285 286 287 288 289 290 291 292 293 294 295 296

	/**
	 * Move the front pointer to the given address, and adjust the
	 * size attribute to retain the old end address.
	 */
	void MoveFront(pointer_type new_data) {
#ifndef NDEBUG
		assert(IsNull() == (new_data == nullptr));
		assert(new_data <= end());
#endif

		size = end() - new_data;
		data = new_data;
	}
297 298 299
};

#endif