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 
operator ()()17     result_type operator()()
18     {
19         list0 a;
20         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
21     }
22 
operator ()() const23     result_type operator()() const
24     {
25         list0 a;
26         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
27     }
28 
operator ()(A1 & a1)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 
operator ()(A1 & a1) const35     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 
operator ()(A1 const & a1)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 
operator ()(A1 const & a1) const50     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 
operator ()(A1 & a1,A2 & a2)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 
operator ()(A1 & a1,A2 & a2) const64     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 
operator ()(A1 const & a1,A2 & a2)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 
operator ()(A1 const & a1,A2 & a2) const79     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 
operator ()(A1 & a1,A2 const & a2)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 
operator ()(A1 & a1,A2 const & a2) const92     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 
operator ()(A1 const & a1,A2 const & a2)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 
operator ()(A1 const & a1,A2 const & a2) const105     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 
operator ()(A1 & a1,A2 & a2,A3 & a3)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 
operator ()(A1 & a1,A2 & a2,A3 & a3) const119     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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3)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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3) const134     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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4)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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4) const148     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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3,A4 const & a4)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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3,A4 const & a4) const163     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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5)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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5) const177     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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3,A4 const & a4,A5 const & a5)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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3,A4 const & a4,A5 const & a5) const192     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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5,A6 & a6)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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5,A6 & a6) const206     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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3,A4 const & a4,A5 const & a5,A6 const & a6)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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3,A4 const & a4,A5 const & a5,A6 const & a6) const221     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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5,A6 & a6,A7 & a7)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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5,A6 & a6,A7 & a7) const235     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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3,A4 const & a4,A5 const & a5,A6 const & a6,A7 const & a7)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 
operator ()(A1 const & a1,A2 const & a2,A3 const & a3,A4 const & a4,A5 const & a5,A6 const & a6,A7 const & a7) const250     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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5,A6 & a6,A7 & a7,A8 & a8)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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5,A6 & a6,A7 & a7,A8 & a8) const264     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 
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)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 
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) const279     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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5,A6 & a6,A7 & a7,A8 & a8,A9 & a9)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 
operator ()(A1 & a1,A2 & a2,A3 & a3,A4 & a4,A5 & a5,A6 & a6,A7 & a7,A8 & a8,A9 & a9) const293     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 
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)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 
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) const308     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 
eval(A & a)316     template<class A> result_type eval(A & a)
317     {
318         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
319     }
320 
eval(A & a) const321     template<class A> result_type eval(A & a) const
322     {
323         BOOST_BIND_RETURN l_(type<result_type>(), f_, a, 0);
324     }
325 
accept(V & v) const326     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 
compare(this_type const & rhs) const337     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_;
346