1 ///////////////////////////////////////////////////////////////////////////////
2 // poly_function_funop.hpp
3 // Contains overloads of poly_function\<\>::operator()
4 //
5 // Copyright 2008 Eric Niebler. Distributed under the Boost
6 // Software License, Version 1.0. (See accompanying file
7 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
8 template<typename This , typename A0>
9 struct result<This(A0)>
10 : Derived::template impl<
11 typename normalize_arg<A0 >::type
12 >
13 {
14 typedef typename result::result_type type;
15 };
16 template<typename A0>
17 typename result<
18 Derived const(
19 A0 const &
20 )
21 >::type
22 operator ()(A0 const &a0) const
23 {
24 result<
25 Derived const(
26 A0 const &
27 )
28 > impl;
29 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0));
30 }
31 template<typename This , typename A0 , typename A1>
32 struct result<This(A0 , A1)>
33 : Derived::template impl<
34 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type
35 >
36 {
37 typedef typename result::result_type type;
38 };
39 template<typename A0 , typename A1>
40 typename result<
41 Derived const(
42 A0 const & , A1 const &
43 )
44 >::type
45 operator ()(A0 const &a0 , A1 const &a1) const
46 {
47 result<
48 Derived const(
49 A0 const & , A1 const &
50 )
51 > impl;
52 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1));
53 }
54 template<typename This , typename A0 , typename A1 , typename A2>
55 struct result<This(A0 , A1 , A2)>
56 : Derived::template impl<
57 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type , typename normalize_arg<A2 >::type
58 >
59 {
60 typedef typename result::result_type type;
61 };
62 template<typename A0 , typename A1 , typename A2>
63 typename result<
64 Derived const(
65 A0 const & , A1 const & , A2 const &
66 )
67 >::type
68 operator ()(A0 const &a0 , A1 const &a1 , A2 const &a2) const
69 {
70 result<
71 Derived const(
72 A0 const & , A1 const & , A2 const &
73 )
74 > impl;
75 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1) , static_cast<typename normalize_arg<A2 const &> ::reference>(a2));
76 }
77 template<typename This , typename A0 , typename A1 , typename A2 , typename A3>
78 struct result<This(A0 , A1 , A2 , A3)>
79 : Derived::template impl<
80 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type , typename normalize_arg<A2 >::type , typename normalize_arg<A3 >::type
81 >
82 {
83 typedef typename result::result_type type;
84 };
85 template<typename A0 , typename A1 , typename A2 , typename A3>
86 typename result<
87 Derived const(
88 A0 const & , A1 const & , A2 const & , A3 const &
89 )
90 >::type
91 operator ()(A0 const &a0 , A1 const &a1 , A2 const &a2 , A3 const &a3) const
92 {
93 result<
94 Derived const(
95 A0 const & , A1 const & , A2 const & , A3 const &
96 )
97 > impl;
98 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1) , static_cast<typename normalize_arg<A2 const &> ::reference>(a2) , static_cast<typename normalize_arg<A3 const &> ::reference>(a3));
99 }
100 template<typename This , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
101 struct result<This(A0 , A1 , A2 , A3 , A4)>
102 : Derived::template impl<
103 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type , typename normalize_arg<A2 >::type , typename normalize_arg<A3 >::type , typename normalize_arg<A4 >::type
104 >
105 {
106 typedef typename result::result_type type;
107 };
108 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
109 typename result<
110 Derived const(
111 A0 const & , A1 const & , A2 const & , A3 const & , A4 const &
112 )
113 >::type
114 operator ()(A0 const &a0 , A1 const &a1 , A2 const &a2 , A3 const &a3 , A4 const &a4) const
115 {
116 result<
117 Derived const(
118 A0 const & , A1 const & , A2 const & , A3 const & , A4 const &
119 )
120 > impl;
121 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1) , static_cast<typename normalize_arg<A2 const &> ::reference>(a2) , static_cast<typename normalize_arg<A3 const &> ::reference>(a3) , static_cast<typename normalize_arg<A4 const &> ::reference>(a4));
122 }
123 template<typename This , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
124 struct result<This(A0 , A1 , A2 , A3 , A4 , A5)>
125 : Derived::template impl<
126 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type , typename normalize_arg<A2 >::type , typename normalize_arg<A3 >::type , typename normalize_arg<A4 >::type , typename normalize_arg<A5 >::type
127 >
128 {
129 typedef typename result::result_type type;
130 };
131 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
132 typename result<
133 Derived const(
134 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const &
135 )
136 >::type
137 operator ()(A0 const &a0 , A1 const &a1 , A2 const &a2 , A3 const &a3 , A4 const &a4 , A5 const &a5) const
138 {
139 result<
140 Derived const(
141 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const &
142 )
143 > impl;
144 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1) , static_cast<typename normalize_arg<A2 const &> ::reference>(a2) , static_cast<typename normalize_arg<A3 const &> ::reference>(a3) , static_cast<typename normalize_arg<A4 const &> ::reference>(a4) , static_cast<typename normalize_arg<A5 const &> ::reference>(a5));
145 }
146 template<typename This , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
147 struct result<This(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
148 : Derived::template impl<
149 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type , typename normalize_arg<A2 >::type , typename normalize_arg<A3 >::type , typename normalize_arg<A4 >::type , typename normalize_arg<A5 >::type , typename normalize_arg<A6 >::type
150 >
151 {
152 typedef typename result::result_type type;
153 };
154 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
155 typename result<
156 Derived const(
157 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const & , A6 const &
158 )
159 >::type
160 operator ()(A0 const &a0 , A1 const &a1 , A2 const &a2 , A3 const &a3 , A4 const &a4 , A5 const &a5 , A6 const &a6) const
161 {
162 result<
163 Derived const(
164 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const & , A6 const &
165 )
166 > impl;
167 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1) , static_cast<typename normalize_arg<A2 const &> ::reference>(a2) , static_cast<typename normalize_arg<A3 const &> ::reference>(a3) , static_cast<typename normalize_arg<A4 const &> ::reference>(a4) , static_cast<typename normalize_arg<A5 const &> ::reference>(a5) , static_cast<typename normalize_arg<A6 const &> ::reference>(a6));
168 }
169 template<typename This , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
170 struct result<This(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
171 : Derived::template impl<
172 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type , typename normalize_arg<A2 >::type , typename normalize_arg<A3 >::type , typename normalize_arg<A4 >::type , typename normalize_arg<A5 >::type , typename normalize_arg<A6 >::type , typename normalize_arg<A7 >::type
173 >
174 {
175 typedef typename result::result_type type;
176 };
177 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
178 typename result<
179 Derived const(
180 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const & , A6 const & , A7 const &
181 )
182 >::type
183 operator ()(A0 const &a0 , A1 const &a1 , A2 const &a2 , A3 const &a3 , A4 const &a4 , A5 const &a5 , A6 const &a6 , A7 const &a7) const
184 {
185 result<
186 Derived const(
187 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const & , A6 const & , A7 const &
188 )
189 > impl;
190 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1) , static_cast<typename normalize_arg<A2 const &> ::reference>(a2) , static_cast<typename normalize_arg<A3 const &> ::reference>(a3) , static_cast<typename normalize_arg<A4 const &> ::reference>(a4) , static_cast<typename normalize_arg<A5 const &> ::reference>(a5) , static_cast<typename normalize_arg<A6 const &> ::reference>(a6) , static_cast<typename normalize_arg<A7 const &> ::reference>(a7));
191 }
192 template<typename This , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
193 struct result<This(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
194 : Derived::template impl<
195 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type , typename normalize_arg<A2 >::type , typename normalize_arg<A3 >::type , typename normalize_arg<A4 >::type , typename normalize_arg<A5 >::type , typename normalize_arg<A6 >::type , typename normalize_arg<A7 >::type , typename normalize_arg<A8 >::type
196 >
197 {
198 typedef typename result::result_type type;
199 };
200 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
201 typename result<
202 Derived const(
203 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const & , A6 const & , A7 const & , A8 const &
204 )
205 >::type
206 operator ()(A0 const &a0 , 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
207 {
208 result<
209 Derived const(
210 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const & , A6 const & , A7 const & , A8 const &
211 )
212 > impl;
213 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1) , static_cast<typename normalize_arg<A2 const &> ::reference>(a2) , static_cast<typename normalize_arg<A3 const &> ::reference>(a3) , static_cast<typename normalize_arg<A4 const &> ::reference>(a4) , static_cast<typename normalize_arg<A5 const &> ::reference>(a5) , static_cast<typename normalize_arg<A6 const &> ::reference>(a6) , static_cast<typename normalize_arg<A7 const &> ::reference>(a7) , static_cast<typename normalize_arg<A8 const &> ::reference>(a8));
214 }
215 template<typename This , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
216 struct result<This(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
217 : Derived::template impl<
218 typename normalize_arg<A0 >::type , typename normalize_arg<A1 >::type , typename normalize_arg<A2 >::type , typename normalize_arg<A3 >::type , typename normalize_arg<A4 >::type , typename normalize_arg<A5 >::type , typename normalize_arg<A6 >::type , typename normalize_arg<A7 >::type , typename normalize_arg<A8 >::type , typename normalize_arg<A9 >::type
219 >
220 {
221 typedef typename result::result_type type;
222 };
223 template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
224 typename result<
225 Derived const(
226 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const & , A6 const & , A7 const & , A8 const & , A9 const &
227 )
228 >::type
229 operator ()(A0 const &a0 , 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
230 {
231 result<
232 Derived const(
233 A0 const & , A1 const & , A2 const & , A3 const & , A4 const & , A5 const & , A6 const & , A7 const & , A8 const & , A9 const &
234 )
235 > impl;
236 return impl(static_cast<typename normalize_arg<A0 const &> ::reference>(a0) , static_cast<typename normalize_arg<A1 const &> ::reference>(a1) , static_cast<typename normalize_arg<A2 const &> ::reference>(a2) , static_cast<typename normalize_arg<A3 const &> ::reference>(a3) , static_cast<typename normalize_arg<A4 const &> ::reference>(a4) , static_cast<typename normalize_arg<A5 const &> ::reference>(a5) , static_cast<typename normalize_arg<A6 const &> ::reference>(a6) , static_cast<typename normalize_arg<A7 const &> ::reference>(a7) , static_cast<typename normalize_arg<A8 const &> ::reference>(a8) , static_cast<typename normalize_arg<A9 const &> ::reference>(a9));
237 }
238