241 lines
		
	
	
		
			6.4 KiB
		
	
	
	
		
			C++
		
	
	
		
			Executable File
		
	
	
			
		
		
	
	
			241 lines
		
	
	
		
			6.4 KiB
		
	
	
	
		
			C++
		
	
	
		
			Executable File
		
	
	
| // - construct.hpp -- Lambda Library -------------
 | |
| //
 | |
| // Copyright (C) 2000 Gary Powell (powellg@amazon.com)
 | |
| // Copyright (C) 1999, 2000 Jaakko Jarvi (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
 | |
| 
 | |
| #include "boost/type_traits/remove_cv.hpp"
 | |
| #include "boost/type_traits/is_pointer.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
 |