1 // nonstandard construct and destroy functions -*- C++ -*-
3 // Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008,
5 // Free Software Foundation, Inc.
7 // This file is part of the GNU ISO C++ Library. This library is free
8 // software; you can redistribute it and/or modify it under the
9 // terms of the GNU General Public License as published by the
10 // Free Software Foundation; either version 3, or (at your option)
13 // This library is distributed in the hope that it will be useful,
14 // but WITHOUT ANY WARRANTY; without even the implied warranty of
15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 // GNU General Public License for more details.
18 // Under Section 7 of GPL version 3, you are granted additional
19 // permissions described in the GCC Runtime Library Exception, version
20 // 3.1, as published by the Free Software Foundation.
22 // You should have received a copy of the GNU General Public License and
23 // a copy of the GCC Runtime Library Exception along with this program;
24 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
25 // <http://www.gnu.org/licenses/>.
30 * Hewlett-Packard Company
32 * Permission to use, copy, modify, distribute and sell this software
33 * and its documentation for any purpose is hereby granted without fee,
34 * provided that the above copyright notice appear in all copies and
35 * that both that copyright notice and this permission notice appear
36 * in supporting documentation. Hewlett-Packard Company makes no
37 * representations about the suitability of this software for any
38 * purpose. It is provided "as is" without express or implied warranty.
41 * Copyright (c) 1996,1997
42 * Silicon Graphics Computer Systems, Inc.
44 * Permission to use, copy, modify, distribute and sell this software
45 * and its documentation for any purpose is hereby granted without fee,
46 * provided that the above copyright notice appear in all copies and
47 * that both that copyright notice and this permission notice appear
48 * in supporting documentation. Silicon Graphics makes no
49 * representations about the suitability of this software for any
50 * purpose. It is provided "as is" without express or implied warranty.
53 /** @file bits/stl_construct.h
54 * This is an internal header file, included by other library headers.
55 * Do not attempt to use it directly. @headername{memory}
58 #ifndef _STL_CONSTRUCT_H
59 #define _STL_CONSTRUCT_H 1
62 #include <bits/move.h>
63 #include <ext/alloc_traits.h>
65 namespace std
_GLIBCXX_VISIBILITY(default)
67 _GLIBCXX_BEGIN_NAMESPACE_VERSION
70 * Constructs an object in existing memory by invoking an allocated
71 * object's constructor with an initializer.
73 #if __cplusplus >= 201103L
74 template<typename _T1
, typename
... _Args
>
76 _Construct(_T1
* __p
, _Args
&&... __args
)
77 { ::new(static_cast<void*>(__p
)) _T1(std::forward
<_Args
>(__args
)...); }
79 template<typename _T1
, typename _T2
>
81 _Construct(_T1
* __p
, const _T2
& __value
)
83 // _GLIBCXX_RESOLVE_LIB_DEFECTS
84 // 402. wrong new expression in [some_]allocator::construct
85 ::new(static_cast<void*>(__p
)) _T1(__value
);
90 * Destroy the object pointed to by a pointer type.
92 template<typename _Tp
>
94 _Destroy(_Tp
* __pointer
)
95 { __pointer
->~_Tp(); }
100 template<typename _ForwardIterator
>
102 __destroy(_ForwardIterator __first
, _ForwardIterator __last
)
104 for (; __first
!= __last
; ++__first
)
105 std::_Destroy(std::__addressof(*__first
));
110 struct _Destroy_aux
<true>
112 template<typename _ForwardIterator
>
114 __destroy(_ForwardIterator
, _ForwardIterator
) { }
118 * Destroy a range of objects. If the value_type of the object has
119 * a trivial destructor, the compiler should optimize all of this
120 * away, otherwise the objects' destructors must be invoked.
122 template<typename _ForwardIterator
>
124 _Destroy(_ForwardIterator __first
, _ForwardIterator __last
)
126 typedef typename iterator_traits
<_ForwardIterator
>::value_type
128 std::_Destroy_aux
<__has_trivial_destructor(_Value_type
)>::
129 __destroy(__first
, __last
);
133 * Destroy a range of objects using the supplied allocator. For
134 * nondefault allocators we do not optimize away invocation of
135 * destroy() even if _Tp has a trivial destructor.
138 template <typename _Tp
> class allocator
;
140 template<typename _ForwardIterator
, typename _Allocator
>
142 _Destroy(_ForwardIterator __first
, _ForwardIterator __last
,
145 typedef __gnu_cxx::__alloc_traits
<_Allocator
> __traits
;
146 for (; __first
!= __last
; ++__first
)
147 __traits::destroy(__alloc
, std::__addressof(*__first
));
150 template<typename _ForwardIterator
, typename _Tp
>
152 _Destroy(_ForwardIterator __first
, _ForwardIterator __last
,
155 _Destroy(__first
, __last
);
158 _GLIBCXX_END_NAMESPACE_VERSION
161 #endif /* _STL_CONSTRUCT_H */