| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602 |
- // List implementation (out of line) -*- C++ -*-
- // Copyright (C) 2001-2018 Free Software Foundation, Inc.
- //
- // This file is part of the GNU ISO C++ Library. This library is free
- // software; you can redistribute it and/or modify it under the
- // terms of the GNU General Public License as published by the
- // Free Software Foundation; either version 3, or (at your option)
- // any later version.
- // This library is distributed in the hope that it will be useful,
- // but WITHOUT ANY WARRANTY; without even the implied warranty of
- // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
- // GNU General Public License for more details.
- // Under Section 7 of GPL version 3, you are granted additional
- // permissions described in the GCC Runtime Library Exception, version
- // 3.1, as published by the Free Software Foundation.
- // You should have received a copy of the GNU General Public License and
- // a copy of the GCC Runtime Library Exception along with this program;
- // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
- // <http://www.gnu.org/licenses/>.
- /*
- *
- * Copyright (c) 1994
- * Hewlett-Packard Company
- *
- * Permission to use, copy, modify, distribute and sell this software
- * and its documentation for any purpose is hereby granted without fee,
- * provided that the above copyright notice appear in all copies and
- * that both that copyright notice and this permission notice appear
- * in supporting documentation. Hewlett-Packard Company makes no
- * representations about the suitability of this software for any
- * purpose. It is provided "as is" without express or implied warranty.
- *
- *
- * Copyright (c) 1996,1997
- * Silicon Graphics Computer Systems, Inc.
- *
- * Permission to use, copy, modify, distribute and sell this software
- * and its documentation for any purpose is hereby granted without fee,
- * provided that the above copyright notice appear in all copies and
- * that both that copyright notice and this permission notice appear
- * in supporting documentation. Silicon Graphics makes no
- * representations about the suitability of this software for any
- * purpose. It is provided "as is" without express or implied warranty.
- */
- /** @file bits/list.tcc
- * This is an internal header file, included by other library headers.
- * Do not attempt to use it directly. @headername{list}
- */
- #ifndef _LIST_TCC
- #define _LIST_TCC 1
- namespace std _GLIBCXX_VISIBILITY(default)
- {
- _GLIBCXX_BEGIN_NAMESPACE_VERSION
- _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
- template<typename _Tp, typename _Alloc>
- void
- _List_base<_Tp, _Alloc>::
- _M_clear() _GLIBCXX_NOEXCEPT
- {
- typedef _List_node<_Tp> _Node;
- __detail::_List_node_base* __cur = _M_impl._M_node._M_next;
- while (__cur != &_M_impl._M_node)
- {
- _Node* __tmp = static_cast<_Node*>(__cur);
- __cur = __tmp->_M_next;
- _Tp* __val = __tmp->_M_valptr();
- #if __cplusplus >= 201103L
- _Node_alloc_traits::destroy(_M_get_Node_allocator(), __val);
- #else
- _Tp_alloc_type(_M_get_Node_allocator()).destroy(__val);
- #endif
- _M_put_node(__tmp);
- }
- }
- #if __cplusplus >= 201103L
- template<typename _Tp, typename _Alloc>
- template<typename... _Args>
- typename list<_Tp, _Alloc>::iterator
- list<_Tp, _Alloc>::
- emplace(const_iterator __position, _Args&&... __args)
- {
- _Node* __tmp = _M_create_node(std::forward<_Args>(__args)...);
- __tmp->_M_hook(__position._M_const_cast()._M_node);
- this->_M_inc_size(1);
- return iterator(__tmp);
- }
- #endif
- template<typename _Tp, typename _Alloc>
- typename list<_Tp, _Alloc>::iterator
- list<_Tp, _Alloc>::
- #if __cplusplus >= 201103L
- insert(const_iterator __position, const value_type& __x)
- #else
- insert(iterator __position, const value_type& __x)
- #endif
- {
- _Node* __tmp = _M_create_node(__x);
- __tmp->_M_hook(__position._M_const_cast()._M_node);
- this->_M_inc_size(1);
- return iterator(__tmp);
- }
- #if __cplusplus >= 201103L
- template<typename _Tp, typename _Alloc>
- typename list<_Tp, _Alloc>::iterator
- list<_Tp, _Alloc>::
- insert(const_iterator __position, size_type __n, const value_type& __x)
- {
- if (__n)
- {
- list __tmp(__n, __x, get_allocator());
- iterator __it = __tmp.begin();
- splice(__position, __tmp);
- return __it;
- }
- return __position._M_const_cast();
- }
- template<typename _Tp, typename _Alloc>
- template<typename _InputIterator, typename>
- typename list<_Tp, _Alloc>::iterator
- list<_Tp, _Alloc>::
- insert(const_iterator __position, _InputIterator __first,
- _InputIterator __last)
- {
- list __tmp(__first, __last, get_allocator());
- if (!__tmp.empty())
- {
- iterator __it = __tmp.begin();
- splice(__position, __tmp);
- return __it;
- }
- return __position._M_const_cast();
- }
- #endif
- template<typename _Tp, typename _Alloc>
- typename list<_Tp, _Alloc>::iterator
- list<_Tp, _Alloc>::
- #if __cplusplus >= 201103L
- erase(const_iterator __position) noexcept
- #else
- erase(iterator __position)
- #endif
- {
- iterator __ret = iterator(__position._M_node->_M_next);
- _M_erase(__position._M_const_cast());
- return __ret;
- }
- // Return a const_iterator indicating the position to start inserting or
- // erasing elements (depending whether the list is growing or shrinking),
- // and set __new_size to the number of new elements that must be appended.
- // Equivalent to the following, but performed optimally:
- // if (__new_size < size()) {
- // __new_size = 0;
- // return std::next(begin(), __new_size);
- // } else {
- // __newsize -= size();
- // return end();
- // }
- template<typename _Tp, typename _Alloc>
- typename list<_Tp, _Alloc>::const_iterator
- list<_Tp, _Alloc>::
- _M_resize_pos(size_type& __new_size) const
- {
- const_iterator __i;
- #if _GLIBCXX_USE_CXX11_ABI
- const size_type __len = size();
- if (__new_size < __len)
- {
- if (__new_size <= __len / 2)
- {
- __i = begin();
- std::advance(__i, __new_size);
- }
- else
- {
- __i = end();
- ptrdiff_t __num_erase = __len - __new_size;
- std::advance(__i, -__num_erase);
- }
- __new_size = 0;
- return __i;
- }
- else
- __i = end();
- #else
- size_type __len = 0;
- for (__i = begin(); __i != end() && __len < __new_size; ++__i, ++__len)
- ;
- #endif
- __new_size -= __len;
- return __i;
- }
- #if __cplusplus >= 201103L
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- _M_default_append(size_type __n)
- {
- size_type __i = 0;
- __try
- {
- for (; __i < __n; ++__i)
- emplace_back();
- }
- __catch(...)
- {
- for (; __i; --__i)
- pop_back();
- __throw_exception_again;
- }
- }
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- resize(size_type __new_size)
- {
- const_iterator __i = _M_resize_pos(__new_size);
- if (__new_size)
- _M_default_append(__new_size);
- else
- erase(__i, end());
- }
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- resize(size_type __new_size, const value_type& __x)
- {
- const_iterator __i = _M_resize_pos(__new_size);
- if (__new_size)
- insert(end(), __new_size, __x);
- else
- erase(__i, end());
- }
- #else
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- resize(size_type __new_size, value_type __x)
- {
- const_iterator __i = _M_resize_pos(__new_size);
- if (__new_size)
- insert(end(), __new_size, __x);
- else
- erase(__i._M_const_cast(), end());
- }
- #endif
- template<typename _Tp, typename _Alloc>
- list<_Tp, _Alloc>&
- list<_Tp, _Alloc>::
- operator=(const list& __x)
- {
- if (this != std::__addressof(__x))
- {
- #if __cplusplus >= 201103L
- if (_Node_alloc_traits::_S_propagate_on_copy_assign())
- {
- auto& __this_alloc = this->_M_get_Node_allocator();
- auto& __that_alloc = __x._M_get_Node_allocator();
- if (!_Node_alloc_traits::_S_always_equal()
- && __this_alloc != __that_alloc)
- {
- // replacement allocator cannot free existing storage
- clear();
- }
- std::__alloc_on_copy(__this_alloc, __that_alloc);
- }
- #endif
- _M_assign_dispatch(__x.begin(), __x.end(), __false_type());
- }
- return *this;
- }
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- _M_fill_assign(size_type __n, const value_type& __val)
- {
- iterator __i = begin();
- for (; __i != end() && __n > 0; ++__i, --__n)
- *__i = __val;
- if (__n > 0)
- insert(end(), __n, __val);
- else
- erase(__i, end());
- }
- template<typename _Tp, typename _Alloc>
- template <typename _InputIterator>
- void
- list<_Tp, _Alloc>::
- _M_assign_dispatch(_InputIterator __first2, _InputIterator __last2,
- __false_type)
- {
- iterator __first1 = begin();
- iterator __last1 = end();
- for (; __first1 != __last1 && __first2 != __last2;
- ++__first1, ++__first2)
- *__first1 = *__first2;
- if (__first2 == __last2)
- erase(__first1, __last1);
- else
- insert(__last1, __first2, __last2);
- }
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- remove(const value_type& __value)
- {
- iterator __first = begin();
- iterator __last = end();
- iterator __extra = __last;
- while (__first != __last)
- {
- iterator __next = __first;
- ++__next;
- if (*__first == __value)
- {
- // _GLIBCXX_RESOLVE_LIB_DEFECTS
- // 526. Is it undefined if a function in the standard changes
- // in parameters?
- if (std::__addressof(*__first) != std::__addressof(__value))
- _M_erase(__first);
- else
- __extra = __first;
- }
- __first = __next;
- }
- if (__extra != __last)
- _M_erase(__extra);
- }
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- unique()
- {
- iterator __first = begin();
- iterator __last = end();
- if (__first == __last)
- return;
- iterator __next = __first;
- while (++__next != __last)
- {
- if (*__first == *__next)
- _M_erase(__next);
- else
- __first = __next;
- __next = __first;
- }
- }
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- #if __cplusplus >= 201103L
- merge(list&& __x)
- #else
- merge(list& __x)
- #endif
- {
- // _GLIBCXX_RESOLVE_LIB_DEFECTS
- // 300. list::merge() specification incomplete
- if (this != std::__addressof(__x))
- {
- _M_check_equal_allocators(__x);
- iterator __first1 = begin();
- iterator __last1 = end();
- iterator __first2 = __x.begin();
- iterator __last2 = __x.end();
- const size_t __orig_size = __x.size();
- __try {
- while (__first1 != __last1 && __first2 != __last2)
- if (*__first2 < *__first1)
- {
- iterator __next = __first2;
- _M_transfer(__first1, __first2, ++__next);
- __first2 = __next;
- }
- else
- ++__first1;
- if (__first2 != __last2)
- _M_transfer(__last1, __first2, __last2);
- this->_M_inc_size(__x._M_get_size());
- __x._M_set_size(0);
- }
- __catch(...)
- {
- const size_t __dist = std::distance(__first2, __last2);
- this->_M_inc_size(__orig_size - __dist);
- __x._M_set_size(__dist);
- __throw_exception_again;
- }
- }
- }
- template<typename _Tp, typename _Alloc>
- template <typename _StrictWeakOrdering>
- void
- list<_Tp, _Alloc>::
- #if __cplusplus >= 201103L
- merge(list&& __x, _StrictWeakOrdering __comp)
- #else
- merge(list& __x, _StrictWeakOrdering __comp)
- #endif
- {
- // _GLIBCXX_RESOLVE_LIB_DEFECTS
- // 300. list::merge() specification incomplete
- if (this != std::__addressof(__x))
- {
- _M_check_equal_allocators(__x);
- iterator __first1 = begin();
- iterator __last1 = end();
- iterator __first2 = __x.begin();
- iterator __last2 = __x.end();
- const size_t __orig_size = __x.size();
- __try
- {
- while (__first1 != __last1 && __first2 != __last2)
- if (__comp(*__first2, *__first1))
- {
- iterator __next = __first2;
- _M_transfer(__first1, __first2, ++__next);
- __first2 = __next;
- }
- else
- ++__first1;
- if (__first2 != __last2)
- _M_transfer(__last1, __first2, __last2);
- this->_M_inc_size(__x._M_get_size());
- __x._M_set_size(0);
- }
- __catch(...)
- {
- const size_t __dist = std::distance(__first2, __last2);
- this->_M_inc_size(__orig_size - __dist);
- __x._M_set_size(__dist);
- __throw_exception_again;
- }
- }
- }
- template<typename _Tp, typename _Alloc>
- void
- list<_Tp, _Alloc>::
- sort()
- {
- // Do nothing if the list has length 0 or 1.
- if (this->_M_impl._M_node._M_next != &this->_M_impl._M_node
- && this->_M_impl._M_node._M_next->_M_next != &this->_M_impl._M_node)
- {
- list __carry;
- list __tmp[64];
- list * __fill = __tmp;
- list * __counter;
- __try
- {
- do
- {
- __carry.splice(__carry.begin(), *this, begin());
- for(__counter = __tmp;
- __counter != __fill && !__counter->empty();
- ++__counter)
- {
- __counter->merge(__carry);
- __carry.swap(*__counter);
- }
- __carry.swap(*__counter);
- if (__counter == __fill)
- ++__fill;
- }
- while ( !empty() );
- for (__counter = __tmp + 1; __counter != __fill; ++__counter)
- __counter->merge(*(__counter - 1));
- swap( *(__fill - 1) );
- }
- __catch(...)
- {
- this->splice(this->end(), __carry);
- for (int __i = 0; __i < sizeof(__tmp)/sizeof(__tmp[0]); ++__i)
- this->splice(this->end(), __tmp[__i]);
- __throw_exception_again;
- }
- }
- }
- template<typename _Tp, typename _Alloc>
- template <typename _Predicate>
- void
- list<_Tp, _Alloc>::
- remove_if(_Predicate __pred)
- {
- iterator __first = begin();
- iterator __last = end();
- while (__first != __last)
- {
- iterator __next = __first;
- ++__next;
- if (__pred(*__first))
- _M_erase(__first);
- __first = __next;
- }
- }
- template<typename _Tp, typename _Alloc>
- template <typename _BinaryPredicate>
- void
- list<_Tp, _Alloc>::
- unique(_BinaryPredicate __binary_pred)
- {
- iterator __first = begin();
- iterator __last = end();
- if (__first == __last)
- return;
- iterator __next = __first;
- while (++__next != __last)
- {
- if (__binary_pred(*__first, *__next))
- _M_erase(__next);
- else
- __first = __next;
- __next = __first;
- }
- }
- template<typename _Tp, typename _Alloc>
- template <typename _StrictWeakOrdering>
- void
- list<_Tp, _Alloc>::
- sort(_StrictWeakOrdering __comp)
- {
- // Do nothing if the list has length 0 or 1.
- if (this->_M_impl._M_node._M_next != &this->_M_impl._M_node
- && this->_M_impl._M_node._M_next->_M_next != &this->_M_impl._M_node)
- {
- list __carry;
- list __tmp[64];
- list * __fill = __tmp;
- list * __counter;
- __try
- {
- do
- {
- __carry.splice(__carry.begin(), *this, begin());
- for(__counter = __tmp;
- __counter != __fill && !__counter->empty();
- ++__counter)
- {
- __counter->merge(__carry, __comp);
- __carry.swap(*__counter);
- }
- __carry.swap(*__counter);
- if (__counter == __fill)
- ++__fill;
- }
- while ( !empty() );
- for (__counter = __tmp + 1; __counter != __fill; ++__counter)
- __counter->merge(*(__counter - 1), __comp);
- swap(*(__fill - 1));
- }
- __catch(...)
- {
- this->splice(this->end(), __carry);
- for (int __i = 0; __i < sizeof(__tmp)/sizeof(__tmp[0]); ++__i)
- this->splice(this->end(), __tmp[__i]);
- __throw_exception_again;
- }
- }
- }
- _GLIBCXX_END_NAMESPACE_CONTAINER
- _GLIBCXX_END_NAMESPACE_VERSION
- } // namespace std
- #endif /* _LIST_TCC */
|