123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240 |
- // - 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
|