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
41namespace std { //no namespace versioning in clang+libc++
42
43struct nothrow_t;
44
45} //namespace std {
46
47namespace boost{
48namespace move_upmu {
49
50//Compile time switch between
51//single element, unknown bound array
52//and known bound array
53template<class T>
54struct unique_ptr_if
55{
56 typedef ::boost::movelib::unique_ptr<T> t_is_not_array;
57};
58
59template<class T>
60struct unique_ptr_if<T[]>
61{
62 typedef ::boost::movelib::unique_ptr<T[]> t_is_array_of_unknown_bound;
63};
64
65template<class T, std::size_t N>
66struct unique_ptr_if<T[N]>
67{
68 typedef void t_is_array_of_known_bound;
69};
70
71template <int Dummy = 0>
72struct nothrow_holder
73{
74 static std::nothrow_t *pnothrow;
75};
76
77template <int Dummy>
78std::nothrow_t *nothrow_holder<Dummy>::pnothrow;
79
80} //namespace move_upmu {
81} //namespace boost{
82
83#endif //!defined(BOOST_MOVE_DOXYGEN_INVOKED)
84
85namespace boost{
86namespace 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>.
93template<class T, class... Args>
94inline 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>.
102template<class T, class... Args>
103inline 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)
128template<class T>
129inline 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)
139template<class T>
140inline 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)
151template<class T>
152inline 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)
164template<class T>
165inline 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)
177template<class T>
178inline 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)
190template<class T>
191inline 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.
203template<class T, class... Args>
204inline 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.
210template<class T, class... Args>
211inline 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.
217template<class T, class... Args>
218inline 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.
224template<class T, class... Args>
225inline 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