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