phx2_result_10.hpp 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276
  1. /*=============================================================================
  2. Copyright (c) 2011 Thomas Heller
  3. Distributed under the Boost Software License, Version 1.0. (See accompanying
  4. file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  5. ==============================================================================*/
  6. template <typename F, typename A0>
  7. struct has_phx2_result<F, A0>
  8. : mpl::eval_if<
  9. has_result_type<F>
  10. , mpl::false_
  11. , has_phx2_result_impl<typename F::template result<F(A0)> >
  12. >::type
  13. {};
  14. template <typename F, typename A0>
  15. struct phx2_result<F, A0>
  16. {
  17. typedef typename F::template result<A0>::type type;
  18. };
  19. template <typename F, typename A0>
  20. struct phx2_result<F, A0 &>
  21. {
  22. typedef typename F::template result<A0>::type type;
  23. };
  24. template <typename F, typename A0>
  25. struct phx2_result<F, A0 const&>
  26. {
  27. typedef typename F::template result<A0>::type type;
  28. };
  29. template <typename F, typename A0 , typename A1>
  30. struct has_phx2_result<F, A0 , A1>
  31. : mpl::eval_if<
  32. has_result_type<F>
  33. , mpl::false_
  34. , has_phx2_result_impl<typename F::template result<F(A0 , A1)> >
  35. >::type
  36. {};
  37. template <typename F, typename A0 , typename A1>
  38. struct phx2_result<F, A0 , A1>
  39. {
  40. typedef typename F::template result<A0 , A1>::type type;
  41. };
  42. template <typename F, typename A0 , typename A1>
  43. struct phx2_result<F, A0 & , A1 &>
  44. {
  45. typedef typename F::template result<A0 , A1>::type type;
  46. };
  47. template <typename F, typename A0 , typename A1>
  48. struct phx2_result<F, A0 const& , A1 const&>
  49. {
  50. typedef typename F::template result<A0 , A1>::type type;
  51. };
  52. template <typename F, typename A0 , typename A1 , typename A2>
  53. struct has_phx2_result<F, A0 , A1 , A2>
  54. : mpl::eval_if<
  55. has_result_type<F>
  56. , mpl::false_
  57. , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2)> >
  58. >::type
  59. {};
  60. template <typename F, typename A0 , typename A1 , typename A2>
  61. struct phx2_result<F, A0 , A1 , A2>
  62. {
  63. typedef typename F::template result<A0 , A1 , A2>::type type;
  64. };
  65. template <typename F, typename A0 , typename A1 , typename A2>
  66. struct phx2_result<F, A0 & , A1 & , A2 &>
  67. {
  68. typedef typename F::template result<A0 , A1 , A2>::type type;
  69. };
  70. template <typename F, typename A0 , typename A1 , typename A2>
  71. struct phx2_result<F, A0 const& , A1 const& , A2 const&>
  72. {
  73. typedef typename F::template result<A0 , A1 , A2>::type type;
  74. };
  75. template <typename F, typename A0 , typename A1 , typename A2 , typename A3>
  76. struct has_phx2_result<F, A0 , A1 , A2 , A3>
  77. : mpl::eval_if<
  78. has_result_type<F>
  79. , mpl::false_
  80. , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3)> >
  81. >::type
  82. {};
  83. template <typename F, typename A0 , typename A1 , typename A2 , typename A3>
  84. struct phx2_result<F, A0 , A1 , A2 , A3>
  85. {
  86. typedef typename F::template result<A0 , A1 , A2 , A3>::type type;
  87. };
  88. template <typename F, typename A0 , typename A1 , typename A2 , typename A3>
  89. struct phx2_result<F, A0 & , A1 & , A2 & , A3 &>
  90. {
  91. typedef typename F::template result<A0 , A1 , A2 , A3>::type type;
  92. };
  93. template <typename F, typename A0 , typename A1 , typename A2 , typename A3>
  94. struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const&>
  95. {
  96. typedef typename F::template result<A0 , A1 , A2 , A3>::type type;
  97. };
  98. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
  99. struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4>
  100. : mpl::eval_if<
  101. has_result_type<F>
  102. , mpl::false_
  103. , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4)> >
  104. >::type
  105. {};
  106. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
  107. struct phx2_result<F, A0 , A1 , A2 , A3 , A4>
  108. {
  109. typedef typename F::template result<A0 , A1 , A2 , A3 , A4>::type type;
  110. };
  111. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
  112. struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 &>
  113. {
  114. typedef typename F::template result<A0 , A1 , A2 , A3 , A4>::type type;
  115. };
  116. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
  117. struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const&>
  118. {
  119. typedef typename F::template result<A0 , A1 , A2 , A3 , A4>::type type;
  120. };
  121. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
  122. struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5>
  123. : mpl::eval_if<
  124. has_result_type<F>
  125. , mpl::false_
  126. , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5)> >
  127. >::type
  128. {};
  129. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
  130. struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5>
  131. {
  132. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5>::type type;
  133. };
  134. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
  135. struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 &>
  136. {
  137. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5>::type type;
  138. };
  139. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
  140. struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const&>
  141. {
  142. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5>::type type;
  143. };
  144. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
  145. struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6>
  146. : mpl::eval_if<
  147. has_result_type<F>
  148. , mpl::false_
  149. , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6)> >
  150. >::type
  151. {};
  152. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
  153. struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6>
  154. {
  155. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6>::type type;
  156. };
  157. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
  158. struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 &>
  159. {
  160. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6>::type type;
  161. };
  162. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
  163. struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const&>
  164. {
  165. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6>::type type;
  166. };
  167. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
  168. struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>
  169. : mpl::eval_if<
  170. has_result_type<F>
  171. , mpl::false_
  172. , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)> >
  173. >::type
  174. {};
  175. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
  176. struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>
  177. {
  178. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>::type type;
  179. };
  180. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
  181. struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 &>
  182. {
  183. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>::type type;
  184. };
  185. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
  186. struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const&>
  187. {
  188. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7>::type type;
  189. };
  190. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
  191. struct has_phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>
  192. : mpl::eval_if<
  193. has_result_type<F>
  194. , mpl::false_
  195. , has_phx2_result_impl<typename F::template result<F(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)> >
  196. >::type
  197. {};
  198. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
  199. struct phx2_result<F, A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>
  200. {
  201. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>::type type;
  202. };
  203. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
  204. struct phx2_result<F, A0 & , A1 & , A2 & , A3 & , A4 & , A5 & , A6 & , A7 & , A8 &>
  205. {
  206. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>::type type;
  207. };
  208. template <typename F, typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
  209. struct phx2_result<F, A0 const& , A1 const& , A2 const& , A3 const& , A4 const& , A5 const& , A6 const& , A7 const& , A8 const&>
  210. {
  211. typedef typename F::template result<A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8>::type type;
  212. };