Subversion Repositories Kolibri OS

Rev

Go to most recent revision | Blame | Last modification | View Log | RSS feed

  1. // Deque implementation (out of line) -*- C++ -*-
  2.  
  3. // Copyright (C) 2001-2013 Free Software Foundation, Inc.
  4. //
  5. // This file is part of the GNU ISO C++ Library.  This library is free
  6. // software; you can redistribute it and/or modify it under the
  7. // terms of the GNU General Public License as published by the
  8. // Free Software Foundation; either version 3, or (at your option)
  9. // any later version.
  10.  
  11. // This library is distributed in the hope that it will be useful,
  12. // but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14. // GNU General Public License for more details.
  15.  
  16. // Under Section 7 of GPL version 3, you are granted additional
  17. // permissions described in the GCC Runtime Library Exception, version
  18. // 3.1, as published by the Free Software Foundation.
  19.  
  20. // You should have received a copy of the GNU General Public License and
  21. // a copy of the GCC Runtime Library Exception along with this program;
  22. // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  23. // <http://www.gnu.org/licenses/>.
  24.  
  25. /*
  26.  *
  27.  * Copyright (c) 1994
  28.  * Hewlett-Packard Company
  29.  *
  30.  * Permission to use, copy, modify, distribute and sell this software
  31.  * and its documentation for any purpose is hereby granted without fee,
  32.  * provided that the above copyright notice appear in all copies and
  33.  * that both that copyright notice and this permission notice appear
  34.  * in supporting documentation.  Hewlett-Packard Company makes no
  35.  * representations about the suitability of this software for any
  36.  * purpose.  It is provided "as is" without express or implied warranty.
  37.  *
  38.  *
  39.  * Copyright (c) 1997
  40.  * Silicon Graphics Computer Systems, Inc.
  41.  *
  42.  * Permission to use, copy, modify, distribute and sell this software
  43.  * and its documentation for any purpose is hereby granted without fee,
  44.  * provided that the above copyright notice appear in all copies and
  45.  * that both that copyright notice and this permission notice appear
  46.  * in supporting documentation.  Silicon Graphics makes no
  47.  * representations about the suitability of this software for any
  48.  * purpose.  It is provided "as is" without express or implied warranty.
  49.  */
  50.  
  51. /** @file bits/deque.tcc
  52.  *  This is an internal header file, included by other library headers.
  53.  *  Do not attempt to use it directly. @headername{deque}
  54.  */
  55.  
  56. #ifndef _DEQUE_TCC
  57. #define _DEQUE_TCC 1
  58.  
  59. namespace std _GLIBCXX_VISIBILITY(default)
  60. {
  61. _GLIBCXX_BEGIN_NAMESPACE_CONTAINER
  62.  
  63. #if __cplusplus >= 201103L
  64.   template <typename _Tp, typename _Alloc>
  65.     void
  66.     deque<_Tp, _Alloc>::
  67.     _M_default_initialize()
  68.     {
  69.       _Map_pointer __cur;
  70.       __try
  71.         {
  72.           for (__cur = this->_M_impl._M_start._M_node;
  73.                __cur < this->_M_impl._M_finish._M_node;
  74.                ++__cur)
  75.             std::__uninitialized_default_a(*__cur, *__cur + _S_buffer_size(),
  76.                                            _M_get_Tp_allocator());
  77.           std::__uninitialized_default_a(this->_M_impl._M_finish._M_first,
  78.                                          this->_M_impl._M_finish._M_cur,
  79.                                          _M_get_Tp_allocator());
  80.         }
  81.       __catch(...)
  82.         {
  83.           std::_Destroy(this->_M_impl._M_start, iterator(*__cur, __cur),
  84.                         _M_get_Tp_allocator());
  85.           __throw_exception_again;
  86.         }
  87.     }
  88. #endif
  89.  
  90.   template <typename _Tp, typename _Alloc>
  91.     deque<_Tp, _Alloc>&
  92.     deque<_Tp, _Alloc>::
  93.     operator=(const deque& __x)
  94.     {
  95.       const size_type __len = size();
  96.       if (&__x != this)
  97.         {
  98.           if (__len >= __x.size())
  99.             _M_erase_at_end(std::copy(__x.begin(), __x.end(),
  100.                                       this->_M_impl._M_start));
  101.           else
  102.             {
  103.               const_iterator __mid = __x.begin() + difference_type(__len);
  104.               std::copy(__x.begin(), __mid, this->_M_impl._M_start);
  105.               insert(this->_M_impl._M_finish, __mid, __x.end());
  106.             }
  107.         }
  108.       return *this;
  109.     }
  110.  
  111. #if __cplusplus >= 201103L
  112.   template<typename _Tp, typename _Alloc>
  113.     template<typename... _Args>
  114.       void
  115.       deque<_Tp, _Alloc>::
  116.       emplace_front(_Args&&... __args)
  117.       {
  118.         if (this->_M_impl._M_start._M_cur != this->_M_impl._M_start._M_first)
  119.           {
  120.             this->_M_impl.construct(this->_M_impl._M_start._M_cur - 1,
  121.                                     std::forward<_Args>(__args)...);
  122.             --this->_M_impl._M_start._M_cur;
  123.           }
  124.         else
  125.           _M_push_front_aux(std::forward<_Args>(__args)...);
  126.       }
  127.  
  128.   template<typename _Tp, typename _Alloc>
  129.     template<typename... _Args>
  130.       void
  131.       deque<_Tp, _Alloc>::
  132.       emplace_back(_Args&&... __args)
  133.       {
  134.         if (this->_M_impl._M_finish._M_cur
  135.             != this->_M_impl._M_finish._M_last - 1)
  136.           {
  137.             this->_M_impl.construct(this->_M_impl._M_finish._M_cur,
  138.                                     std::forward<_Args>(__args)...);
  139.             ++this->_M_impl._M_finish._M_cur;
  140.           }
  141.         else
  142.           _M_push_back_aux(std::forward<_Args>(__args)...);
  143.       }
  144. #endif
  145.  
  146.   template <typename _Tp, typename _Alloc>
  147.     typename deque<_Tp, _Alloc>::iterator
  148.     deque<_Tp, _Alloc>::
  149.     insert(iterator __position, const value_type& __x)
  150.     {
  151.       if (__position._M_cur == this->_M_impl._M_start._M_cur)
  152.         {
  153.           push_front(__x);
  154.           return this->_M_impl._M_start;
  155.         }
  156.       else if (__position._M_cur == this->_M_impl._M_finish._M_cur)
  157.         {
  158.           push_back(__x);
  159.           iterator __tmp = this->_M_impl._M_finish;
  160.           --__tmp;
  161.           return __tmp;
  162.         }
  163.       else
  164.         return _M_insert_aux(__position, __x);
  165.     }
  166.  
  167. #if __cplusplus >= 201103L
  168.   template<typename _Tp, typename _Alloc>
  169.     template<typename... _Args>
  170.       typename deque<_Tp, _Alloc>::iterator
  171.       deque<_Tp, _Alloc>::
  172.       emplace(iterator __position, _Args&&... __args)
  173.       {
  174.         if (__position._M_cur == this->_M_impl._M_start._M_cur)
  175.           {
  176.             emplace_front(std::forward<_Args>(__args)...);
  177.             return this->_M_impl._M_start;
  178.           }
  179.         else if (__position._M_cur == this->_M_impl._M_finish._M_cur)
  180.           {
  181.             emplace_back(std::forward<_Args>(__args)...);
  182.             iterator __tmp = this->_M_impl._M_finish;
  183.             --__tmp;
  184.             return __tmp;
  185.           }
  186.         else
  187.           return _M_insert_aux(__position, std::forward<_Args>(__args)...);
  188.       }
  189. #endif
  190.  
  191.   template <typename _Tp, typename _Alloc>
  192.     typename deque<_Tp, _Alloc>::iterator
  193.     deque<_Tp, _Alloc>::
  194.     erase(iterator __position)
  195.     {
  196.       iterator __next = __position;
  197.       ++__next;
  198.       const difference_type __index = __position - begin();
  199.       if (static_cast<size_type>(__index) < (size() >> 1))
  200.         {
  201.           if (__position != begin())
  202.             _GLIBCXX_MOVE_BACKWARD3(begin(), __position, __next);
  203.           pop_front();
  204.         }
  205.       else
  206.         {
  207.           if (__next != end())
  208.             _GLIBCXX_MOVE3(__next, end(), __position);
  209.           pop_back();
  210.         }
  211.       return begin() + __index;
  212.     }
  213.  
  214.   template <typename _Tp, typename _Alloc>
  215.     typename deque<_Tp, _Alloc>::iterator
  216.     deque<_Tp, _Alloc>::
  217.     erase(iterator __first, iterator __last)
  218.     {
  219.       if (__first == __last)
  220.         return __first;
  221.       else if (__first == begin() && __last == end())
  222.         {
  223.           clear();
  224.           return end();
  225.         }
  226.       else
  227.         {
  228.           const difference_type __n = __last - __first;
  229.           const difference_type __elems_before = __first - begin();
  230.           if (static_cast<size_type>(__elems_before) <= (size() - __n) / 2)
  231.             {
  232.               if (__first != begin())
  233.                 _GLIBCXX_MOVE_BACKWARD3(begin(), __first, __last);
  234.               _M_erase_at_begin(begin() + __n);
  235.             }
  236.           else
  237.             {
  238.               if (__last != end())
  239.                 _GLIBCXX_MOVE3(__last, end(), __first);
  240.               _M_erase_at_end(end() - __n);
  241.             }
  242.           return begin() + __elems_before;
  243.         }
  244.     }
  245.  
  246.   template <typename _Tp, class _Alloc>
  247.     template <typename _InputIterator>
  248.       void
  249.       deque<_Tp, _Alloc>::
  250.       _M_assign_aux(_InputIterator __first, _InputIterator __last,
  251.                     std::input_iterator_tag)
  252.       {
  253.         iterator __cur = begin();
  254.         for (; __first != __last && __cur != end(); ++__cur, ++__first)
  255.           *__cur = *__first;
  256.         if (__first == __last)
  257.           _M_erase_at_end(__cur);
  258.         else
  259.           insert(end(), __first, __last);
  260.       }
  261.  
  262.   template <typename _Tp, typename _Alloc>
  263.     void
  264.     deque<_Tp, _Alloc>::
  265.     _M_fill_insert(iterator __pos, size_type __n, const value_type& __x)
  266.     {
  267.       if (__pos._M_cur == this->_M_impl._M_start._M_cur)
  268.         {
  269.           iterator __new_start = _M_reserve_elements_at_front(__n);
  270.           __try
  271.             {
  272.               std::__uninitialized_fill_a(__new_start, this->_M_impl._M_start,
  273.                                           __x, _M_get_Tp_allocator());
  274.               this->_M_impl._M_start = __new_start;
  275.             }
  276.           __catch(...)
  277.             {
  278.               _M_destroy_nodes(__new_start._M_node,
  279.                                this->_M_impl._M_start._M_node);
  280.               __throw_exception_again;
  281.             }
  282.         }
  283.       else if (__pos._M_cur == this->_M_impl._M_finish._M_cur)
  284.         {
  285.           iterator __new_finish = _M_reserve_elements_at_back(__n);
  286.           __try
  287.             {
  288.               std::__uninitialized_fill_a(this->_M_impl._M_finish,
  289.                                           __new_finish, __x,
  290.                                           _M_get_Tp_allocator());
  291.               this->_M_impl._M_finish = __new_finish;
  292.             }
  293.           __catch(...)
  294.             {
  295.               _M_destroy_nodes(this->_M_impl._M_finish._M_node + 1,
  296.                                __new_finish._M_node + 1);
  297.               __throw_exception_again;
  298.             }
  299.         }
  300.       else
  301.         _M_insert_aux(__pos, __n, __x);
  302.     }
  303.  
  304. #if __cplusplus >= 201103L
  305.   template <typename _Tp, typename _Alloc>
  306.     void
  307.     deque<_Tp, _Alloc>::
  308.     _M_default_append(size_type __n)
  309.     {
  310.       if (__n)
  311.         {
  312.           iterator __new_finish = _M_reserve_elements_at_back(__n);
  313.           __try
  314.             {
  315.               std::__uninitialized_default_a(this->_M_impl._M_finish,
  316.                                              __new_finish,
  317.                                              _M_get_Tp_allocator());
  318.               this->_M_impl._M_finish = __new_finish;
  319.             }
  320.           __catch(...)
  321.             {
  322.               _M_destroy_nodes(this->_M_impl._M_finish._M_node + 1,
  323.                                __new_finish._M_node + 1);
  324.               __throw_exception_again;
  325.             }
  326.         }
  327.     }
  328.  
  329.   template <typename _Tp, typename _Alloc>
  330.     bool
  331.     deque<_Tp, _Alloc>::
  332.     _M_shrink_to_fit()
  333.     {
  334.       const difference_type __front_capacity
  335.         = (this->_M_impl._M_start._M_cur - this->_M_impl._M_start._M_first);
  336.       if (__front_capacity == 0)
  337.         return false;
  338.  
  339.       const difference_type __back_capacity
  340.         = (this->_M_impl._M_finish._M_last - this->_M_impl._M_finish._M_cur);
  341.       if (__front_capacity + __back_capacity < _S_buffer_size())
  342.         return false;
  343.  
  344.       return std::__shrink_to_fit_aux<deque>::_S_do_it(*this);
  345.     }
  346. #endif
  347.  
  348.   template <typename _Tp, typename _Alloc>
  349.     void
  350.     deque<_Tp, _Alloc>::
  351.     _M_fill_initialize(const value_type& __value)
  352.     {
  353.       _Map_pointer __cur;
  354.       __try
  355.         {
  356.           for (__cur = this->_M_impl._M_start._M_node;
  357.                __cur < this->_M_impl._M_finish._M_node;
  358.                ++__cur)
  359.             std::__uninitialized_fill_a(*__cur, *__cur + _S_buffer_size(),
  360.                                         __value, _M_get_Tp_allocator());
  361.           std::__uninitialized_fill_a(this->_M_impl._M_finish._M_first,
  362.                                       this->_M_impl._M_finish._M_cur,
  363.                                       __value, _M_get_Tp_allocator());
  364.         }
  365.       __catch(...)
  366.         {
  367.           std::_Destroy(this->_M_impl._M_start, iterator(*__cur, __cur),
  368.                         _M_get_Tp_allocator());
  369.           __throw_exception_again;
  370.         }
  371.     }
  372.  
  373.   template <typename _Tp, typename _Alloc>
  374.     template <typename _InputIterator>
  375.       void
  376.       deque<_Tp, _Alloc>::
  377.       _M_range_initialize(_InputIterator __first, _InputIterator __last,
  378.                           std::input_iterator_tag)
  379.       {
  380.         this->_M_initialize_map(0);
  381.         __try
  382.           {
  383.             for (; __first != __last; ++__first)
  384. #if __cplusplus >= 201103L
  385.               emplace_back(*__first);
  386. #else
  387.               push_back(*__first);
  388. #endif
  389.           }
  390.         __catch(...)
  391.           {
  392.             clear();
  393.             __throw_exception_again;
  394.           }
  395.       }
  396.  
  397.   template <typename _Tp, typename _Alloc>
  398.     template <typename _ForwardIterator>
  399.       void
  400.       deque<_Tp, _Alloc>::
  401.       _M_range_initialize(_ForwardIterator __first, _ForwardIterator __last,
  402.                           std::forward_iterator_tag)
  403.       {
  404.         const size_type __n = std::distance(__first, __last);
  405.         this->_M_initialize_map(__n);
  406.  
  407.         _Map_pointer __cur_node;
  408.         __try
  409.           {
  410.             for (__cur_node = this->_M_impl._M_start._M_node;
  411.                  __cur_node < this->_M_impl._M_finish._M_node;
  412.                  ++__cur_node)
  413.               {
  414.                 _ForwardIterator __mid = __first;
  415.                 std::advance(__mid, _S_buffer_size());
  416.                 std::__uninitialized_copy_a(__first, __mid, *__cur_node,
  417.                                             _M_get_Tp_allocator());
  418.                 __first = __mid;
  419.               }
  420.             std::__uninitialized_copy_a(__first, __last,
  421.                                         this->_M_impl._M_finish._M_first,
  422.                                         _M_get_Tp_allocator());
  423.           }
  424.         __catch(...)
  425.           {
  426.             std::_Destroy(this->_M_impl._M_start,
  427.                           iterator(*__cur_node, __cur_node),
  428.                           _M_get_Tp_allocator());
  429.             __throw_exception_again;
  430.           }
  431.       }
  432.  
  433.   // Called only if _M_impl._M_finish._M_cur == _M_impl._M_finish._M_last - 1.
  434.   template<typename _Tp, typename _Alloc>
  435. #if __cplusplus >= 201103L
  436.     template<typename... _Args>
  437.       void
  438.       deque<_Tp, _Alloc>::
  439.       _M_push_back_aux(_Args&&... __args)
  440. #else
  441.       void
  442.       deque<_Tp, _Alloc>::
  443.       _M_push_back_aux(const value_type& __t)
  444. #endif
  445.       {
  446.         _M_reserve_map_at_back();
  447.         *(this->_M_impl._M_finish._M_node + 1) = this->_M_allocate_node();
  448.         __try
  449.           {
  450. #if __cplusplus >= 201103L
  451.             this->_M_impl.construct(this->_M_impl._M_finish._M_cur,
  452.                                     std::forward<_Args>(__args)...);
  453. #else
  454.             this->_M_impl.construct(this->_M_impl._M_finish._M_cur, __t);
  455. #endif
  456.             this->_M_impl._M_finish._M_set_node(this->_M_impl._M_finish._M_node
  457.                                                 + 1);
  458.             this->_M_impl._M_finish._M_cur = this->_M_impl._M_finish._M_first;
  459.           }
  460.         __catch(...)
  461.           {
  462.             _M_deallocate_node(*(this->_M_impl._M_finish._M_node + 1));
  463.             __throw_exception_again;
  464.           }
  465.       }
  466.  
  467.   // Called only if _M_impl._M_start._M_cur == _M_impl._M_start._M_first.
  468.   template<typename _Tp, typename _Alloc>
  469. #if __cplusplus >= 201103L
  470.     template<typename... _Args>
  471.       void
  472.       deque<_Tp, _Alloc>::
  473.       _M_push_front_aux(_Args&&... __args)
  474. #else
  475.       void
  476.       deque<_Tp, _Alloc>::
  477.       _M_push_front_aux(const value_type& __t)
  478. #endif
  479.       {
  480.         _M_reserve_map_at_front();
  481.         *(this->_M_impl._M_start._M_node - 1) = this->_M_allocate_node();
  482.         __try
  483.           {
  484.             this->_M_impl._M_start._M_set_node(this->_M_impl._M_start._M_node
  485.                                                - 1);
  486.             this->_M_impl._M_start._M_cur = this->_M_impl._M_start._M_last - 1;
  487. #if __cplusplus >= 201103L
  488.             this->_M_impl.construct(this->_M_impl._M_start._M_cur,
  489.                                     std::forward<_Args>(__args)...);
  490. #else
  491.             this->_M_impl.construct(this->_M_impl._M_start._M_cur, __t);
  492. #endif
  493.           }
  494.         __catch(...)
  495.           {
  496.             ++this->_M_impl._M_start;
  497.             _M_deallocate_node(*(this->_M_impl._M_start._M_node - 1));
  498.             __throw_exception_again;
  499.           }
  500.       }
  501.  
  502.   // Called only if _M_impl._M_finish._M_cur == _M_impl._M_finish._M_first.
  503.   template <typename _Tp, typename _Alloc>
  504.     void deque<_Tp, _Alloc>::
  505.     _M_pop_back_aux()
  506.     {
  507.       _M_deallocate_node(this->_M_impl._M_finish._M_first);
  508.       this->_M_impl._M_finish._M_set_node(this->_M_impl._M_finish._M_node - 1);
  509.       this->_M_impl._M_finish._M_cur = this->_M_impl._M_finish._M_last - 1;
  510.       this->_M_impl.destroy(this->_M_impl._M_finish._M_cur);
  511.     }
  512.  
  513.   // Called only if _M_impl._M_start._M_cur == _M_impl._M_start._M_last - 1.
  514.   // Note that if the deque has at least one element (a precondition for this
  515.   // member function), and if
  516.   //   _M_impl._M_start._M_cur == _M_impl._M_start._M_last,
  517.   // then the deque must have at least two nodes.
  518.   template <typename _Tp, typename _Alloc>
  519.     void deque<_Tp, _Alloc>::
  520.     _M_pop_front_aux()
  521.     {
  522.       this->_M_impl.destroy(this->_M_impl._M_start._M_cur);
  523.       _M_deallocate_node(this->_M_impl._M_start._M_first);
  524.       this->_M_impl._M_start._M_set_node(this->_M_impl._M_start._M_node + 1);
  525.       this->_M_impl._M_start._M_cur = this->_M_impl._M_start._M_first;
  526.     }
  527.  
  528.   template <typename _Tp, typename _Alloc>
  529.     template <typename _InputIterator>
  530.       void
  531.       deque<_Tp, _Alloc>::
  532.       _M_range_insert_aux(iterator __pos,
  533.                           _InputIterator __first, _InputIterator __last,
  534.                           std::input_iterator_tag)
  535.       { std::copy(__first, __last, std::inserter(*this, __pos)); }
  536.  
  537.   template <typename _Tp, typename _Alloc>
  538.     template <typename _ForwardIterator>
  539.       void
  540.       deque<_Tp, _Alloc>::
  541.       _M_range_insert_aux(iterator __pos,
  542.                           _ForwardIterator __first, _ForwardIterator __last,
  543.                           std::forward_iterator_tag)
  544.       {
  545.         const size_type __n = std::distance(__first, __last);
  546.         if (__pos._M_cur == this->_M_impl._M_start._M_cur)
  547.           {
  548.             iterator __new_start = _M_reserve_elements_at_front(__n);
  549.             __try
  550.               {
  551.                 std::__uninitialized_copy_a(__first, __last, __new_start,
  552.                                             _M_get_Tp_allocator());
  553.                 this->_M_impl._M_start = __new_start;
  554.               }
  555.             __catch(...)
  556.               {
  557.                 _M_destroy_nodes(__new_start._M_node,
  558.                                  this->_M_impl._M_start._M_node);
  559.                 __throw_exception_again;
  560.               }
  561.           }
  562.         else if (__pos._M_cur == this->_M_impl._M_finish._M_cur)
  563.           {
  564.             iterator __new_finish = _M_reserve_elements_at_back(__n);
  565.             __try
  566.               {
  567.                 std::__uninitialized_copy_a(__first, __last,
  568.                                             this->_M_impl._M_finish,
  569.                                             _M_get_Tp_allocator());
  570.                 this->_M_impl._M_finish = __new_finish;
  571.               }
  572.             __catch(...)
  573.               {
  574.                 _M_destroy_nodes(this->_M_impl._M_finish._M_node + 1,
  575.                                  __new_finish._M_node + 1);
  576.                 __throw_exception_again;
  577.               }
  578.           }
  579.         else
  580.           _M_insert_aux(__pos, __first, __last, __n);
  581.       }
  582.  
  583.   template<typename _Tp, typename _Alloc>
  584. #if __cplusplus >= 201103L
  585.     template<typename... _Args>
  586.       typename deque<_Tp, _Alloc>::iterator
  587.       deque<_Tp, _Alloc>::
  588.       _M_insert_aux(iterator __pos, _Args&&... __args)
  589.       {
  590.         value_type __x_copy(std::forward<_Args>(__args)...); // XXX copy
  591. #else
  592.     typename deque<_Tp, _Alloc>::iterator
  593.       deque<_Tp, _Alloc>::
  594.       _M_insert_aux(iterator __pos, const value_type& __x)
  595.       {
  596.         value_type __x_copy = __x; // XXX copy
  597. #endif
  598.         difference_type __index = __pos - this->_M_impl._M_start;
  599.         if (static_cast<size_type>(__index) < size() / 2)
  600.           {
  601.             push_front(_GLIBCXX_MOVE(front()));
  602.             iterator __front1 = this->_M_impl._M_start;
  603.             ++__front1;
  604.             iterator __front2 = __front1;
  605.             ++__front2;
  606.             __pos = this->_M_impl._M_start + __index;
  607.             iterator __pos1 = __pos;
  608.             ++__pos1;
  609.             _GLIBCXX_MOVE3(__front2, __pos1, __front1);
  610.           }
  611.         else
  612.           {
  613.             push_back(_GLIBCXX_MOVE(back()));
  614.             iterator __back1 = this->_M_impl._M_finish;
  615.             --__back1;
  616.             iterator __back2 = __back1;
  617.             --__back2;
  618.             __pos = this->_M_impl._M_start + __index;
  619.             _GLIBCXX_MOVE_BACKWARD3(__pos, __back2, __back1);
  620.           }
  621.         *__pos = _GLIBCXX_MOVE(__x_copy);
  622.         return __pos;
  623.       }
  624.  
  625.   template <typename _Tp, typename _Alloc>
  626.     void
  627.     deque<_Tp, _Alloc>::
  628.     _M_insert_aux(iterator __pos, size_type __n, const value_type& __x)
  629.     {
  630.       const difference_type __elems_before = __pos - this->_M_impl._M_start;
  631.       const size_type __length = this->size();
  632.       value_type __x_copy = __x;
  633.       if (__elems_before < difference_type(__length / 2))
  634.         {
  635.           iterator __new_start = _M_reserve_elements_at_front(__n);
  636.           iterator __old_start = this->_M_impl._M_start;
  637.           __pos = this->_M_impl._M_start + __elems_before;
  638.           __try
  639.             {
  640.               if (__elems_before >= difference_type(__n))
  641.                 {
  642.                   iterator __start_n = (this->_M_impl._M_start
  643.                                         + difference_type(__n));
  644.                   std::__uninitialized_move_a(this->_M_impl._M_start,
  645.                                               __start_n, __new_start,
  646.                                               _M_get_Tp_allocator());
  647.                   this->_M_impl._M_start = __new_start;
  648.                   _GLIBCXX_MOVE3(__start_n, __pos, __old_start);
  649.                   std::fill(__pos - difference_type(__n), __pos, __x_copy);
  650.                 }
  651.               else
  652.                 {
  653.                   std::__uninitialized_move_fill(this->_M_impl._M_start,
  654.                                                  __pos, __new_start,
  655.                                                  this->_M_impl._M_start,
  656.                                                  __x_copy,
  657.                                                  _M_get_Tp_allocator());
  658.                   this->_M_impl._M_start = __new_start;
  659.                   std::fill(__old_start, __pos, __x_copy);
  660.                 }
  661.             }
  662.           __catch(...)
  663.             {
  664.               _M_destroy_nodes(__new_start._M_node,
  665.                                this->_M_impl._M_start._M_node);
  666.               __throw_exception_again;
  667.             }
  668.         }
  669.       else
  670.         {
  671.           iterator __new_finish = _M_reserve_elements_at_back(__n);
  672.           iterator __old_finish = this->_M_impl._M_finish;
  673.           const difference_type __elems_after =
  674.             difference_type(__length) - __elems_before;
  675.           __pos = this->_M_impl._M_finish - __elems_after;
  676.           __try
  677.             {
  678.               if (__elems_after > difference_type(__n))
  679.                 {
  680.                   iterator __finish_n = (this->_M_impl._M_finish
  681.                                          - difference_type(__n));
  682.                   std::__uninitialized_move_a(__finish_n,
  683.                                               this->_M_impl._M_finish,
  684.                                               this->_M_impl._M_finish,
  685.                                               _M_get_Tp_allocator());
  686.                   this->_M_impl._M_finish = __new_finish;
  687.                   _GLIBCXX_MOVE_BACKWARD3(__pos, __finish_n, __old_finish);
  688.                   std::fill(__pos, __pos + difference_type(__n), __x_copy);
  689.                 }
  690.               else
  691.                 {
  692.                   std::__uninitialized_fill_move(this->_M_impl._M_finish,
  693.                                                  __pos + difference_type(__n),
  694.                                                  __x_copy, __pos,
  695.                                                  this->_M_impl._M_finish,
  696.                                                  _M_get_Tp_allocator());
  697.                   this->_M_impl._M_finish = __new_finish;
  698.                   std::fill(__pos, __old_finish, __x_copy);
  699.                 }
  700.             }
  701.           __catch(...)
  702.             {
  703.               _M_destroy_nodes(this->_M_impl._M_finish._M_node + 1,
  704.                                __new_finish._M_node + 1);
  705.               __throw_exception_again;
  706.             }
  707.         }
  708.     }
  709.  
  710.   template <typename _Tp, typename _Alloc>
  711.     template <typename _ForwardIterator>
  712.       void
  713.       deque<_Tp, _Alloc>::
  714.       _M_insert_aux(iterator __pos,
  715.                     _ForwardIterator __first, _ForwardIterator __last,
  716.                     size_type __n)
  717.       {
  718.         const difference_type __elemsbefore = __pos - this->_M_impl._M_start;
  719.         const size_type __length = size();
  720.         if (static_cast<size_type>(__elemsbefore) < __length / 2)
  721.           {
  722.             iterator __new_start = _M_reserve_elements_at_front(__n);
  723.             iterator __old_start = this->_M_impl._M_start;
  724.             __pos = this->_M_impl._M_start + __elemsbefore;
  725.             __try
  726.               {
  727.                 if (__elemsbefore >= difference_type(__n))
  728.                   {
  729.                     iterator __start_n = (this->_M_impl._M_start
  730.                                           + difference_type(__n));
  731.                     std::__uninitialized_move_a(this->_M_impl._M_start,
  732.                                                 __start_n, __new_start,
  733.                                                 _M_get_Tp_allocator());
  734.                     this->_M_impl._M_start = __new_start;
  735.                     _GLIBCXX_MOVE3(__start_n, __pos, __old_start);
  736.                     std::copy(__first, __last, __pos - difference_type(__n));
  737.                   }
  738.                 else
  739.                   {
  740.                     _ForwardIterator __mid = __first;
  741.                     std::advance(__mid, difference_type(__n) - __elemsbefore);
  742.                     std::__uninitialized_move_copy(this->_M_impl._M_start,
  743.                                                    __pos, __first, __mid,
  744.                                                    __new_start,
  745.                                                    _M_get_Tp_allocator());
  746.                     this->_M_impl._M_start = __new_start;
  747.                     std::copy(__mid, __last, __old_start);
  748.                   }
  749.               }
  750.             __catch(...)
  751.               {
  752.                 _M_destroy_nodes(__new_start._M_node,
  753.                                  this->_M_impl._M_start._M_node);
  754.                 __throw_exception_again;
  755.               }
  756.           }
  757.         else
  758.         {
  759.           iterator __new_finish = _M_reserve_elements_at_back(__n);
  760.           iterator __old_finish = this->_M_impl._M_finish;
  761.           const difference_type __elemsafter =
  762.             difference_type(__length) - __elemsbefore;
  763.           __pos = this->_M_impl._M_finish - __elemsafter;
  764.           __try
  765.             {
  766.               if (__elemsafter > difference_type(__n))
  767.                 {
  768.                   iterator __finish_n = (this->_M_impl._M_finish
  769.                                          - difference_type(__n));
  770.                   std::__uninitialized_move_a(__finish_n,
  771.                                               this->_M_impl._M_finish,
  772.                                               this->_M_impl._M_finish,
  773.                                               _M_get_Tp_allocator());
  774.                   this->_M_impl._M_finish = __new_finish;
  775.                   _GLIBCXX_MOVE_BACKWARD3(__pos, __finish_n, __old_finish);
  776.                   std::copy(__first, __last, __pos);
  777.                 }
  778.               else
  779.                 {
  780.                   _ForwardIterator __mid = __first;
  781.                   std::advance(__mid, __elemsafter);
  782.                   std::__uninitialized_copy_move(__mid, __last, __pos,
  783.                                                  this->_M_impl._M_finish,
  784.                                                  this->_M_impl._M_finish,
  785.                                                  _M_get_Tp_allocator());
  786.                   this->_M_impl._M_finish = __new_finish;
  787.                   std::copy(__first, __mid, __pos);
  788.                 }
  789.             }
  790.           __catch(...)
  791.             {
  792.               _M_destroy_nodes(this->_M_impl._M_finish._M_node + 1,
  793.                                __new_finish._M_node + 1);
  794.               __throw_exception_again;
  795.             }
  796.         }
  797.       }
  798.  
  799.    template<typename _Tp, typename _Alloc>
  800.      void
  801.      deque<_Tp, _Alloc>::
  802.      _M_destroy_data_aux(iterator __first, iterator __last)
  803.      {
  804.        for (_Map_pointer __node = __first._M_node + 1;
  805.             __node < __last._M_node; ++__node)
  806.          std::_Destroy(*__node, *__node + _S_buffer_size(),
  807.                        _M_get_Tp_allocator());
  808.  
  809.        if (__first._M_node != __last._M_node)
  810.          {
  811.            std::_Destroy(__first._M_cur, __first._M_last,
  812.                          _M_get_Tp_allocator());
  813.            std::_Destroy(__last._M_first, __last._M_cur,
  814.                          _M_get_Tp_allocator());
  815.          }
  816.        else
  817.          std::_Destroy(__first._M_cur, __last._M_cur,
  818.                        _M_get_Tp_allocator());
  819.      }
  820.  
  821.   template <typename _Tp, typename _Alloc>
  822.     void
  823.     deque<_Tp, _Alloc>::
  824.     _M_new_elements_at_front(size_type __new_elems)
  825.     {
  826.       if (this->max_size() - this->size() < __new_elems)
  827.         __throw_length_error(__N("deque::_M_new_elements_at_front"));
  828.  
  829.       const size_type __new_nodes = ((__new_elems + _S_buffer_size() - 1)
  830.                                      / _S_buffer_size());
  831.       _M_reserve_map_at_front(__new_nodes);
  832.       size_type __i;
  833.       __try
  834.         {
  835.           for (__i = 1; __i <= __new_nodes; ++__i)
  836.             *(this->_M_impl._M_start._M_node - __i) = this->_M_allocate_node();
  837.         }
  838.       __catch(...)
  839.         {
  840.           for (size_type __j = 1; __j < __i; ++__j)
  841.             _M_deallocate_node(*(this->_M_impl._M_start._M_node - __j));
  842.           __throw_exception_again;
  843.         }
  844.     }
  845.  
  846.   template <typename _Tp, typename _Alloc>
  847.     void
  848.     deque<_Tp, _Alloc>::
  849.     _M_new_elements_at_back(size_type __new_elems)
  850.     {
  851.       if (this->max_size() - this->size() < __new_elems)
  852.         __throw_length_error(__N("deque::_M_new_elements_at_back"));
  853.  
  854.       const size_type __new_nodes = ((__new_elems + _S_buffer_size() - 1)
  855.                                      / _S_buffer_size());
  856.       _M_reserve_map_at_back(__new_nodes);
  857.       size_type __i;
  858.       __try
  859.         {
  860.           for (__i = 1; __i <= __new_nodes; ++__i)
  861.             *(this->_M_impl._M_finish._M_node + __i) = this->_M_allocate_node();
  862.         }
  863.       __catch(...)
  864.         {
  865.           for (size_type __j = 1; __j < __i; ++__j)
  866.             _M_deallocate_node(*(this->_M_impl._M_finish._M_node + __j));
  867.           __throw_exception_again;
  868.         }
  869.     }
  870.  
  871.   template <typename _Tp, typename _Alloc>
  872.     void
  873.     deque<_Tp, _Alloc>::
  874.     _M_reallocate_map(size_type __nodes_to_add, bool __add_at_front)
  875.     {
  876.       const size_type __old_num_nodes
  877.         = this->_M_impl._M_finish._M_node - this->_M_impl._M_start._M_node + 1;
  878.       const size_type __new_num_nodes = __old_num_nodes + __nodes_to_add;
  879.  
  880.       _Map_pointer __new_nstart;
  881.       if (this->_M_impl._M_map_size > 2 * __new_num_nodes)
  882.         {
  883.           __new_nstart = this->_M_impl._M_map + (this->_M_impl._M_map_size
  884.                                          - __new_num_nodes) / 2
  885.                          + (__add_at_front ? __nodes_to_add : 0);
  886.           if (__new_nstart < this->_M_impl._M_start._M_node)
  887.             std::copy(this->_M_impl._M_start._M_node,
  888.                       this->_M_impl._M_finish._M_node + 1,
  889.                       __new_nstart);
  890.           else
  891.             std::copy_backward(this->_M_impl._M_start._M_node,
  892.                                this->_M_impl._M_finish._M_node + 1,
  893.                                __new_nstart + __old_num_nodes);
  894.         }
  895.       else
  896.         {
  897.           size_type __new_map_size = this->_M_impl._M_map_size
  898.                                      + std::max(this->_M_impl._M_map_size,
  899.                                                 __nodes_to_add) + 2;
  900.  
  901.           _Map_pointer __new_map = this->_M_allocate_map(__new_map_size);
  902.           __new_nstart = __new_map + (__new_map_size - __new_num_nodes) / 2
  903.                          + (__add_at_front ? __nodes_to_add : 0);
  904.           std::copy(this->_M_impl._M_start._M_node,
  905.                     this->_M_impl._M_finish._M_node + 1,
  906.                     __new_nstart);
  907.           _M_deallocate_map(this->_M_impl._M_map, this->_M_impl._M_map_size);
  908.  
  909.           this->_M_impl._M_map = __new_map;
  910.           this->_M_impl._M_map_size = __new_map_size;
  911.         }
  912.  
  913.       this->_M_impl._M_start._M_set_node(__new_nstart);
  914.       this->_M_impl._M_finish._M_set_node(__new_nstart + __old_num_nodes - 1);
  915.     }
  916.  
  917.   // Overload for deque::iterators, exploiting the "segmented-iterator
  918.   // optimization".
  919.   template<typename _Tp>
  920.     void
  921.     fill(const _Deque_iterator<_Tp, _Tp&, _Tp*>& __first,
  922.          const _Deque_iterator<_Tp, _Tp&, _Tp*>& __last, const _Tp& __value)
  923.     {
  924.       typedef typename _Deque_iterator<_Tp, _Tp&, _Tp*>::_Self _Self;
  925.  
  926.       for (typename _Self::_Map_pointer __node = __first._M_node + 1;
  927.            __node < __last._M_node; ++__node)
  928.         std::fill(*__node, *__node + _Self::_S_buffer_size(), __value);
  929.  
  930.       if (__first._M_node != __last._M_node)
  931.         {
  932.           std::fill(__first._M_cur, __first._M_last, __value);
  933.           std::fill(__last._M_first, __last._M_cur, __value);
  934.         }
  935.       else
  936.         std::fill(__first._M_cur, __last._M_cur, __value);
  937.     }
  938.  
  939.   template<typename _Tp>
  940.     _Deque_iterator<_Tp, _Tp&, _Tp*>
  941.     copy(_Deque_iterator<_Tp, const _Tp&, const _Tp*> __first,
  942.          _Deque_iterator<_Tp, const _Tp&, const _Tp*> __last,
  943.          _Deque_iterator<_Tp, _Tp&, _Tp*> __result)
  944.     {
  945.       typedef typename _Deque_iterator<_Tp, _Tp&, _Tp*>::_Self _Self;
  946.       typedef typename _Self::difference_type difference_type;
  947.  
  948.       difference_type __len = __last - __first;
  949.       while (__len > 0)
  950.         {
  951.           const difference_type __clen
  952.             = std::min(__len, std::min(__first._M_last - __first._M_cur,
  953.                                        __result._M_last - __result._M_cur));
  954.           std::copy(__first._M_cur, __first._M_cur + __clen, __result._M_cur);
  955.           __first += __clen;
  956.           __result += __clen;
  957.           __len -= __clen;
  958.         }
  959.       return __result;
  960.     }
  961.  
  962.   template<typename _Tp>
  963.     _Deque_iterator<_Tp, _Tp&, _Tp*>
  964.     copy_backward(_Deque_iterator<_Tp, const _Tp&, const _Tp*> __first,
  965.                   _Deque_iterator<_Tp, const _Tp&, const _Tp*> __last,
  966.                   _Deque_iterator<_Tp, _Tp&, _Tp*> __result)
  967.     {
  968.       typedef typename _Deque_iterator<_Tp, _Tp&, _Tp*>::_Self _Self;
  969.       typedef typename _Self::difference_type difference_type;
  970.  
  971.       difference_type __len = __last - __first;
  972.       while (__len > 0)
  973.         {
  974.           difference_type __llen = __last._M_cur - __last._M_first;
  975.           _Tp* __lend = __last._M_cur;
  976.  
  977.           difference_type __rlen = __result._M_cur - __result._M_first;
  978.           _Tp* __rend = __result._M_cur;
  979.  
  980.           if (!__llen)
  981.             {
  982.               __llen = _Self::_S_buffer_size();
  983.               __lend = *(__last._M_node - 1) + __llen;
  984.             }
  985.           if (!__rlen)
  986.             {
  987.               __rlen = _Self::_S_buffer_size();
  988.               __rend = *(__result._M_node - 1) + __rlen;
  989.             }
  990.  
  991.           const difference_type __clen = std::min(__len,
  992.                                                   std::min(__llen, __rlen));
  993.           std::copy_backward(__lend - __clen, __lend, __rend);
  994.           __last -= __clen;
  995.           __result -= __clen;
  996.           __len -= __clen;
  997.         }
  998.       return __result;
  999.     }
  1000.  
  1001. #if __cplusplus >= 201103L
  1002.   template<typename _Tp>
  1003.     _Deque_iterator<_Tp, _Tp&, _Tp*>
  1004.     move(_Deque_iterator<_Tp, const _Tp&, const _Tp*> __first,
  1005.          _Deque_iterator<_Tp, const _Tp&, const _Tp*> __last,
  1006.          _Deque_iterator<_Tp, _Tp&, _Tp*> __result)
  1007.     {
  1008.       typedef typename _Deque_iterator<_Tp, _Tp&, _Tp*>::_Self _Self;
  1009.       typedef typename _Self::difference_type difference_type;
  1010.  
  1011.       difference_type __len = __last - __first;
  1012.       while (__len > 0)
  1013.         {
  1014.           const difference_type __clen
  1015.             = std::min(__len, std::min(__first._M_last - __first._M_cur,
  1016.                                        __result._M_last - __result._M_cur));
  1017.           std::move(__first._M_cur, __first._M_cur + __clen, __result._M_cur);
  1018.           __first += __clen;
  1019.           __result += __clen;
  1020.           __len -= __clen;
  1021.         }
  1022.       return __result;
  1023.     }
  1024.  
  1025.   template<typename _Tp>
  1026.     _Deque_iterator<_Tp, _Tp&, _Tp*>
  1027.     move_backward(_Deque_iterator<_Tp, const _Tp&, const _Tp*> __first,
  1028.                   _Deque_iterator<_Tp, const _Tp&, const _Tp*> __last,
  1029.                   _Deque_iterator<_Tp, _Tp&, _Tp*> __result)
  1030.     {
  1031.       typedef typename _Deque_iterator<_Tp, _Tp&, _Tp*>::_Self _Self;
  1032.       typedef typename _Self::difference_type difference_type;
  1033.  
  1034.       difference_type __len = __last - __first;
  1035.       while (__len > 0)
  1036.         {
  1037.           difference_type __llen = __last._M_cur - __last._M_first;
  1038.           _Tp* __lend = __last._M_cur;
  1039.  
  1040.           difference_type __rlen = __result._M_cur - __result._M_first;
  1041.           _Tp* __rend = __result._M_cur;
  1042.  
  1043.           if (!__llen)
  1044.             {
  1045.               __llen = _Self::_S_buffer_size();
  1046.               __lend = *(__last._M_node - 1) + __llen;
  1047.             }
  1048.           if (!__rlen)
  1049.             {
  1050.               __rlen = _Self::_S_buffer_size();
  1051.               __rend = *(__result._M_node - 1) + __rlen;
  1052.             }
  1053.  
  1054.           const difference_type __clen = std::min(__len,
  1055.                                                   std::min(__llen, __rlen));
  1056.           std::move_backward(__lend - __clen, __lend, __rend);
  1057.           __last -= __clen;
  1058.           __result -= __clen;
  1059.           __len -= __clen;
  1060.         }
  1061.       return __result;
  1062.     }
  1063. #endif
  1064.  
  1065. _GLIBCXX_END_NAMESPACE_CONTAINER
  1066. } // namespace std
  1067.  
  1068. #endif
  1069.