1 #ifndef BOOST_BIND_HPP_INCLUDED
2 #define BOOST_BIND_HPP_INCLUDED
9 // bind.hpp - binds function objects to arguments
11 // Copyright (c) 2001, 2002 Peter Dimov and Multi Media Ltd.
12 // Copyright (c) 2001 David Abrahams
14 // Permission to copy, use, modify, sell and distribute this software
15 // is granted provided this copyright notice appears in all copies.
16 // This software is provided "as is" without express or implied
17 // warranty, and with no claim as to its suitability for any purpose.
19 // See http://www.boost.org/libs/bind/bind.html for documentation.
22 #include <boost/config.hpp>
23 #include <boost/ref.hpp>
24 #include <boost/mem_fn.hpp>
25 #include <boost/bind/arg.hpp>
27 // Borland-specific bug, visit_each() silently fails to produce code
29 #if defined(__BORLANDC__)
30 # define BOOST_BIND_VISIT_EACH boost::visit_each
32 # define BOOST_BIND_VISIT_EACH visit_each
36 # pragma warning(push)
37 # pragma warning(disable: 4512) // assignment operator could not be generated
43 namespace _bi // implementation details
48 template<class R, class F> struct result_traits
53 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
55 struct unspecified {};
57 template<class F> struct result_traits<unspecified, F>
59 typedef typename F::result_type type;
64 // bind_t forward declaration for listN
66 template<class R, class F, class L> class bind_t;
70 template<class T> class value
74 value(T const & t): t_(t) {}
76 T & get() { return t_; }
77 T const & get() const { return t_; }
86 template<class T> class type {};
90 #ifdef BOOST_NO_VOID_RETURNS
92 template <class R> struct evaluator0;
93 template <class R> struct evaluator1;
94 template <class R> struct evaluator2;
95 template <class R> struct evaluator3;
96 template <class R> struct evaluator4;
97 template <class R> struct evaluator5;
98 template <class R> struct evaluator6;
99 template <class R> struct evaluator7;
100 template <class R> struct evaluator8;
101 template <class R> struct evaluator9;
111 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
113 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
115 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
117 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); }
119 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); }
121 template<class R, class F, class A> R operator()(type<R>, F f, A &) const
126 template<class V> void accept(V &) const
130 #ifdef BOOST_NO_VOID_RETURNS
132 template<class R> struct evaluator
134 typedef evaluator0<R> type;
141 template<class A1> class list1
145 explicit list1(A1 a1): a1_(a1) {}
147 A1 operator[] (arg<1>) const { return a1_; }
149 A1 operator[] (arg<1> (*) ()) const { return a1_; }
151 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
153 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
155 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
157 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); }
159 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); }
161 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
166 template<class V> void accept(V & v) const
168 BOOST_BIND_VISIT_EACH(v, a1_, 0);
171 #ifdef BOOST_NO_VOID_RETURNS
173 template<class R> struct evaluator
175 typedef evaluator1<R> type;
187 template<class A1, class A2> class list2
191 list2(A1 a1, A2 a2): a1_(a1), a2_(a2) {}
193 A1 operator[] (arg<1>) const { return a1_; }
194 A2 operator[] (arg<2>) const { return a2_; }
196 A1 operator[] (arg<1> (*) ()) const { return a1_; }
197 A2 operator[] (arg<2> (*) ()) const { return a2_; }
199 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
201 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
203 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
205 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); }
207 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); }
209 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
211 return f(a[a1_], a[a2_]);
214 template<class V> void accept(V & v) const
216 BOOST_BIND_VISIT_EACH(v, a1_, 0);
217 BOOST_BIND_VISIT_EACH(v, a2_, 0);
220 #ifdef BOOST_NO_VOID_RETURNS
222 template<class R> struct evaluator
224 typedef evaluator2<R> type;
237 template<class A1, class A2, class A3> class list3
241 list3(A1 a1, A2 a2, A3 a3): a1_(a1), a2_(a2), a3_(a3) {}
243 A1 operator[] (arg<1>) const { return a1_; }
244 A2 operator[] (arg<2>) const { return a2_; }
245 A3 operator[] (arg<3>) const { return a3_; }
247 A1 operator[] (arg<1> (*) ()) const { return a1_; }
248 A2 operator[] (arg<2> (*) ()) const { return a2_; }
249 A3 operator[] (arg<3> (*) ()) const { return a3_; }
251 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
253 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
255 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
257 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); }
259 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); }
261 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
263 return f(a[a1_], a[a2_], a[a3_]);
266 template<class V> void accept(V & v) const
268 BOOST_BIND_VISIT_EACH(v, a1_, 0);
269 BOOST_BIND_VISIT_EACH(v, a2_, 0);
270 BOOST_BIND_VISIT_EACH(v, a3_, 0);
273 #ifdef BOOST_NO_VOID_RETURNS
275 template<class R> struct evaluator
277 typedef evaluator3<R> type;
291 template<class A1, class A2, class A3, class A4> class list4
295 list4(A1 a1, A2 a2, A3 a3, A4 a4): a1_(a1), a2_(a2), a3_(a3), a4_(a4) {}
297 A1 operator[] (arg<1>) const { return a1_; }
298 A2 operator[] (arg<2>) const { return a2_; }
299 A3 operator[] (arg<3>) const { return a3_; }
300 A4 operator[] (arg<4>) const { return a4_; }
302 A1 operator[] (arg<1> (*) ()) const { return a1_; }
303 A2 operator[] (arg<2> (*) ()) const { return a2_; }
304 A3 operator[] (arg<3> (*) ()) const { return a3_; }
305 A4 operator[] (arg<4> (*) ()) const { return a4_; }
307 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
309 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
311 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
313 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); }
315 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); }
317 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
319 return f(a[a1_], a[a2_], a[a3_], a[a4_]);
322 template<class V> void accept(V & v) const
324 BOOST_BIND_VISIT_EACH(v, a1_, 0);
325 BOOST_BIND_VISIT_EACH(v, a2_, 0);
326 BOOST_BIND_VISIT_EACH(v, a3_, 0);
327 BOOST_BIND_VISIT_EACH(v, a4_, 0);
330 #ifdef BOOST_NO_VOID_RETURNS
332 template<class R> struct evaluator
334 typedef evaluator4<R> type;
349 template<class A1, class A2, class A3, class A4, class A5> class list5
353 list5(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5): a1_(a1), a2_(a2), a3_(a3), a4_(a4), a5_(a5) {}
355 A1 operator[] (arg<1>) const { return a1_; }
356 A2 operator[] (arg<2>) const { return a2_; }
357 A3 operator[] (arg<3>) const { return a3_; }
358 A4 operator[] (arg<4>) const { return a4_; }
359 A5 operator[] (arg<5>) const { return a5_; }
361 A1 operator[] (arg<1> (*) ()) const { return a1_; }
362 A2 operator[] (arg<2> (*) ()) const { return a2_; }
363 A3 operator[] (arg<3> (*) ()) const { return a3_; }
364 A4 operator[] (arg<4> (*) ()) const { return a4_; }
365 A5 operator[] (arg<5> (*) ()) const { return a5_; }
367 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
369 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
371 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
373 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); }
375 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); }
377 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
379 return f(a[a1_], a[a2_], a[a3_], a[a4_], a[a5_]);
382 template<class V> void accept(V & v) const
384 BOOST_BIND_VISIT_EACH(v, a1_, 0);
385 BOOST_BIND_VISIT_EACH(v, a2_, 0);
386 BOOST_BIND_VISIT_EACH(v, a3_, 0);
387 BOOST_BIND_VISIT_EACH(v, a4_, 0);
388 BOOST_BIND_VISIT_EACH(v, a5_, 0);
391 #ifdef BOOST_NO_VOID_RETURNS
393 template<class R> struct evaluator
395 typedef evaluator5<R> type;
411 template<class A1, class A2, class A3, class A4, class A5, class A6> class list6
415 list6(A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6): a1_(a1), a2_(a2), a3_(a3), a4_(a4), a5_(a5), a6_(a6) {}
417 A1 operator[] (arg<1>) const { return a1_; }
418 A2 operator[] (arg<2>) const { return a2_; }
419 A3 operator[] (arg<3>) const { return a3_; }
420 A4 operator[] (arg<4>) const { return a4_; }
421 A5 operator[] (arg<5>) const { return a5_; }
422 A6 operator[] (arg<6>) const { return a6_; }
424 A1 operator[] (arg<1> (*) ()) const { return a1_; }
425 A2 operator[] (arg<2> (*) ()) const { return a2_; }
426 A3 operator[] (arg<3> (*) ()) const { return a3_; }
427 A4 operator[] (arg<4> (*) ()) const { return a4_; }
428 A5 operator[] (arg<5> (*) ()) const { return a5_; }
429 A6 operator[] (arg<6> (*) ()) const { return a6_; }
431 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
433 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
435 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
437 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); }
439 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); }
441 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
443 return f(a[a1_], a[a2_], a[a3_], a[a4_], a[a5_], a[a6_]);
446 template<class V> void accept(V & v) const
448 BOOST_BIND_VISIT_EACH(v, a1_, 0);
449 BOOST_BIND_VISIT_EACH(v, a2_, 0);
450 BOOST_BIND_VISIT_EACH(v, a3_, 0);
451 BOOST_BIND_VISIT_EACH(v, a4_, 0);
452 BOOST_BIND_VISIT_EACH(v, a5_, 0);
453 BOOST_BIND_VISIT_EACH(v, a6_, 0);
456 #ifdef BOOST_NO_VOID_RETURNS
458 template<class R> struct evaluator
460 typedef evaluator6<R> type;
477 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> class list7
481 list7(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) {}
483 A1 operator[] (arg<1>) const { return a1_; }
484 A2 operator[] (arg<2>) const { return a2_; }
485 A3 operator[] (arg<3>) const { return a3_; }
486 A4 operator[] (arg<4>) const { return a4_; }
487 A5 operator[] (arg<5>) const { return a5_; }
488 A6 operator[] (arg<6>) const { return a6_; }
489 A7 operator[] (arg<7>) const { return a7_; }
491 A1 operator[] (arg<1> (*) ()) const { return a1_; }
492 A2 operator[] (arg<2> (*) ()) const { return a2_; }
493 A3 operator[] (arg<3> (*) ()) const { return a3_; }
494 A4 operator[] (arg<4> (*) ()) const { return a4_; }
495 A5 operator[] (arg<5> (*) ()) const { return a5_; }
496 A6 operator[] (arg<6> (*) ()) const { return a6_; }
497 A7 operator[] (arg<7> (*) ()) const { return a7_; }
499 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
501 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
503 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
505 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); }
507 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); }
509 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
511 return f(a[a1_], a[a2_], a[a3_], a[a4_], a[a5_], a[a6_], a[a7_]);
514 template<class V> void accept(V & v) const
516 BOOST_BIND_VISIT_EACH(v, a1_, 0);
517 BOOST_BIND_VISIT_EACH(v, a2_, 0);
518 BOOST_BIND_VISIT_EACH(v, a3_, 0);
519 BOOST_BIND_VISIT_EACH(v, a4_, 0);
520 BOOST_BIND_VISIT_EACH(v, a5_, 0);
521 BOOST_BIND_VISIT_EACH(v, a6_, 0);
522 BOOST_BIND_VISIT_EACH(v, a7_, 0);
525 #ifdef BOOST_NO_VOID_RETURNS
527 template<class R> struct evaluator
529 typedef evaluator7<R> type;
547 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> class list8
551 list8(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) {}
553 A1 operator[] (arg<1>) const { return a1_; }
554 A2 operator[] (arg<2>) const { return a2_; }
555 A3 operator[] (arg<3>) const { return a3_; }
556 A4 operator[] (arg<4>) const { return a4_; }
557 A5 operator[] (arg<5>) const { return a5_; }
558 A6 operator[] (arg<6>) const { return a6_; }
559 A7 operator[] (arg<7>) const { return a7_; }
560 A8 operator[] (arg<8>) const { return a8_; }
562 A1 operator[] (arg<1> (*) ()) const { return a1_; }
563 A2 operator[] (arg<2> (*) ()) const { return a2_; }
564 A3 operator[] (arg<3> (*) ()) const { return a3_; }
565 A4 operator[] (arg<4> (*) ()) const { return a4_; }
566 A5 operator[] (arg<5> (*) ()) const { return a5_; }
567 A6 operator[] (arg<6> (*) ()) const { return a6_; }
568 A7 operator[] (arg<7> (*) ()) const { return a7_; }
569 A8 operator[] (arg<8> (*) ()) const { return a8_; }
571 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
573 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
575 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
577 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); }
579 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); }
581 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
583 return f(a[a1_], a[a2_], a[a3_], a[a4_], a[a5_], a[a6_], a[a7_], a[a8_]);
586 template<class V> void accept(V & v) const
588 BOOST_BIND_VISIT_EACH(v, a1_, 0);
589 BOOST_BIND_VISIT_EACH(v, a2_, 0);
590 BOOST_BIND_VISIT_EACH(v, a3_, 0);
591 BOOST_BIND_VISIT_EACH(v, a4_, 0);
592 BOOST_BIND_VISIT_EACH(v, a5_, 0);
593 BOOST_BIND_VISIT_EACH(v, a6_, 0);
594 BOOST_BIND_VISIT_EACH(v, a7_, 0);
595 BOOST_BIND_VISIT_EACH(v, a8_, 0);
598 #ifdef BOOST_NO_VOID_RETURNS
600 template<class R> struct evaluator
602 typedef evaluator8<R> type;
621 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> class list9
625 list9(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) {}
627 A1 operator[] (arg<1>) const { return a1_; }
628 A2 operator[] (arg<2>) const { return a2_; }
629 A3 operator[] (arg<3>) const { return a3_; }
630 A4 operator[] (arg<4>) const { return a4_; }
631 A5 operator[] (arg<5>) const { return a5_; }
632 A6 operator[] (arg<6>) const { return a6_; }
633 A7 operator[] (arg<7>) const { return a7_; }
634 A8 operator[] (arg<8>) const { return a8_; }
635 A9 operator[] (arg<9>) const { return a9_; }
637 A1 operator[] (arg<1> (*) ()) const { return a1_; }
638 A2 operator[] (arg<2> (*) ()) const { return a2_; }
639 A3 operator[] (arg<3> (*) ()) const { return a3_; }
640 A4 operator[] (arg<4> (*) ()) const { return a4_; }
641 A5 operator[] (arg<5> (*) ()) const { return a5_; }
642 A6 operator[] (arg<6> (*) ()) const { return a6_; }
643 A7 operator[] (arg<7> (*) ()) const { return a7_; }
644 A8 operator[] (arg<8> (*) ()) const { return a8_; }
645 A9 operator[] (arg<9> (*) ()) const { return a9_; }
647 template<class T> T & operator[] (value<T> & v) const { return v.get(); }
649 template<class T> T const & operator[] (value<T> const & v) const { return v.get(); }
651 template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
653 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); }
655 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); }
657 template<class R, class F, class A> R operator()(type<R>, F f, A & a) const
659 return f(a[a1_], a[a2_], a[a3_], a[a4_], a[a5_], a[a6_], a[a7_], a[a8_], a[a9_]);
662 template<class V> void accept(V & v) const
664 BOOST_BIND_VISIT_EACH(v, a1_, 0);
665 BOOST_BIND_VISIT_EACH(v, a2_, 0);
666 BOOST_BIND_VISIT_EACH(v, a3_, 0);
667 BOOST_BIND_VISIT_EACH(v, a4_, 0);
668 BOOST_BIND_VISIT_EACH(v, a5_, 0);
669 BOOST_BIND_VISIT_EACH(v, a6_, 0);
670 BOOST_BIND_VISIT_EACH(v, a7_, 0);
671 BOOST_BIND_VISIT_EACH(v, a8_, 0);
672 BOOST_BIND_VISIT_EACH(v, a9_, 0);
675 #ifdef BOOST_NO_VOID_RETURNS
677 template<class R> struct evaluator
679 typedef evaluator9<R> type;
699 #ifdef BOOST_NO_VOID_RETURNS
701 template <class R> struct evaluator0
703 template<class L, class F, class A>
704 static R eval(L const&, F f, A &)
710 template <> struct evaluator0<void>
712 template<class L, class F, class A>
713 static void eval(L const&, F f, A &)
719 template <class R> struct evaluator1
721 template<class L, class F, class A>
722 static R eval(L const& l, F f, A & a)
728 template <> struct evaluator1<void>
730 template<class L, class F, class A>
731 static void eval(L const& l, F f, A & a)
737 template <class R> struct evaluator2
739 template<class L, class F, class A>
740 static R eval(L const& l, F f, A & a)
742 return f(a[l.a1_], a[l.a2_]);
746 template <> struct evaluator2<void>
748 template<class L, class F, class A>
749 static void eval(L const& l, F f, A & a)
751 f(a[l.a1_], a[l.a2_]);
755 template <class R> struct evaluator3
757 template<class L, class F, class A>
758 static R eval(L const& l, F f, A & a)
760 return f(a[l.a1_], a[l.a2_], a[l.a3_]);
764 template <> struct evaluator3<void>
766 template<class L, class F, class A>
767 static void eval(L const& l, F f, A & a)
769 f(a[l.a1_], a[l.a2_], a[l.a3_]);
773 template <class R> struct evaluator4
775 template<class L, class F, class A>
776 static R eval(L const& l, F f, A & a)
778 return f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_]);
782 template <> struct evaluator4<void>
784 template<class L, class F, class A>
785 static void eval(L const& l, F f, A & a)
787 f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_]);
791 template <class R> struct evaluator5
793 template<class L, class F, class A>
794 static R eval(L const& l, F f, A & a)
796 return f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_]);
800 template <> struct evaluator5<void>
802 template<class L, class F, class A>
803 static void eval(L const& l, F f, A & a)
805 f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_]);
809 template <class R> struct evaluator6
811 template<class L, class F, class A>
812 static R eval(L const& l, F f, A & a)
814 return f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_], a[l.a6_]);
818 template <> struct evaluator6<void>
820 template<class L, class F, class A>
821 static void eval(L const& l, F f, A & a)
823 f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_], a[l.a6_]);
827 template <class R> struct evaluator7
829 template<class L, class F, class A>
830 static R eval(L const& l, F f, A & a)
832 return f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_], a[l.a6_], a[l.a7_]);
836 template <> struct evaluator7<void>
838 template<class L, class F, class A>
839 static void eval(L const& l, F f, A & a)
841 f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_], a[l.a6_], a[l.a7_]);
845 template <class R> struct evaluator8
847 template<class L, class F, class A>
848 static R eval(L const& l, F f, A & a)
850 return f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_], a[l.a6_], a[l.a7_], a[l.a8_]);
854 template <> struct evaluator8<void>
856 template<class L, class F, class A>
857 static void eval(L const& l, F f, A & a)
859 f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_], a[l.a6_], a[l.a7_], a[l.a8_]);
863 template <class R> struct evaluator9
865 template<class L, class F, class A>
866 static R eval(L const& l, F f, A & a)
868 return f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_], a[l.a6_], a[l.a7_], a[l.a8_], a[l.a9_]);
872 template <> struct evaluator9<void>
874 template<class L, class F, class A>
875 static void eval(L const& l, F f, A & a)
877 f(a[l.a1_], a[l.a2_], a[l.a3_], a[l.a4_], a[l.a5_], a[l.a6_], a[l.a7_], a[l.a8_], a[l.a9_]);
885 #ifndef BOOST_NO_VOID_RETURNS
887 template<class R, class F, class L> class bind_t
891 bind_t(F f, L const & l): f_(f), l_(l) {}
893 #define BOOST_BIND_EVALUATE return l_(type<result_type>(), f_, a)
894 #include <boost/bind/bind_template.hpp>
895 #undef BOOST_BIND_EVALUATE
901 template<class R> struct bind_t_generator
904 template<class F, class L> class implementation
908 implementation(F f, L const & l): f_(f), l_(l) {}
910 #define BOOST_BIND_EVALUATE return L::BOOST_NESTED_TEMPLATE evaluator<result_type>::type::eval(l_, f_, a);
911 #include <boost/bind/bind_template.hpp>
912 #undef BOOST_BIND_EVALUATE
918 template<> struct bind_t_generator<void>
921 template<class F, class L> class implementation
929 implementation(F f, L const & l): f_(f), l_(l) {}
931 #define BOOST_BIND_EVALUATE L::BOOST_NESTED_TEMPLATE evaluator<result_type>::type::eval(l_, f_, a);
932 #include <boost/bind/bind_template.hpp>
933 #undef BOOST_BIND_EVALUATE
939 template<class R2, class F, class L> class bind_t: public bind_t_generator<R2>::BOOST_NESTED_TEMPLATE implementation<F, L>
943 bind_t(F f, L const & l): bind_t_generator<R2>::BOOST_NESTED_TEMPLATE implementation<F, L>(f, l) {}
951 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) || (__SUNPRO_CC >= 0x530)
953 template<class T> struct add_value
955 typedef value<T> type;
958 template<class T> struct add_value< value<T> >
960 typedef value<T> type;
963 template<class T> struct add_value< reference_wrapper<T> >
965 typedef reference_wrapper<T> type;
968 template<int I> struct add_value< arg<I> >
973 template<int I> struct add_value< arg<I> (*) () >
975 typedef arg<I> (*type) ();
978 template<class R, class F, class L> struct add_value< bind_t<R, F, L> >
980 typedef bind_t<R, F, L> type;
985 template<int I> struct _avt_0;
987 template<> struct _avt_0<1>
989 template<class T> struct inner
995 template<> struct _avt_0<2>
997 template<class T> struct inner
999 typedef value<T> type;
1003 typedef char (&_avt_r1) [1];
1004 typedef char (&_avt_r2) [2];
1006 template<class T> _avt_r1 _avt_f(value<T>);
1007 template<class T> _avt_r1 _avt_f(reference_wrapper<T>);
1008 template<int I> _avt_r1 _avt_f(arg<I>);
1009 template<int I> _avt_r1 _avt_f(arg<I> (*) ());
1010 template<class R, class F, class L> _avt_r1 _avt_f(bind_t<R, F, L>);
1012 _avt_r2 _avt_f(...);
1014 template<class T> struct add_value
1017 typedef typename _avt_0<sizeof(_avt_f(t()))>::template inner<T>::type type;
1024 template<class A1> struct list_av_1
1026 typedef typename add_value<A1>::type B1;
1027 typedef list1<B1> type;
1030 template<class A1, class A2> struct list_av_2
1032 typedef typename add_value<A1>::type B1;
1033 typedef typename add_value<A2>::type B2;
1034 typedef list2<B1, B2> type;
1037 template<class A1, class A2, class A3> struct list_av_3
1039 typedef typename add_value<A1>::type B1;
1040 typedef typename add_value<A2>::type B2;
1041 typedef typename add_value<A3>::type B3;
1042 typedef list3<B1, B2, B3> type;
1045 template<class A1, class A2, class A3, class A4> struct list_av_4
1047 typedef typename add_value<A1>::type B1;
1048 typedef typename add_value<A2>::type B2;
1049 typedef typename add_value<A3>::type B3;
1050 typedef typename add_value<A4>::type B4;
1051 typedef list4<B1, B2, B3, B4> type;
1054 template<class A1, class A2, class A3, class A4, class A5> struct list_av_5
1056 typedef typename add_value<A1>::type B1;
1057 typedef typename add_value<A2>::type B2;
1058 typedef typename add_value<A3>::type B3;
1059 typedef typename add_value<A4>::type B4;
1060 typedef typename add_value<A5>::type B5;
1061 typedef list5<B1, B2, B3, B4, B5> type;
1064 template<class A1, class A2, class A3, class A4, class A5, class A6> struct list_av_6
1066 typedef typename add_value<A1>::type B1;
1067 typedef typename add_value<A2>::type B2;
1068 typedef typename add_value<A3>::type B3;
1069 typedef typename add_value<A4>::type B4;
1070 typedef typename add_value<A5>::type B5;
1071 typedef typename add_value<A6>::type B6;
1072 typedef list6<B1, B2, B3, B4, B5, B6> type;
1075 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> struct list_av_7
1077 typedef typename add_value<A1>::type B1;
1078 typedef typename add_value<A2>::type B2;
1079 typedef typename add_value<A3>::type B3;
1080 typedef typename add_value<A4>::type B4;
1081 typedef typename add_value<A5>::type B5;
1082 typedef typename add_value<A6>::type B6;
1083 typedef typename add_value<A7>::type B7;
1084 typedef list7<B1, B2, B3, B4, B5, B6, B7> type;
1087 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> struct list_av_8
1089 typedef typename add_value<A1>::type B1;
1090 typedef typename add_value<A2>::type B2;
1091 typedef typename add_value<A3>::type B3;
1092 typedef typename add_value<A4>::type B4;
1093 typedef typename add_value<A5>::type B5;
1094 typedef typename add_value<A6>::type B6;
1095 typedef typename add_value<A7>::type B7;
1096 typedef typename add_value<A8>::type B8;
1097 typedef list8<B1, B2, B3, B4, B5, B6, B7, B8> type;
1100 template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> struct list_av_9
1102 typedef typename add_value<A1>::type B1;
1103 typedef typename add_value<A2>::type B2;
1104 typedef typename add_value<A3>::type B3;
1105 typedef typename add_value<A4>::type B4;
1106 typedef typename add_value<A5>::type B5;
1107 typedef typename add_value<A6>::type B6;
1108 typedef typename add_value<A7>::type B7;
1109 typedef typename add_value<A8>::type B8;
1110 typedef typename add_value<A9>::type B9;
1111 typedef list9<B1, B2, B3, B4, B5, B6, B7, B8, B9> type;
1118 template<class V, class T> void visit_each(V & v, _bi::value<T> const & t, int)
1120 BOOST_BIND_VISIT_EACH(v, t.get(), 0);
1123 template<class V, class R, class F, class L> void visit_each(V & v, _bi::bind_t<R, F, L> const & t, int)
1131 #define BOOST_BIND bind
1134 // generic function objects
1136 template<class R, class F>
1137 _bi::bind_t<R, F, _bi::list0>
1140 typedef _bi::list0 list_type;
1141 return _bi::bind_t<R, F, list_type> (f, list_type());
1144 template<class R, class F, class A1>
1145 _bi::bind_t<R, F, typename _bi::list_av_1<A1>::type>
1146 BOOST_BIND(F f, A1 a1)
1148 typedef typename _bi::list_av_1<A1>::type list_type;
1149 return _bi::bind_t<R, F, list_type> (f, list_type(a1));
1152 template<class R, class F, class A1, class A2>
1153 _bi::bind_t<R, F, typename _bi::list_av_2<A1, A2>::type>
1154 BOOST_BIND(F f, A1 a1, A2 a2)
1156 typedef typename _bi::list_av_2<A1, A2>::type list_type;
1157 return _bi::bind_t<R, F, list_type> (f, list_type(a1, a2));
1160 template<class R, class F, class A1, class A2, class A3>
1161 _bi::bind_t<R, F, typename _bi::list_av_3<A1, A2, A3>::type>
1162 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3)
1164 typedef typename _bi::list_av_3<A1, A2, A3>::type list_type;
1165 return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3));
1168 template<class R, class F, class A1, class A2, class A3, class A4>
1169 _bi::bind_t<R, F, typename _bi::list_av_4<A1, A2, A3, A4>::type>
1170 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4)
1172 typedef typename _bi::list_av_4<A1, A2, A3, A4>::type list_type;
1173 return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4));
1176 template<class R, class F, class A1, class A2, class A3, class A4, class A5>
1177 _bi::bind_t<R, F, typename _bi::list_av_5<A1, A2, A3, A4, A5>::type>
1178 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5)
1180 typedef typename _bi::list_av_5<A1, A2, A3, A4, A5>::type list_type;
1181 return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5));
1184 template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6>
1185 _bi::bind_t<R, F, typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type>
1186 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6)
1188 typedef typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type list_type;
1189 return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6));
1192 template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7>
1193 _bi::bind_t<R, F, typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type>
1194 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7)
1196 typedef typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type list_type;
1197 return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7));
1200 template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
1201 _bi::bind_t<R, F, typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type>
1202 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8)
1204 typedef typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type list_type;
1205 return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8));
1208 template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
1209 _bi::bind_t<R, F, typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type>
1210 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9)
1212 typedef typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type list_type;
1213 return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8, a9));
1216 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
1218 // adaptable function objects
1221 _bi::bind_t<_bi::unspecified, F, _bi::list0>
1224 typedef _bi::list0 list_type;
1225 return _bi::bind_t<_bi::unspecified, F, list_type> (f, list_type());
1228 template<class F, class A1>
1229 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_1<A1>::type>
1230 BOOST_BIND(F f, A1 a1)
1232 typedef typename _bi::list_av_1<A1>::type list_type;
1233 return _bi::bind_t<_bi::unspecified, F, list_type> (f, list_type(a1));
1236 template<class F, class A1, class A2>
1237 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_2<A1, A2>::type>
1238 BOOST_BIND(F f, A1 a1, A2 a2)
1240 typedef typename _bi::list_av_2<A1, A2>::type list_type;
1241 return _bi::bind_t<_bi::unspecified, F, list_type> (f, list_type(a1, a2));
1244 template<class F, class A1, class A2, class A3>
1245 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_3<A1, A2, A3>::type>
1246 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3)
1248 typedef typename _bi::list_av_3<A1, A2, A3>::type list_type;
1249 return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3));
1252 template<class F, class A1, class A2, class A3, class A4>
1253 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_4<A1, A2, A3, A4>::type>
1254 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4)
1256 typedef typename _bi::list_av_4<A1, A2, A3, A4>::type list_type;
1257 return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4));
1260 template<class F, class A1, class A2, class A3, class A4, class A5>
1261 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_5<A1, A2, A3, A4, A5>::type>
1262 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5)
1264 typedef typename _bi::list_av_5<A1, A2, A3, A4, A5>::type list_type;
1265 return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5));
1268 template<class F, class A1, class A2, class A3, class A4, class A5, class A6>
1269 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type>
1270 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6)
1272 typedef typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type list_type;
1273 return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6));
1276 template<class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7>
1277 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type>
1278 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7)
1280 typedef typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type list_type;
1281 return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7));
1284 template<class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
1285 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type>
1286 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8)
1288 typedef typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type list_type;
1289 return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8));
1292 template<class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
1293 _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type>
1294 BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9)
1296 typedef typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type list_type;
1297 return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8, a9));
1300 #endif // !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
1302 // function pointers
1304 #define BOOST_BIND_CC
1305 #define BOOST_BIND_ST
1307 #include <boost/bind/bind_cc.hpp>
1309 #undef BOOST_BIND_CC
1310 #undef BOOST_BIND_ST
1312 #ifdef BOOST_BIND_ENABLE_STDCALL
1314 #define BOOST_BIND_CC __stdcall
1315 #define BOOST_BIND_ST
1317 #include <boost/bind/bind_cc.hpp>
1319 #undef BOOST_BIND_CC
1320 #undef BOOST_BIND_ST
1324 #ifdef BOOST_BIND_ENABLE_PASCAL
1326 #define BOOST_BIND_ST pascal
1327 #define BOOST_BIND_CC
1329 #include <boost/bind/bind_cc.hpp>
1331 #undef BOOST_BIND_ST
1332 #undef BOOST_BIND_CC
1336 // member function pointers
1338 #define BOOST_BIND_MF_NAME(X) X
1339 #define BOOST_BIND_MF_CC
1341 #include <boost/bind/bind_mf_cc.hpp>
1343 #undef BOOST_BIND_MF_NAME
1344 #undef BOOST_BIND_MF_CC
1346 #ifdef BOOST_MEM_FN_ENABLE_STDCALL
1348 #define BOOST_BIND_MF_NAME(X) X##_stdcall
1349 #define BOOST_BIND_MF_CC __stdcall
1351 #include <boost/bind/bind_mf_cc.hpp>
1353 #undef BOOST_BIND_MF_NAME
1354 #undef BOOST_BIND_MF_CC
1358 // data member pointers
1360 template<class R, class T, class A1>
1361 _bi::bind_t< R, _mfi::dm<R, T>, typename _bi::list_av_1<A1>::type >
1362 BOOST_BIND(R T::*f, A1 a1)
1364 typedef _mfi::dm<R, T> F;
1365 typedef typename _bi::list_av_1<A1>::type list_type;
1366 return _bi::bind_t<R, F, list_type>(F(f), list_type(a1));
1369 } // namespace boost
1371 #ifndef BOOST_BIND_NO_PLACEHOLDERS
1373 # include <boost/bind/placeholders.hpp>
1378 # pragma warning(default: 4512) // assignment operator could not be generated
1379 # pragma warning(pop)
1382 #endif // #ifndef BOOST_BIND_HPP_INCLUDED