epoc32/include/stdapis/boost/bind.hpp
author William Roberts <williamr@symbian.org>
Wed, 31 Mar 2010 12:33:34 +0100
branchSymbian3
changeset 4 837f303aceeb
parent 3 e1b950c65cb4
permissions -rw-r--r--
Current Symbian^3 public API header files (from PDK 3.0.h)
This is the epoc32/include tree with the "platform" subtrees removed, and
all but a selected few mbg and rsg files removed.
williamr@4
     1
#ifndef BOOST_BIND_HPP_INCLUDED
williamr@4
     2
#define BOOST_BIND_HPP_INCLUDED
williamr@2
     3
williamr@4
     4
// MS compatible compilers support #pragma once
williamr@2
     5
williamr@4
     6
#if defined(_MSC_VER) && (_MSC_VER >= 1020)
williamr@4
     7
# pragma once
williamr@4
     8
#endif
williamr@2
     9
williamr@2
    10
//
williamr@4
    11
//  bind.hpp - binds function objects to arguments
williamr@4
    12
//
williamr@4
    13
//  Copyright (c) 2001-2004 Peter Dimov and Multi Media Ltd.
williamr@4
    14
//  Copyright (c) 2001 David Abrahams
williamr@4
    15
//  Copyright (c) 2005 Peter Dimov
williamr@4
    16
//
williamr@4
    17
// Distributed under the Boost Software License, Version 1.0. (See
williamr@4
    18
// accompanying file LICENSE_1_0.txt or copy at
williamr@2
    19
// http://www.boost.org/LICENSE_1_0.txt)
williamr@2
    20
//
williamr@4
    21
//  See http://www.boost.org/libs/bind/bind.html for documentation.
williamr@4
    22
//
williamr@2
    23
williamr@4
    24
#include <boost/config.hpp>
williamr@4
    25
#include <boost/ref.hpp>
williamr@4
    26
#include <boost/mem_fn.hpp>
williamr@4
    27
#include <boost/type.hpp>
williamr@4
    28
#include <boost/bind/arg.hpp>
williamr@4
    29
#include <boost/detail/workaround.hpp>
williamr@4
    30
#include <boost/visit_each.hpp>
williamr@2
    31
williamr@4
    32
// Borland-specific bug, visit_each() silently fails to produce code
williamr@4
    33
williamr@4
    34
#if defined(__BORLANDC__)
williamr@4
    35
#  define BOOST_BIND_VISIT_EACH boost::visit_each
williamr@4
    36
#else
williamr@4
    37
#  define BOOST_BIND_VISIT_EACH visit_each
williamr@2
    38
#endif
williamr@2
    39
williamr@4
    40
#include <boost/bind/storage.hpp>
williamr@2
    41
williamr@4
    42
#ifdef BOOST_MSVC
williamr@4
    43
# pragma warning(push)
williamr@4
    44
# pragma warning(disable: 4512) // assignment operator could not be generated
williamr@4
    45
#endif
williamr@2
    46
williamr@4
    47
namespace boost
williamr@4
    48
{
williamr@4
    49
williamr@4
    50
namespace _bi // implementation details
williamr@4
    51
{
williamr@4
    52
williamr@4
    53
// result_traits
williamr@4
    54
williamr@4
    55
template<class R, class F> struct result_traits
williamr@4
    56
{
williamr@4
    57
    typedef R type;
williamr@4
    58
};
williamr@4
    59
williamr@4
    60
#if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
williamr@4
    61
williamr@4
    62
struct unspecified {};
williamr@4
    63
williamr@4
    64
template<class F> struct result_traits<unspecified, F>
williamr@4
    65
{
williamr@4
    66
    typedef typename F::result_type type;
williamr@4
    67
};
williamr@4
    68
williamr@4
    69
template<class F> struct result_traits< unspecified, reference_wrapper<F> >
williamr@4
    70
{
williamr@4
    71
    typedef typename F::result_type type;
williamr@4
    72
};
williamr@4
    73
williamr@4
    74
#endif
williamr@4
    75
williamr@4
    76
// ref_compare
williamr@4
    77
williamr@4
    78
template<class T> bool ref_compare( T const & a, T const & b, long )
williamr@4
    79
{
williamr@4
    80
    return a == b;
williamr@4
    81
}
williamr@4
    82
williamr@4
    83
template<int I> bool ref_compare( arg<I> const &, arg<I> const &, int )
williamr@4
    84
{
williamr@4
    85
    return true;
williamr@4
    86
}
williamr@4
    87
williamr@4
    88
template<int I> bool ref_compare( arg<I> (*) (), arg<I> (*) (), int )
williamr@4
    89
{
williamr@4
    90
    return true;
williamr@4
    91
}
williamr@4
    92
williamr@4
    93
template<class T> bool ref_compare( reference_wrapper<T> const & a, reference_wrapper<T> const & b, int )
williamr@4
    94
{
williamr@4
    95
    return a.get_pointer() == b.get_pointer();
williamr@4
    96
}
williamr@4
    97
williamr@4
    98
// bind_t forward declaration for listN
williamr@4
    99
williamr@4
   100
template<class R, class F, class L> class bind_t;
williamr@4
   101
williamr@4
   102
// value
williamr@4
   103
williamr@4
   104
template<class T> class value
williamr@4
   105
{
williamr@4
   106
public:
williamr@4
   107
williamr@4
   108
    value(T const & t): t_(t) {}
williamr@4
   109
williamr@4
   110
    T & get() { return t_; }
williamr@4
   111
    T const & get() const { return t_; }
williamr@4
   112
williamr@4
   113
    bool operator==(value const & rhs) const
williamr@4
   114
    {
williamr@4
   115
        return t_ == rhs.t_;
williamr@4
   116
    }
williamr@4
   117
williamr@4
   118
private:
williamr@4
   119
williamr@4
   120
    T t_;
williamr@4
   121
};
williamr@4
   122
williamr@4
   123
// type
williamr@4
   124
williamr@4
   125
template<class T> class type {};
williamr@4
   126
williamr@4
   127
// unwrap
williamr@4
   128
williamr@4
   129
template<class F> struct unwrapper
williamr@4
   130
{
williamr@4
   131
    static inline F & unwrap( F & f, long )
williamr@4
   132
    {
williamr@4
   133
        return f;
williamr@4
   134
    }
williamr@4
   135
williamr@4
   136
    template<class F2> static inline F2 & unwrap( reference_wrapper<F2> rf, int )
williamr@4
   137
    {
williamr@4
   138
        return rf.get();
williamr@4
   139
    }
williamr@4
   140
williamr@4
   141
    template<class R, class T> static inline _mfi::dm<R, T> unwrap( R T::* pm, int )
williamr@4
   142
    {
williamr@4
   143
        return _mfi::dm<R, T>( pm );
williamr@4
   144
    }
williamr@4
   145
};
williamr@4
   146
williamr@4
   147
// listN
williamr@4
   148
williamr@4
   149
class list0
williamr@4
   150
{
williamr@4
   151
public:
williamr@4
   152
williamr@4
   153
    list0() {}
williamr@4
   154
williamr@4
   155
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   156
williamr@4
   157
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   158
williamr@4
   159
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   160
williamr@4
   161
    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); }
williamr@4
   162
williamr@4
   163
    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); }
williamr@4
   164
williamr@4
   165
    template<class R, class F, class A> R operator()(type<R>, F & f, A &, long)
williamr@4
   166
    {
williamr@4
   167
        return unwrapper<F>::unwrap(f, 0)();
williamr@4
   168
    }
williamr@4
   169
williamr@4
   170
    template<class R, class F, class A> R operator()(type<R>, F const & f, A &, long) const
williamr@4
   171
    {
williamr@4
   172
        return unwrapper<F const>::unwrap(f, 0)();
williamr@4
   173
    }
williamr@4
   174
williamr@4
   175
    template<class F, class A> void operator()(type<void>, F & f, A &, int)
williamr@4
   176
    {
williamr@4
   177
        unwrapper<F>::unwrap(f, 0)();
williamr@4
   178
    }
williamr@4
   179
williamr@4
   180
    template<class F, class A> void operator()(type<void>, F const & f, A &, int) const
williamr@4
   181
    {
williamr@4
   182
        unwrapper<F const>::unwrap(f, 0)();
williamr@4
   183
    }
williamr@4
   184
williamr@4
   185
    template<class V> void accept(V &) const
williamr@4
   186
    {
williamr@4
   187
    }
williamr@4
   188
williamr@4
   189
    bool operator==(list0 const &) const
williamr@4
   190
    {
williamr@4
   191
        return true;
williamr@4
   192
    }
williamr@4
   193
};
williamr@4
   194
williamr@4
   195
template< class A1 > class list1: private storage1< A1 >
williamr@4
   196
{
williamr@4
   197
private:
williamr@4
   198
williamr@4
   199
    typedef storage1< A1 > base_type;
williamr@4
   200
williamr@4
   201
public:
williamr@4
   202
williamr@4
   203
    explicit list1( A1 a1 ): base_type( a1 ) {}
williamr@4
   204
williamr@4
   205
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   206
williamr@4
   207
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   208
williamr@4
   209
    template<class T> T & operator[] ( _bi::value<T> & v ) const { return v.get(); }
williamr@4
   210
williamr@4
   211
    template<class T> T const & operator[] ( _bi::value<T> const & v ) const { return v.get(); }
williamr@4
   212
williamr@4
   213
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   214
williamr@4
   215
    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); }
williamr@4
   216
williamr@4
   217
    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); }
williamr@4
   218
williamr@4
   219
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   220
    {
williamr@4
   221
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_]);
williamr@4
   222
    }
williamr@4
   223
williamr@4
   224
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   225
    {
williamr@4
   226
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_]);
williamr@4
   227
    }
williamr@4
   228
williamr@4
   229
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   230
    {
williamr@4
   231
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_]);
williamr@4
   232
    }
williamr@4
   233
williamr@4
   234
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   235
    {
williamr@4
   236
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_]);
williamr@4
   237
    }
williamr@4
   238
williamr@4
   239
    template<class V> void accept(V & v) const
williamr@4
   240
    {
williamr@4
   241
        base_type::accept(v);
williamr@4
   242
    }
