diff options
Diffstat (limited to 'boost/bind/bind.hpp')
-rw-r--r-- | boost/bind/bind.hpp | 483 |
1 files changed, 349 insertions, 134 deletions
diff --git a/boost/bind/bind.hpp b/boost/bind/bind.hpp index fd05131236..f793551d1a 100644 --- a/boost/bind/bind.hpp +++ b/boost/bind/bind.hpp @@ -32,6 +32,10 @@ #include <boost/core/enable_if.hpp> #include <boost/core/is_same.hpp> +#if !defined( BOOST_NO_CXX11_RVALUE_REFERENCES ) +#include <utility> // std::forward +#endif + // Borland-specific bug, visit_each() silently fails to produce code #if defined(__BORLANDC__) @@ -863,14 +867,337 @@ public: #if !defined( BOOST_NO_CXX11_RVALUE_REFERENCES ) -template< class A > struct list_add_cref +template< class A1 > class rrlist1 +{ +private: + + A1 & a1_; // not A1&& because of msvc-10.0 + +public: + + explicit rrlist1( A1 & a1 ): a1_( a1 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } // not static_cast because of g++ 4.9 + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } +}; + +template< class A1, class A2 > class rrlist2 { - typedef A const & type; +private: + + A1 & a1_; + A2 & a2_; + +public: + + rrlist2( A1 & a1, A2 & a2 ): a1_( a1 ), a2_( a2 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2>) const { return std::forward<A2>( a2_ ); } + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2> (*) ()) const { return std::forward<A2>( a2_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } +}; + +template< class A1, class A2, class A3 > class rrlist3 +{ +private: + + A1 & a1_; + A2 & a2_; + A3 & a3_; + +public: + + rrlist3( A1 & a1, A2 & a2, A3 & a3 ): a1_( a1 ), a2_( a2 ), a3_( a3 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2>) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3>) const { return std::forward<A3>( a3_ ); } + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2> (*) ()) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3> (*) ()) const { return std::forward<A3>( a3_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } }; -template< class A > struct list_add_cref< A& > +template< class A1, class A2, class A3, class A4 > class rrlist4 { - typedef A & type; +private: + + A1 & a1_; + A2 & a2_; + A3 & a3_; + A4 & a4_; + +public: + + rrlist4( A1 & a1, A2 & a2, A3 & a3, A4 & a4 ): a1_( a1 ), a2_( a2 ), a3_( a3 ), a4_( a4 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2>) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3>) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4>) const { return std::forward<A4>( a4_ ); } + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2> (*) ()) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3> (*) ()) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4> (*) ()) const { return std::forward<A4>( a4_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } +}; + +template< class A1, class A2, class A3, class A4, class A5 > class rrlist5 +{ +private: + + A1 & a1_; + A2 & a2_; + A3 & a3_; + A4 & a4_; + A5 & a5_; + +public: + + rrlist5( A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5 ): a1_( a1 ), a2_( a2 ), a3_( a3 ), a4_( a4 ), a5_( a5 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2>) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3>) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4>) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5>) const { return std::forward<A5>( a5_ ); } + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2> (*) ()) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3> (*) ()) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4> (*) ()) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5> (*) ()) const { return std::forward<A5>( a5_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } +}; + +template< class A1, class A2, class A3, class A4, class A5, class A6 > class rrlist6 +{ +private: + + A1 & a1_; + A2 & a2_; + A3 & a3_; + A4 & a4_; + A5 & a5_; + A6 & a6_; + +public: + + rrlist6( A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6 ): a1_( a1 ), a2_( a2 ), a3_( a3 ), a4_( a4 ), a5_( a5 ), a6_( a6 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2>) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3>) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4>) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5>) const { return std::forward<A5>( a5_ ); } + A6 && operator[] (boost::arg<6>) const { return std::forward<A6>( a6_ ); } + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2> (*) ()) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3> (*) ()) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4> (*) ()) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5> (*) ()) const { return std::forward<A5>( a5_ ); } + A6 && operator[] (boost::arg<6> (*) ()) const { return std::forward<A6>( a6_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } +}; + +template< class A1, class A2, class A3, class A4, class A5, class A6, class A7 > class rrlist7 +{ +private: + + A1 & a1_; + A2 & a2_; + A3 & a3_; + A4 & a4_; + A5 & a5_; + A6 & a6_; + A7 & a7_; + +public: + + rrlist7( A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7 ): a1_( a1 ), a2_( a2 ), a3_( a3 ), a4_( a4 ), a5_( a5 ), a6_( a6 ), a7_( a7 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2>) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3>) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4>) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5>) const { return std::forward<A5>( a5_ ); } + A6 && operator[] (boost::arg<6>) const { return std::forward<A6>( a6_ ); } + A7 && operator[] (boost::arg<7>) const { return std::forward<A7>( a7_ ); } + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2> (*) ()) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3> (*) ()) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4> (*) ()) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5> (*) ()) const { return std::forward<A5>( a5_ ); } + A6 && operator[] (boost::arg<6> (*) ()) const { return std::forward<A6>( a6_ ); } + A7 && operator[] (boost::arg<7> (*) ()) const { return std::forward<A7>( a7_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } +}; + +template< class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8 > class rrlist8 +{ +private: + + A1 & a1_; + A2 & a2_; + A3 & a3_; + A4 & a4_; + A5 & a5_; + A6 & a6_; + A7 & a7_; + A8 & a8_; + +public: + + rrlist8( A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8 ): a1_( a1 ), a2_( a2 ), a3_( a3 ), a4_( a4 ), a5_( a5 ), a6_( a6 ), a7_( a7 ), a8_( a8 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2>) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3>) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4>) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5>) const { return std::forward<A5>( a5_ ); } + A6 && operator[] (boost::arg<6>) const { return std::forward<A6>( a6_ ); } + A7 && operator[] (boost::arg<7>) const { return std::forward<A7>( a7_ ); } + A8 && operator[] (boost::arg<8>) const { return std::forward<A8>( a8_ ); } + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2> (*) ()) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3> (*) ()) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4> (*) ()) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5> (*) ()) const { return std::forward<A5>( a5_ ); } + A6 && operator[] (boost::arg<6> (*) ()) const { return std::forward<A6>( a6_ ); } + A7 && operator[] (boost::arg<7> (*) ()) const { return std::forward<A7>( a7_ ); } + A8 && operator[] (boost::arg<8> (*) ()) const { return std::forward<A8>( a8_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } +}; + +template< class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9 > class rrlist9 +{ +private: + + A1 & a1_; + A2 & a2_; + A3 & a3_; + A4 & a4_; + A5 & a5_; + A6 & a6_; + A7 & a7_; + A8 & a8_; + A9 & a9_; + +public: + + rrlist9( A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5, A6 & a6, A7 & a7, A8 & a8, A9 & a9 ): a1_( a1 ), a2_( a2 ), a3_( a3 ), a4_( a4 ), a5_( a5 ), a6_( a6 ), a7_( a7 ), a8_( a8 ), a9_( a9 ) {} + + A1 && operator[] (boost::arg<1>) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2>) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3>) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4>) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5>) const { return std::forward<A5>( a5_ ); } + A6 && operator[] (boost::arg<6>) const { return std::forward<A6>( a6_ ); } + A7 && operator[] (boost::arg<7>) const { return std::forward<A7>( a7_ ); } + A8 && operator[] (boost::arg<8>) const { return std::forward<A8>( a8_ ); } + A9 && operator[] (boost::arg<9>) const { return std::forward<A9>( a9_ ); } + + A1 && operator[] (boost::arg<1> (*) ()) const { return std::forward<A1>( a1_ ); } + A2 && operator[] (boost::arg<2> (*) ()) const { return std::forward<A2>( a2_ ); } + A3 && operator[] (boost::arg<3> (*) ()) const { return std::forward<A3>( a3_ ); } + A4 && operator[] (boost::arg<4> (*) ()) const { return std::forward<A4>( a4_ ); } + A5 && operator[] (boost::arg<5> (*) ()) const { return std::forward<A5>( a5_ ); } + A6 && operator[] (boost::arg<6> (*) ()) const { return std::forward<A6>( a6_ ); } + A7 && operator[] (boost::arg<7> (*) ()) const { return std::forward<A7>( a7_ ); } + A8 && operator[] (boost::arg<8> (*) ()) const { return std::forward<A8>( a8_ ); } + A9 && operator[] (boost::arg<9> (*) ()) const { return std::forward<A9>( a9_ ); } + + template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); } + + template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); } + + template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> & b) const { return b.eval(*this); } + + template<class R, class F, class L> typename result_traits<R, F>::type operator[] (bind_t<R, F, L> const & b) const { return b.eval(*this); } }; template<class R, class F, class L> class bind_t @@ -903,221 +1230,109 @@ public: template<class A1> result_type operator()( A1 && a1 ) { - list1< typename list_add_cref<A1>::type > a( a1 ); + rrlist1< A1 > a( a1 ); return l_( type<result_type>(), f_, a, 0 ); } template<class A1> result_type operator()( A1 && a1 ) const { - list1< typename list_add_cref<A1>::type > a( a1 ); + rrlist1< A1 > a( a1 ); return l_(type<result_type>(), f_, a, 0); } template<class A1, class A2> result_type operator()( A1 && a1, A2 && a2 ) { - list2< typename list_add_cref<A1>::type, typename list_add_cref<A2>::type > a( a1, a2 ); + rrlist2< A1, A2 > a( a1, a2 ); return l_( type<result_type>(), f_, a, 0 ); } template<class A1, class A2> result_type operator()( A1 && a1, A2 && a2 ) const { - list2< typename list_add_cref<A1>::type, typename list_add_cref<A2>::type > a( a1, a2 ); + rrlist2< A1, A2 > a( a1, a2 ); return l_( type<result_type>(), f_, a, 0 ); } template<class A1, class A2, class A3> result_type operator()( A1 && a1, A2 && a2, A3 && a3 ) { - list3< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type - > a( a1, a2, a3 ); - + rrlist3< A1, A2, A3 > a( a1, a2, a3 ); return l_( type<result_type>(), f_, a, 0 ); } template<class A1, class A2, class A3> result_type operator()( A1 && a1, A2 && a2, A3 && a3 ) const { - list3< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type - > a( a1, a2, a3 ); - + rrlist3< A1, A2, A3 > a( a1, a2, a3 ); return l_( type<result_type>(), f_, a, 0 ); } template<class A1, class A2, class A3, class A4> result_type operator()( A1 && a1, A2 && a2, A3 && a3, A4 && a4 ) { - list4< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type - > a( a1, a2, a3, a4 ); - + rrlist4< A1, A2, A3, A4 > a( a1, a2, a3, a4 ); return l_( type<result_type>(), f_, a, 0 ); } template<class A1, class A2, class A3, class A4> result_type operator()( A1 && a1, A2 && a2, A3 && a3, A4 && a4 ) const { - list4< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type - > a( a1, a2, a3, a4 ); - + rrlist4< A1, A2, A3, A4 > a( a1, a2, a3, a4 ); return l_( type<result_type>(), f_, a, 0 ); } template<class A1, class A2, class A3, class A4, class A5> result_type operator()( A1 && a1, A2 && a2, A3 && a3, A4 && a4, A5 && a5 ) { - list5< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type - > a( a1, a2, a3, a4, a5 ); - + rrlist5< A1, A2, A3, A4, A5 > a( a1, a2, a3, a4, a5 ); return l_( type<result_type>(), f_, a, 0 ); } 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 { - list5< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type - > a( a1, a2, a3, a4, a5 ); - + rrlist5< A1, A2, A3, A4, A5 > a( a1, a2, a3, a4, a5 ); return l_( type<result_type>(), f_, a, 0 ); } 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 ) { - list6< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type, - typename list_add_cref<A6>::type - > a( a1, a2, a3, a4, a5, a6 ); - + rrlist6< A1, A2, A3, A4, A5, A6 > a( a1, a2, a3, a4, a5, a6 ); return l_( type<result_type>(), f_, a, 0 ); } 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 { - list6< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type, - typename list_add_cref<A6>::type - > a( a1, a2, a3, a4, a5, a6 ); - + rrlist6< A1, A2, A3, A4, A5, A6 > a( a1, a2, a3, a4, a5, a6 ); return l_( type<result_type>(), f_, a, 0 ); } 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 ) { - list7< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type, - typename list_add_cref<A6>::type, - typename list_add_cref<A7>::type - > a( a1, a2, a3, a4, a5, a6, a7 ); - + rrlist7< A1, A2, A3, A4, A5, A6, A7 > a( a1, a2, a3, a4, a5, a6, a7 ); return l_( type<result_type>(), f_, a, 0 ); } 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 { - list7< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type, - typename list_add_cref<A6>::type, - typename list_add_cref<A7>::type - > a( a1, a2, a3, a4, a5, a6, a7 ); - + rrlist7< A1, A2, A3, A4, A5, A6, A7 > a( a1, a2, a3, a4, a5, a6, a7 ); return l_( type<result_type>(), f_, a, 0 ); } 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 ) { - list8< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type, - typename list_add_cref<A6>::type, - typename list_add_cref<A7>::type, - typename list_add_cref<A8>::type - > a( a1, a2, a3, a4, a5, a6, a7, a8 ); - + rrlist8< A1, A2, A3, A4, A5, A6, A7, A8 > a( a1, a2, a3, a4, a5, a6, a7, a8 ); return l_( type<result_type>(), f_, a, 0 ); } 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 { - list8< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type, - typename list_add_cref<A6>::type, - typename list_add_cref<A7>::type, - typename list_add_cref<A8>::type - > a( a1, a2, a3, a4, a5, a6, a7, a8 ); - + rrlist8< A1, A2, A3, A4, A5, A6, A7, A8 > a( a1, a2, a3, a4, a5, a6, a7, a8 ); return l_( type<result_type>(), f_, a, 0 ); } 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 ) { - list9< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type, - typename list_add_cref<A6>::type, - typename list_add_cref<A7>::type, - typename list_add_cref<A8>::type, - typename list_add_cref<A9>::type - > a( a1, a2, a3, a4, a5, a6, a7, a8, a9 ); - + rrlist9< A1, A2, A3, A4, A5, A6, A7, A8, A9 > a( a1, a2, a3, a4, a5, a6, a7, a8, a9 ); return l_( type<result_type>(), f_, a, 0 ); } 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 { - list9< - typename list_add_cref<A1>::type, - typename list_add_cref<A2>::type, - typename list_add_cref<A3>::type, - typename list_add_cref<A4>::type, - typename list_add_cref<A5>::type, - typename list_add_cref<A6>::type, - typename list_add_cref<A7>::type, - typename list_add_cref<A8>::type, - typename list_add_cref<A9>::type - > a( a1, a2, a3, a4, a5, a6, a7, a8, a9 ); - + rrlist9< A1, A2, A3, A4, A5, A6, A7, A8, A9 > a( a1, a2, a3, a4, a5, a6, a7, a8, a9 ); return l_( type<result_type>(), f_, a, 0 ); } |