poly_function_funop.hpp 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237
  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. }