williamr@4
   243
williamr@4
   244
    bool operator==(list1 const & rhs) const
williamr@4
   245
    {
williamr@4
   246
        return ref_compare(base_type::a1_, rhs.a1_, 0);
williamr@4
   247
    }
williamr@4
   248
};
williamr@4
   249
williamr@4
   250
template< class A1, class A2 > class list2: private storage2< A1, A2 >
williamr@4
   251
{
williamr@4
   252
private:
williamr@4
   253
williamr@4
   254
    typedef storage2< A1, A2 > base_type;
williamr@4
   255
williamr@4
   256
public:
williamr@4
   257
williamr@4
   258
    list2( A1 a1, A2 a2 ): base_type( a1, a2 ) {}
williamr@4
   259
williamr@4
   260
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   261
    A2 operator[] (boost::arg<2>) const { return base_type::a2_; }
williamr@4
   262
williamr@4
   263
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   264
    A2 operator[] (boost::arg<2> (*) ()) const { return base_type::a2_; }
williamr@4
   265
williamr@4
   266
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   267
williamr@4
   268
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   269
williamr@4
   270
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   271
williamr@4
   272
    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); }
williamr@4
   273
williamr@4
   274
    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); }
williamr@4
   275
williamr@4
   276
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   277
    {
williamr@4
   278
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_]);
williamr@4
   279
    }
williamr@4
   280
williamr@4
   281
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   282
    {
williamr@4
   283
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_]);
williamr@4
   284
    }
williamr@4
   285
williamr@4
   286
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   287
    {
williamr@4
   288
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_]);
williamr@4
   289
    }
williamr@4
   290
williamr@4
   291
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   292
    {
williamr@4
   293
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_]);
williamr@4
   294
    }
williamr@4
   295
williamr@4
   296
    template<class V> void accept(V & v) const
williamr@4
   297
    {
williamr@4
   298
        base_type::accept(v);
williamr@4
   299
    }
williamr@4
   300
williamr@4
   301
    bool operator==(list2 const & rhs) const
williamr@4
   302
    {
williamr@4
   303
        return ref_compare(base_type::a1_, rhs.a1_, 0) && ref_compare(base_type::a2_, rhs.a2_, 0);
williamr@4
   304
    }
williamr@4
   305
};
williamr@4
   306
williamr@4
   307
template< class A1, class A2, class A3 > class list3: private storage3< A1, A2, A3 >
williamr@4
   308
{
williamr@4
   309
private:
williamr@4
   310
williamr@4
   311
    typedef storage3< A1, A2, A3 > base_type;
williamr@4
   312
williamr@4
   313
public:
williamr@4
   314
williamr@4
   315
    list3( A1 a1, A2 a2, A3 a3 ): base_type( a1, a2, a3 ) {}
williamr@4
   316
williamr@4
   317
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   318
    A2 operator[] (boost::arg<2>) const { return base_type::a2_; }
williamr@4
   319
    A3 operator[] (boost::arg<3>) const { return base_type::a3_; }
williamr@4
   320
williamr@4
   321
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   322
    A2 operator[] (boost::arg<2> (*) ()) const { return base_type::a2_; }
williamr@4
   323
    A3 operator[] (boost::arg<3> (*) ()) const { return base_type::a3_; }
williamr@4
   324
williamr@4
   325
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   326
williamr@4
   327
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   328
williamr@4
   329
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   330
williamr@4
   331
    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); }
williamr@4
   332
williamr@4
   333
    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); }
williamr@4
   334
williamr@4
   335
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   336
    {
williamr@4
   337
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_]);
williamr@4
   338
    }
williamr@4
   339
williamr@4
   340
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   341
    {
williamr@4
   342
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_]);
williamr@4
   343
    }
williamr@4
   344
williamr@4
   345
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   346
    {
williamr@4
   347
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_]);
williamr@4
   348
    }
williamr@4
   349
williamr@4
   350
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   351
    {
williamr@4
   352
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_]);
williamr@4
   353
    }
williamr@4
   354
williamr@4
   355
    template<class V> void accept(V & v) const
williamr@4
   356
    {
williamr@4
   357
        base_type::accept(v);
williamr@4
   358
    }
williamr@4
   359
williamr@4
   360
    bool operator==(list3 const & rhs) const
williamr@4
   361
    {
williamr@4
   362
        return
williamr@4
   363
            
williamr@4
   364
            ref_compare( base_type::a1_, rhs.a1_, 0 ) &&
williamr@4
   365
            ref_compare( base_type::a2_, rhs.a2_, 0 ) &&
williamr@4
   366
            ref_compare( base_type::a3_, rhs.a3_, 0 );
williamr@4
   367
    }
williamr@4
   368
};
williamr@4
   369
williamr@4
   370
template< class A1, class A2, class A3, class A4 > class list4: private storage4< A1, A2, A3, A4 >
williamr@4
   371
{
williamr@4
   372
private:
williamr@4
   373
williamr@4
   374
    typedef storage4< A1, A2, A3, A4 > base_type;
williamr@4
   375
williamr@4
   376
public:
williamr@4
   377
williamr@4
   378
    list4( A1 a1, A2 a2, A3 a3, A4 a4 ): base_type( a1, a2, a3, a4 ) {}
williamr@4
   379
williamr@4
   380
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   381
    A2 operator[] (boost::arg<2>) const { return base_type::a2_; }
williamr@4
   382
    A3 operator[] (boost::arg<3>) const { return base_type::a3_; }
williamr@4
   383
    A4 operator[] (boost::arg<4>) const { return base_type::a4_; }
williamr@4
   384
williamr@4
   385
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   386
    A2 operator[] (boost::arg<2> (*) ()) const { return base_type::a2_; }
williamr@4
   387
    A3 operator[] (boost::arg<3> (*) ()) const { return base_type::a3_; }
williamr@4
   388
    A4 operator[] (boost::arg<4> (*) ()) const { return base_type::a4_; }
williamr@4
   389
williamr@4
   390
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   391
williamr@4
   392
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   393
williamr@4
   394
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   395
williamr@4
   396
    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); }
williamr@4
   397
williamr@4
   398
    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); }
williamr@4
   399
williamr@4
   400
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   401
    {
williamr@4
   402
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_]);
williamr@4
   403
    }
williamr@4
   404
williamr@4
   405
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   406
    {
williamr@4
   407
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_]);
williamr@4
   408
    }
williamr@4
   409
williamr@4
   410
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   411
    {
williamr@4
   412
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_]);
williamr@4
   413
    }
williamr@4
   414
williamr@4
   415
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   416
    {
williamr@4
   417
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_]);
williamr@4
   418
    }
williamr@4
   419
williamr@4
   420
    template<class V> void accept(V & v) const
williamr@4
   421
    {
williamr@4
   422
        base_type::accept(v);
williamr@4
   423
    }
williamr@4
   424
williamr@4
   425
    bool operator==(list4 const & rhs) const
williamr@4
   426
    {
williamr@4
   427
        return
williamr@4
   428
williamr@4
   429
            ref_compare( base_type::a1_, rhs.a1_, 0 ) &&
williamr@4
   430
            ref_compare( base_type::a2_, rhs.a2_, 0 ) &&
williamr@4
   431
            ref_compare( base_type::a3_, rhs.a3_, 0 ) &&
williamr@4
   432
            ref_compare( base_type::a4_, rhs.a4_, 0 );
williamr@4
   433
    }
williamr@4
   434
};
williamr@4
   435
williamr@4
   436
template< class A1, class A2, class A3, class A4, class A5 > class list5: private storage5< A1, A2, A3, A4, A5 >
williamr@4
   437
{
williamr@4
   438
private:
williamr@4
   439
williamr@4
   440
    typedef storage5< A1, A2, A3, A4, A5 > base_type;
williamr@4
   441
williamr@4
   442
public:
williamr@4
   443
williamr@4
   444
    list5( A1 a1, A2 a2, A3 a3, A4 a4, A5 a5 ): base_type( a1, a2, a3, a4, a5 ) {}
williamr@4
   445
williamr@4
   446
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   447
    A2 operator[] (boost::arg<2>) const { return base_type::a2_; }
williamr@4
   448
    A3 operator[] (boost::arg<3>) const { return base_type::a3_; }
williamr@4
   449
    A4 operator[] (boost::arg<4>) const { return base_type::a4_; }
williamr@4
   450
    A5 operator[] (boost::arg<5>) const { return base_type::a5_; }
williamr@4
   451
williamr@4
   452
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   453
    A2 operator[] (boost::arg<2> (*) ()) const { return base_type::a2_; }
williamr@4
   454
    A3 operator[] (boost::arg<3> (*) ()) const { return base_type::a3_; }
williamr@4
   455
    A4 operator[] (boost::arg<4> (*) ()) const { return base_type::a4_; }
williamr@4
   456
    A5 operator[] (boost::arg<5> (*) ()) const { return base_type::a5_; }
williamr@4
   457
williamr@4
   458
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   459
williamr@4
   460
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   461
williamr@4
   462
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   463
williamr@4
   464
    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); }
williamr@4
   465
williamr@4
   466
    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); }
williamr@4
   467
williamr@4
   468
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   469
    {
williamr@4
   470
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_]);
williamr@4
   471
    }
williamr@4
   472
williamr@4
   473
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   474
    {
williamr@4
   475
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_]);
williamr@4
   476
    }
williamr@4
   477
williamr@4
   478
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   479
    {
williamr@4
   480
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_]);
williamr@4
   481
    }
williamr@4
   482
williamr@4
   483
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   484
    {
williamr@4
   485
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_]);
williamr@4
   486
    }
williamr@4
   487
williamr@4
   488
    template<class V> void accept(V & v) const
williamr@4
   489
    {
williamr@4
   490
        base_type::accept(v);
williamr@4
   491
    }
williamr@4
   492
williamr@4
   493
    bool operator==(list5 const & rhs) const
williamr@4
   494
    {
williamr@4
   495
        return
williamr@4
   496
williamr@4
   497
            ref_compare( base_type::a1_, rhs.a1_, 0 ) &&
williamr@4
   498
            ref_compare( base_type::a2_, rhs.a2_, 0 ) &&
williamr@4
   499
            ref_compare( base_type::a3_, rhs.a3_, 0 ) &&
williamr@4
   500
            ref_compare( base_type::a4_, rhs.a4_, 0 ) &&
williamr@4
   501
            ref_compare( base_type::a5_, rhs.a5_, 0 );
williamr@4
   502
    }
