// - construct.hpp -- Lambda Library -------------

 //

 // Copyright (C) 2000 Gary Powell (powellg@amazon.com)

 // Copyright (C) 1999, 2000 Jaakko Järvi (jaakko.jarvi@cs.utu.fi)

 //

 // Distributed under the Boost Software License, Version 1.0. (See

 // accompanying file LICENSE_1_0.txt or copy at

 // http://www.boost.org/LICENSE_1_0.txt)

 //

 // For more information, see http://www.boost.org

 //

 // -----------------------------------------------

 #if !defined(BOOST_LAMBDA_CONSTRUCT_HPP)

 #define BOOST_LAMBDA_CONSTRUCT_HPP

 namespace boost { 

 namespace lambda {

   // constructor is used together with bind. constructor<A> creates a bindable

   // function object that passes its arguments forward to a constructor call

   // of type A

 template<class T> struct constructor {

   template <class U> struct sig { typedef T type; };

   T operator()() const {

     return T();

   }

   template<class A1>

   T operator()(A1& a1) const {

     return T(a1);

   }

   template<class A1, class A2>

   T operator()(A1& a1, A2& a2) const {

     return T(a1, a2);

   }

   template<class A1, class A2, class A3>

   T operator()(A1& a1, A2& a2, A3& a3) const {

     return T(a1, a2, a3);

   }

   template<class A1, class A2, class A3, class A4>

   T operator()(A1& a1, A2& a2, A3& a3, A4& a4) const {

     return T(a1, a2, a3, a4);

   }

   template<class A1, class A2, class A3, class A4, class A5>

   T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5) const {

     return T(a1, a2, a3, a4, a5);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6>

   T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6) const {

     return T(a1, a2, a3, a4, a5, a6);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6, class A7>

   T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7) const {

     return T(a1, a2, a3, a4, a5, a6, a7);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>

   T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8) const {

     return T(a1, a2, a3, a4, a5, a6, a7, a8);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>

   T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9) const {

     return T(a1, a2, a3, a4, a5, a6, a7, a8, a9);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9, class A10>

   T operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9, A10& a10) const {

     return T(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10);

   }

 };

 namespace detail {

 // A standard conforming compiler could disambiguate between

 // A1* and A1&, but not all compilers do that, so we need the

 // helpers

 template <bool IsPointer>

 struct destructor_helper {

   template<class A1>

   static void exec(A1& a1) {

     // remove all the qualifiers, not sure whether it is necessary

     typedef typename boost::remove_cv<A1>::type plainA1;

      a1.~plainA1();

   }

 };

 template <>

 struct destructor_helper<true> {

   template<class A1>

   static void exec(A1* a1) {

     typedef typename boost::remove_cv<A1>::type plainA1;

     (*a1).~plainA1();

   }

 };

 }

 // destructor funtion object

 struct destructor {  

   template <class T> struct sig { typedef void type; };  

   template<class A1>

   void operator()(A1& a1) const {

     typedef typename boost::remove_cv<A1>::type plainA1;

     detail::destructor_helper<boost::is_pointer<plainA1>::value>::exec(a1);

   }

 };

 // new_ptr is used together with bind.

   // note: placement new is not supported

 template<class T> struct new_ptr {

   template <class U> struct sig { typedef T* type; };  

   T* operator()() const {

     return new T();

   }

   template<class A1>

   T* operator()(A1& a1) const {

     return new T(a1);

   }

   template<class A1, class A2>

   T* operator()(A1& a1, A2& a2) const {

     return new T(a1, a2);

   }

   template<class A1, class A2, class A3>

   T* operator()(A1& a1, A2& a2, A3& a3) const {

     return new T(a1, a2, a3);

   }

   template<class A1, class A2, class A3, class A4>

   T* operator()(A1& a1, A2& a2, A3& a3, A4& a4) const {

     return new T(a1, a2, a3, a4);

   }

   template<class A1, class A2, class A3, class A4, class A5>

   T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5) const {

     return new T(a1, a2, a3, a4, a5);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6>

   T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6) const {

     return new T(a1, a2, a3, a4, a5, a6);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6, class A7>

   T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7) const {

     return new T(a1, a2, a3, a4, a5, a6, a7);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>

   T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8) const {

     return new T(a1, a2, a3, a4, a5, a6, a7, a8);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>

   T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9) const {

     return new T(a1, a2, a3, a4, a5, a6, a7, a8, a9);

   }

   template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9, class A10>

   T* operator()(A1& a1, A2& a2, A3& a3, A4& a4, A5& a5, A6& a6, A7& a7, A8& a8, A9& a9, A10& a10) const {

     return new T(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10);

   }

 };

 // delete_ptr return void

 struct delete_ptr {

   template <class U> struct sig { typedef void type; };  

   template <class A1>

   void operator()(A1& a1) const {

     delete a1;

   }

 };

 // new_array is used together with bind.

 template<class T> struct new_array {

   template <class U> struct sig { typedef T* type; };  

   T* operator()(int size) const {

     return new T[size];

   }

 };

 // delete_ptr return void

 struct delete_array {

   template <class U> struct sig { typedef void type; };  

   template <class A1>

   void operator()(A1& a1) const {

     delete[] a1;

   }

 };

 } // namespace lambda 

 } // namespace boost

 #endif