Chris@16: //
Chris@16: //  bind/bind_template.hpp
Chris@16: //
Chris@16: //  Do not include this header directly.
Chris@16: //
Chris@16: //  Copyright (c) 2001-2004 Peter Dimov and Multi Media Ltd.
Chris@16: //
Chris@16: // Distributed under the Boost Software License, Version 1.0. (See
Chris@16: // accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: //  See http://www.boost.org/libs/bind/bind.html for documentation.
Chris@16: //
Chris@16: 
Chris@16:     typedef typename result_traits<R, F>::type result_type;
Chris@16: 
Chris@16:     result_type operator()()
Chris@16:     {
Chris@16:         list0 a;
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     result_type operator()() const
Chris@16:     {
Chris@16:         list0 a;
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1> result_type operator()(A1 & a1)
Chris@16:     {
Chris@16:         list1<A1 &> a(a1);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1> result_type operator()(A1 & a1) const
Chris@16:     {
Chris@16:         list1<A1 &> a(a1);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1> result_type operator()(A1 const & a1)
Chris@16:     {
Chris@16:         list1<A1 const &> a(a1);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1> result_type operator()(A1 const & a1) const
Chris@16:     {
Chris@16:         list1<A1 const &> a(a1);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A1, class A2> result_type operator()(A1 & a1, A2 & a2)
Chris@16:     {
Chris@16:         list2<A1 &, A2 &> a(a1, a2);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2> result_type operator()(A1 & a1, A2 & a2) const
Chris@16:     {
Chris@16:         list2<A1 &, A2 &> a(a1, a2);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1, class A2> result_type operator()(A1 const & a1, A2 & a2)
Chris@16:     {
Chris@16:         list2<A1 const &, A2 &> a(a1, a2);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2> result_type operator()(A1 const & a1, A2 & a2) const
Chris@16:     {
Chris@16:         list2<A1 const &, A2 &> a(a1, a2);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: 
Chris@16:     template<class A1, class A2> result_type operator()(A1 & a1, A2 const & a2)
Chris@16:     {
Chris@16:         list2<A1 &, A2 const &> a(a1, a2);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2> result_type operator()(A1 & a1, A2 const & a2) const
Chris@16:     {
Chris@16:         list2<A1 &, A2 const &> a(a1, a2);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: 
Chris@16:     template<class A1, class A2> result_type operator()(A1 const & a1, A2 const & a2)
Chris@16:     {
Chris@16:         list2<A1 const &, A2 const &> a(a1, a2);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2> result_type operator()(A1 const & a1, A2 const & a2) const
Chris@16:     {
Chris@16:         list2<A1 const &, A2 const &> a(a1, a2);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A1, class A2, class A3> result_type operator()(A1 & a1, A2 & a2, A3 & a3)
Chris@16:     {
Chris@16:         list3<A1 &, A2 &, A3 &> a(a1, a2, a3);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3> result_type operator()(A1 & a1, A2 & a2, A3 & a3) const
Chris@16:     {
Chris@16:         list3<A1 &, A2 &, A3 &> a(a1, a2, a3);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1, class A2, class A3> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3)
Chris@16:     {
Chris@16:         list3<A1 const &, A2 const &, A3 const &> a(a1, a2, a3);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3) const
Chris@16:     {
Chris@16:         list3<A1 const &, A2 const &, A3 const &> a(a1, a2, a3);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4)
Chris@16:     {
Chris@16:         list4<A1 &, A2 &, A3 &, A4 &> a(a1, a2, a3, a4);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4) const
Chris@16:     {
Chris@16:         list4<A1 &, A2 &, A3 &, A4 &> a(a1, a2, a3, a4);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4)
Chris@16:     {
Chris@16:         list4<A1 const &, A2 const &, A3 const &, A4 const &> a(a1, a2, a3, a4);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4) const
Chris@16:     {
Chris@16:         list4<A1 const &, A2 const &, A3 const &, A4 const &> a(a1, a2, a3, a4);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5)
Chris@16:     {
Chris@16:         list5<A1 &, A2 &, A3 &, A4 &, A5 &> a(a1, a2, a3, a4, a5);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5) const
Chris@16:     {
Chris@16:         list5<A1 &, A2 &, A3 &, A4 &, A5 &> a(a1, a2, a3, a4, a5);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5)
Chris@16:     {
Chris@16:         list5<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &> a(a1, a2, a3, a4, a5);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5) const
Chris@16:     {
Chris@16:         list5<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &> a(a1, a2, a3, a4, a5);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6)
Chris@16:     {
Chris@16:         list6<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &> a(a1, a2, a3, a4, a5, a6);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6) const
Chris@16:     {
Chris@16:         list6<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &> a(a1, a2, a3, a4, a5, a6);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6)
Chris@16:     {
Chris@16:         list6<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &> a(a1, a2, a3, a4, a5, a6);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6) const
Chris@16:     {
Chris@16:         list6<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &> a(a1, a2, a3, a4, a5, a6);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7)
Chris@16:     {
Chris@16:         list7<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &> a(a1, a2, a3, a4, a5, a6, a7);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7) const
Chris@16:     {
Chris@16:         list7<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &> a(a1, a2, a3, a4, a5, a6, a7);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7)
Chris@16:     {
Chris@16:         list7<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &, A7 const &> a(a1, a2, a3, a4, a5, a6, a7);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7) const
Chris@16:     {
Chris@16:         list7<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &, A7 const &> a(a1, a2, a3, a4, a5, a6, a7);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8)
Chris@16:     {
Chris@16:         list8<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &, A8 &> a(a1, a2, a3, a4, a5, a6, a7, a8);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8) const
Chris@16:     {
Chris@16:         list8<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &, A8 &> a(a1, a2, a3, a4, a5, a6, a7, a8);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7, A8 const & a8)
Chris@16:     {
Chris@16:         list8<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &, A7 const &, A8 const &> a(a1, a2, a3, a4, a5, a6, a7, a8);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7, A8 const & a8) const
Chris@16:     {
Chris@16:         list8<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &, A7 const &, A8 const &> a(a1, a2, a3, a4, a5, a6, a7, a8);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8, A9 & a9)
Chris@16:     {
Chris@16:         list9<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &, A8 &, A9 &> a(a1, a2, a3, a4, a5, a6, a7, a8, a9);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8, A9 & a9) const
Chris@16:     {
Chris@16:         list9<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &, A8 &, A9 &> a(a1, a2, a3, a4, a5, a6, a7, a8, a9);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
Chris@16:  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7, A8 const & a8, A9 const & a9)
Chris@16:     {
Chris@16:         list9<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &, A7 const &, A8 const &, A9 const &> a(a1, a2, a3, a4, a5, a6, a7, a8, a9);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4, A5 const & a5, A6 const & a6, A7 const & a7, A8 const & a8, A9 const & a9) const
Chris@16:     {
Chris@16:         list9<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &, A7 const &, A8 const &, A9 const &> a(a1, a2, a3, a4, a5, a6, a7, a8, a9);
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     template<class A> result_type eval(A & a)
Chris@16:     {
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class A> result_type eval(A & a) const
Chris@16:     {
Chris@16:         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
Chris@16:     }
Chris@16: 
Chris@16:     template<class V> void accept(V & v) const
Chris@16:     {
Chris@16: #if !defined( BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP ) && !defined( __BORLANDC__ )
Chris@16: 
Chris@16:         using boost::visit_each;
Chris@16: 
Chris@16: #endif
Chris@16:         BOOST_BIND_VISIT_EACH(v, f_, 0);
Chris@16:         l_.accept(v);
Chris@16:     }
Chris@16: 
Chris@16:     bool compare(this_type const & rhs) const
Chris@16:     {
Chris@16:         return ref_compare(f_, rhs.f_, 0) && l_ == rhs.l_;
Chris@16:     }
Chris@16: 
Chris@16: private:
Chris@16: 
Chris@16:     F f_;
Chris@16:     L l_;