williamr@4
   503
};
williamr@4
   504
williamr@4
   505
template<class A1, class A2, class A3, class A4, class A5, class A6> class list6: private storage6< A1, A2, A3, A4, A5, A6 >
williamr@4
   506
{
williamr@4
   507
private:
williamr@4
   508
williamr@4
   509
    typedef storage6< A1, A2, A3, A4, A5, A6 > base_type;
williamr@4
   510
williamr@4
   511
public:
williamr@4
   512
williamr@4
   513
    list6( A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6 ): base_type( a1, a2, a3, a4, a5, a6 ) {}
williamr@4
   514
williamr@4
   515
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   516
    A2 operator[] (boost::arg<2>) const { return base_type::a2_; }
williamr@4
   517
    A3 operator[] (boost::arg<3>) const { return base_type::a3_; }
williamr@4
   518
    A4 operator[] (boost::arg<4>) const { return base_type::a4_; }
williamr@4
   519
    A5 operator[] (boost::arg<5>) const { return base_type::a5_; }
williamr@4
   520
    A6 operator[] (boost::arg<6>) const { return base_type::a6_; }
williamr@4
   521
williamr@4
   522
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   523
    A2 operator[] (boost::arg<2> (*) ()) const { return base_type::a2_; }
williamr@4
   524
    A3 operator[] (boost::arg<3> (*) ()) const { return base_type::a3_; }
williamr@4
   525
    A4 operator[] (boost::arg<4> (*) ()) const { return base_type::a4_; }
williamr@4
   526
    A5 operator[] (boost::arg<5> (*) ()) const { return base_type::a5_; }
williamr@4
   527
    A6 operator[] (boost::arg<6> (*) ()) const { return base_type::a6_; }
williamr@4
   528
williamr@4
   529
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   530
williamr@4
   531
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   532
williamr@4
   533
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   534
williamr@4
   535
    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); }
williamr@4
   536
williamr@4
   537
    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); }
williamr@4
   538
williamr@4
   539
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   540
    {
williamr@4
   541
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_]);
williamr@4
   542
    }
williamr@4
   543
williamr@4
   544
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   545
    {
williamr@4
   546
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_]);
williamr@4
   547
    }
williamr@4
   548
williamr@4
   549
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   550
    {
williamr@4
   551
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_]);
williamr@4
   552
    }
williamr@4
   553
williamr@4
   554
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   555
    {
williamr@4
   556
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_]);
williamr@4
   557
    }
williamr@4
   558
williamr@4
   559
    template<class V> void accept(V & v) const
williamr@4
   560
    {
williamr@4
   561
        base_type::accept(v);
williamr@4
   562
    }
williamr@4
   563
williamr@4
   564
    bool operator==(list6 const & rhs) const
williamr@4
   565
    {
williamr@4
   566
        return
williamr@4
   567
williamr@4
   568
            ref_compare( base_type::a1_, rhs.a1_, 0 ) &&
williamr@4
   569
            ref_compare( base_type::a2_, rhs.a2_, 0 ) &&
williamr@4
   570
            ref_compare( base_type::a3_, rhs.a3_, 0 ) &&
williamr@4
   571
            ref_compare( base_type::a4_, rhs.a4_, 0 ) &&
williamr@4
   572
            ref_compare( base_type::a5_, rhs.a5_, 0 ) &&
williamr@4
   573
            ref_compare( base_type::a6_, rhs.a6_, 0 );
williamr@4
   574
    }
williamr@4
   575
};
williamr@4
   576
williamr@4
   577
template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> class list7: private storage7< A1, A2, A3, A4, A5, A6, A7 >
williamr@4
   578
{
williamr@4
   579
private:
williamr@4
   580
williamr@4
   581
    typedef storage7< A1, A2, A3, A4, A5, A6, A7 > base_type;
williamr@4
   582
williamr@4
   583
public:
williamr@4
   584
williamr@4
   585
    list7( A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7 ): base_type( a1, a2, a3, a4, a5, a6, a7 ) {}
williamr@4
   586
williamr@4
   587
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   588
    A2 operator[] (boost::arg<2>) const { return base_type::a2_; }
williamr@4
   589
    A3 operator[] (boost::arg<3>) const { return base_type::a3_; }
williamr@4
   590
    A4 operator[] (boost::arg<4>) const { return base_type::a4_; }
williamr@4
   591
    A5 operator[] (boost::arg<5>) const { return base_type::a5_; }
williamr@4
   592
    A6 operator[] (boost::arg<6>) const { return base_type::a6_; }
williamr@4
   593
    A7 operator[] (boost::arg<7>) const { return base_type::a7_; }
williamr@4
   594
williamr@4
   595
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   596
    A2 operator[] (boost::arg<2> (*) ()) const { return base_type::a2_; }
williamr@4
   597
    A3 operator[] (boost::arg<3> (*) ()) const { return base_type::a3_; }
williamr@4
   598
    A4 operator[] (boost::arg<4> (*) ()) const { return base_type::a4_; }
williamr@4
   599
    A5 operator[] (boost::arg<5> (*) ()) const { return base_type::a5_; }
williamr@4
   600
    A6 operator[] (boost::arg<6> (*) ()) const { return base_type::a6_; }
williamr@4
   601
    A7 operator[] (boost::arg<7> (*) ()) const { return base_type::a7_; }
williamr@4
   602
williamr@4
   603
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   604
williamr@4
   605
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   606
williamr@4
   607
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   608
williamr@4
   609
    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); }
williamr@4
   610
williamr@4
   611
    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); }
williamr@4
   612
williamr@4
   613
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   614
    {
williamr@4
   615
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_]);
williamr@4
   616
    }
williamr@4
   617
williamr@4
   618
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   619
    {
williamr@4
   620
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_]);
williamr@4
   621
    }
williamr@4
   622
williamr@4
   623
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   624
    {
williamr@4
   625
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_]);
williamr@4
   626
    }
williamr@4
   627
williamr@4
   628
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   629
    {
williamr@4
   630
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_]);
williamr@4
   631
    }
williamr@4
   632
williamr@4
   633
    template<class V> void accept(V & v) const
williamr@4
   634
    {
williamr@4
   635
        base_type::accept(v);
williamr@4
   636
    }
williamr@4
   637
williamr@4
   638
    bool operator==(list7 const & rhs) const
williamr@4
   639
    {
williamr@4
   640
        return
williamr@4
   641
williamr@4
   642
            ref_compare( base_type::a1_, rhs.a1_, 0 ) &&
williamr@4
   643
            ref_compare( base_type::a2_, rhs.a2_, 0 ) &&
williamr@4
   644
            ref_compare( base_type::a3_, rhs.a3_, 0 ) &&
williamr@4
   645
            ref_compare( base_type::a4_, rhs.a4_, 0 ) &&
williamr@4
   646
            ref_compare( base_type::a5_, rhs.a5_, 0 ) &&
williamr@4
   647
            ref_compare( base_type::a6_, rhs.a6_, 0 ) &&
williamr@4
   648
            ref_compare( base_type::a7_, rhs.a7_, 0 );
williamr@4
   649
    }
williamr@4
   650
};
williamr@4
   651
williamr@4
   652
template< class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8 > class list8: private storage8< A1, A2, A3, A4, A5, A6, A7, A8 >
williamr@4
   653
{
williamr@4
   654
private:
williamr@4
   655
williamr@4
   656
    typedef storage8< A1, A2, A3, A4, A5, A6, A7, A8 > base_type;
williamr@4
   657
williamr@4
   658
public:
williamr@4
   659
williamr@4
   660
    list8( A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8 ): base_type( a1, a2, a3, a4, a5, a6, a7, a8 ) {}
williamr@4
   661
williamr@4
   662
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   663
    A2 operator[] (boost::arg<2>) const { return base_type::a2_; }
williamr@4
   664
    A3 operator[] (boost::arg<3>) const { return base_type::a3_; }
williamr@4
   665
    A4 operator[] (boost::arg<4>) const { return base_type::a4_; }
williamr@4
   666
    A5 operator[] (boost::arg<5>) const { return base_type::a5_; }
williamr@4
   667
    A6 operator[] (boost::arg<6>) const { return base_type::a6_; }
williamr@4
   668
    A7 operator[] (boost::arg<7>) const { return base_type::a7_; }
williamr@4
   669
    A8 operator[] (boost::arg<8>) const { return base_type::a8_; }
williamr@4
   670
williamr@4
   671
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   672
    A2 operator[] (boost::arg<2> (*) ()) const { return base_type::a2_; }
williamr@4
   673
    A3 operator[] (boost::arg<3> (*) ()) const { return base_type::a3_; }
williamr@4
   674
    A4 operator[] (boost::arg<4> (*) ()) const { return base_type::a4_; }
williamr@4
   675
    A5 operator[] (boost::arg<5> (*) ()) const { return base_type::a5_; }
williamr@4
   676
    A6 operator[] (boost::arg<6> (*) ()) const { return base_type::a6_; }
williamr@4
   677
    A7 operator[] (boost::arg<7> (*) ()) const { return base_type::a7_; }
williamr@4
   678
    A8 operator[] (boost::arg<8> (*) ()) const { return base_type::a8_; }
williamr@4
   679
williamr@4
   680
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   681
williamr@4
   682
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   683
williamr@4
   684
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   685
williamr@4
   686
    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); }
williamr@4
   687
williamr@4
   688
    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); }
williamr@4
   689
williamr@4
   690
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   691
    {
williamr@4
   692
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_], a[base_type::a8_]);
williamr@4
   693
    }
williamr@4
   694
williamr@4
   695
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   696
    {
williamr@4
   697
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_], a[base_type::a8_]);
williamr@4
   698
    }
williamr@4
   699
williamr@4
   700
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   701
    {
williamr@4
   702
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_], a[base_type::a8_]);
williamr@4
   703
    }
williamr@4
   704
