1 | ////////////////////////////////////////////////////////////////////////////// |
2 | // |
3 | // (C) Copyright Ion Gaztanaga 2006-2014. Distributed under the Boost |
4 | // Software License, Version 1.0. (See accompanying file |
5 | // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
6 | // |
7 | // See http://www.boost.org/libs/move for documentation. |
8 | // |
9 | ////////////////////////////////////////////////////////////////////////////// |
10 | |
11 | #ifndef BOOST_MOVE_MAKE_UNIQUE_HPP_INCLUDED |
12 | #define BOOST_MOVE_MAKE_UNIQUE_HPP_INCLUDED |
13 | |
14 | #ifndef BOOST_CONFIG_HPP |
15 | # include <boost/config.hpp> |
16 | #endif |
17 | # |
18 | #if defined(BOOST_HAS_PRAGMA_ONCE) |
19 | # pragma once |
20 | #endif |
21 | |
22 | #include <boost/move/detail/config_begin.hpp> |
23 | #include <boost/move/detail/workaround.hpp> |
24 | #include <boost/move/utility_core.hpp> |
25 | #include <boost/move/unique_ptr.hpp> |
26 | #include <cstddef> //for std::size_t |
27 | #include <boost/move/detail/unique_ptr_meta_utils.hpp> |
28 | #ifdef BOOST_NO_CXX11_VARIADIC_TEMPLATES |
29 | # include <boost/move/detail/fwd_macros.hpp> |
30 | #endif |
31 | |
32 | //!\file |
33 | //! Defines "make_unique" functions, which are factories to create instances |
34 | //! of unique_ptr depending on the passed arguments. |
35 | //! |
36 | //! This header can be a bit heavyweight in C++03 compilers due to the use of the |
37 | //! preprocessor library, that's why it's a a separate header from <tt>unique_ptr.hpp</tt> |
38 | |
39 | #if !defined(BOOST_MOVE_DOXYGEN_INVOKED) |
40 | |
41 | namespace std { //no namespace versioning in clang+libc++ |
42 | |
43 | struct nothrow_t; |
44 | |
45 | } //namespace std { |
46 | |
47 | namespace boost{ |
48 | namespace move_upmu { |
49 | |
50 | //Compile time switch between |
51 | //single element, unknown bound array |
52 | //and known bound array |
53 | template<class T> |
54 | struct unique_ptr_if |
55 | { |
56 | typedef ::boost::movelib::unique_ptr<T> t_is_not_array; |
57 | }; |
58 | |
59 | template<class T> |
60 | struct unique_ptr_if<T[]> |
61 | { |
62 | typedef ::boost::movelib::unique_ptr<T[]> t_is_array_of_unknown_bound; |
63 | }; |
64 | |
65 | template<class T, std::size_t N> |
66 | struct unique_ptr_if<T[N]> |
67 | { |
68 | typedef void t_is_array_of_known_bound; |
69 | }; |
70 | |
71 | template <int Dummy = 0> |
72 | struct nothrow_holder |
73 | { |
74 | static std::nothrow_t *pnothrow; |
75 | }; |
76 | |
77 | template <int Dummy> |
78 | std::nothrow_t *nothrow_holder<Dummy>::pnothrow; |
79 | |
80 | } //namespace move_upmu { |
81 | } //namespace boost{ |
82 | |
83 | #endif //!defined(BOOST_MOVE_DOXYGEN_INVOKED) |
84 | |
85 | namespace boost{ |
86 | namespace movelib { |
87 | |
88 | #if defined(BOOST_MOVE_DOXYGEN_INVOKED) || !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES) |
89 | |
90 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is not an array. |
91 | //! |
92 | //! <b>Returns</b>: <tt>unique_ptr<T>(new T(std::forward<Args>(args)...))</tt>. |
93 | template<class T, class... Args> |
94 | inline BOOST_MOVE_DOC1ST(unique_ptr<T>, |
95 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_not_array) |
96 | make_unique(BOOST_FWD_REF(Args)... args) |
97 | { return unique_ptr<T>(new T(::boost::forward<Args>(args)...)); } |
98 | |
99 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is not an array. |
100 | //! |
101 | //! <b>Returns</b>: <tt>unique_ptr<T>(new T(std::nothrow)(std::forward<Args>(args)...))</tt>. |
102 | template<class T, class... Args> |
103 | inline BOOST_MOVE_DOC1ST(unique_ptr<T>, |
104 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_not_array) |
105 | make_unique_nothrow(BOOST_FWD_REF(Args)... args) |
106 | { return unique_ptr<T>(new (*boost::move_upmu::nothrow_holder<>::pnothrow)T(::boost::forward<Args>(args)...)); } |
107 | |
108 | #else |
109 | #define BOOST_MOVE_MAKE_UNIQUE_CODE(N)\ |
110 | template<class T BOOST_MOVE_I##N BOOST_MOVE_CLASS##N>\ |
111 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_not_array\ |
112 | make_unique( BOOST_MOVE_UREF##N)\ |
113 | { return unique_ptr<T>( new T( BOOST_MOVE_FWD##N ) ); }\ |
114 | \ |
115 | template<class T BOOST_MOVE_I##N BOOST_MOVE_CLASS##N>\ |
116 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_not_array\ |
117 | make_unique_nothrow( BOOST_MOVE_UREF##N)\ |
118 | { return unique_ptr<T>( new (*boost::move_upmu::nothrow_holder<>::pnothrow)T ( BOOST_MOVE_FWD##N ) ); }\ |
119 | // |
120 | BOOST_MOVE_ITERATE_0TO9(BOOST_MOVE_MAKE_UNIQUE_CODE) |
121 | #undef BOOST_MOVE_MAKE_UNIQUE_CODE |
122 | |
123 | #endif |
124 | |
125 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is not an array. |
126 | //! |
127 | //! <b>Returns</b>: <tt>unique_ptr<T>(new T)</tt> (default initialization) |
128 | template<class T> |
129 | inline BOOST_MOVE_DOC1ST(unique_ptr<T>, |
130 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_not_array) |
131 | make_unique_definit() |
132 | { |
133 | return unique_ptr<T>(new T); |
134 | } |
135 | |
136 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is not an array. |
137 | //! |
138 | //! <b>Returns</b>: <tt>unique_ptr<T>(new T(std::nothrow)</tt> (default initialization) |
139 | template<class T> |
140 | inline BOOST_MOVE_DOC1ST(unique_ptr<T>, |
141 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_not_array) |
142 | make_unique_nothrow_definit() |
143 | { |
144 | return unique_ptr<T>(new (*boost::move_upmu::nothrow_holder<>::pnothrow)T); |
145 | } |
146 | |
147 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is an array of |
148 | //! unknown bound. |
149 | //! |
150 | //! <b>Returns</b>: <tt>unique_ptr<T>(new remove_extent_t<T>[n]())</tt> (value initialization) |
151 | template<class T> |
152 | inline BOOST_MOVE_DOC1ST(unique_ptr<T>, |
153 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_array_of_unknown_bound) |
154 | make_unique(std::size_t n) |
155 | { |
156 | typedef typename ::boost::move_upmu::remove_extent<T>::type U; |
157 | return unique_ptr<T>(new U[n]()); |
158 | } |
159 | |
160 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is an array of |
161 | //! unknown bound. |
162 | //! |
163 | //! <b>Returns</b>: <tt>unique_ptr<T>(new (std::nothrow)remove_extent_t<T>[n]())</tt> (value initialization) |
164 | template<class T> |
165 | inline BOOST_MOVE_DOC1ST(unique_ptr<T>, |
166 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_array_of_unknown_bound) |
167 | make_unique_nothrow(std::size_t n) |
168 | { |
169 | typedef typename ::boost::move_upmu::remove_extent<T>::type U; |
170 | return unique_ptr<T>(new (*boost::move_upmu::nothrow_holder<>::pnothrow)U[n]()); |
171 | } |
172 | |
173 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is an array of |
174 | //! unknown bound. |
175 | //! |
176 | //! <b>Returns</b>: <tt>unique_ptr<T>(new remove_extent_t<T>[n])</tt> (default initialization) |
177 | template<class T> |
178 | inline BOOST_MOVE_DOC1ST(unique_ptr<T>, |
179 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_array_of_unknown_bound) |
180 | make_unique_definit(std::size_t n) |
181 | { |
182 | typedef typename ::boost::move_upmu::remove_extent<T>::type U; |
183 | return unique_ptr<T>(new U[n]); |
184 | } |
185 | |
186 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is an array of |
187 | //! unknown bound. |
188 | //! |
189 | //! <b>Returns</b>: <tt>unique_ptr<T>(new (std::nothrow)remove_extent_t<T>[n])</tt> (default initialization) |
190 | template<class T> |
191 | inline BOOST_MOVE_DOC1ST(unique_ptr<T>, |
192 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_array_of_unknown_bound) |
193 | make_unique_nothrow_definit(std::size_t n) |
194 | { |
195 | typedef typename ::boost::move_upmu::remove_extent<T>::type U; |
196 | return unique_ptr<T>(new (*boost::move_upmu::nothrow_holder<>::pnothrow) U[n]); |
197 | } |
198 | |
199 | #if !defined(BOOST_NO_CXX11_DELETED_FUNCTIONS) |
200 | |
201 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is |
202 | //! an array of known bound. |
203 | template<class T, class... Args> |
204 | inline BOOST_MOVE_DOC1ST(unspecified, |
205 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_array_of_known_bound) |
206 | make_unique(BOOST_FWD_REF(Args) ...) = delete; |
207 | |
208 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is |
209 | //! an array of known bound. |
210 | template<class T, class... Args> |
211 | inline BOOST_MOVE_DOC1ST(unspecified, |
212 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_array_of_known_bound) |
213 | make_unique_definit(BOOST_FWD_REF(Args) ...) = delete; |
214 | |
215 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is |
216 | //! an array of known bound. |
217 | template<class T, class... Args> |
218 | inline BOOST_MOVE_DOC1ST(unspecified, |
219 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_array_of_known_bound) |
220 | make_unique_nothrow(BOOST_FWD_REF(Args) ...) = delete; |
221 | |
222 | //! <b>Remarks</b>: This function shall not participate in overload resolution unless T is |
223 | //! an array of known bound. |
224 | template<class T, class... Args> |
225 | inline BOOST_MOVE_DOC1ST(unspecified, |
226 | typename ::boost::move_upmu::unique_ptr_if<T>::t_is_array_of_known_bound) |
227 | make_unique_nothrow_definit(BOOST_FWD_REF(Args) ...) = delete; |
228 | |
229 | #endif |
230 | |
231 | } //namespace movelib { |
232 | |
233 | } //namespace boost{ |
234 | |
235 | #include <boost/move/detail/config_end.hpp> |
236 | |
237 | #endif //#ifndef BOOST_MOVE_MAKE_UNIQUE_HPP_INCLUDED |
238 | |