11debfc3dSmrg // Temporary buffer implementation -*- C++ -*-
21debfc3dSmrg
3*8feb0f0bSmrg // Copyright (C) 2001-2020 Free Software Foundation, Inc.
41debfc3dSmrg //
51debfc3dSmrg // This file is part of the GNU ISO C++ Library. This library is free
61debfc3dSmrg // software; you can redistribute it and/or modify it under the
71debfc3dSmrg // terms of the GNU General Public License as published by the
81debfc3dSmrg // Free Software Foundation; either version 3, or (at your option)
91debfc3dSmrg // any later version.
101debfc3dSmrg
111debfc3dSmrg // This library is distributed in the hope that it will be useful,
121debfc3dSmrg // but WITHOUT ANY WARRANTY; without even the implied warranty of
131debfc3dSmrg // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
141debfc3dSmrg // GNU General Public License for more details.
151debfc3dSmrg
161debfc3dSmrg // Under Section 7 of GPL version 3, you are granted additional
171debfc3dSmrg // permissions described in the GCC Runtime Library Exception, version
181debfc3dSmrg // 3.1, as published by the Free Software Foundation.
191debfc3dSmrg
201debfc3dSmrg // You should have received a copy of the GNU General Public License and
211debfc3dSmrg // a copy of the GCC Runtime Library Exception along with this program;
221debfc3dSmrg // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
231debfc3dSmrg // <http://www.gnu.org/licenses/>.
241debfc3dSmrg
251debfc3dSmrg /*
261debfc3dSmrg *
271debfc3dSmrg * Copyright (c) 1994
281debfc3dSmrg * Hewlett-Packard Company
291debfc3dSmrg *
301debfc3dSmrg * Permission to use, copy, modify, distribute and sell this software
311debfc3dSmrg * and its documentation for any purpose is hereby granted without fee,
321debfc3dSmrg * provided that the above copyright notice appear in all copies and
331debfc3dSmrg * that both that copyright notice and this permission notice appear
341debfc3dSmrg * in supporting documentation. Hewlett-Packard Company makes no
351debfc3dSmrg * representations about the suitability of this software for any
361debfc3dSmrg * purpose. It is provided "as is" without express or implied warranty.
371debfc3dSmrg *
381debfc3dSmrg *
391debfc3dSmrg * Copyright (c) 1996,1997
401debfc3dSmrg * Silicon Graphics Computer Systems, Inc.
411debfc3dSmrg *
421debfc3dSmrg * Permission to use, copy, modify, distribute and sell this software
431debfc3dSmrg * and its documentation for any purpose is hereby granted without fee,
441debfc3dSmrg * provided that the above copyright notice appear in all copies and
451debfc3dSmrg * that both that copyright notice and this permission notice appear
461debfc3dSmrg * in supporting documentation. Silicon Graphics makes no
471debfc3dSmrg * representations about the suitability of this software for any
481debfc3dSmrg * purpose. It is provided "as is" without express or implied warranty.
491debfc3dSmrg */
501debfc3dSmrg
511debfc3dSmrg /** @file bits/stl_tempbuf.h
521debfc3dSmrg * This is an internal header file, included by other library headers.
531debfc3dSmrg * Do not attempt to use it directly. @headername{memory}
541debfc3dSmrg */
551debfc3dSmrg
561debfc3dSmrg #ifndef _STL_TEMPBUF_H
571debfc3dSmrg #define _STL_TEMPBUF_H 1
581debfc3dSmrg
591debfc3dSmrg #include <bits/stl_algobase.h>
601debfc3dSmrg #include <bits/stl_construct.h>
611debfc3dSmrg
_GLIBCXX_VISIBILITY(default)621debfc3dSmrg namespace std _GLIBCXX_VISIBILITY(default)
631debfc3dSmrg {
641debfc3dSmrg _GLIBCXX_BEGIN_NAMESPACE_VERSION
651debfc3dSmrg
66*8feb0f0bSmrg namespace __detail
67*8feb0f0bSmrg {
68*8feb0f0bSmrg template<typename _Tp>
69*8feb0f0bSmrg inline void
70*8feb0f0bSmrg __return_temporary_buffer(_Tp* __p,
71*8feb0f0bSmrg size_t __len __attribute__((__unused__)))
72*8feb0f0bSmrg {
73*8feb0f0bSmrg #if __cpp_sized_deallocation
74*8feb0f0bSmrg ::operator delete(__p, __len * sizeof(_Tp));
75*8feb0f0bSmrg #else
76*8feb0f0bSmrg ::operator delete(__p);
77*8feb0f0bSmrg #endif
78*8feb0f0bSmrg }
79*8feb0f0bSmrg }
80*8feb0f0bSmrg
811debfc3dSmrg /**
821debfc3dSmrg * @brief Allocates a temporary buffer.
831debfc3dSmrg * @param __len The number of objects of type Tp.
841debfc3dSmrg * @return See full description.
851debfc3dSmrg *
861debfc3dSmrg * Reinventing the wheel, but this time with prettier spokes!
871debfc3dSmrg *
881debfc3dSmrg * This function tries to obtain storage for @c __len adjacent Tp
891debfc3dSmrg * objects. The objects themselves are not constructed, of course.
901debfc3dSmrg * A pair<> is returned containing <em>the buffer s address and
911debfc3dSmrg * capacity (in the units of sizeof(_Tp)), or a pair of 0 values if
921debfc3dSmrg * no storage can be obtained.</em> Note that the capacity obtained
931debfc3dSmrg * may be less than that requested if the memory is unavailable;
941debfc3dSmrg * you should compare len with the .second return value.
951debfc3dSmrg *
961debfc3dSmrg * Provides the nothrow exception guarantee.
971debfc3dSmrg */
981debfc3dSmrg template<typename _Tp>
991debfc3dSmrg pair<_Tp*, ptrdiff_t>
1001debfc3dSmrg get_temporary_buffer(ptrdiff_t __len) _GLIBCXX_NOEXCEPT
1011debfc3dSmrg {
1021debfc3dSmrg const ptrdiff_t __max =
1031debfc3dSmrg __gnu_cxx::__numeric_traits<ptrdiff_t>::__max / sizeof(_Tp);
1041debfc3dSmrg if (__len > __max)
1051debfc3dSmrg __len = __max;
1061debfc3dSmrg
1071debfc3dSmrg while (__len > 0)
1081debfc3dSmrg {
1091debfc3dSmrg _Tp* __tmp = static_cast<_Tp*>(::operator new(__len * sizeof(_Tp),
1101debfc3dSmrg std::nothrow));
1111debfc3dSmrg if (__tmp != 0)
1121debfc3dSmrg return std::pair<_Tp*, ptrdiff_t>(__tmp, __len);
1131debfc3dSmrg __len /= 2;
1141debfc3dSmrg }
1151debfc3dSmrg return std::pair<_Tp*, ptrdiff_t>(static_cast<_Tp*>(0), 0);
1161debfc3dSmrg }
1171debfc3dSmrg
1181debfc3dSmrg /**
1191debfc3dSmrg * @brief The companion to get_temporary_buffer().
1201debfc3dSmrg * @param __p A buffer previously allocated by get_temporary_buffer.
1211debfc3dSmrg * @return None.
1221debfc3dSmrg *
1231debfc3dSmrg * Frees the memory pointed to by __p.
1241debfc3dSmrg */
1251debfc3dSmrg template<typename _Tp>
1261debfc3dSmrg inline void
1271debfc3dSmrg return_temporary_buffer(_Tp* __p)
128c0a68be4Smrg { ::operator delete(__p); }
1291debfc3dSmrg
1301debfc3dSmrg /**
1311debfc3dSmrg * This class is used in two places: stl_algo.h and ext/memory,
1321debfc3dSmrg * where it is wrapped as the temporary_buffer class. See
1331debfc3dSmrg * temporary_buffer docs for more notes.
1341debfc3dSmrg */
1351debfc3dSmrg template<typename _ForwardIterator, typename _Tp>
1361debfc3dSmrg class _Temporary_buffer
1371debfc3dSmrg {
1381debfc3dSmrg // concept requirements
1391debfc3dSmrg __glibcxx_class_requires(_ForwardIterator, _ForwardIteratorConcept)
1401debfc3dSmrg
1411debfc3dSmrg public:
1421debfc3dSmrg typedef _Tp value_type;
1431debfc3dSmrg typedef value_type* pointer;
1441debfc3dSmrg typedef pointer iterator;
1451debfc3dSmrg typedef ptrdiff_t size_type;
1461debfc3dSmrg
1471debfc3dSmrg protected:
1481debfc3dSmrg size_type _M_original_len;
1491debfc3dSmrg size_type _M_len;
1501debfc3dSmrg pointer _M_buffer;
1511debfc3dSmrg
1521debfc3dSmrg public:
1531debfc3dSmrg /// As per Table mumble.
1541debfc3dSmrg size_type
1551debfc3dSmrg size() const
1561debfc3dSmrg { return _M_len; }
1571debfc3dSmrg
1581debfc3dSmrg /// Returns the size requested by the constructor; may be >size().
1591debfc3dSmrg size_type
1601debfc3dSmrg requested_size() const
1611debfc3dSmrg { return _M_original_len; }
1621debfc3dSmrg
1631debfc3dSmrg /// As per Table mumble.
1641debfc3dSmrg iterator
1651debfc3dSmrg begin()
1661debfc3dSmrg { return _M_buffer; }
1671debfc3dSmrg
1681debfc3dSmrg /// As per Table mumble.
1691debfc3dSmrg iterator
1701debfc3dSmrg end()
1711debfc3dSmrg { return _M_buffer + _M_len; }
1721debfc3dSmrg
1731debfc3dSmrg /**
1741debfc3dSmrg * Constructs a temporary buffer of a size somewhere between
175c0a68be4Smrg * zero and the given length.
1761debfc3dSmrg */
177c0a68be4Smrg _Temporary_buffer(_ForwardIterator __seed, size_type __original_len);
1781debfc3dSmrg
1791debfc3dSmrg ~_Temporary_buffer()
1801debfc3dSmrg {
1811debfc3dSmrg std::_Destroy(_M_buffer, _M_buffer + _M_len);
182*8feb0f0bSmrg std::__detail::__return_temporary_buffer(_M_buffer, _M_len);
1831debfc3dSmrg }
1841debfc3dSmrg
1851debfc3dSmrg private:
1861debfc3dSmrg // Disable copy constructor and assignment operator.
1871debfc3dSmrg _Temporary_buffer(const _Temporary_buffer&);
1881debfc3dSmrg
1891debfc3dSmrg void
1901debfc3dSmrg operator=(const _Temporary_buffer&);
1911debfc3dSmrg };
1921debfc3dSmrg
1931debfc3dSmrg
1941debfc3dSmrg template<bool>
1951debfc3dSmrg struct __uninitialized_construct_buf_dispatch
1961debfc3dSmrg {
1971debfc3dSmrg template<typename _Pointer, typename _ForwardIterator>
1981debfc3dSmrg static void
1991debfc3dSmrg __ucr(_Pointer __first, _Pointer __last,
2001debfc3dSmrg _ForwardIterator __seed)
2011debfc3dSmrg {
2021debfc3dSmrg if (__first == __last)
2031debfc3dSmrg return;
2041debfc3dSmrg
2051debfc3dSmrg _Pointer __cur = __first;
2061debfc3dSmrg __try
2071debfc3dSmrg {
2081debfc3dSmrg std::_Construct(std::__addressof(*__first),
2091debfc3dSmrg _GLIBCXX_MOVE(*__seed));
2101debfc3dSmrg _Pointer __prev = __cur;
2111debfc3dSmrg ++__cur;
2121debfc3dSmrg for(; __cur != __last; ++__cur, ++__prev)
2131debfc3dSmrg std::_Construct(std::__addressof(*__cur),
2141debfc3dSmrg _GLIBCXX_MOVE(*__prev));
2151debfc3dSmrg *__seed = _GLIBCXX_MOVE(*__prev);
2161debfc3dSmrg }
2171debfc3dSmrg __catch(...)
2181debfc3dSmrg {
2191debfc3dSmrg std::_Destroy(__first, __cur);
2201debfc3dSmrg __throw_exception_again;
2211debfc3dSmrg }
2221debfc3dSmrg }
2231debfc3dSmrg };
2241debfc3dSmrg
2251debfc3dSmrg template<>
2261debfc3dSmrg struct __uninitialized_construct_buf_dispatch<true>
2271debfc3dSmrg {
2281debfc3dSmrg template<typename _Pointer, typename _ForwardIterator>
2291debfc3dSmrg static void
2301debfc3dSmrg __ucr(_Pointer, _Pointer, _ForwardIterator) { }
2311debfc3dSmrg };
2321debfc3dSmrg
2331debfc3dSmrg // Constructs objects in the range [first, last).
2341debfc3dSmrg // Note that while these new objects will take valid values,
2351debfc3dSmrg // their exact value is not defined. In particular they may
2361debfc3dSmrg // be 'moved from'.
2371debfc3dSmrg //
2381debfc3dSmrg // While *__seed may be altered during this algorithm, it will have
2391debfc3dSmrg // the same value when the algorithm finishes, unless one of the
2401debfc3dSmrg // constructions throws.
2411debfc3dSmrg //
2421debfc3dSmrg // Requirements: _Pointer::value_type(_Tp&&) is valid.
2431debfc3dSmrg template<typename _Pointer, typename _ForwardIterator>
2441debfc3dSmrg inline void
2451debfc3dSmrg __uninitialized_construct_buf(_Pointer __first, _Pointer __last,
2461debfc3dSmrg _ForwardIterator __seed)
2471debfc3dSmrg {
2481debfc3dSmrg typedef typename std::iterator_traits<_Pointer>::value_type
2491debfc3dSmrg _ValueType;
2501debfc3dSmrg
2511debfc3dSmrg std::__uninitialized_construct_buf_dispatch<
2521debfc3dSmrg __has_trivial_constructor(_ValueType)>::
2531debfc3dSmrg __ucr(__first, __last, __seed);
2541debfc3dSmrg }
2551debfc3dSmrg
2561debfc3dSmrg template<typename _ForwardIterator, typename _Tp>
2571debfc3dSmrg _Temporary_buffer<_ForwardIterator, _Tp>::
258c0a68be4Smrg _Temporary_buffer(_ForwardIterator __seed, size_type __original_len)
259c0a68be4Smrg : _M_original_len(__original_len), _M_len(0), _M_buffer(0)
2601debfc3dSmrg {
261*8feb0f0bSmrg std::pair<pointer, size_type> __p(
262*8feb0f0bSmrg std::get_temporary_buffer<value_type>(_M_original_len));
263*8feb0f0bSmrg
264*8feb0f0bSmrg if (__p.first)
265*8feb0f0bSmrg {
2661debfc3dSmrg __try
2671debfc3dSmrg {
268*8feb0f0bSmrg std::__uninitialized_construct_buf(__p.first, __p.first + __p.second,
269*8feb0f0bSmrg __seed);
2701debfc3dSmrg _M_buffer = __p.first;
2711debfc3dSmrg _M_len = __p.second;
2721debfc3dSmrg }
2731debfc3dSmrg __catch(...)
2741debfc3dSmrg {
275*8feb0f0bSmrg std::__detail::__return_temporary_buffer(__p.first, __p.second);
2761debfc3dSmrg __throw_exception_again;
2771debfc3dSmrg }
2781debfc3dSmrg }
279*8feb0f0bSmrg }
2801debfc3dSmrg
2811debfc3dSmrg _GLIBCXX_END_NAMESPACE_VERSION
2821debfc3dSmrg } // namespace
2831debfc3dSmrg
2841debfc3dSmrg #endif /* _STL_TEMPBUF_H */
285