williamr@4
   705
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   706
    {
williamr@4
   707
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_], a[base_type::a8_]);
williamr@4
   708
    }
williamr@4
   709
williamr@4
   710
    template<class V> void accept(V & v) const
williamr@4
   711
    {
williamr@4
   712
        base_type::accept(v);
williamr@4
   713
    }
williamr@4
   714
williamr@4
   715
    bool operator==(list8 const & rhs) const
williamr@4
   716
    {
williamr@4
   717
        return
williamr@4
   718
            
williamr@4
   719
            ref_compare( base_type::a1_, rhs.a1_, 0 ) &&
williamr@4
   720
            ref_compare( base_type::a2_, rhs.a2_, 0 ) &&
williamr@4
   721
            ref_compare( base_type::a3_, rhs.a3_, 0 ) &&
williamr@4
   722
            ref_compare( base_type::a4_, rhs.a4_, 0 ) &&
williamr@4
   723
            ref_compare( base_type::a5_, rhs.a5_, 0 ) &&
williamr@4
   724
            ref_compare( base_type::a6_, rhs.a6_, 0 ) &&
williamr@4
   725
            ref_compare( base_type::a7_, rhs.a7_, 0 ) &&
williamr@4
   726
            ref_compare( base_type::a8_, rhs.a8_, 0 );
williamr@4
   727
    }
williamr@4
   728
};
williamr@4
   729
williamr@4
   730
template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> class list9: private storage9< A1, A2, A3, A4, A5, A6, A7, A8, A9 >
williamr@4
   731
{
williamr@4
   732
private:
williamr@4
   733
williamr@4
   734
    typedef storage9< A1, A2, A3, A4, A5, A6, A7, A8, A9 > base_type;
williamr@4
   735
williamr@4
   736
public:
williamr@4
   737
williamr@4
   738
    list9( A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9 ): base_type( a1, a2, a3, a4, a5, a6, a7, a8, a9 ) {}
williamr@4
   739
williamr@4
   740
    A1 operator[] (boost::arg<1>) const { return base_type::a1_; }
williamr@4
   741
    A2 operator[] (boost::arg<2>) const { return base_type::a2_; }
williamr@4
   742
    A3 operator[] (boost::arg<3>) const { return base_type::a3_; }
williamr@4
   743
    A4 operator[] (boost::arg<4>) const { return base_type::a4_; }
williamr@4
   744
    A5 operator[] (boost::arg<5>) const { return base_type::a5_; }
williamr@4
   745
    A6 operator[] (boost::arg<6>) const { return base_type::a6_; }
williamr@4
   746
    A7 operator[] (boost::arg<7>) const { return base_type::a7_; }
williamr@4
   747
    A8 operator[] (boost::arg<8>) const { return base_type::a8_; }
williamr@4
   748
    A9 operator[] (boost::arg<9>) const { return base_type::a9_; }
williamr@4
   749
williamr@4
   750
    A1 operator[] (boost::arg<1> (*) ()) const { return base_type::a1_; }
williamr@4
   751
    A2 operator[] (boost::arg<2> (*) ()) const { return base_type::a2_; }
williamr@4
   752
    A3 operator[] (boost::arg<3> (*) ()) const { return base_type::a3_; }
williamr@4
   753
    A4 operator[] (boost::arg<4> (*) ()) const { return base_type::a4_; }
williamr@4
   754
    A5 operator[] (boost::arg<5> (*) ()) const { return base_type::a5_; }
williamr@4
   755
    A6 operator[] (boost::arg<6> (*) ()) const { return base_type::a6_; }
williamr@4
   756
    A7 operator[] (boost::arg<7> (*) ()) const { return base_type::a7_; }
williamr@4
   757
    A8 operator[] (boost::arg<8> (*) ()) const { return base_type::a8_; }
williamr@4
   758
    A9 operator[] (boost::arg<9> (*) ()) const { return base_type::a9_; }
williamr@4
   759
williamr@4
   760
    template<class T> T & operator[] (_bi::value<T> & v) const { return v.get(); }
williamr@4
   761
williamr@4
   762
    template<class T> T const & operator[] (_bi::value<T> const & v) const { return v.get(); }
williamr@4
   763
williamr@4
   764
    template<class T> T & operator[] (reference_wrapper<T> const & v) const { return v.get(); }
williamr@4
   765
williamr@4
   766
    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); }
williamr@4
   767
williamr@4
   768
    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); }
williamr@4
   769
williamr@4
   770
    template<class R, class F, class A> R operator()(type<R>, F & f, A & a, long)
williamr@4
   771
    {
williamr@4
   772
        return unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_], a[base_type::a8_], a[base_type::a9_]);
williamr@4
   773
    }
williamr@4
   774
williamr@4
   775
    template<class R, class F, class A> R operator()(type<R>, F const & f, A & a, long) const
williamr@4
   776
    {
williamr@4
   777
        return unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_], a[base_type::a8_], a[base_type::a9_]);
williamr@4
   778
    }
williamr@4
   779
williamr@4
   780
    template<class F, class A> void operator()(type<void>, F & f, A & a, int)
williamr@4
   781
    {
williamr@4
   782
        unwrapper<F>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_], a[base_type::a8_], a[base_type::a9_]);
williamr@4
   783
    }
williamr@4
   784
williamr@4
   785
    template<class F, class A> void operator()(type<void>, F const & f, A & a, int) const
williamr@4
   786
    {
williamr@4
   787
        unwrapper<F const>::unwrap(f, 0)(a[base_type::a1_], a[base_type::a2_], a[base_type::a3_], a[base_type::a4_], a[base_type::a5_], a[base_type::a6_], a[base_type::a7_], a[base_type::a8_], a[base_type::a9_]);
williamr@4
   788
    }
williamr@4
   789
williamr@4
   790
    template<class V> void accept(V & v) const
williamr@4
   791
    {
williamr@4
   792
        base_type::accept(v);
williamr@4
   793
    }
williamr@4
   794
williamr@4
   795
    bool operator==(list9 const & rhs) const
williamr@4
   796
    {
williamr@4
   797
        return
williamr@4
   798
williamr@4
   799
            ref_compare( base_type::a1_, rhs.a1_, 0 ) &&
williamr@4
   800
            ref_compare( base_type::a2_, rhs.a2_, 0 ) &&
williamr@4
   801
            ref_compare( base_type::a3_, rhs.a3_, 0 ) &&
williamr@4
   802
            ref_compare( base_type::a4_, rhs.a4_, 0 ) &&
williamr@4
   803
            ref_compare( base_type::a5_, rhs.a5_, 0 ) &&
williamr@4
   804
            ref_compare( base_type::a6_, rhs.a6_, 0 ) &&
williamr@4
   805
            ref_compare( base_type::a7_, rhs.a7_, 0 ) &&
williamr@4
   806
            ref_compare( base_type::a8_, rhs.a8_, 0 ) &&
williamr@4
   807
            ref_compare( base_type::a9_, rhs.a9_, 0 );
williamr@4
   808
    }
williamr@4
   809
};
williamr@4
   810
williamr@4
   811
// bind_t
williamr@4
   812
williamr@4
   813
#ifndef BOOST_NO_VOID_RETURNS
williamr@4
   814
williamr@4
   815
template<class R, class F, class L> class bind_t
williamr@4
   816
{
williamr@4
   817
public:
williamr@4
   818
williamr@4
   819
    typedef bind_t this_type;
williamr@4
   820
williamr@4
   821
    bind_t(F f, L const & l): f_(f), l_(l) {}
williamr@4
   822
williamr@4
   823
#define BOOST_BIND_RETURN return
williamr@4
   824
#include <boost/bind/bind_template.hpp>
williamr@4
   825
#undef BOOST_BIND_RETURN
williamr@4
   826
williamr@4
   827
};
williamr@2
   828
williamr@2
   829
#else
williamr@2
   830
williamr@4
   831
template<class R> struct bind_t_generator
williamr@4
   832
{
williamr@2
   833
williamr@4
   834
template<class F, class L> class implementation
williamr@4
   835
{
williamr@4
   836
public:
williamr@2
   837
williamr@4
   838
    typedef implementation this_type;
williamr@2
   839
williamr@4
   840
    implementation(F f, L const & l): f_(f), l_(l) {}
williamr@2
   841
williamr@4
   842
#define BOOST_BIND_RETURN return
williamr@4
   843
#include <boost/bind/bind_template.hpp>
williamr@4
   844
#undef BOOST_BIND_RETURN
williamr@2
   845
williamr@4
   846
};
williamr@2
   847
williamr@4
   848
};
williamr@2
   849
williamr@4
   850
template<> struct bind_t_generator<void>
williamr@4
   851
{
williamr@2
   852
williamr@4
   853
template<class F, class L> class implementation
williamr@4
   854
{
williamr@4
   855
private:
williamr@2
   856
williamr@4
   857
    typedef void R;
williamr@4
   858
williamr@4
   859
public:
williamr@4
   860
williamr@4
   861
    typedef implementation this_type;
williamr@4
   862
williamr@4
   863
    implementation(F f, L const & l): f_(f), l_(l) {}
williamr@4
   864
williamr@4
   865
#define BOOST_BIND_RETURN
williamr@4
   866
#include <boost/bind/bind_template.hpp>
williamr@4
   867
#undef BOOST_BIND_RETURN
williamr@4
   868
williamr@4
   869
};
williamr@4
   870
williamr@4
   871
};
williamr@4
   872
williamr@4
   873
template<class R2, class F, class L> class bind_t: public bind_t_generator<R2>::BOOST_NESTED_TEMPLATE implementation<F, L>
williamr@4
   874
{
williamr@4
   875
public:
williamr@4
   876
williamr@4
   877
    bind_t(F f, L const & l): bind_t_generator<R2>::BOOST_NESTED_TEMPLATE implementation<F, L>(f, l) {}
williamr@4
   878
williamr@4
   879
};
williamr@4
   880
williamr@2
   881
#endif
williamr@2
   882
williamr@4
   883
// function_equal
williamr@2
   884
williamr@4
   885
#ifndef BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP
williamr@2
   886
williamr@4
   887
// put overloads in _bi, rely on ADL
williamr@4
   888
williamr@4
   889
# ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
williamr@4
   890
williamr@4
   891
