Home Explore Help
Register Sign In
devn00b
/
EQ2EMu
9
3
Fork 0
Files Issues 76 Pull Requests 0 Wiki
Tree: 9d9a5ec294
Branches Tags
EQ2EMu
/
EQ2
/
source
/
depends
/
boost_1_72_0
/
libs
/
callable_traits
/
test
/
is_invocable_r.cpp

is_invocable_r.cpp 12 KB
History Raw

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328 
  1. /*
    2. 

  2. Copyright Barrett Adair 2016-2017
    3. 

  3. Distributed under the Boost Software License, Version 1.0.
    4. 

  4. (See accompanying file LICENSE.md or copy at http ://boost.org/LICENSE_1_0.txt)
    5. 

  5. */
    6. 

  6. 

  7. #include <type_traits>
    8. 

  8. #include <functional>
    9. 

  9. #include <utility>
    10. 

  10. #include <boost/callable_traits/is_invocable.hpp>
    11. 

  11. #include "test.hpp"
    12. 

  12. 

  13. #ifdef BOOST_CLBL_TRTS_GCC_OLDER_THAN_4_9_2
    14. 

  14. //gcc < 4.9 doesn't like the invoke_case pattern used here
    15. 

  15. int main(){}
    16. 

  16. #else
    17. 

  17. 

  18. template<typename T>
    19. 

  19. struct tag {
    20. 

  20.     using type = T;
    21. 

  21. };
    22. 

  22. 

  23. template<bool Expect, typename Ret, typename... Args>
    24. 

  24. struct invoke_case {
    25. 

  25.    template<typename Callable>
    26. 

  26.    void operator()(tag<Callable>) const {
    27. 

  27. 

  28. // when available, test parity with std implementation (c++2a breaks our expectations but we still match std impl)
    29. 

  29. #if defined(__cpp_lib_is_invocable) || __cplusplus >= 201707L
    30. 

  30.         CT_ASSERT((std::is_invocable_r<Ret, Callable, Args...>() == boost::callable_traits::is_invocable_r<Ret, Callable, Args...>()));
    31. 

  31. #else
    32. 

  32.         CT_ASSERT((Expect == boost::callable_traits::is_invocable_r<Ret, Callable, Args...>()));
    33. 

  33. #endif
    34. 

  34. 

  35.    }
    36. 

  36. };
    37. 

  37. 

  38. template<typename Callable, typename... InvokeCases>
    39. 

  39. void run_tests() {
    40. 

  40.     using ignored = int[];
    41. 

  41.     ignored x {(InvokeCases{}(tag<Callable>{}),0)..., 0};
    42. 

  42.     (void)x;
    43. 

  43. }
    44. 

  44. 

  45. struct foo {};
    46. 

  46. 

  47. int main() {
    48. 

  48. 

  49.     run_tests<void(foo::*)()
    50. 

  50.         ,invoke_case<true, void, foo>
    51. 

  51.         ,invoke_case<true, void, foo*>
    52. 

  52.         ,invoke_case<true, void, foo&>
    53. 

  53.         ,invoke_case<true, void, foo&&>
    54. 

  54.         ,invoke_case<true, void, std::reference_wrapper<foo>>
    55. 

  55.         ,invoke_case<false, int, foo>
    56. 

  56.         ,invoke_case<false, int, foo*>
    57. 

  57.         ,invoke_case<false, int, foo&>
    58. 

  58.         ,invoke_case<false, int, foo&&>
    59. 

  59.         ,invoke_case<false, int, std::reference_wrapper<foo>>
    60. 

  60.         ,invoke_case<false, void, foo const>
    61. 

  61.         ,invoke_case<false, void, foo const*>
    62. 

  62.         ,invoke_case<false, void, foo const&>
    63. 

  63.         ,invoke_case<false, void, foo const&&>
    64. 

  64.         ,invoke_case<false, void, std::reference_wrapper<foo const>>
    65. 

  65.         ,invoke_case<false, void, foo, int>
    66. 

  66.         ,invoke_case<false, void, foo*, int>
    67. 

  67.         ,invoke_case<false, void, foo&, int>
    68. 

  68.         ,invoke_case<false, void, foo&&, int>
    69. 

  69.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    70. 

  70.         ,invoke_case<false, int, foo const>
    71. 

  71.         ,invoke_case<false, int, foo const*>
    72. 

  72.         ,invoke_case<false, int, foo const&>
    73. 

  73.         ,invoke_case<false, int, foo const&&>
    74. 

  74.         ,invoke_case<false, int, std::reference_wrapper<foo const>>
    75. 

  75.         ,invoke_case<false, int, foo, int>
    76. 

  76.         ,invoke_case<false, int, foo*, int>
    77. 

  77.         ,invoke_case<false, int, foo&, int>
    78. 

  78.         ,invoke_case<false, int, foo&&, int>
    79. 

  79.         ,invoke_case<false, int, std::reference_wrapper<foo>, int>
    80. 

  80.     >();
    81. 

  81. 

  82.     run_tests<char(foo::*)()
    83. 

  83.         ,invoke_case<true, void, foo>
    84. 

  84.         ,invoke_case<true, void, foo*>
    85. 

  85.         ,invoke_case<true, void, foo&>
    86. 

  86.         ,invoke_case<true, void, foo&&>
    87. 

  87.         ,invoke_case<true, void, std::reference_wrapper<foo>>
    88. 

  88.         ,invoke_case<true, int, foo>
    89. 

  89.         ,invoke_case<true, int, foo*>
    90. 

  90.         ,invoke_case<true, int, foo&>
    91. 

  91.         ,invoke_case<true, int, foo&&>
    92. 

  92.         ,invoke_case<true, int, std::reference_wrapper<foo>>
    93. 

  93.     >();
    94. 

  94. 

  95.     run_tests<void(foo::*)() LREF
    96. 

  96.         ,invoke_case<false, void, foo>
    97. 

  97.         ,invoke_case<true, void, foo*>
    98. 

  98.         ,invoke_case<true, void, foo&>
    99. 

  99.         ,invoke_case<false, int, foo*>
    100. 

  100.         ,invoke_case<false, int, foo&>
    101. 

  101.         ,invoke_case<false, void, foo&&>
    102. 

  102.         ,invoke_case<true, void, std::reference_wrapper<foo>>
    103. 

  103.         ,invoke_case<false, int, std::reference_wrapper<foo>>
    104. 

  104.         ,invoke_case<false, void, foo const>
    105. 

  105.         ,invoke_case<false, void, foo const*>
    106. 

  106.         ,invoke_case<false, void, foo const&>
    107. 

  107.         ,invoke_case<false, void, foo const&&>
    108. 

  108.         ,invoke_case<false, void, std::reference_wrapper<foo const>>
    109. 

  109.         ,invoke_case<false, void, foo, int>
    110. 

  110.         ,invoke_case<false, void, foo*, int>
    111. 

  111.         ,invoke_case<false, void, foo&, int>
    112. 

  112.         ,invoke_case<false, void, foo&&, int>
    113. 

  113.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    114. 

  114.     >();
    115. 

  115. 

  116.     run_tests<void(foo::*)() RREF
    117. 

  117.         ,invoke_case<true, void, foo>
    118. 

  118.         ,invoke_case<false, int, foo>
    119. 

  119.         ,invoke_case<false, void, foo*>
    120. 

  120.         ,invoke_case<false, void, foo&>
    121. 

  121.         ,invoke_case<true, void, foo&&>
    122. 

  122.         ,invoke_case<false, int, foo&&>
    123. 

  123.         ,invoke_case<false, void, std::reference_wrapper<foo>>
    124. 

  124.         ,invoke_case<false, void, foo const>
    125. 

  125.         ,invoke_case<false, void, foo const*>
    126. 

  126.         ,invoke_case<false, void, foo const&>
    127. 

  127.         ,invoke_case<false, void, foo const&&>
    128. 

  128.         ,invoke_case<false, void, std::reference_wrapper<foo const>>
    129. 

  129.         ,invoke_case<false, void, foo, int>
    130. 

  130.         ,invoke_case<false, void, foo*, int>
    131. 

  131.         ,invoke_case<false, void, foo&, int>
    132. 

  132.         ,invoke_case<false, void, foo&&, int>
    133. 

  133.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    134. 

  134.     >();
    135. 

  135. 

  136.     run_tests<void(foo::*)() const
    137. 

  137.         ,invoke_case<true, void, foo>
    138. 

  138.         ,invoke_case<true, void, foo*>
    139. 

  139.         ,invoke_case<true, void, foo&>
    140. 

  140.         ,invoke_case<true, void, foo&&>
    141. 

  141.         ,invoke_case<true, void, std::reference_wrapper<foo>>
    142. 

  142.         ,invoke_case<true, void, foo const>
    143. 

  143.         ,invoke_case<true, void, foo const*>
    144. 

  144.         ,invoke_case<true, void, foo const&>
    145. 

  145.         ,invoke_case<true, void, foo const&&>
    146. 

  146.         ,invoke_case<true, void, std::reference_wrapper<foo const>>
    147. 

  147.         ,invoke_case<false, int, foo>
    148. 

  148.         ,invoke_case<false, int, foo*>
    149. 

  149.         ,invoke_case<false, int, foo&>
    150. 

  150.         ,invoke_case<false, int, foo&&>
    151. 

  151.         ,invoke_case<false, int, std::reference_wrapper<foo>>
    152. 

  152.         ,invoke_case<false, int, foo const>
    153. 

  153.         ,invoke_case<false, int, foo const*>
    154. 

  154.         ,invoke_case<false, int, foo const&>
    155. 

  155.         ,invoke_case<false, int, foo const&&>
    156. 

  156.         ,invoke_case<false, int, std::reference_wrapper<foo const>>
    157. 

  157.         ,invoke_case<false, void, foo, int>
    158. 

  158.         ,invoke_case<false, void, foo*, int>
    159. 

  159.         ,invoke_case<false, void, foo&, int>
    160. 

  160.         ,invoke_case<false, void, foo&&, int>
    161. 

  161.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    162. 

  162.     >();
    163. 

  163. 

  164. // MSVC doesn't handle cv + ref qualifiers in expression sfinae correctly
    165. 

  165. #ifndef BOOST_CLBL_TRTS_MSVC
    166. 

  166. 

  167.     run_tests<void(foo::*)() const LREF
    168. 

  168.         ,invoke_case<false, void, foo>
    169. 

  169.         ,invoke_case<true, void, foo*>
    170. 

  170.         ,invoke_case<true, void, foo&>
    171. 

  171.         ,invoke_case<false, int, foo*>
    172. 

  172.         ,invoke_case<false, int, foo&>
    173. 

  173.         ,invoke_case<false, void, foo&&>
    174. 

  174.         ,invoke_case<true, void, std::reference_wrapper<foo>>
    175. 

  175.         ,invoke_case<false, int, std::reference_wrapper<foo>>
    176. 

  176.         ,invoke_case<false, void, foo const>
    177. 

  177.         ,invoke_case<true, void, foo const*>
    178. 

  178.         ,invoke_case<true, void, foo const&>
    179. 

  179.         ,invoke_case<false, int, foo const*>
    180. 

  180.         ,invoke_case<false, int, foo const&>
    181. 

  181.         ,invoke_case<false, void, foo const&&>
    182. 

  182.         ,invoke_case<true, void, std::reference_wrapper<foo const>>
    183. 

  183.         ,invoke_case<false, int, std::reference_wrapper<foo const>>
    184. 

  184.         ,invoke_case<false, void, foo, int>
    185. 

  185.         ,invoke_case<false, void, foo*, int>
    186. 

  186.         ,invoke_case<false, void, foo&, int>
    187. 

  187.         ,invoke_case<false, void, foo&&, int>
    188. 

  188.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    189. 

  189.     >();
    190. 

  190. 

  191.     run_tests<void(foo::*)() const RREF
    192. 

  192.         ,invoke_case<true, void, foo>
    193. 

  193.         ,invoke_case<false, int, foo>
    194. 

  194.         ,invoke_case<false, void, foo*>
    195. 

  195.         ,invoke_case<false, void, foo&>
    196. 

  196.         ,invoke_case<true, void, foo&&>
    197. 

  197.         ,invoke_case<false, int, foo&&>
    198. 

  198.         ,invoke_case<false, void, std::reference_wrapper<foo>>
    199. 

  199.         ,invoke_case<true, void, foo const>
    200. 

  200.         ,invoke_case<false, int, foo const>
    201. 

  201.         ,invoke_case<false, void, foo const*>
    202. 

  202.         ,invoke_case<false, void, foo const&>
    203. 

  203.         ,invoke_case<true, void, foo const&&>
    204. 

  204.         ,invoke_case<false, int, foo const&&>
    205. 

  205.         ,invoke_case<false, void, std::reference_wrapper<foo const>>
    206. 

  206.         ,invoke_case<false, void, foo, int>
    207. 

  207.         ,invoke_case<false, void, foo*, int>
    208. 

  208.         ,invoke_case<false, void, foo&, int>
    209. 

  209.         ,invoke_case<false, void, foo&&, int>
    210. 

  210.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    211. 

  211.     >();
    212. 

  212. 

  213. #endif // #ifndef BOOST_CLBL_TRTS_MSVC
    214. 

  214. 

  215.     run_tests<int
    216. 

  216.         ,invoke_case<false, void, foo>
    217. 

  217.         ,invoke_case<false, void, foo*>
    218. 

  218.         ,invoke_case<false, void, foo&>
    219. 

  219.         ,invoke_case<false, void, foo&&>
    220. 

  220.         ,invoke_case<false, void, std::reference_wrapper<foo>>
    221. 

  221.         ,invoke_case<false, void, foo const>
    222. 

  222.         ,invoke_case<false, void, foo const*>
    223. 

  223.         ,invoke_case<false, void, foo const&>
    224. 

  224.         ,invoke_case<false, void, foo const&&>
    225. 

  225.         ,invoke_case<false, void, std::reference_wrapper<foo const>>
    226. 

  226.         ,invoke_case<false, void, foo, int>
    227. 

  227.         ,invoke_case<false, void, foo*, int>
    228. 

  228.         ,invoke_case<false, void, foo&, int>
    229. 

  229.         ,invoke_case<false, void, foo&&, int>
    230. 

  230.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    231. 

  231.     >();
    232. 

  232. 

  233.     auto f = [](int){};
    234. 

  234. 

  235.     run_tests<decltype(f)
    236. 

  236.         ,invoke_case<true, void, int>
    237. 

  237.         ,invoke_case<true, void, char>
    238. 

  238.         ,invoke_case<false, int, int>
    239. 

  239.         ,invoke_case<false, int, char>
    240. 

  240.         ,invoke_case<false, void, void*>
    241. 

  241.     >();
    242. 

  242. 

  243.     auto g = [](){};
    244. 

  244. 

  245.     run_tests<decltype(g)
    246. 

  246.         ,invoke_case<true, void>
    247. 

  247.         ,invoke_case<true, void>
    248. 

  248.         ,invoke_case<false, void, int>
    249. 

  249.         ,invoke_case<false, void, char>
    250. 

  250.         ,invoke_case<false, int, int>
    251. 

  251.         ,invoke_case<false, int, char>
    252. 

  252.         ,invoke_case<false, void, void*>
    253. 

  253.     >();
    254. 

  254. 

  255. // libc++ requires constructible types be passed to std::is_invocable
    256. 

  256. #ifndef  _LIBCPP_VERSION
    257. 

  257. 

  258.     run_tests<void(int)
    259. 

  259.         ,invoke_case<true, void, int>
    260. 

  260.         ,invoke_case<true, void, char>
    261. 

  261.         ,invoke_case<false, int, int>
    262. 

  262.         ,invoke_case<false, int, char>
    263. 

  263.         ,invoke_case<false, void, void*>
    264. 

  264.     >();
    265. 

  265. 

  266.     run_tests<void()
    267. 

  267.         ,invoke_case<false, void, int>
    268. 

  268.         ,invoke_case<false, void, char>
    269. 

  269.         ,invoke_case<false, void, void*>
    270. 

  270.     >();
    271. 

  271. 

  272.     run_tests<void
    273. 

  273.         ,invoke_case<false, void, foo>
    274. 

  274.         ,invoke_case<false, void, foo*>
    275. 

  275.         ,invoke_case<false, void, foo&>
    276. 

  276.         ,invoke_case<false, void, foo&&>
    277. 

  277.         ,invoke_case<false, void, std::reference_wrapper<foo>>
    278. 

  278.         ,invoke_case<false, void, foo const>
    279. 

  279.         ,invoke_case<false, void, foo const*>
    280. 

  280.         ,invoke_case<false, void, foo const&>
    281. 

  281.         ,invoke_case<false, void, foo const&&>
    282. 

  282.         ,invoke_case<false, void, std::reference_wrapper<foo const>>
    283. 

  283.         ,invoke_case<false, void, foo, int>
    284. 

  284.         ,invoke_case<false, void, foo*, int>
    285. 

  285.         ,invoke_case<false, void, foo&, int>
    286. 

  286.         ,invoke_case<false, void, foo&&, int>
    287. 

  287.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    288. 

  288.     >();
    289. 

  289. #endif
    290. 

  290. 

  291.     run_tests<int
    292. 

  292.         ,invoke_case<false, void, foo>
    293. 

  293.         ,invoke_case<false, void, foo*>
    294. 

  294.         ,invoke_case<false, void, foo&>
    295. 

  295.         ,invoke_case<false, void, foo&&>
    296. 

  296.         ,invoke_case<false, void, std::reference_wrapper<foo>>
    297. 

  297.         ,invoke_case<false, void, foo const>
    298. 

  298.         ,invoke_case<false, void, foo const*>
    299. 

  299.         ,invoke_case<false, void, foo const&>
    300. 

  300.         ,invoke_case<false, void, foo const&&>
    301. 

  301.         ,invoke_case<false, void, std::reference_wrapper<foo const>>
    302. 

  302.         ,invoke_case<false, void, foo, int>
    303. 

  303.         ,invoke_case<false, void, foo*, int>
    304. 

  304.         ,invoke_case<false, void, foo&, int>
    305. 

  305.         ,invoke_case<false, void, foo&&, int>
    306. 

  306.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    307. 

  307.     >();
    308. 

  308. 

  309.     run_tests<void*
    310. 

  310.         ,invoke_case<false, void, foo>
    311. 

  311.         ,invoke_case<false, void, foo*>
    312. 

  312.         ,invoke_case<false, void, foo&>
    313. 

  313.         ,invoke_case<false, void, foo&&>
    314. 

  314.         ,invoke_case<false, void, std::reference_wrapper<foo>>
    315. 

  315.         ,invoke_case<false, void, foo const>
    316. 

  316.         ,invoke_case<false, void, foo const*>
    317. 

  317.         ,invoke_case<false, void, foo const&>
    318. 

  318.         ,invoke_case<false, void, foo const&&>
    319. 

  319.         ,invoke_case<false, void, std::reference_wrapper<foo const>>
    320. 

  320.         ,invoke_case<false, void, foo, int>
    321. 

  321.         ,invoke_case<false, void, foo*, int>
    322. 

  322.         ,invoke_case<false, void, foo&, int>
    323. 

  323.         ,invoke_case<false, void, foo&&, int>
    324. 

  324.         ,invoke_case<false, void, std::reference_wrapper<foo>, int>
    325. 

  325.     >();
    326. 

  326. }
    327. 

  327. 

  328. #endif //#ifdef BOOST_CLBL_TRTS_GCC_OLDER_THAN_4_9_2
    329.