///\file /****************************************************************************** The MIT License(MIT) Embedded Template Library. https://github.com/ETLCPP/etl https://www.etlcpp.com Copyright(c) 2016 John Wellbelove Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files(the "Software"), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and / or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions : The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software. THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. ******************************************************************************/ #ifndef ETL_INTRUSIVE_LIST_INCLUDED #define ETL_INTRUSIVE_LIST_INCLUDED #include "platform.h" #include "nullptr.h" #include "type_traits.h" #include "exception.h" #include "error_handler.h" #include "intrusive_links.h" #include "static_assert.h" #include "algorithm.h" #include "iterator.h" #include "functional.h" #include #include "private/minmax_push.h" namespace etl { //*************************************************************************** /// Exception for the intrusive_list. ///\ingroup intrusive_list //*************************************************************************** class intrusive_list_exception : public exception { public: intrusive_list_exception(string_type reason_, string_type file_name_, numeric_type line_number_) : exception(reason_, file_name_, line_number_) { } }; //*************************************************************************** /// Empty exception for the intrusive_list. ///\ingroup intrusive_list //*************************************************************************** class intrusive_list_empty : public intrusive_list_exception { public: intrusive_list_empty(string_type file_name_, numeric_type line_number_) : intrusive_list_exception(ETL_ERROR_TEXT("intrusive_list:empty", ETL_INTRUSIVE_LIST_FILE_ID"A"), file_name_, line_number_) { } }; //*************************************************************************** /// Iterator exception for the intrusive_list. ///\ingroup intrusive_list //*************************************************************************** class intrusive_list_iterator_exception : public intrusive_list_exception { public: intrusive_list_iterator_exception(string_type file_name_, numeric_type line_number_) : intrusive_list_exception(ETL_ERROR_TEXT("intrusive_list:iterator", ETL_INTRUSIVE_LIST_FILE_ID"B"), file_name_, line_number_) { } }; //*************************************************************************** /// Unsorted exception for the intrusive_list. ///\ingroup intrusive_list //*************************************************************************** class intrusive_list_unsorted : public intrusive_list_exception { public: intrusive_list_unsorted(string_type file_name_, numeric_type line_number_) : intrusive_list_exception(ETL_ERROR_TEXT("intrusive_list:unsorted", ETL_INTRUSIVE_LIST_FILE_ID"C"), file_name_, line_number_) { } }; //*************************************************************************** /// Already exception for the intrusive_list. ///\ingroup intrusive_list //*************************************************************************** class intrusive_list_value_is_already_linked : public intrusive_list_exception { public: intrusive_list_value_is_already_linked(string_type file_name_, numeric_type line_number_) : intrusive_list_exception(ETL_ERROR_TEXT("intrusive_list:value is already linked", ETL_INTRUSIVE_LIST_FILE_ID"E"), file_name_, line_number_) { } }; //*************************************************************************** /// Base for intrusive list. ///\ingroup intrusive_list //*************************************************************************** template class intrusive_list_base { public: // Node typedef. typedef TLink link_type; //************************************************************************* /// Assigns a range of values to the intrusive_list. /// If ETL_THROW_EXCEPTIONS & ETL_DEBUG are defined emits a /// intrusive_list_iterator_exception if the iterators are reversed. //************************************************************************* template void assign(TIterator first, TIterator last) { #if ETL_IS_DEBUG_BUILD intmax_t d = etl::distance(first, last); ETL_ASSERT(d >= 0, ETL_ERROR(intrusive_list_iterator_exception)); #endif initialise(); link_type* p_last_link = &terminal_link; // Add all of the elements. while (first != last) { link_type& link = *first++; etl::link_splice(p_last_link, link); p_last_link = &link; ++current_size; } } //************************************************************************* /// Pushes a value to the front of the intrusive_list. //************************************************************************* void push_front(link_type& value) { ETL_ASSERT_OR_RETURN(!value.is_linked(), ETL_ERROR(intrusive_list_value_is_already_linked)); insert_link(terminal_link, value); } //************************************************************************* /// Removes a value from the front of the intrusive_list. //************************************************************************* void pop_front() { #if defined(ETL_CHECK_PUSH_POP) ETL_ASSERT(!empty(), ETL_ERROR(intrusive_list_empty)); #endif disconnect_link(get_head()); } //************************************************************************* /// Pushes a value to the back of the intrusive_list. //************************************************************************* void push_back(link_type& value) { ETL_ASSERT_OR_RETURN(!value.is_linked(), ETL_ERROR(intrusive_list_value_is_already_linked)); insert_link(terminal_link.link_type::etl_previous, value); } //************************************************************************* /// Removes a value from the back of the intrusive_list. //************************************************************************* void pop_back() { #if defined(ETL_CHECK_PUSH_POP) ETL_ASSERT(!empty(), ETL_ERROR(intrusive_list_empty)); #endif disconnect_link(get_tail()); } //************************************************************************* /// Clears the intrusive_list. //************************************************************************* void clear() { // Unlink all of the items. link_type* p_unlink = terminal_link.etl_next; while (p_unlink != &terminal_link) { link_type* p_next = p_unlink->etl_next; p_unlink->clear(); p_unlink = p_next; } initialise(); } //************************************************************************* /// Reverses the list. //************************************************************************* void reverse() { if (is_trivial_list()) { return; } link_type* pnode = terminal_link.etl_next; while (pnode != &terminal_link) { pnode->reverse(); pnode = pnode->etl_previous; // Now we've reversed it, we must go to the previous node. } // Terminal node. pnode->reverse(); } //************************************************************************* /// Returns true if the list has no elements. //************************************************************************* bool empty() const { return (terminal_link.link_type::etl_next == &terminal_link); } //************************************************************************* /// Returns the number of elements. //************************************************************************* size_t size() const { return current_size; } protected: /// The link that acts as the intrusive_list start & end. link_type terminal_link; size_t current_size; ///< Counts the number of elements in the list. //************************************************************************* /// Destructor //************************************************************************* ~intrusive_list_base() { } //************************************************************************* /// Is the intrusive_list a trivial length? //************************************************************************* bool is_trivial_list() const { return (terminal_link.link_type::etl_next == &terminal_link) || (terminal_link.link_type::etl_next->etl_next == &terminal_link); } //************************************************************************* /// Insert a link. //************************************************************************* void insert_link(link_type& previous, link_type& new_link) { // Connect to the intrusive_list. etl::link_splice(previous, new_link); ++current_size; } //************************************************************************* /// Insert a link. //************************************************************************* void insert_link(link_type* previous, link_type& new_link) { // Connect to the intrusive_list. etl::link_splice(previous, new_link); ++current_size; } //************************************************************************* /// Insert a link. //************************************************************************* void insert_link(link_type& previous, link_type* new_link) { // Connect to the intrusive_list. etl::link_splice(previous, new_link); ++current_size; } //************************************************************************* /// Insert a link. //************************************************************************* void insert_link(link_type* previous, link_type* new_link) { // Connect to the intrusive_list. etl::link_splice(previous, new_link); ++current_size; } //************************************************************************* /// Remove a link. //************************************************************************* void disconnect_link(link_type& link) { etl::unlink(link); --current_size; } //************************************************************************* /// Remove a link. //************************************************************************* void disconnect_link(link_type* link) { etl::unlink(*link); --current_size; } //************************************************************************* /// Get the head link. //************************************************************************* link_type* get_head() { return terminal_link.etl_next; } //************************************************************************* /// Get the head link. //************************************************************************* const link_type* get_head() const { return terminal_link.etl_next; } //************************************************************************* /// Get the tail link. //************************************************************************* link_type* get_tail() { return terminal_link.etl_previous; } //************************************************************************* /// Get the tail link. //************************************************************************* const link_type* get_tail() const { return terminal_link.etl_previous; } //************************************************************************* /// Initialise the intrusive_list. //************************************************************************* void initialise() { etl::link(terminal_link, terminal_link); current_size = 0; } //************************************************************************* /// Tests if the link is in this list. //************************************************************************* bool is_link_in_list(link_type& search_link) const { link_type* p_link = terminal_link.link_type::etl_next; while (p_link != &terminal_link) { if (&search_link == p_link) { return true; } p_link = p_link->link_type::etl_next; } return false; } //************************************************************************* /// Remove the specified node from the list. /// Returns ETL_NULLPTR if the link was not in this list or was the last in the list. //************************************************************************* link_type* remove_link(link_type& link) { link_type* result = ETL_NULLPTR; if (is_link_in_list(link)) { link_type* p_next = link.etl_next; disconnect_link(link); if (p_next != &terminal_link) { result = p_next; } } return result; } //************************************************************************* /// Removes a range of links. //************************************************************************* link_type* remove_link_range(link_type* p_first, link_type* p_last) { // Join the ends. etl::link(p_first->etl_previous, p_last); while (p_first != p_last) { link_type* p_next = p_first->etl_next; p_first->clear(); p_first = p_next; } if (p_last == &terminal_link) { return ETL_NULLPTR; } else { return p_last; } } }; //*************************************************************************** /// An intrusive list. ///\ingroup intrusive_list ///\note TLink must be a base of TValue. //*************************************************************************** template class intrusive_list : public etl::intrusive_list_base { public: // Node typedef. typedef typename etl::intrusive_list_base::link_type link_type; typedef intrusive_list list_type; typedef TValue node_type; // STL style typedefs. typedef TValue value_type; typedef value_type* pointer; typedef const value_type* const_pointer; typedef value_type& reference; typedef const value_type& const_reference; typedef size_t size_type; //************************************************************************* /// iterator. //************************************************************************* class iterator : public etl::iterator { public: friend class intrusive_list; friend class const_iterator; iterator() : p_value(ETL_NULLPTR) { } iterator(const iterator& other) : p_value(other.p_value) { } iterator& operator ++() { // Read the appropriate 'etl_next'. p_value = p_value->etl_next; return *this; } iterator operator ++(int) { iterator temp(*this); // Read the appropriate 'etl_next'. p_value = p_value->etl_next; return temp; } iterator& operator --() { // Read the appropriate 'etl_previous'. p_value = p_value->etl_previous; return *this; } iterator operator --(int) { iterator temp(*this); // Read the appropriate 'etl_previous'. p_value = p_value->etl_previous; return temp; } iterator& operator =(const iterator& other) { p_value = other.p_value; return *this; } reference operator *() const { #include "private/diagnostic_null_dereference_push.h" return *static_cast(p_value); #include "private/diagnostic_pop.h" } pointer operator &() const { return static_cast(p_value); } pointer operator ->() const { return static_cast(p_value); } friend bool operator == (const iterator& lhs, const iterator& rhs) { return lhs.p_value == rhs.p_value; } friend bool operator != (const iterator& lhs, const iterator& rhs) { return !(lhs == rhs); } private: iterator(link_type* value) : p_value(value) { } link_type* p_value; }; //************************************************************************* /// const_iterator //************************************************************************* class const_iterator : public etl::iterator { public: friend class intrusive_list; const_iterator() : p_value(ETL_NULLPTR) { } const_iterator(const typename intrusive_list::iterator& other) : p_value(other.p_value) { } const_iterator(const const_iterator& other) : p_value(other.p_value) { } const_iterator& operator ++() { // Read the appropriate 'etl_next'. p_value = p_value->etl_next; return *this; } const_iterator operator ++(int) { const_iterator temp(*this); // Read the appropriate 'etl_next'. p_value = p_value->etl_next; return temp; } const_iterator& operator --() { // Read the appropriate 'etl_previous'. p_value = p_value->etl_previous; return *this; } const_iterator operator --(int) { const_iterator temp(*this); // Read the appropriate 'etl_previous'. p_value = p_value->etl_previous; return temp; } const_iterator& operator =(const const_iterator& other) { p_value = other.p_value; return *this; } const_reference operator *() const { return *static_cast(p_value); } const_pointer operator &() const { return static_cast(p_value); } const_pointer operator ->() const { return static_cast(p_value); } friend bool operator == (const const_iterator& lhs, const const_iterator& rhs) { return lhs.p_value == rhs.p_value; } friend bool operator != (const const_iterator& lhs, const const_iterator& rhs) { return !(lhs == rhs); } private: const_iterator(const link_type* value) : p_value(value) { } const link_type* p_value; }; typedef typename etl::iterator_traits::difference_type difference_type; //************************************************************************* /// Constructor. //************************************************************************* intrusive_list() { this->initialise(); } //************************************************************************* /// Destructor. //************************************************************************* ~intrusive_list() { this->clear(); } //************************************************************************* /// Constructor from range //************************************************************************* template intrusive_list(TIterator first, TIterator last, typename etl::enable_if::value, int>::type = 0) { this->assign(first, last); } //************************************************************************* /// Gets the beginning of the intrusive_list. //************************************************************************* iterator begin() { return iterator(this->get_head()); } //************************************************************************* /// Gets the beginning of the intrusive_list. //************************************************************************* const_iterator begin() const { return const_iterator(this->get_head()); } //************************************************************************* /// Gets the beginning of the intrusive_list. //************************************************************************* const_iterator cbegin() const { return const_iterator(this->get_head()); } //************************************************************************* /// Gets the end of the intrusive_list. //************************************************************************* iterator end() { return iterator(&this->terminal_link); } //************************************************************************* /// Gets the end of the intrusive_list. //************************************************************************* const_iterator end() const { return const_iterator(&this->terminal_link); } //************************************************************************* /// Gets the end of the intrusive_list. //************************************************************************* const_iterator cend() const { return const_iterator(&this->terminal_link); } //************************************************************************* /// Gets a reference to the first element. //************************************************************************* reference front() { return *static_cast(this->get_head()); } //************************************************************************* /// Gets a const reference to the first element. //************************************************************************* const_reference front() const { return *static_cast(this->get_head()); } //************************************************************************* /// Gets a reference to the last element. //************************************************************************* reference back() { return *static_cast(this->get_tail()); } //************************************************************************* /// Gets a const reference to the last element. //************************************************************************* const_reference back() const { return *static_cast(this->get_tail()); } //************************************************************************* /// Inserts a value to the intrusive_list before the specified position. //************************************************************************* iterator insert(const_iterator position, value_type& value) { this->insert_link(position.p_value->link_type::etl_previous, value); return iterator(&value); } //************************************************************************* /// Inserts a range of values to the intrusive_list after the specified position. //************************************************************************* template void insert(const_iterator position, TIterator first, TIterator last) { while (first != last) { // Set up the next free link. this->insert_link(*position.p_value->link_type::etl_previous, *first); ++first; } } //************************************************************************* /// Erases the value at the specified position. //************************************************************************* iterator erase(iterator position) { iterator next(position); ++next; this->disconnect_link(*position.p_value); return next; } //************************************************************************* /// Erases the value at the specified position. //************************************************************************* iterator erase(const_iterator position) { iterator next(position); ++next; this->disconnect_link(*position.p_value); return next; } //************************************************************************* /// Erases a range of elements. /// Clears the links after erasing if AUTO or CHECKED. //************************************************************************* iterator erase(const_iterator first, const_iterator last) { const link_type* cp_first = first.p_value; const link_type* cp_last = last.p_value; link_type* p_first = const_cast(cp_first); link_type* p_last = const_cast(cp_last); this->current_size -= etl::distance(first, last); p_last = this->remove_link_range(p_first, p_last); if (p_last == ETL_NULLPTR) { return end(); } else { return iterator(static_cast(p_last)); } } //************************************************************************* /// Erases the specified node. //************************************************************************* node_type* erase(node_type& node) { return static_cast(this->remove_link(node)); } //************************************************************************* /// Removes all but the one element from every consecutive group of equal /// elements in the container. //************************************************************************* template void unique(TIsEqual isEqual) { if (this->empty()) { return; } iterator i_item = begin(); ++i_item; iterator i_previous = begin(); while (i_item != end()) { if (isEqual(*i_previous, *i_item)) { i_item = erase(i_item); } else { i_previous = i_item; ++i_item; } } } //************************************************************************* /// Sort using in-place merge sort algorithm. //************************************************************************* void sort() { sort(etl::less()); } //************************************************************************* /// Stable sort using in-place merge sort algorithm. /// Copyright 2001 Simon Tatham. /// /// Permission is hereby granted, free of charge, to any person /// obtaining a copy of this software and associated documentation /// files (the "Software"), to deal in the Software without /// restriction, including without limitation the rights to use, /// copy, modify, merge, publish, distribute, sublicense, and/or /// sell copies of the Software, and to permit persons to whom the /// Software is furnished to do so, subject to the following /// conditions: /// /// The above copyright notice and this permission notice shall be /// included in all copies or substantial portions of the Software. /// /// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, /// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES /// OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND /// NONINFRINGEMENT. IN NO EVENT SHALL SIMON TATHAM BE LIABLE FOR /// ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF /// CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN /// CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE /// SOFTWARE. //************************************************************************* template void sort(TCompare compare) { iterator i_left; iterator i_right; iterator i_node; iterator i_head; iterator i_tail; int list_size = 1; int number_of_merges; int left_size; int right_size; if (this->is_trivial_list()) { return; } while (true) { i_left = begin(); i_head = end(); i_tail = end(); number_of_merges = 0; // Count the number of merges we do in this pass. while (i_left != end()) { ++number_of_merges; // There exists a merge to be done. i_right = i_left; left_size = 0; // Step 'list_size' places along from left for (int i = 0; i < list_size; ++i) { ++left_size; ++i_right; if (i_right == end()) { break; } } // If right hasn't fallen off end, we have two lists to merge. right_size = list_size; // Now we have two lists. Merge them. while (left_size > 0 || (right_size > 0 && i_right != end())) { // Decide whether the next node of merge comes from left or right. if (left_size == 0) { // Left is empty. The node must come from right. i_node = i_right++; --right_size; } else if (right_size == 0 || i_right == end()) { // Right is empty. The node must come from left. i_node = i_left++; --left_size; } else if (!compare(*i_right, *i_left)) { // First node of left is lower or same. The node must come from left. i_node = i_left++; --left_size; } else { // First node of right is lower. The node must come from right. i_node = i_right; ++i_right; --right_size; } // Add the next node to the merged head. if (i_head == end()) { etl::link(i_head.p_value, i_node.p_value); i_head = i_node; i_tail = i_node; } else { etl::link(i_tail.p_value, i_node.p_value); i_tail = i_node; } etl::link(i_tail.p_value, this->terminal_link); } // Now left has stepped `list_size' places along, and right has too. i_left = i_right; } // If we have done only one merge, we're finished. if (number_of_merges <= 1) // Allow for number_of_merges == 0, the empty head case { return; } // Otherwise repeat, merging lists twice the size list_size *= 2; } } //************************************************************************* // Removes the values specified. //************************************************************************* void remove(const_reference value) { iterator i_item = begin(); while (i_item != end()) { if (*i_item == value) { i_item = erase(i_item); } else { ++i_item; } } } //************************************************************************* /// Removes according to a predicate. //************************************************************************* template void remove_if(TPredicate predicate) { iterator i_item = begin(); while (i_item != end()) { if (predicate(*i_item)) { i_item = erase(i_item); } else { ++i_item; } } } //************************************************************************* /// Splice another list into this one. //************************************************************************* void splice(iterator position, list_type& other) { // No point splicing to ourself! if (&other != this) { if (!other.empty()) { link_type& first = *other.get_head(); link_type& last = *other.get_tail(); if (&other != this) { this->current_size += other.size(); } link_type& after = *position.p_value; link_type& before = *after.etl_previous; etl::link(before, first); etl::link(last, after); other.initialise(); } } } //************************************************************************* /// Splice an element from another list into this one. //************************************************************************* void splice(iterator position, list_type& other, iterator isource) { link_type& before = *position.p_value->link_type::etl_previous; etl::unlink(*isource.p_value); etl::link_splice(before, *isource.p_value); if (&other != this) { ++this->current_size; --other.current_size; } } //************************************************************************* /// Splice a range of elements from another list into this one. //************************************************************************* void splice(iterator position, list_type& other, iterator begin_, iterator end_) { if (!other.empty()) { if (&other != this) { size_t n = etl::distance(begin_, end_); this->current_size += n; other.current_size -= n; } link_type& first = *begin_.p_value; link_type& last = *end_.p_value->link_type::etl_previous; // Unlink from the source list. etl::unlink(first, last); // Fix our links. link_type& before = *position.p_value->link_type::etl_previous; etl::link_splice(before, first, last); } } //************************************************************************* /// Merge another list into this one. Both lists should be sorted. //************************************************************************* void merge(list_type& other) { merge(other, etl::less()); } //************************************************************************* /// Merge another list into this one. Both lists should be sorted. //************************************************************************* template void merge(list_type& other, TCompare compare) { if ((this != &other) && !other.empty()) { #if ETL_IS_DEBUG_BUILD ETL_ASSERT(etl::is_sorted(other.begin(), other.end(), compare), ETL_ERROR(intrusive_list_unsorted)); ETL_ASSERT(etl::is_sorted(begin(), end(), compare), ETL_ERROR(intrusive_list_unsorted)); #endif link_type* other_begin = other.get_head(); link_type* other_end = &other.terminal_link; link_type* this_begin = this->get_head(); link_type* this_end = &this->terminal_link; while ((this_begin != this_end) && (other_begin != other_end)) { // Find the place to insert. while ((this_begin != this_end) && !(compare(*static_cast(other_begin), *static_cast(this_begin)))) { this_begin = this_begin->etl_next; } // Insert. if (this_begin != this_end) { while ((other_begin != other_end) && (compare(*static_cast(other_begin), *static_cast(this_begin)))) { link_type* value = other_begin; other_begin = other_begin->etl_next; etl::link_splice(*this_begin->etl_previous, *value); } } } // Any left over? if ((this_begin == this_end) && (other_begin != other_end)) { etl::link_splice(*this->get_tail(), *other_begin, *other_end->etl_previous); } this->current_size += other.size(); other.initialise(); } } private: // Disabled. intrusive_list(const intrusive_list& other); intrusive_list& operator = (const intrusive_list& rhs); }; } #include "private/minmax_pop.h" #endif