template<class R, class F, class L> bool function_equal( bind_t<R, F, L> const & a, bind_t<R, F, L> const & b )
williamr@2
   892
{
williamr@4
   893
    return a.compare(b);
williamr@4
   894
}
williamr@4
   895
williamr@4
   896
# else
williamr@4
   897
williamr@4
   898
template<class R, class F, class L> bool function_equal_impl( bind_t<R, F, L> const & a, bind_t<R, F, L> const & b, int )
williamr@4
   899
{
williamr@4
   900
    return a.compare(b);
williamr@4
   901
}
williamr@4
   902
williamr@4
   903
# endif // #ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
williamr@4
   904
williamr@4
   905
#else // BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP
williamr@4
   906
williamr@4
   907
// put overloads in boost
williamr@4
   908
williamr@4
   909
} // namespace _bi
williamr@4
   910
williamr@4
   911
# ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
williamr@4
   912
williamr@4
   913
template<class R, class F, class L> bool function_equal( _bi::bind_t<R, F, L> const & a, _bi::bind_t<R, F, L> const & b )
williamr@4
   914
{
williamr@4
   915
    return a.compare(b);
williamr@4
   916
}
williamr@4
   917
williamr@4
   918
# else
williamr@4
   919
williamr@4
   920
template<class R, class F, class L> bool function_equal_impl( _bi::bind_t<R, F, L> const & a, _bi::bind_t<R, F, L> const & b, int )
williamr@4
   921
{
williamr@4
   922
    return a.compare(b);
williamr@4
   923
}
williamr@4
   924
williamr@4
   925
# endif // #ifndef BOOST_NO_FUNCTION_TEMPLATE_ORDERING
williamr@4
   926
williamr@4
   927
namespace _bi
williamr@4
   928
{
williamr@4
   929
williamr@4
   930
#endif // BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP
williamr@4
   931
williamr@4
   932
// add_value
williamr@4
   933
williamr@4
   934
#if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) || (__SUNPRO_CC >= 0x530)
williamr@4
   935
williamr@4
   936
template<class T> struct add_value
williamr@4
   937
{
williamr@4
   938
    typedef _bi::value<T> type;
williamr@2
   939
};
williamr@2
   940
williamr@4
   941
template<class T> struct add_value< value<T> >
williamr@2
   942
{
williamr@4
   943
    typedef _bi::value<T> type;
williamr@2
   944
};
williamr@2
   945
williamr@4
   946
template<class T> struct add_value< reference_wrapper<T> >
williamr@2
   947
{
williamr@4
   948
    typedef reference_wrapper<T> type;
williamr@2
   949
};
williamr@2
   950
williamr@4
   951
template<int I> struct add_value< arg<I> >
williamr@2
   952
{
williamr@4
   953
    typedef boost::arg<I> type;
williamr@2
   954
};
williamr@2
   955
williamr@4
   956
template<int I> struct add_value< arg<I> (*) () >
williamr@2
   957
{
williamr@4
   958
    typedef boost::arg<I> (*type) ();
williamr@2
   959
};
williamr@2
   960
williamr@4
   961
template<class R, class F, class L> struct add_value< bind_t<R, F, L> >
williamr@4
   962
{
williamr@4
   963
    typedef bind_t<R, F, L> type;
williamr@4
   964
};
williamr@2
   965
williamr@4
   966
#else
williamr@4
   967
williamr@4
   968
template<int I> struct _avt_0;
williamr@4
   969
williamr@4
   970
template<> struct _avt_0<1>
williamr@2
   971
{
williamr@4
   972
    template<class T> struct inner
williamr@2
   973
    {
williamr@2
   974
        typedef T type;
williamr@2
   975
    };
williamr@2
   976
};
williamr@2
   977
williamr@4
   978
template<> struct _avt_0<2>
williamr@2
   979
{
williamr@4
   980
    template<class T> struct inner
williamr@2
   981
    {
williamr@4
   982
        typedef value<T> type;
williamr@2
   983
    };
williamr@2
   984
};
williamr@2
   985
williamr@4
   986
typedef char (&_avt_r1) [1];
williamr@4
   987
typedef char (&_avt_r2) [2];
williamr@2
   988
williamr@4
   989
template<class T> _avt_r1 _avt_f(value<T>);
williamr@4
   990
template<class T> _avt_r1 _avt_f(reference_wrapper<T>);
williamr@4
   991
template<int I> _avt_r1 _avt_f(arg<I>);
williamr@4
   992
template<int I> _avt_r1 _avt_f(arg<I> (*) ());
williamr@4
   993
template<class R, class F, class L> _avt_r1 _avt_f(bind_t<R, F, L>);
williamr@4
   994
williamr@4
   995
_avt_r2 _avt_f(...);
williamr@4
   996
williamr@4
   997
template<class T> struct add_value
williamr@2
   998
{
williamr@4
   999
    static T t();
williamr@4
  1000
    typedef typename _avt_0<sizeof(_avt_f(t()))>::template inner<T>::type type;
williamr@2
  1001
};
williamr@2
  1002
williamr@4
  1003
#endif
williamr@2
  1004
williamr@4
  1005
// list_av_N
williamr@4
  1006
williamr@4
  1007
template<class A1> struct list_av_1
williamr@2
  1008
{
williamr@4
  1009
    typedef typename add_value<A1>::type B1;
williamr@4
  1010
    typedef list1<B1> type;
williamr@2
  1011
};
williamr@2
  1012
williamr@4
  1013
template<class A1, class A2> struct list_av_2
williamr@2
  1014
{
williamr@4
  1015
    typedef typename add_value<A1>::type B1;
williamr@4
  1016
    typedef typename add_value<A2>::type B2;
williamr@4
  1017
    typedef list2<B1, B2> type;
williamr@2
  1018
};
williamr@2
  1019
williamr@4
  1020
template<class A1, class A2, class A3> struct list_av_3
williamr@2
  1021
{
williamr@4
  1022
    typedef typename add_value<A1>::type B1;
williamr@4
  1023
    typedef typename add_value<A2>::type B2;
williamr@4
  1024
    typedef typename add_value<A3>::type B3;
williamr@4
  1025
    typedef list3<B1, B2, B3> type;
williamr@2
  1026
};
williamr@2
  1027
williamr@4
  1028
template<class A1, class A2, class A3, class A4> struct list_av_4
williamr@4
  1029
{
williamr@4
  1030
    typedef typename add_value<A1>::type B1;
williamr@4
  1031
    typedef typename add_value<A2>::type B2;
williamr@4
  1032
    typedef typename add_value<A3>::type B3;
williamr@4
  1033
    typedef typename add_value<A4>::type B4;
williamr@4
  1034
    typedef list4<B1, B2, B3, B4> type;
williamr@4
  1035
};
williamr@2
  1036
williamr@4
  1037
template<class A1, class A2, class A3, class A4, class A5> struct list_av_5
williamr@4
  1038
{
williamr@4
  1039
    typedef typename add_value<A1>::type B1;
williamr@4
  1040
    typedef typename add_value<A2>::type B2;
williamr@4
  1041
    typedef typename add_value<A3>::type B3;
williamr@4
  1042
    typedef typename add_value<A4>::type B4;
williamr@4
  1043
    typedef typename add_value<A5>::type B5;
williamr@4
  1044
    typedef list5<B1, B2, B3, B4, B5> type;
williamr@4
  1045
};
williamr@2
  1046
williamr@4
  1047
template<class A1, class A2, class A3, class A4, class A5, class A6> struct list_av_6
williamr@4
  1048
{
williamr@4
  1049
    typedef typename add_value<A1>::type B1;
williamr@4
  1050
    typedef typename add_value<A2>::type B2;
williamr@4
  1051
    typedef typename add_value<A3>::type B3;
williamr@4
  1052
    typedef typename add_value<A4>::type B4;
williamr@4
  1053
    typedef typename add_value<A5>::type B5;
williamr@4
  1054
    typedef typename add_value<A6>::type B6;
williamr@4
  1055
    typedef list6<B1, B2, B3, B4, B5, B6> type;
williamr@4
  1056
};
williamr@2
  1057
williamr@4
  1058
template<class A1, class A2, class A3, class A4, class A5, class A6, class A7> struct list_av_7
williamr@4
  1059
{
williamr@4
  1060
    typedef typename add_value<A1>::type B1;
williamr@4
  1061
    typedef typename add_value<A2>::type B2;
williamr@4
  1062
    typedef typename add_value<A3>::type B3;
williamr@4
  1063
    typedef typename add_value<A4>::type B4;
williamr@4
  1064
    typedef typename add_value<A5>::type B5;
williamr@4
  1065
    typedef typename add_value<A6>::type B6;
williamr@4
  1066
    typedef typename add_value<A7>::type B7;
williamr@4
  1067
    typedef list7<B1, B2, B3, B4, B5, B6, B7> type;
williamr@4
  1068
};
williamr@4
  1069
williamr@4
  1070
template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8> struct list_av_8
williamr@4
  1071
{
williamr@4
  1072
    typedef typename add_value<A1>::type B1;
williamr@4
  1073
    typedef typename add_value<A2>::type B2;
williamr@4
  1074
    typedef typename add_value<A3>::type B3;
williamr@4
  1075
    typedef typename add_value<A4>::type B4;
williamr@4
  1076
    typedef typename add_value<A5>::type B5;
williamr@4
  1077
    typedef typename add_value<A6>::type B6;
williamr@4
  1078
    typedef typename add_value<A7>::type B7;
williamr@4
  1079
    typedef typename add_value<A8>::type B8;
williamr@4
  1080
    typedef list8<B1, B2, B3, B4, B5, B6, B7, B8> type;
williamr@4
  1081
};
williamr@4
  1082
williamr@4
  1083
template<class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9> struct list_av_9
williamr@4
  1084
{
williamr@4
  1085
    typedef typename add_value<A1>::type B1;
williamr@4
  1086
    typedef typename add_value<A2>::type B2;
williamr@4
  1087
    typedef typename add_value<A3>::type B3;
williamr@4
  1088
    typedef typename add_value<A4>::type B4;
williamr@4
  1089
    typedef typename add_value<A5>::type B5;
williamr@4
  1090
    typedef typename add_value<A6>::type B6;
williamr@4
  1091
    typedef typename add_value<A7>::type B7;
williamr@4
  1092
    typedef typename add_value<A8>::type B8;
williamr@4
  1093
    typedef typename add_value<A9>::type B9;
williamr@4
  1094
    typedef list9<B1, B2, B3, B4, B5, B6, B7, B8, B9> type;
williamr@4
  1095
};
williamr@4
  1096
williamr@4
  1097
// operator!
williamr@4
  1098
williamr@4
  1099
struct logical_not
williamr@4
  1100
{
williamr@4
  1101
    template<class V> bool operator()(V const & v) const { return !v; }
williamr@4
  1102
};
williamr@4
  1103
williamr@4
  1104
template<class R, class F, class L>
williamr@4
  1105
    bind_t< bool, logical_not, list1< bind_t<R, F, L> > >
williamr@4
  1106
    operator! (bind_t<R, F, L> const & f)
williamr@4
  1107
{
williamr@4
  1108
    typedef list1< bind_t<R, F, L> > list_type;
williamr@4
  1109
    return bind_t<bool, logical_not, list_type> ( logical_not(), list_type(f) );
williamr@4
  1110
}
williamr@4
  1111
williamr@4
  1112
// relational operators
williamr@4
  1113
williamr@4
  1114
#define BOOST_BIND_OPERATOR( op, name ) \
williamr@4
  1115
\
williamr@4
  1116
struct name \
williamr@4
  1117
{ \
williamr@4
  1118
    template<class V, class W> bool operator()(V const & v, W const & w) const { return v op w; } \
williamr@4
  1119
}; \
williamr@4
  1120
 \
williamr@4
  1121
template<class R, class F, class L, class A2> \
williamr@4
  1122
    bind_t< bool, name, list2< bind_t<R, F, L>, typename add_value<A2>::type > > \
williamr@4
  1123
    operator op (bind_t<R, F, L> const & f, A2 a2) \
williamr@4
  1124
{ \
williamr@4
  1125
    typedef typename add_value<A2>::type B2; \
williamr@4
  1126
    typedef list2< bind_t<R, F, L>, B2> list_type; \
williamr@4
  1127
    return bind_t<bool, name, list_type> ( name(), list_type(f, a2) ); \
williamr@4
  1128
}
williamr@4
  1129
williamr@4
  1130
BOOST_BIND_OPERATOR( ==, equal )
williamr@4
  1131
BOOST_BIND_OPERATOR( !=, not_equal )
williamr@4
  1132
williamr@4
  1133
BOOST_BIND_OPERATOR( <, less )
williamr@4
  1134
BOOST_BIND_OPERATOR( <=, less_equal )
williamr@4
  1135
williamr@4
  1136
BOOST_BIND_OPERATOR( >, greater )
williamr@4
  1137
BOOST_BIND_OPERATOR( >=, greater_equal )
williamr@4
  1138
williamr@4
  1139
#undef BOOST_BIND_OPERATOR
williamr@4
  1140
williamr@4
  1141
#if defined(__GNUC__) && BOOST_WORKAROUND(__GNUC__, < 3)
williamr@4
  1142
williamr@4
  1143
// resolve ambiguity with rel_ops
williamr@4
  1144
williamr@4
  1145
#define BOOST_BIND_OPERATOR( op, name ) \
williamr@4
  1146
\
williamr@4
  1147
template<class R, class F, class L> \
williamr@4
  1148
    bind_t< bool, name, list2< bind_t<R, F, L>, bind_t<R, F, L> > > \
williamr@4
  1149
    operator op (bind_t<R, F, L> const & f, bind_t<R, F, L> const & g) \
williamr@4
  1150
{ \
williamr@4
  1151
    typedef list2< bind_t<R, F, L>, bind_t<R, F, L> > list_type; \
williamr@4
  1152
    return bind_t<bool, name, list_type> ( name(), list_type(f, g) ); \
williamr@4
  1153
}
williamr@4
  1154
williamr@4
  1155
BOOST_BIND_OPERATOR( !=, not_equal )
williamr@4
  1156
BOOST_BIND_OPERATOR( <=, less_equal )
williamr@4
  1157
BOOST_BIND_OPERATOR( >, greater )
williamr@4
  1158
BOOST_BIND_OPERATOR( >=, greater_equal )
williamr@4
  1159
williamr@2
  1160
#endif
williamr@2
  1161
williamr@4
  1162
// visit_each, ADL
williamr@2
  1163
williamr@4
  1164
#if !defined( BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP ) && !defined( __BORLANDC__ ) \
williamr@4
  1165
   && !(defined(__GNUC__) && __GNUC__ == 3 && __GNUC_MINOR__ <= 3)
williamr@4
  1166
williamr@4
  1167
template<class V, class T> void visit_each( V & v, value<T> const & t, int )
williamr@2
  1168
{
williamr@4
  1169
    using boost::visit_each;
williamr@4
  1170
    BOOST_BIND_VISIT_EACH( v, t.get(), 0 );
williamr@4
  1171
}
williamr@2
  1172
williamr@4
  1173
template<class V, class R, class F, class L> void visit_each( V & v, bind_t<R, F, L> const & t, int )
williamr@2
  1174
{
williamr@4
  1175
    t.accept( v );
williamr@4
  1176
}
williamr@2
  1177
williamr@2
  1178
#endif
williamr@2
  1179
williamr@4
  1180
} // namespace _bi
williamr@2
  1181
