2020-01-18 08:38:21 +00:00
|
|
|
/*
|
|
|
|
* Copyright (c) 2018-2020, Andreas Kling <kling@serenityos.org>
|
|
|
|
*
|
2021-04-22 08:24:48 +00:00
|
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
2020-01-18 08:38:21 +00:00
|
|
|
*/
|
|
|
|
|
2018-10-10 09:53:07 +00:00
|
|
|
#pragma once
|
|
|
|
|
2019-07-08 12:06:22 +00:00
|
|
|
#include <AK/Assertions.h>
|
2022-11-01 09:04:13 +00:00
|
|
|
#include <AK/Error.h>
|
2021-01-10 18:27:41 +00:00
|
|
|
#include <AK/Find.h>
|
2019-07-08 12:06:22 +00:00
|
|
|
#include <AK/StdLibExtras.h>
|
2020-09-06 19:49:36 +00:00
|
|
|
#include <AK/Traits.h>
|
2020-03-08 11:34:33 +00:00
|
|
|
#include <AK/Types.h>
|
2018-10-10 09:53:07 +00:00
|
|
|
|
|
|
|
namespace AK {
|
|
|
|
|
2019-06-27 14:36:31 +00:00
|
|
|
template<typename ListType, typename ElementType>
|
|
|
|
class SinglyLinkedListIterator {
|
|
|
|
public:
|
2021-01-10 23:29:28 +00:00
|
|
|
SinglyLinkedListIterator() = default;
|
2022-04-01 17:58:27 +00:00
|
|
|
bool operator!=(SinglyLinkedListIterator const& other) const { return m_node != other.m_node; }
|
2019-06-27 14:36:31 +00:00
|
|
|
SinglyLinkedListIterator& operator++()
|
|
|
|
{
|
2021-06-15 20:46:54 +00:00
|
|
|
if (m_removed)
|
|
|
|
m_removed = false;
|
|
|
|
else
|
|
|
|
m_prev = m_node;
|
|
|
|
m_node = m_next;
|
|
|
|
if (m_next)
|
|
|
|
m_next = m_next->next;
|
2019-06-27 14:36:31 +00:00
|
|
|
return *this;
|
|
|
|
}
|
2021-06-15 20:46:54 +00:00
|
|
|
ElementType& operator*()
|
|
|
|
{
|
|
|
|
VERIFY(!m_removed);
|
|
|
|
return m_node->value;
|
|
|
|
}
|
|
|
|
ElementType* operator->()
|
|
|
|
{
|
|
|
|
VERIFY(!m_removed);
|
|
|
|
return &m_node->value;
|
|
|
|
}
|
2019-06-27 14:36:31 +00:00
|
|
|
bool is_end() const { return !m_node; }
|
2020-04-26 20:57:47 +00:00
|
|
|
bool is_begin() const { return !m_prev; }
|
2021-06-15 20:46:54 +00:00
|
|
|
void remove(ListType& list)
|
|
|
|
{
|
|
|
|
m_removed = true;
|
|
|
|
list.remove(*this);
|
|
|
|
};
|
2019-06-27 14:36:31 +00:00
|
|
|
|
|
|
|
private:
|
|
|
|
friend ListType;
|
|
|
|
explicit SinglyLinkedListIterator(typename ListType::Node* node, typename ListType::Node* prev = nullptr)
|
|
|
|
: m_node(node)
|
|
|
|
, m_prev(prev)
|
2021-06-15 20:46:54 +00:00
|
|
|
, m_next(node ? node->next : nullptr)
|
2019-06-27 14:36:31 +00:00
|
|
|
{
|
|
|
|
}
|
|
|
|
typename ListType::Node* m_node { nullptr };
|
|
|
|
typename ListType::Node* m_prev { nullptr };
|
2021-06-15 20:46:54 +00:00
|
|
|
typename ListType::Node* m_next { nullptr };
|
|
|
|
bool m_removed { false };
|
2019-06-27 14:36:31 +00:00
|
|
|
};
|
|
|
|
|
2018-10-10 09:53:07 +00:00
|
|
|
template<typename T>
|
|
|
|
class SinglyLinkedList {
|
|
|
|
private:
|
|
|
|
struct Node {
|
2019-05-28 09:53:16 +00:00
|
|
|
explicit Node(T&& v)
|
2019-06-15 08:34:03 +00:00
|
|
|
: value(move(v))
|
2019-05-28 09:53:16 +00:00
|
|
|
{
|
|
|
|
}
|
2019-06-27 14:36:31 +00:00
|
|
|
explicit Node(const T& v)
|
|
|
|
: value(v)
|
|
|
|
{
|
|
|
|
}
|
2018-10-10 09:53:07 +00:00
|
|
|
T value;
|
|
|
|
Node* next { nullptr };
|
|
|
|
};
|
|
|
|
|
|
|
|
public:
|
2021-01-10 23:29:28 +00:00
|
|
|
SinglyLinkedList() = default;
|
2022-04-01 17:58:27 +00:00
|
|
|
SinglyLinkedList(SinglyLinkedList const& other) = delete;
|
2022-01-15 10:08:08 +00:00
|
|
|
SinglyLinkedList(SinglyLinkedList&& other)
|
|
|
|
: m_head(other.m_head)
|
|
|
|
, m_tail(other.m_tail)
|
|
|
|
{
|
|
|
|
other.m_head = nullptr;
|
|
|
|
other.m_tail = nullptr;
|
|
|
|
}
|
2022-04-01 17:58:27 +00:00
|
|
|
SinglyLinkedList& operator=(SinglyLinkedList const& other) = delete;
|
2022-01-15 10:08:08 +00:00
|
|
|
SinglyLinkedList& operator=(SinglyLinkedList&&) = delete;
|
2022-01-14 12:54:39 +00:00
|
|
|
|
2018-10-13 12:29:00 +00:00
|
|
|
~SinglyLinkedList() { clear(); }
|
2018-10-10 09:53:07 +00:00
|
|
|
|
2018-12-21 01:10:45 +00:00
|
|
|
bool is_empty() const { return !head(); }
|
2018-10-10 09:53:07 +00:00
|
|
|
|
2019-12-09 16:48:58 +00:00
|
|
|
inline size_t size_slow() const
|
2019-03-13 12:11:23 +00:00
|
|
|
{
|
2019-12-09 16:48:58 +00:00
|
|
|
size_t size = 0;
|
2019-03-13 12:11:23 +00:00
|
|
|
for (auto* node = m_head; node; node = node->next)
|
|
|
|
++size;
|
|
|
|
return size;
|
|
|
|
}
|
|
|
|
|
2018-10-13 12:29:00 +00:00
|
|
|
void clear()
|
|
|
|
{
|
2019-05-28 09:53:16 +00:00
|
|
|
for (auto* node = m_head; node;) {
|
2018-10-13 12:29:00 +00:00
|
|
|
auto* next = node->next;
|
|
|
|
delete node;
|
|
|
|
node = next;
|
|
|
|
}
|
|
|
|
m_head = nullptr;
|
|
|
|
m_tail = nullptr;
|
|
|
|
}
|
|
|
|
|
2019-05-28 09:53:16 +00:00
|
|
|
T& first()
|
|
|
|
{
|
2021-02-23 19:42:32 +00:00
|
|
|
VERIFY(head());
|
2019-05-28 09:53:16 +00:00
|
|
|
return head()->value;
|
|
|
|
}
|
|
|
|
const T& first() const
|
|
|
|
{
|
2021-02-23 19:42:32 +00:00
|
|
|
VERIFY(head());
|
2019-05-28 09:53:16 +00:00
|
|
|
return head()->value;
|
|
|
|
}
|
|
|
|
T& last()
|
|
|
|
{
|
2021-02-23 19:42:32 +00:00
|
|
|
VERIFY(head());
|
2019-05-28 09:53:16 +00:00
|
|
|
return tail()->value;
|
|
|
|
}
|
|
|
|
const T& last() const
|
|
|
|
{
|
2021-02-23 19:42:32 +00:00
|
|
|
VERIFY(head());
|
2019-05-28 09:53:16 +00:00
|
|
|
return tail()->value;
|
|
|
|
}
|
2018-10-10 09:53:07 +00:00
|
|
|
|
2019-03-11 11:43:45 +00:00
|
|
|
T take_first()
|
|
|
|
{
|
2021-02-23 19:42:32 +00:00
|
|
|
VERIFY(m_head);
|
2019-03-13 12:11:23 +00:00
|
|
|
auto* prev_head = m_head;
|
2019-06-15 08:34:03 +00:00
|
|
|
T value = move(first());
|
2019-03-11 11:43:45 +00:00
|
|
|
if (m_tail == m_head)
|
|
|
|
m_tail = nullptr;
|
|
|
|
m_head = m_head->next;
|
2019-03-13 12:11:23 +00:00
|
|
|
delete prev_head;
|
2019-03-11 11:43:45 +00:00
|
|
|
return value;
|
|
|
|
}
|
|
|
|
|
2021-01-15 22:47:42 +00:00
|
|
|
template<typename U = T>
|
2022-11-01 09:04:13 +00:00
|
|
|
ErrorOr<void> try_append(U&& value)
|
2019-06-27 14:36:31 +00:00
|
|
|
{
|
2022-11-01 09:04:13 +00:00
|
|
|
auto* node = new (nothrow) Node(forward<U>(value));
|
|
|
|
if (!node)
|
|
|
|
return Error::from_errno(ENOMEM);
|
2018-10-10 09:53:07 +00:00
|
|
|
if (!m_head) {
|
|
|
|
m_head = node;
|
|
|
|
m_tail = node;
|
2022-11-01 09:04:13 +00:00
|
|
|
return {};
|
2018-10-10 09:53:07 +00:00
|
|
|
}
|
|
|
|
m_tail->next = node;
|
|
|
|
m_tail = node;
|
2022-11-01 09:04:13 +00:00
|
|
|
return {};
|
2018-10-10 09:53:07 +00:00
|
|
|
}
|
|
|
|
|
2022-05-05 08:35:25 +00:00
|
|
|
template<typename U = T>
|
2022-11-01 09:04:13 +00:00
|
|
|
ErrorOr<void> try_prepend(U&& value)
|
2022-05-05 08:35:25 +00:00
|
|
|
{
|
2022-11-01 09:04:13 +00:00
|
|
|
auto* node = new (nothrow) Node(forward<U>(value));
|
|
|
|
if (!node)
|
|
|
|
return Error::from_errno(ENOMEM);
|
2022-05-05 08:35:25 +00:00
|
|
|
if (!m_head) {
|
|
|
|
m_head = node;
|
|
|
|
m_tail = node;
|
2022-11-01 09:04:13 +00:00
|
|
|
return {};
|
2022-05-05 08:35:25 +00:00
|
|
|
}
|
|
|
|
node->next = m_head;
|
|
|
|
m_head = node;
|
2022-11-01 09:04:13 +00:00
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef KERNEL
|
|
|
|
template<typename U = T>
|
|
|
|
void append(U&& value)
|
|
|
|
{
|
|
|
|
MUST(try_append(forward<U>(value)));
|
2022-05-05 08:35:25 +00:00
|
|
|
}
|
|
|
|
|
2022-11-01 09:04:13 +00:00
|
|
|
template<typename U = T>
|
|
|
|
void prepend(U&& value)
|
|
|
|
{
|
|
|
|
MUST(try_prepend(forward<U>(value)));
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2019-01-31 16:31:23 +00:00
|
|
|
bool contains_slow(const T& value) const
|
2018-10-10 09:53:07 +00:00
|
|
|
{
|
2020-09-06 19:49:36 +00:00
|
|
|
return find(value) != end();
|
2018-10-10 09:53:07 +00:00
|
|
|
}
|
|
|
|
|
2019-06-27 14:36:31 +00:00
|
|
|
using Iterator = SinglyLinkedListIterator<SinglyLinkedList, T>;
|
|
|
|
friend Iterator;
|
2018-10-10 09:53:07 +00:00
|
|
|
Iterator begin() { return Iterator(m_head); }
|
2020-02-26 12:49:58 +00:00
|
|
|
Iterator end() { return {}; }
|
2018-10-10 09:53:07 +00:00
|
|
|
|
2019-06-27 14:36:31 +00:00
|
|
|
using ConstIterator = SinglyLinkedListIterator<const SinglyLinkedList, const T>;
|
|
|
|
friend ConstIterator;
|
2018-10-10 09:53:07 +00:00
|
|
|
ConstIterator begin() const { return ConstIterator(m_head); }
|
2020-02-26 12:49:58 +00:00
|
|
|
ConstIterator end() const { return {}; }
|
2018-10-10 09:53:07 +00:00
|
|
|
|
2021-01-10 18:27:41 +00:00
|
|
|
template<typename TUnaryPredicate>
|
|
|
|
ConstIterator find_if(TUnaryPredicate&& pred) const
|
2018-10-10 09:53:07 +00:00
|
|
|
{
|
2021-01-10 18:27:41 +00:00
|
|
|
return AK::find_if(begin(), end(), forward<TUnaryPredicate>(pred));
|
2018-10-10 09:53:07 +00:00
|
|
|
}
|
|
|
|
|
2021-01-10 18:27:41 +00:00
|
|
|
template<typename TUnaryPredicate>
|
|
|
|
Iterator find_if(TUnaryPredicate&& pred)
|
2018-10-10 09:53:07 +00:00
|
|
|
{
|
2021-01-10 18:27:41 +00:00
|
|
|
return AK::find_if(begin(), end(), forward<TUnaryPredicate>(pred));
|
2018-10-10 09:53:07 +00:00
|
|
|
}
|
|
|
|
|
2019-06-29 17:14:03 +00:00
|
|
|
ConstIterator find(const T& value) const
|
|
|
|
{
|
2021-01-10 18:27:41 +00:00
|
|
|
return find_if([&](auto& other) { return Traits<T>::equals(value, other); });
|
2019-06-29 17:14:03 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
Iterator find(const T& value)
|
|
|
|
{
|
2021-01-10 18:27:41 +00:00
|
|
|
return find_if([&](auto& other) { return Traits<T>::equals(value, other); });
|
2019-06-29 17:14:03 +00:00
|
|
|
}
|
|
|
|
|
2021-01-15 22:47:42 +00:00
|
|
|
template<typename U = T>
|
2022-11-01 09:04:13 +00:00
|
|
|
ErrorOr<void> try_insert_before(Iterator iterator, U&& value)
|
2019-12-27 00:56:52 +00:00
|
|
|
{
|
2022-11-01 09:04:13 +00:00
|
|
|
auto* node = new (nothrow) Node(forward<U>(value));
|
|
|
|
if (!node)
|
|
|
|
return Error::from_errno(ENOMEM);
|
2019-12-27 00:56:52 +00:00
|
|
|
node->next = iterator.m_node;
|
|
|
|
if (m_head == iterator.m_node)
|
|
|
|
m_head = node;
|
|
|
|
if (iterator.m_prev)
|
|
|
|
iterator.m_prev->next = node;
|
2022-11-01 09:04:13 +00:00
|
|
|
return {};
|
2019-12-27 00:56:52 +00:00
|
|
|
}
|
|
|
|
|
2021-01-15 22:47:42 +00:00
|
|
|
template<typename U = T>
|
2022-11-01 09:04:13 +00:00
|
|
|
ErrorOr<void> try_insert_after(Iterator iterator, U&& value)
|
2019-12-27 00:56:52 +00:00
|
|
|
{
|
2022-11-01 09:04:13 +00:00
|
|
|
if (iterator.is_end())
|
|
|
|
return try_append(value);
|
2019-12-27 00:56:52 +00:00
|
|
|
|
2022-11-01 09:04:13 +00:00
|
|
|
auto* node = new (nothrow) Node(forward<U>(value));
|
|
|
|
if (!node)
|
|
|
|
return Error::from_errno(ENOMEM);
|
2019-12-27 00:56:52 +00:00
|
|
|
node->next = iterator.m_node->next;
|
|
|
|
|
|
|
|
iterator.m_node->next = node;
|
|
|
|
|
|
|
|
if (m_tail == iterator.m_node)
|
|
|
|
m_tail = node;
|
2022-11-01 09:04:13 +00:00
|
|
|
return {};
|
|
|
|
}
|
|
|
|
|
|
|
|
#ifndef KERNEL
|
|
|
|
template<typename U = T>
|
|
|
|
void insert_before(Iterator iterator, U&& value)
|
|
|
|
{
|
|
|
|
MUST(try_insert_before(iterator, forward<U>(value)));
|
|
|
|
}
|
|
|
|
|
|
|
|
template<typename U = T>
|
|
|
|
void insert_after(Iterator iterator, U&& value)
|
|
|
|
{
|
|
|
|
MUST(try_insert_after(iterator, forward<U>(value)));
|
2019-12-27 00:56:52 +00:00
|
|
|
}
|
2022-11-01 09:04:13 +00:00
|
|
|
#endif
|
2019-12-27 00:56:52 +00:00
|
|
|
|
2021-06-15 20:46:54 +00:00
|
|
|
void remove(Iterator& iterator)
|
|
|
|
{
|
|
|
|
VERIFY(!iterator.is_end());
|
|
|
|
if (m_head == iterator.m_node)
|
|
|
|
m_head = iterator.m_node->next;
|
|
|
|
if (m_tail == iterator.m_node)
|
|
|
|
m_tail = iterator.m_prev;
|
|
|
|
if (iterator.m_prev)
|
|
|
|
iterator.m_prev->next = iterator.m_node->next;
|
|
|
|
delete iterator.m_node;
|
|
|
|
}
|
|
|
|
|
2021-07-06 23:36:51 +00:00
|
|
|
private:
|
2018-10-10 09:53:07 +00:00
|
|
|
Node* head() { return m_head; }
|
2022-04-01 17:58:27 +00:00
|
|
|
Node const* head() const { return m_head; }
|
2018-10-10 09:53:07 +00:00
|
|
|
|
|
|
|
Node* tail() { return m_tail; }
|
2022-04-01 17:58:27 +00:00
|
|
|
Node const* tail() const { return m_tail; }
|
2018-10-10 09:53:07 +00:00
|
|
|
|
|
|
|
Node* m_head { nullptr };
|
|
|
|
Node* m_tail { nullptr };
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
using AK::SinglyLinkedList;
|