Update contrib.
1 // - construct.hpp -- Lambda Library -------------
3 // Copyright (C) 2000 Gary Powell (powellg@amazon.com)
4 // Copyright (C) 1999, 2000 Jaakko Järvi (jaakko.jarvi@cs.utu.fi)
6 // Distributed under the Boost Software License, Version 1.0. (See
7 // accompanying file LICENSE_1_0.txt or copy at
8 // http://www.boost.org/LICENSE_1_0.txt)
10 // For more information, see http://www.boost.org
12 // -----------------------------------------------
14 #if !defined(BOOST_LAMBDA_CONSTRUCT_HPP)
15 #define BOOST_LAMBDA_CONSTRUCT_HPP
20 // constructor is used together with bind. constructor<A> creates a bindable
21 // function object that passes its arguments forward to a constructor call
24 template<class T> struct constructor {
26 template <class U> struct sig { typedef T type; };
28 T operator()() const {
33 T operator()(A1& a1) const {
37 template<class A1, class A2>
38 T operator()(A1& a1, A2& a2) const {
42 template<class A1, class A2, class A3>
43 T operator()(A1& a1, A2& a2, A3& a3) const {
47 template<class A1, class A2, class A3, class A4>
48 T operator()(A1& a1, A2& a2, A3& a3, A4& a4) const {
49 return T(a1, a2, a3, a4);
52 template<class A1, class A2, class A3, class A4, class A5>
53 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5) const {
54 return T(a1, a2, a3, a4, a5);
57 template<class A1, class A2, class A3, class A4, class A5, class A6>
58 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6) const {
59 return T(a1, a2, a3, a4, a5, a6);
62 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7>
63 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7) const {
64 return T(a1, a2, a3, a4, a5, a6, a7);
67 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
68 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8) const {
69 return T(a1, a2, a3, a4, a5, a6, a7, a8);
72 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
73 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9) const {
74 return T(a1, a2, a3, a4, a5, a6, a7, a8, a9);
77 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9, class A10>
78 T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9, A10& a10) const {
79 return T(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10);
87 // A standard conforming compiler could disambiguate between
88 // A1* and A1&, but not all compilers do that, so we need the
92 template <bool IsPointer>
93 struct destructor_helper {
96 static void exec(A1& a1) {
97 // remove all the qualifiers, not sure whether it is necessary
98 typedef typename boost::remove_cv<A1>::type plainA1;
104 struct destructor_helper<true> {
107 static void exec(A1* a1) {
108 typedef typename boost::remove_cv<A1>::type plainA1;
115 // destructor funtion object
118 template <class T> struct sig { typedef void type; };
121 void operator()(A1& a1) const {
122 typedef typename boost::remove_cv<A1>::type plainA1;
123 detail::destructor_helper<boost::is_pointer<plainA1>::value>::exec(a1);
129 // new_ptr is used together with bind.
131 // note: placement new is not supported
133 template<class T> struct new_ptr {
135 template <class U> struct sig { typedef T* type; };
137 T* operator()() const {
142 T* operator()(A1& a1) const {
146 template<class A1, class A2>
147 T* operator()(A1& a1, A2& a2) const {
148 return new T(a1, a2);
151 template<class A1, class A2, class A3>
152 T* operator()(A1& a1, A2& a2, A3& a3) const {
153 return new T(a1, a2, a3);
156 template<class A1, class A2, class A3, class A4>
157 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4) const {
158 return new T(a1, a2, a3, a4);
161 template<class A1, class A2, class A3, class A4, class A5>
162 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5) const {
163 return new T(a1, a2, a3, a4, a5);
166 template<class A1, class A2, class A3, class A4, class A5, class A6>
167 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6) const {
168 return new T(a1, a2, a3, a4, a5, a6);
171 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7>
172 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7) const {
173 return new T(a1, a2, a3, a4, a5, a6, a7);
176 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
177 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8) const {
178 return new T(a1, a2, a3, a4, a5, a6, a7, a8);
181 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
182 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9) const {
183 return new T(a1, a2, a3, a4, a5, a6, a7, a8, a9);
186 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9, class A10>
187 T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9, A10& a10) const {
188 return new T(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10);
193 // delete_ptr return void
197 template <class U> struct sig { typedef void type; };
200 void operator()(A1& a1) const {
207 // new_array is used together with bind.
209 template<class T> struct new_array {
211 template <class U> struct sig { typedef T* type; };
213 T* operator()(int size) const {
219 // delete_ptr return void
221 struct delete_array {
223 template <class U> struct sig { typedef void type; };
226 void operator()(A1& a1) const {
234 } // namespace lambda