williamr@4
  1182
// visit_each, no ADL
williamr@4
  1183
williamr@4
  1184
#if defined( BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP ) || defined( __BORLANDC__ ) \
williamr@4
  1185
  || (defined(__GNUC__) && __GNUC__ == 3 && __GNUC_MINOR__ <= 3)
williamr@4
  1186
williamr@4
  1187
template<class V, class T> void visit_each( V & v, _bi::value<T> const & t, int )
williamr@4
  1188
{
williamr@4
  1189
    BOOST_BIND_VISIT_EACH( v, t.get(), 0 );
williamr@2
  1190
}
williamr@2
  1191
williamr@4
  1192
template<class V, class R, class F, class L> void visit_each( V & v, _bi::bind_t<R, F, L> const & t, int )
williamr@4
  1193
{
williamr@4
  1194
    t.accept( v );
williamr@4
  1195
}
williamr@4
  1196
williamr@4
  1197
#endif
williamr@4
  1198
williamr@2
  1199
// bind
williamr@4
  1200
williamr@4
  1201
#ifndef BOOST_BIND
williamr@4
  1202
#define BOOST_BIND bind
williamr@4
  1203
#endif
williamr@4
  1204
williamr@4
  1205
// generic function objects
williamr@4
  1206
williamr@4
  1207
template<class R, class F>
williamr@4
  1208
    _bi::bind_t<R, F, _bi::list0>
williamr@4
  1209
    BOOST_BIND(F f)
williamr@2
  1210
{
williamr@4
  1211
    typedef _bi::list0 list_type;
williamr@4
  1212
    return _bi::bind_t<R, F, list_type> (f, list_type());
williamr@4
  1213
}
williamr@2
  1214
williamr@4
  1215
template<class R, class F, class A1>
williamr@4
  1216
    _bi::bind_t<R, F, typename _bi::list_av_1<A1>::type>
williamr@4
  1217
    BOOST_BIND(F f, A1 a1)
williamr@4
  1218
{
williamr@4
  1219
    typedef typename _bi::list_av_1<A1>::type list_type;
williamr@4
  1220
    return _bi::bind_t<R, F, list_type> (f, list_type(a1));
williamr@4
  1221
}
williamr@2
  1222
williamr@4
  1223
template<class R, class F, class A1, class A2>
williamr@4
  1224
    _bi::bind_t<R, F, typename _bi::list_av_2<A1, A2>::type>
williamr@4
  1225
    BOOST_BIND(F f, A1 a1, A2 a2)
williamr@4
  1226
{
williamr@4
  1227
    typedef typename _bi::list_av_2<A1, A2>::type list_type;
williamr@4
  1228
    return _bi::bind_t<R, F, list_type> (f, list_type(a1, a2));
williamr@4
  1229
}
williamr@2
  1230
williamr@4
  1231
template<class R, class F, class A1, class A2, class A3>
williamr@4
  1232
    _bi::bind_t<R, F, typename _bi::list_av_3<A1, A2, A3>::type>
williamr@4
  1233
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3)
williamr@4
  1234
{
williamr@4
  1235
    typedef typename _bi::list_av_3<A1, A2, A3>::type list_type;
williamr@4
  1236
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3));
williamr@4
  1237
}
williamr@2
  1238
williamr@4
  1239
template<class R, class F, class A1, class A2, class A3, class A4>
williamr@4
  1240
    _bi::bind_t<R, F, typename _bi::list_av_4<A1, A2, A3, A4>::type>
williamr@4
  1241
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4)
williamr@4
  1242
{
williamr@4
  1243
    typedef typename _bi::list_av_4<A1, A2, A3, A4>::type list_type;
williamr@4
  1244
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4));
williamr@4
  1245
}
williamr@2
  1246
williamr@4
  1247
template<class R, class F, class A1, class A2, class A3, class A4, class A5>
williamr@4
  1248
    _bi::bind_t<R, F, typename _bi::list_av_5<A1, A2, A3, A4, A5>::type>
williamr@4
  1249
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5)
williamr@4
  1250
{
williamr@4
  1251
    typedef typename _bi::list_av_5<A1, A2, A3, A4, A5>::type list_type;
williamr@4
  1252
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5));
williamr@4
  1253
}
williamr@2
  1254
williamr@4
  1255
template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6>
williamr@4
  1256
    _bi::bind_t<R, F, typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type>
williamr@4
  1257
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6)
williamr@4
  1258
{
williamr@4
  1259
    typedef typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type list_type;
williamr@4
  1260
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6));
williamr@4
  1261
}
williamr@2
  1262
williamr@4
  1263
template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7>
williamr@4
  1264
    _bi::bind_t<R, F, typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type>
williamr@4
  1265
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7)
williamr@4
  1266
{
williamr@4
  1267
    typedef typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type list_type;
williamr@4
  1268
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7));
williamr@4
  1269
}
williamr@2
  1270
