Files
Seele/src/Engine/Containers/List.h
T

312 lines
10 KiB
C++
Raw Normal View History

2020-03-13 12:44:33 +01:00
#pragma once
2024-01-16 19:24:49 +01:00
#include <assert.h>
2024-06-09 12:20:04 +02:00
#include <memory_resource>
2026-02-22 20:26:25 +01:00
#include <memory>
2024-06-09 12:20:04 +02:00
namespace Seele {
template <typename T, typename Allocator = std::pmr::polymorphic_allocator<T>> class List {
private:
struct Node {
Node(Node* prev, Node* next, const T& data) : prev(prev), next(next), data(data) {}
Node(Node* prev, Node* next, T&& data) : prev(prev), next(next), data(std::move(data)) {}
Node* prev;
Node* next;
2021-10-23 00:22:35 +02:00
T data;
};
using NodeAllocator = std::allocator_traits<Allocator>::template rebind_alloc<Node>;
2020-04-12 15:47:19 +02:00
2024-06-09 12:20:04 +02:00
public:
template <typename X> class IteratorBase {
public:
2021-10-23 00:22:35 +02:00
using iterator_category = std::forward_iterator_tag;
using value_type = X;
using difference_type = std::ptrdiff_t;
using reference = X&;
using pointer = X*;
2020-03-13 12:44:33 +01:00
2024-06-09 12:20:04 +02:00
IteratorBase(Node* x = nullptr) : node(x) {}
IteratorBase(const IteratorBase& i) : node(i.node) {}
IteratorBase(IteratorBase&& i) noexcept : node(std::move(i.node)) {}
~IteratorBase() {}
IteratorBase& operator=(const IteratorBase& other) {
if (this != &other) {
2021-10-23 00:22:35 +02:00
node = other.node;
}
return *this;
}
2024-06-09 12:20:04 +02:00
IteratorBase& operator=(IteratorBase&& other) noexcept {
if (this != &other) {
2021-10-23 00:22:35 +02:00
node = std::move(other.node);
}
return *this;
}
2024-06-09 12:20:04 +02:00
constexpr reference operator*() const { return node->data; }
constexpr pointer operator->() const { return &node->data; }
constexpr bool operator!=(const IteratorBase& other) { return node != other.node; }
constexpr bool operator==(const IteratorBase& other) { return node == other.node; }
constexpr std::strong_ordering operator<=>(const IteratorBase& other) { return node <=> other.node; }
constexpr IteratorBase& operator--() {
2021-10-23 00:22:35 +02:00
node = node->prev;
return *this;
}
2024-06-09 12:20:04 +02:00
constexpr IteratorBase operator--(int) {
2021-10-23 00:22:35 +02:00
IteratorBase tmp(*this);
--*this;
return tmp;
}
2024-06-09 12:20:04 +02:00
constexpr IteratorBase& operator++() {
2021-10-23 00:22:35 +02:00
node = node->next;
return *this;
}
2024-06-09 12:20:04 +02:00
constexpr IteratorBase operator++(int) {
2021-10-23 00:22:35 +02:00
IteratorBase tmp(*this);
++*this;
return tmp;
}
2020-03-13 12:44:33 +01:00
2024-06-09 12:20:04 +02:00
private:
Node* node;
2021-10-23 00:22:35 +02:00
friend class List<T>;
};
2024-06-09 12:20:04 +02:00
2021-10-23 00:22:35 +02:00
using Iterator = IteratorBase<T>;
using ConstIterator = IteratorBase<const T>;
2024-06-09 12:20:04 +02:00
2021-10-23 00:22:35 +02:00
using value_type = T;
using allocator_type = Allocator;
using size_type = std::size_t;
using difference_type = std::ptrdiff_t;
using reference = value_type&;
using const_reference = const value_type&;
using pointer = T*;
using const_pointer = const T*;
2020-04-12 15:47:19 +02:00
2021-10-23 00:22:35 +02:00
using iterator = Iterator;
using const_iterator = ConstIterator;
using reverse_iterator = std::reverse_iterator<iterator>;
using const_reverse_iterator = std::reverse_iterator<const_iterator>;
2024-06-09 12:20:04 +02:00
constexpr List() : allocator(Allocator()), root(allocateNode()), tail(root), beginIt(Iterator(root)), endIt(Iterator(tail)), _size(0) {}
2024-04-05 10:41:59 +02:00
constexpr explicit List(const Allocator& alloc)
2024-06-09 12:20:04 +02:00
: allocator(alloc), root(allocateNode()), tail(root), beginIt(Iterator(root)), endIt(Iterator(tail)), _size(0) {}
constexpr List(size_type count, const T& value = T(), const Allocator& alloc = Allocator()) : List(alloc) {
for (size_type i = 0; i < count; ++i) {
2023-01-21 18:43:21 +01:00
add(value);
}
}
2024-06-09 12:20:04 +02:00
constexpr List(size_type count, const Allocator& alloc = Allocator()) : List(alloc) {
for (size_type i = 0; i < count; ++i) {
2023-01-21 18:43:21 +01:00
add(T());
}
}
2024-04-05 10:41:59 +02:00
constexpr List(const List& other)
2024-06-09 12:20:04 +02:00
: List(std::allocator_traits<allocator_type>::select_on_container_copy_construction(other.allocator)) {
// TODO: improve
for (const auto& it : other) {
2023-01-21 18:43:21 +01:00
add(it);
}
}
2024-06-09 12:20:04 +02:00
constexpr List(const List& other, const Allocator& alloc) : List(alloc) {
// TODO: improve
for (const auto& it : other) {
2021-10-23 00:22:35 +02:00
add(it);
}
}
2024-04-05 10:41:59 +02:00
constexpr List(List&& other)
2024-06-09 12:20:04 +02:00
: allocator(std::move(other.allocator)), root(std::move(other.root)), tail(std::move(other.tail)),
beginIt(std::move(other.beginIt)), endIt(std::move(other.endIt)), _size(std::move(other._size)) {
other.root = nullptr;
other.tail = nullptr;
2023-12-17 16:16:46 +01:00
other._size = 0;
2023-01-21 18:43:21 +01:00
}
2024-04-05 10:41:59 +02:00
constexpr List(List&& other, const Allocator& alloc)
2024-06-09 12:20:04 +02:00
: allocator(alloc), root(std::move(other.root)), tail(std::move(other.tail)), beginIt(std::move(other.beginIt)),
endIt(std::move(other.endIt)), _size(std::move(other._size)) {
other.root = nullptr;
other.tail = nullptr;
2023-12-17 16:16:46 +01:00
other._size = 0;
2021-10-23 00:22:35 +02:00
}
2024-06-09 12:20:04 +02:00
constexpr ~List() {
2021-10-23 00:22:35 +02:00
clear();
deallocateNode(tail);
2021-10-23 00:22:35 +02:00
}
2024-06-09 12:20:04 +02:00
constexpr List& operator=(const List& other) {
if (this != &other) {
2022-01-12 14:40:26 +01:00
clear();
2024-06-09 12:20:04 +02:00
if constexpr (std::allocator_traits<allocator_type>::propagate_on_container_copy_assignment::value) {
if (!std::allocator_traits<allocator_type>::is_always_equal::value && allocator != other.allocator) {
2023-01-21 18:43:21 +01:00
clear();
}
allocator = other.allocator;
}
2024-06-09 12:20:04 +02:00
for (const auto& it : other) {
2021-10-23 00:22:35 +02:00
add(it);
}
2021-11-13 19:28:18 +01:00
markIteratorDirty();
2021-10-23 00:22:35 +02:00
}
return *this;
}
2024-06-09 12:20:04 +02:00
constexpr List& operator=(List&& other) {
if (this != &other) {
2022-01-12 14:40:26 +01:00
clear();
2024-06-09 12:20:04 +02:00
if constexpr (std::allocator_traits<allocator_type>::propagate_on_container_move_assignment::value) {
2023-01-21 18:43:21 +01:00
allocator = std::move(other.allocator);
}
2021-10-23 00:22:35 +02:00
root = other.root;
tail = other.tail;
beginIt = other.beginIt;
endIt = other.endIt;
_size = other._size;
other.root = nullptr;
other.tail = nullptr;
2021-10-23 00:22:35 +02:00
other._size = 0;
2021-11-13 19:28:18 +01:00
markIteratorDirty();
2021-10-23 00:22:35 +02:00
}
return *this;
}
2024-06-09 12:20:04 +02:00
constexpr reference front() { return root->data; }
constexpr reference back() { return tail->prev->data; }
constexpr void clear() {
if (empty()) {
2021-10-23 00:22:35 +02:00
return;
}
2024-06-09 12:20:04 +02:00
for (Node* tmp = root; tmp != tail;) {
2021-10-23 00:22:35 +02:00
tmp = tmp->next;
2022-01-12 14:40:26 +01:00
destroyNode(tmp->prev);
2021-10-23 00:22:35 +02:00
deallocateNode(tmp->prev);
}
root = tail;
2021-11-24 12:10:23 +01:00
markIteratorDirty();
_size = 0;
2021-10-23 00:22:35 +02:00
}
2024-06-09 12:20:04 +02:00
// Insert at the end
2024-07-18 11:45:56 +02:00
constexpr iterator add(const T& value = T()) { return addInternal(value); }
2024-06-09 12:20:04 +02:00
constexpr iterator add(T&& value) { return addInternal(std::move(value)); }
template <typename... args> constexpr reference emplace(args... arguments) {
std::allocator_traits<NodeAllocator>::construct(allocator, tail, tail->prev, tail->next, arguments...);
Node* newTail = allocateNode();
2021-11-05 00:01:12 +01:00
newTail->prev = tail;
newTail->next = nullptr;
tail->next = newTail;
Iterator insertedElement(tail);
tail = newTail;
markIteratorDirty();
_size++;
return insertedElement;
}
2021-11-01 20:25:16 +01:00
// front + popFront
2024-06-09 12:20:04 +02:00
constexpr value_type retrieve() {
2021-11-19 15:08:56 +01:00
value_type temp = std::move(root->data);
2021-11-01 20:25:16 +01:00
popFront();
2021-11-24 12:10:23 +01:00
return temp;
2021-11-01 20:25:16 +01:00
}
2024-06-09 12:20:04 +02:00
constexpr iterator remove(iterator pos) {
2021-10-23 00:22:35 +02:00
_size--;
2024-06-09 12:20:04 +02:00
Node* prev = pos.node->prev;
Node* next = pos.node->next;
if (prev == nullptr) {
2021-10-23 00:22:35 +02:00
root = next;
2024-06-09 12:20:04 +02:00
} else {
2021-10-23 00:22:35 +02:00
prev->next = next;
}
2024-06-09 12:20:04 +02:00
if (next == nullptr) {
2022-01-12 14:40:26 +01:00
tail = prev;
2024-06-09 12:20:04 +02:00
} else {
2021-10-23 00:22:35 +02:00
next->prev = prev;
}
2022-01-12 14:40:26 +01:00
destroyNode(pos.node);
2021-11-05 00:01:12 +01:00
deallocateNode(pos.node);
2021-10-23 00:22:35 +02:00
markIteratorDirty();
return Iterator(next);
}
2024-06-09 12:20:04 +02:00
constexpr void popBack() {
2021-10-23 00:22:35 +02:00
assert(_size > 0);
remove(Iterator(tail->prev));
}
2024-06-09 12:20:04 +02:00
constexpr void pop_back() {
2024-04-05 10:41:59 +02:00
assert(_size > 0);
remove(Iterator(tail->prev));
}
2024-06-09 12:20:04 +02:00
constexpr void popFront() {
2021-10-23 00:22:35 +02:00
assert(_size > 0);
remove(Iterator(root));
}
2024-06-09 12:20:04 +02:00
constexpr void pop_front() {
2024-04-05 10:41:59 +02:00
assert(_size > 0);
remove(Iterator(root));
}
2024-06-09 12:20:04 +02:00
constexpr iterator insert(iterator pos, const T& value) {
2021-10-23 00:22:35 +02:00
_size++;
2024-06-09 12:20:04 +02:00
Node* newNode = allocateNode();
2021-11-01 20:25:16 +01:00
initializeNode(newNode, value);
2021-10-23 00:22:35 +02:00
newNode->next = pos.node;
pos.node->prev = newNode;
2024-06-09 12:20:04 +02:00
Node* tmp = pos.node->prev;
if (tmp != nullptr) {
tmp->next = newNode;
newNode->prev = tmp;
2024-06-09 12:20:04 +02:00
} else {
root = newNode;
}
2021-11-13 19:28:18 +01:00
markIteratorDirty();
2021-10-23 00:22:35 +02:00
return Iterator(newNode);
}
2024-06-09 12:20:04 +02:00
constexpr iterator find(const T& value) {
for (Node* i = root; i != tail; i = i->next) {
if (!(i->data < value) && !(value < i->data)) {
2021-10-23 00:22:35 +02:00
return iterator(i);
}
}
return endIt;
}
2024-06-09 12:20:04 +02:00
constexpr bool empty() const { return _size == 0; }
constexpr size_type size() const { return _size; }
constexpr iterator begin() { return beginIt; }
constexpr const_iterator begin() const { return cbeginIt; }
constexpr iterator end() { return endIt; }
constexpr const_iterator end() const { return cendIt; }
2020-03-13 12:44:33 +01:00
2024-06-09 12:20:04 +02:00
private:
constexpr Node* allocateNode() {
2021-10-23 00:22:35 +02:00
Node* node = allocator.allocate(1);
assert(node != nullptr);
2021-11-01 20:25:16 +01:00
node->prev = nullptr;
node->next = nullptr;
2021-10-23 00:22:35 +02:00
return node;
}
2024-06-09 12:20:04 +02:00
template <typename Type> constexpr void initializeNode(Node* node, Type&& data) {
std::allocator_traits<NodeAllocator>::construct(allocator, node, node->prev, node->next, std::forward<Type>(data));
2021-11-01 20:25:16 +01:00
}
2024-06-09 12:20:04 +02:00
constexpr void destroyNode(Node* node) { std::allocator_traits<NodeAllocator>::destroy(allocator, node); }
constexpr void deallocateNode(Node* node) { if(node == nullptr) return; allocator.deallocate(node, 1); }
2024-06-09 12:20:04 +02:00
template <typename ValueType> constexpr iterator addInternal(ValueType&& value) {
2022-01-12 14:40:26 +01:00
initializeNode(tail, std::forward<ValueType>(value));
Node* newTail = allocateNode();
newTail->prev = tail;
newTail->next = nullptr;
tail->next = newTail;
Iterator insertedElement(tail);
tail = newTail;
markIteratorDirty();
_size++;
return insertedElement;
}
2024-06-09 12:20:04 +02:00
constexpr void markIteratorDirty() {
2021-10-23 00:22:35 +02:00
beginIt = Iterator(root);
endIt = Iterator(tail);
cbeginIt = ConstIterator(root);
cendIt = ConstIterator(tail);
}
NodeAllocator allocator;
2024-06-09 12:20:04 +02:00
Node* root;
Node* tail;
2022-01-12 14:40:26 +01:00
iterator beginIt;
iterator endIt;
const_iterator cbeginIt;
const_iterator cendIt;
2021-11-05 00:01:12 +01:00
size_type _size;
2020-04-12 15:47:19 +02:00
};
} // namespace Seele