boost/boost/bind/bind_template.hpp

   1 //
   2 //  bind/bind_template.hpp
   3 //
   4 //  Do not include this header directly.
   5 //
   6 //  Copyright (c) 2001-2004 Peter Dimov and Multi Media Ltd.
   7 //
   8 // Distributed under the Boost Software License, Version 1.0. (See
   9 // accompanying file LICENSE_1_0.txt or copy at
  10 // http://www.boost.org/LICENSE_1_0.txt)
  11 //
  12 //  See http://www.boost.org/libs/bind/bind.html for documentation.
  13 //
  14
  15     typedef typename result_traits<R, F>::type result_type;
  16
  17     result_type operator()()
  18     {
  19         list0 a;
  20         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  21     }
  22
  23     result_type operator()() const
  24     {
  25         list0 a;
  26         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  27     }
  28
  29     template<class A1> result_type operator()(A1 & a1)
  30     {
  31         list1<A1 &> a(a1);
  32         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  33     }
  34
  35     template<class A1> result_type operator()(A1 & a1) const
  36     {
  37         list1<A1 &> a(a1);
  38         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  39     }
  40
  41 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
  42  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
  43
  44     template<class A1> result_type operator()(A1 const & a1)
  45     {
  46         list1<A1 const &> a(a1);
  47         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  48     }
  49
  50     template<class A1> result_type operator()(A1 const & a1) const
  51     {
  52         list1<A1 const &> a(a1);
  53         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  54     }
  55
  56 #endif
  57
  58     template<class A1, class A2> result_type operator()(A1 & a1, A2 & a2)
  59     {
  60         list2<A1 &, A2 &> a(a1, a2);
  61         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  62     }
  63
  64     template<class A1, class A2> result_type operator()(A1 & a1, A2 & a2) const
  65     {
  66         list2<A1 &, A2 &> a(a1, a2);
  67         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  68     }
  69
  70 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
  71  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
  72
  73     template<class A1, class A2> result_type operator()(A1 const & a1, A2 & a2)
  74     {
  75         list2<A1 const &, A2 &> a(a1, a2);
  76         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  77     }
  78
  79     template<class A1, class A2> result_type operator()(A1 const & a1, A2 & a2) const
  80     {
  81         list2<A1 const &, A2 &> a(a1, a2);
  82         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  83     }
  84
  85
  86     template<class A1, class A2> result_type operator()(A1 & a1, A2 const & a2)
  87     {
  88         list2<A1 &, A2 const &> a(a1, a2);
  89         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  90     }
  91
  92     template<class A1, class A2> result_type operator()(A1 & a1, A2 const & a2) const
  93     {
  94         list2<A1 &, A2 const &> a(a1, a2);
  95         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
  96     }
  97
  98
  99     template<class A1, class A2> result_type operator()(A1 const & a1, A2 const & a2)
 100     {
 101         list2<A1 const &, A2 const &> a(a1, a2);
 102         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 103     }
 104
 105     template<class A1, class A2> result_type operator()(A1 const & a1, A2 const & a2) const
 106     {
 107         list2<A1 const &, A2 const &> a(a1, a2);
 108         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 109     }
 110
 111 #endif
 112
 113     template<class A1, class A2, class A3> result_type operator()(A1 & a1, A2 & a2, A3 & a3)
 114     {
 115         list3<A1 &, A2 &, A3 &> a(a1, a2, a3);
 116         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 117     }
 118
 119     template<class A1, class A2, class A3> result_type operator()(A1 & a1, A2 & a2, A3 & a3) const
 120     {
 121         list3<A1 &, A2 &, A3 &> a(a1, a2, a3);
 122         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 123     }
 124
 125 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
 126  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
 127
 128     template<class A1, class A2, class A3> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3)
 129     {
 130         list3<A1 const &, A2 const &, A3 const &> a(a1, a2, a3);
 131         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 132     }
 133
 134     template<class A1, class A2, class A3> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3) const
 135     {
 136         list3<A1 const &, A2 const &, A3 const &> a(a1, a2, a3);
 137         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 138     }
 139
 140 #endif
 141
 142     template<class A1, class A2, class A3, class A4> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4)
 143     {
 144         list4<A1 &, A2 &, A3 &, A4 &> a(a1, a2, a3, a4);
 145         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 146     }
 147
 148     template<class A1, class A2, class A3, class A4> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4) const
 149     {
 150         list4<A1 &, A2 &, A3 &, A4 &> a(a1, a2, a3, a4);
 151         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 152     }
 153
 154 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
 155  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
 156
 157     template<class A1, class A2, class A3, class A4> result_type operator()(A1 const & a1, A2 const & a2, A3 const & a3, A4 const & a4)
 158     {
 159         list4<A1 const &, A2 const &, A3 const &, A4 const &> a(a1, a2, a3, a4);
 160         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 161     }
 162
 163     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
 164     {
 165         list4<A1 const &, A2 const &, A3 const &, A4 const &> a(a1, a2, a3, a4);
 166         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 167     }
 168
 169 #endif
 170
 171     template<class A1, class A2, class A3, class A4, class A5> result_type operator()(A1 & a1, A2 & a2, A3 & a3, A4 & a4, A5 & a5)
 172     {
 173         list5<A1 &, A2 &, A3 &, A4 &, A5 &> a(a1, a2, a3, a4, a5);
 174         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 175     }
 176
 177     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
 178     {
 179         list5<A1 &, A2 &, A3 &, A4 &, A5 &> a(a1, a2, a3, a4, a5);
 180         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 181     }
 182
 183 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
 184  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
 185
 186     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)
 187     {
 188         list5<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &> a(a1, a2, a3, a4, a5);
 189         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 190     }
 191
 192     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
 193     {
 194         list5<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &> a(a1, a2, a3, a4, a5);
 195         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 196     }
 197
 198 #endif
 199
 200     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)
 201     {
 202         list6<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &> a(a1, a2, a3, a4, a5, a6);
 203         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 204     }
 205
 206     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
 207     {
 208         list6<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &> a(a1, a2, a3, a4, a5, a6);
 209         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 210     }
 211
 212 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
 213  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
 214
 215     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)
 216     {
 217         list6<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &> a(a1, a2, a3, a4, a5, a6);
 218         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 219     }
 220
 221     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
 222     {
 223         list6<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &> a(a1, a2, a3, a4, a5, a6);
 224         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 225     }
 226
 227 #endif
 228
 229     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)
 230     {
 231         list7<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &> a(a1, a2, a3, a4, a5, a6, a7);
 232         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 233     }
 234
 235     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
 236     {
 237         list7<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &> a(a1, a2, a3, a4, a5, a6, a7);
 238         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 239     }
 240
 241 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
 242  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
 243
 244     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)
 245     {
 246         list7<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &, A7 const &> a(a1, a2, a3, a4, a5, a6, a7);
 247         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 248     }
 249
 250     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
 251     {
 252         list7<A1 const &, A2 const &, A3 const &, A4 const &, A5 const &, A6 const &, A7 const &> a(a1, a2, a3, a4, a5, a6, a7);
 253         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 254     }
 255
 256 #endif
 257
 258     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)
 259     {
 260         list8<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &, A8 &> a(a1, a2, a3, a4, a5, a6, a7, a8);
 261         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 262     }
 263
 264     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
 265     {
 266         list8<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &, A8 &> a(a1, a2, a3, a4, a5, a6, a7, a8);
 267         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 268     }
 269
 270 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
 271  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
 272
 273     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)
 274     {
 275         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);
 276         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 277     }
 278
 279     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
 280     {
 281         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);
 282         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 283     }
 284
 285 #endif
 286
 287     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)
 288     {
 289         list9<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &, A8 &, A9 &> a(a1, a2, a3, a4, a5, a6, a7, a8, a9);
 290         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 291     }
 292
 293     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
 294     {
 295         list9<A1 &, A2 &, A3 &, A4 &, A5 &, A6 &, A7 &, A8 &, A9 &> a(a1, a2, a3, a4, a5, a6, a7, a8, a9);
 296         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 297     }
 298
 299 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
 300  && !BOOST_WORKAROUND(__EDG_VERSION__, <= 238)
 301
 302     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)
 303     {
 304         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);
 305         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 306     }
 307
 308     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
 309     {
 310         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);
 311         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 312     }
 313
 314 #endif
 315
 316     template<class A> result_type eval(A & a)
 317     {
 318         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 319     }
 320
 321     template<class A> result_type eval(A & a) const
 322     {
 323         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
 324     }
 325
 326     template<class V> void accept(V & v) const
 327     {
 328 #if !defined( BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP ) && !defined( __BORLANDC__ )
 329
 330         using boost::visit_each;
 331
 332 #endif
 333         BOOST_BIND_VISIT_EACH(v, f_, 0);
 334         l_.accept(v);
 335     }
 336
 337     bool compare(this_type const & rhs) const
 338     {
 339         return ref_compare(f_, rhs.f_, 0) && l_ == rhs.l_;
 340     }
 341
 342 private:
 343
 344     F f_;
 345     L l_;