williamr@4
  1271
template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
williamr@4
  1272
    _bi::bind_t<R, F, typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type>
williamr@4
  1273
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8)
williamr@4
  1274
{
williamr@4
  1275
    typedef typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type list_type;
williamr@4
  1276
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8));
williamr@4
  1277
}
williamr@2
  1278
williamr@4
  1279
template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
williamr@4
  1280
    _bi::bind_t<R, F, typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type>
williamr@4
  1281
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9)
williamr@4
  1282
{
williamr@4
  1283
    typedef typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type list_type;
williamr@4
  1284
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8, a9));
williamr@4
  1285
}
williamr@2
  1286
williamr@4
  1287
// generic function objects, alternative syntax
williamr@2
  1288
williamr@4
  1289
template<class R, class F>
williamr@4
  1290
    _bi::bind_t<R, F, _bi::list0>
williamr@4
  1291
    BOOST_BIND(boost::type<R>, F f)
williamr@4
  1292
{
williamr@4
  1293
    typedef _bi::list0 list_type;
williamr@4
  1294
    return _bi::bind_t<R, F, list_type> (f, list_type());
williamr@4
  1295
}
williamr@2
  1296
williamr@4
  1297
template<class R, class F, class A1>
williamr@4
  1298
    _bi::bind_t<R, F, typename _bi::list_av_1<A1>::type>
williamr@4
  1299
    BOOST_BIND(boost::type<R>, F f, A1 a1)
williamr@4
  1300
{
williamr@4
  1301
    typedef typename _bi::list_av_1<A1>::type list_type;
williamr@4
  1302
    return _bi::bind_t<R, F, list_type> (f, list_type(a1));
williamr@4
  1303
}
williamr@2
  1304
williamr@4
  1305
template<class R, class F, class A1, class A2>
williamr@4
  1306
    _bi::bind_t<R, F, typename _bi::list_av_2<A1, A2>::type>
williamr@4
  1307
    BOOST_BIND(boost::type<R>, F f, A1 a1, A2 a2)
williamr@4
  1308
{
williamr@4
  1309
    typedef typename _bi::list_av_2<A1, A2>::type list_type;
williamr@4
  1310
    return _bi::bind_t<R, F, list_type> (f, list_type(a1, a2));
williamr@4
  1311
}
williamr@2
  1312
williamr@4
  1313
template<class R, class F, class A1, class A2, class A3>
williamr@4
  1314
    _bi::bind_t<R, F, typename _bi::list_av_3<A1, A2, A3>::type>
williamr@4
  1315
    BOOST_BIND(boost::type<R>, F f, A1 a1, A2 a2, A3 a3)
williamr@2
  1316
{
williamr@4
  1317
    typedef typename _bi::list_av_3<A1, A2, A3>::type list_type;
williamr@4
  1318
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3));
williamr@4
  1319
}
williamr@2
  1320
williamr@4
  1321
template<class R, class F, class A1, class A2, class A3, class A4>
williamr@4
  1322
    _bi::bind_t<R, F, typename _bi::list_av_4<A1, A2, A3, A4>::type>
williamr@4
  1323
    BOOST_BIND(boost::type<R>, F f, A1 a1, A2 a2, A3 a3, A4 a4)
williamr@4
  1324
{
williamr@4
  1325
    typedef typename _bi::list_av_4<A1, A2, A3, A4>::type list_type;
williamr@4
  1326
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4));
williamr@4
  1327
}
williamr@2
  1328
williamr@4
  1329
template<class R, class F, class A1, class A2, class A3, class A4, class A5>
williamr@4
  1330
    _bi::bind_t<R, F, typename _bi::list_av_5<A1, A2, A3, A4, A5>::type>
williamr@4
  1331
    BOOST_BIND(boost::type<R>, F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5)
williamr@4
  1332
{
williamr@4
  1333
    typedef typename _bi::list_av_5<A1, A2, A3, A4, A5>::type list_type;
williamr@4
  1334
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5));
williamr@4
  1335
}
williamr@2
  1336
williamr@4
  1337
template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6>
williamr@4
  1338
    _bi::bind_t<R, F, typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type>
williamr@4
  1339
    BOOST_BIND(boost::type<R>, F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6)
williamr@4
  1340
{
williamr@4
  1341
    typedef typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type list_type;
williamr@4
  1342
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6));
williamr@4
  1343
}
williamr@2
  1344
williamr@4
  1345
template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7>
williamr@4
  1346
    _bi::bind_t<R, F, typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type>
williamr@4
  1347
    BOOST_BIND(boost::type<R>, F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7)
williamr@4
  1348
{
williamr@4
  1349
    typedef typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type list_type;
williamr@4
  1350
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7));
williamr@4
  1351
}
williamr@2
  1352
williamr@4
  1353
template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
williamr@4
  1354
    _bi::bind_t<R, F, typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type>
williamr@4
  1355
    BOOST_BIND(boost::type<R>, F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8)
williamr@2
  1356
{
williamr@4
  1357
    typedef typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type list_type;
williamr@4
  1358
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8));
williamr@4
  1359
}
williamr@2
  1360
williamr@4
  1361
template<class R, class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
williamr@4
  1362
    _bi::bind_t<R, F, typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type>
williamr@4
  1363
    BOOST_BIND(boost::type<R>, F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9)
williamr@4
  1364
{
williamr@4
  1365
    typedef typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type list_type;
williamr@4
  1366
    return _bi::bind_t<R, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8, a9));
williamr@4
  1367
}
williamr@2
  1368
williamr@4
  1369
#if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
williamr@2
  1370
williamr@4
  1371
// adaptable function objects
williamr@2
  1372
williamr@4
  1373
template<class F>
williamr@4
  1374
    _bi::bind_t<_bi::unspecified, F, _bi::list0>
williamr@4
  1375
    BOOST_BIND(F f)
williamr@4
  1376
{
williamr@4
  1377
    typedef _bi::list0 list_type;
williamr@4
  1378
    return _bi::bind_t<_bi::unspecified, F, list_type> (f, list_type());
williamr@4
  1379
}
williamr@2
  1380
williamr@4
  1381
template<class F, class A1>
williamr@4
  1382
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_1<A1>::type>
williamr@4
  1383
    BOOST_BIND(F f, A1 a1)
williamr@4
  1384
{
williamr@4
  1385
    typedef typename _bi::list_av_1<A1>::type list_type;
williamr@4
  1386
    return _bi::bind_t<_bi::unspecified, F, list_type> (f, list_type(a1));
williamr@4
  1387
}
williamr@2
  1388
williamr@4
  1389
template<class F, class A1, class A2>
williamr@4
  1390
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_2<A1, A2>::type>
williamr@4
  1391
    BOOST_BIND(F f, A1 a1, A2 a2)
williamr@4
  1392
{
williamr@4
  1393
    typedef typename _bi::list_av_2<A1, A2>::type list_type;
williamr@4
  1394
    return _bi::bind_t<_bi::unspecified, F, list_type> (f, list_type(a1, a2));
williamr@4
  1395
}
williamr@2
  1396
williamr@4
  1397
template<class F, class A1, class A2, class A3>
williamr@4
  1398
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_3<A1, A2, A3>::type>
williamr@4
  1399
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3)
williamr@4
  1400
{
williamr@4
  1401
    typedef typename _bi::list_av_3<A1, A2, A3>::type list_type;
williamr@4
  1402
    return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3));
williamr@4
  1403
}
williamr@2
  1404
williamr@4
  1405
template<class F, class A1, class A2, class A3, class A4>
williamr@4
  1406
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_4<A1, A2, A3, A4>::type>
williamr@4
  1407
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4)
williamr@4
  1408
{
williamr@4
  1409
    typedef typename _bi::list_av_4<A1, A2, A3, A4>::type list_type;
williamr@4
  1410
    return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4));
williamr@4
  1411
}
williamr@2
  1412
williamr@4
  1413
template<class F, class A1, class A2, class A3, class A4, class A5>
williamr@4
  1414
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_5<A1, A2, A3, A4, A5>::type>
williamr@4
  1415
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5)
williamr@4
  1416
{
williamr@4
  1417
    typedef typename _bi::list_av_5<A1, A2, A3, A4, A5>::type list_type;
williamr@4
  1418
    return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5));
williamr@4
  1419
}
williamr@2
  1420
williamr@4
  1421
template<class F, class A1, class A2, class A3, class A4, class A5, class A6>
williamr@4
  1422
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type>
williamr@4
  1423
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6)
williamr@2
  1424
{
williamr@4
  1425
    typedef typename _bi::list_av_6<A1, A2, A3, A4, A5, A6>::type list_type;
williamr@4
  1426
    return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6));
williamr@4
  1427
}
williamr@4
  1428
williamr@4
  1429
template<class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7>
williamr@4
  1430
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type>
williamr@4
  1431
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7)
williamr@4
  1432
{
williamr@4
  1433
    typedef typename _bi::list_av_7<A1, A2, A3, A4, A5, A6, A7>::type list_type;
williamr@4
  1434
    return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7));
williamr@4
  1435
}
williamr@4
  1436
williamr@4
  1437
template<class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8>
williamr@4
  1438
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type>
williamr@4
  1439
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8)
williamr@4
  1440
{
williamr@4
  1441
    typedef typename _bi::list_av_8<A1, A2, A3, A4, A5, A6, A7, A8>::type list_type;
williamr@4
  1442
    return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8));
williamr@4
  1443
}
williamr@4
  1444
williamr@4
  1445
template<class F, class A1, class A2, class A3, class A4, class A5, class A6, class A7, class A8, class A9>
williamr@4
  1446
    _bi::bind_t<_bi::unspecified, F, typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type>
williamr@4
  1447
    BOOST_BIND(F f, A1 a1, A2 a2, A3 a3, A4 a4, A5 a5, A6 a6, A7 a7, A8 a8, A9 a9)
williamr@4
  1448
{
williamr@4
  1449
    typedef typename _bi::list_av_9<A1, A2, A3, A4, A5, A6, A7, A8, A9>::type list_type;
williamr@4
  1450
    return _bi::bind_t<_bi::unspecified, F, list_type>(f, list_type(a1, a2, a3, a4, a5, a6, a7, a8, a9));
williamr@4
  1451
}
williamr@4
  1452
williamr@4
  1453
#endif // !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) && !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
williamr@4
  1454
williamr@4
  1455
// function pointers
williamr@4
  1456
williamr@4
  1457
#define BOOST_BIND_CC
williamr@4
  1458
#define BOOST_BIND_ST
williamr@4
  1459
williamr@4
  1460
#include <boost/bind/bind_cc.hpp>
williamr@4
  1461
williamr@4
  1462
#undef BOOST_BIND_CC
williamr@4
  1463
#undef BOOST_BIND_ST
williamr@4
  1464
williamr@4
  1465
#ifdef BOOST_BIND_ENABLE_STDCALL
williamr@4
  1466
williamr@4
  1467
#define BOOST_BIND_CC __stdcall
williamr@4
  1468
#define BOOST_BIND_ST
williamr@4
  1469
williamr@4
  1470
#include <boost/bind/bind_cc.hpp>
williamr@4
  1471
williamr@4
  1472
#undef BOOST_BIND_CC
williamr@4
  1473
#undef BOOST_BIND_ST
williamr@4
  1474
williamr@4
  1475
#endif
williamr@4
  1476
williamr@4
  1477
#ifdef BOOST_BIND_ENABLE_FASTCALL
williamr@4
  1478
williamr@4
  1479
#define BOOST_BIND_CC __fastcall
williamr@4
  1480
#define BOOST_BIND_ST
williamr@4
  1481
williamr@4
  1482
#include <boost/bind/bind_cc.hpp>
williamr@4
  1483
williamr@4
  1484
#undef BOOST_BIND_CC
williamr@4
  1485
#undef BOOST_BIND_ST
williamr@4
  1486
williamr@4
  1487
#endif
williamr@4
  1488
williamr@4
  1489
#ifdef BOOST_BIND_ENABLE_PASCAL
williamr@4
  1490
williamr@4
  1491
#define BOOST_BIND_ST pascal
williamr@4
  1492
#define BOOST_BIND_CC
williamr@4
  1493
williamr@4
  1494
#include <boost/bind/bind_cc.hpp>
williamr@4
  1495
williamr@4
  1496
#undef BOOST_BIND_ST
williamr@4
  1497
#undef BOOST_BIND_CC
williamr@4
  1498
williamr@4
  1499
#endif
williamr@4
  1500
williamr@4
  1501
// member function pointers
williamr@4
  1502
williamr@4
  1503
#define BOOST_BIND_MF_NAME(X) X
williamr@4
  1504
#define BOOST_BIND_MF_CC
williamr@4
  1505
williamr@4
  1506
#include <boost/bind/bind_mf_cc.hpp>
williamr@4
  1507
williamr@4
  1508
#undef BOOST_BIND_MF_NAME
williamr@4
  1509
#undef BOOST_BIND_MF_CC
williamr@4
  1510
williamr@4
  1511
#ifdef BOOST_MEM_FN_ENABLE_CDECL
williamr@4
  1512
williamr@4
  1513
#define BOOST_BIND_MF_NAME(X) X##_cdecl
williamr@4
  1514
#define BOOST_BIND_MF_CC __cdecl
williamr@4
  1515
williamr@4
  1516
#include <boost/bind/bind_mf_cc.hpp>
williamr@4
  1517
williamr@4
  1518
#undef BOOST_BIND_MF_NAME
williamr@4
  1519
#undef BOOST_BIND_MF_CC
williamr@4
  1520
williamr@4
  1521
#endif
williamr@4
  1522
williamr@4
  1523
#ifdef BOOST_MEM_FN_ENABLE_STDCALL
williamr@4
  1524
williamr@4
  1525
#define BOOST_BIND_MF_NAME(X) X##_stdcall
williamr@4
  1526
#define BOOST_BIND_MF_CC __stdcall
williamr@4
  1527
williamr@4
  1528
#include <boost/bind/bind_mf_cc.hpp>
williamr@4
  1529
williamr@4
  1530
#undef BOOST_BIND_MF_NAME
williamr@4
  1531
#undef BOOST_BIND_MF_CC
williamr@4
  1532
williamr@4
  1533
#endif
williamr@4
  1534
williamr@4
  1535
#ifdef BOOST_MEM_FN_ENABLE_FASTCALL
williamr@4
  1536
williamr@4
  1537
#define BOOST_BIND_MF_NAME(X) X##_fastcall
williamr@4
  1538
#define BOOST_BIND_MF_CC __fastcall
williamr@4
  1539
williamr@4
  1540
#include <boost/bind/bind_mf_cc.hpp>
williamr@4
  1541
williamr@4
  1542
#undef BOOST_BIND_MF_NAME
williamr@4
  1543
#undef BOOST_BIND_MF_CC
williamr@4
  1544
williamr@4
  1545
#endif
williamr@4
  1546
williamr@4
  1547
// data member pointers
williamr@4
  1548
williamr@4
  1549
#if defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) || defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING) \
williamr@4
  1550
    || ( defined(__BORLANDC__) && BOOST_WORKAROUND( __BORLANDC__, < 0x600 ) )
williamr@4
  1551
williamr@4
  1552
template<class R, class T, class A1>
williamr@4
  1553
_bi::bind_t< R, _mfi::dm<R, T>, typename _bi::list_av_1<A1>::type >
williamr@4
  1554
    BOOST_BIND(R T::*f, A1 a1)
williamr@4
  1555
{
williamr@4
  1556
    typedef _mfi::dm<R, T> F;
williamr@4
  1557
    typedef typename _bi::list_av_1<A1>::type list_type;
williamr@4
  1558
    return _bi::bind_t<R, F, list_type>( F(f), list_type(a1) );
williamr@4
  1559
}
williamr@2
  1560
williamr@2
  1561
#else
williamr@2
  1562
williamr@4
  1563
namespace _bi
williamr@4
  1564
{
williamr@2
  1565
williamr@4
  1566
template< class Pm, int I > struct add_cref;
williamr@2
  1567
williamr@4
  1568
template< class M, class T > struct add_cref< M T::*, 0 >
williamr@4
  1569
{
williamr@4
  1570
    typedef M type;
williamr@4
  1571
};
williamr@2
  1572
williamr@4
  1573
template< class M, class T > struct add_cref< M T::*, 1 >
williamr@4
  1574
{
williamr@4
  1575
    typedef M const & type;
williamr@4
  1576
};
williamr@2
  1577
williamr@4
  1578
template< class R, class T > struct add_cref< R (T::*) (), 1 >
williamr@2
  1579
{
williamr@4
  1580
    typedef void type;
williamr@2
  1581
};
williamr@4
  1582
williamr@4
  1583
#if !( defined(__IBMCPP__) && BOOST_WORKAROUND( __IBMCPP__, BOOST_TESTED_AT(600) ) )
williamr@4
  1584
williamr@4
  1585
template< class R, class T > struct add_cref< R (T::*) () const, 1 >
williamr@2
  1586
{
williamr@4
  1587
    typedef void type;
williamr@2
  1588
};
williamr@4
  1589
williamr@4
  1590
#endif // __IBMCPP__
williamr@4
  1591
williamr@4
  1592
template<class R> struct isref
williamr@4
  1593
{
williamr@4
  1594
    enum value_type { value = 0 };
williamr@4
  1595
};
williamr@4
  1596
williamr@4
  1597
template<class R> struct isref< R& >
williamr@4
  1598
{
williamr@4
  1599
    enum value_type { value = 1 };
williamr@4
  1600
};
williamr@4
  1601
williamr@4
  1602
template<class R> struct isref< R* >
williamr@4
  1603
{
williamr@4
  1604
    enum value_type { value = 1 };
williamr@4
  1605
};
williamr@4
  1606
williamr@4
  1607
template<class Pm, class A1> struct dm_result
williamr@4
  1608
{
williamr@4
  1609
    typedef typename add_cref< Pm, 1 >::type type;
williamr@4
  1610
};
williamr@4
  1611
williamr@4
  1612
template<class Pm, class R, class F, class L> struct dm_result< Pm, bind_t<R, F, L> >
williamr@4
  1613
{
williamr@4
  1614
    typedef typename bind_t<R, F, L>::result_type result_type;
williamr@4
  1615
    typedef typename add_cref< Pm, isref< result_type >::value >::type type;
williamr@4
  1616
};
williamr@4
  1617
williamr@4
  1618
} // namespace _bi
williamr@4
  1619
williamr@4
  1620
template< class A1, class M, class T >
williamr@4
  1621
williamr@4
  1622
_bi::bind_t<
williamr@4
  1623
    typename _bi::dm_result< M T::*, A1 >::type,
williamr@4
  1624
    _mfi::dm<M, T>,
williamr@4
  1625
    typename _bi::list_av_1<A1>::type
williamr@4
  1626
>
williamr@4
  1627
williamr@4
  1628
BOOST_BIND( M T::*f, A1 a1 )
williamr@4
  1629
{
williamr@4
  1630
    typedef typename _bi::dm_result< M T::*, A1 >::type result_type;
williamr@4
  1631
    typedef _mfi::dm<M, T> F;
williamr@4
  1632
    typedef typename _bi::list_av_1<A1>::type list_type;
williamr@4
  1633
    return _bi::bind_t< result_type, F, list_type >( F( f ), list_type( a1 ) );
williamr@4
  1634
}
williamr@4
  1635
williamr@2
  1636
#endif
williamr@2
  1637
williamr@4
  1638
} // namespace boost
williamr@2
  1639
williamr@4
  1640
#ifndef BOOST_BIND_NO_PLACEHOLDERS
williamr@2
  1641
williamr@4
  1642
# include <boost/bind/placeholders.hpp>
williamr@2
  1643
williamr@4
  1644
#endif
williamr@2
  1645
williamr@4
  1646
#ifdef BOOST_MSVC
williamr@4
  1647
# pragma warning(default: 4512) // assignment operator could not be generated
williamr@4
  1648
# pragma warning(pop)
williamr@4
  1649
#endif
williamr@2
  1650
williamr@4
  1651
#endif // #ifndef BOOST_BIND_HPP_INCLUDED