func_ctor_pass.cpp 9.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378
  1. //===----------------------------------------------------------------------===//
  2. //
  3. // The LLVM Compiler Infrastructure
  4. //
  5. // This file is dual licensed under the MIT and the University of Illinois Open
  6. // Source Licenses. See LICENSE.TXT for details.
  7. //
  8. //===----------------------------------------------------------------------===//
  9. // Copyright (C) 2011 Vicente J. Botet Escriba
  10. //
  11. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  12. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  13. // <boost/thread/future.hpp>
  14. // class packaged_task<R>
  15. // template <class F>
  16. // explicit packaged_task(F&& f);
  17. #define BOOST_THREAD_VERSION 4
  18. #include <boost/thread/future.hpp>
  19. #include <boost/detail/lightweight_test.hpp>
  20. #if BOOST_THREAD_VERSION == 4
  21. #define BOOST_THREAD_DETAIL_SIGNATURE double()
  22. #define BOOST_THREAD_DETAIL_VOID_SIGNATURE void()
  23. #else
  24. #define BOOST_THREAD_DETAIL_SIGNATURE double
  25. #define BOOST_THREAD_DETAIL_VOID_SIGNATURE void
  26. #endif
  27. #if defined BOOST_THREAD_PROVIDES_SIGNATURE_PACKAGED_TASK
  28. #if defined(BOOST_THREAD_PROVIDES_VARIADIC_THREAD)
  29. #define BOOST_THREAD_DETAIL_SIGNATURE_2 double(int, char)
  30. #define BOOST_THREAD_DETAIL_SIGNATURE_2_RES 5 + 3 +'a'
  31. #define BOOST_THREAD_DETAIL_VOID_SIGNATURE_2 void(int)
  32. #else
  33. #define BOOST_THREAD_DETAIL_SIGNATURE_2 double()
  34. #define BOOST_THREAD_DETAIL_SIGNATURE_2_RES 5
  35. #define BOOST_THREAD_DETAIL_VOID_SIGNATURE_2 void()
  36. #endif
  37. #else
  38. #define BOOST_THREAD_DETAIL_SIGNATURE_2 double
  39. #define BOOST_THREAD_DETAIL_SIGNATURE_2_RES 5
  40. #define BOOST_THREAD_DETAIL_VOID_SIGNATURE_2 void
  41. #endif
  42. void void_fct()
  43. {
  44. return;
  45. }
  46. double fct()
  47. {
  48. return 5.0;
  49. }
  50. long lfct()
  51. {
  52. return 5;
  53. }
  54. class A
  55. {
  56. public:
  57. long data_;
  58. static int n_moves;
  59. static int n_copies;
  60. BOOST_THREAD_COPYABLE_AND_MOVABLE(A)
  61. static void reset()
  62. {
  63. n_moves=0;
  64. n_copies=0;
  65. }
  66. explicit A(long i) : data_(i)
  67. {
  68. }
  69. A(BOOST_THREAD_RV_REF(A) a) : data_(BOOST_THREAD_RV(a).data_)
  70. {
  71. BOOST_THREAD_RV(a).data_ = -1;
  72. ++n_moves;
  73. }
  74. A& operator=(BOOST_THREAD_RV_REF(A) a)
  75. {
  76. data_ = BOOST_THREAD_RV(a).data_;
  77. BOOST_THREAD_RV(a).data_ = -1;
  78. ++n_moves;
  79. return *this;
  80. }
  81. A(const A& a) : data_(a.data_)
  82. {
  83. ++n_copies;
  84. }
  85. A& operator=(BOOST_THREAD_COPY_ASSIGN_REF(A) a)
  86. {
  87. data_ = a.data_;
  88. ++n_copies;
  89. return *this;
  90. }
  91. ~A()
  92. {
  93. }
  94. void operator()(int) const
  95. { }
  96. long operator()() const
  97. { return data_;}
  98. long operator()(long i, long j) const
  99. { return data_ + i + j;}
  100. };
  101. int A::n_moves = 0;
  102. int A::n_copies = 0;
  103. class M
  104. {
  105. public:
  106. long data_;
  107. static int n_moves;
  108. BOOST_THREAD_MOVABLE_ONLY(M)
  109. static void reset() {
  110. n_moves=0;
  111. }
  112. explicit M(long i) : data_(i)
  113. {
  114. }
  115. M(BOOST_THREAD_RV_REF(M) a) : data_(BOOST_THREAD_RV(a).data_)
  116. {
  117. BOOST_THREAD_RV(a).data_ = -1;
  118. ++n_moves;
  119. }
  120. M& operator=(BOOST_THREAD_RV_REF(M) a)
  121. {
  122. data_ = BOOST_THREAD_RV(a).data_;
  123. BOOST_THREAD_RV(a).data_ = -1;
  124. ++n_moves;
  125. return *this;
  126. }
  127. ~M()
  128. {
  129. }
  130. void operator()(int) const
  131. { }
  132. long operator()() const
  133. { return data_;}
  134. long operator()(long i, long j) const
  135. { return data_ + i + j;}
  136. };
  137. int M::n_moves = 0;
  138. class C
  139. {
  140. public:
  141. long data_;
  142. static int n_copies;
  143. static void reset()
  144. {
  145. n_copies=0;
  146. }
  147. explicit C(long i) : data_(i)
  148. {
  149. }
  150. C(const C& a) : data_(a.data_)
  151. {
  152. ++n_copies;
  153. }
  154. C& operator=(C const& a)
  155. {
  156. data_ = a.data_;
  157. ++n_copies;
  158. return *this;
  159. }
  160. ~C()
  161. {
  162. }
  163. void operator()(int) const
  164. { }
  165. long operator()() const
  166. { return data_;}
  167. long operator()(long i, long j) const
  168. { return data_ + i + j;}
  169. };
  170. int C::n_copies = 0;
  171. int main()
  172. {
  173. {
  174. A::reset();
  175. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE_2> p(BOOST_THREAD_MAKE_RV_REF(A(5)));
  176. BOOST_TEST(p.valid());
  177. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  178. #if defined BOOST_THREAD_PROVIDES_SIGNATURE_PACKAGED_TASK && defined(BOOST_THREAD_PROVIDES_VARIADIC_THREAD)
  179. p(3, 'a');
  180. #else
  181. p();
  182. #endif
  183. BOOST_TEST(f.get() == BOOST_THREAD_DETAIL_SIGNATURE_2_RES);
  184. BOOST_TEST(A::n_copies == 0);
  185. BOOST_TEST_EQ(A::n_moves, 1);
  186. }
  187. {
  188. A::reset();
  189. A a(5);
  190. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE> p(a);
  191. BOOST_TEST(p.valid());
  192. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  193. //p(3, 'a');
  194. p();
  195. BOOST_TEST(f.get() == 5.0);
  196. BOOST_TEST_EQ(A::n_copies, 1);
  197. BOOST_TEST_EQ(A::n_moves, 0);
  198. }
  199. {
  200. A::reset();
  201. const A a(5);
  202. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE> p(a);
  203. BOOST_TEST(p.valid());
  204. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  205. //p(3, 'a');
  206. p();
  207. BOOST_TEST(f.get() == 5.0);
  208. BOOST_TEST_EQ(A::n_copies, 1);
  209. BOOST_TEST_EQ(A::n_moves, 0);
  210. }
  211. #if defined BOOST_THREAD_PROVIDES_SIGNATURE_PACKAGED_TASK && defined(BOOST_THREAD_PROVIDES_VARIADIC_THREAD)
  212. {
  213. A::reset();
  214. boost::packaged_task<BOOST_THREAD_DETAIL_VOID_SIGNATURE_2> p(BOOST_THREAD_MAKE_RV_REF(A(5)));
  215. BOOST_TEST(p.valid());
  216. boost::future<void> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  217. p(1);
  218. BOOST_TEST(A::n_copies == 0);
  219. BOOST_TEST_EQ(A::n_moves, 1);
  220. }
  221. {
  222. A::reset();
  223. A a(5);
  224. boost::packaged_task<BOOST_THREAD_DETAIL_VOID_SIGNATURE_2> p(a);
  225. BOOST_TEST(p.valid());
  226. boost::future<void> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  227. p(1);
  228. BOOST_TEST_EQ(A::n_copies, 1);
  229. BOOST_TEST_EQ(A::n_moves, 0);
  230. }
  231. {
  232. A::reset();
  233. const A a(5);
  234. boost::packaged_task<BOOST_THREAD_DETAIL_VOID_SIGNATURE_2> p(a);
  235. BOOST_TEST(p.valid());
  236. boost::future<void> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  237. p(1);
  238. BOOST_TEST_EQ(A::n_copies, 1);
  239. BOOST_TEST_EQ(A::n_moves, 0);
  240. }
  241. #endif
  242. {
  243. M::reset();
  244. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE_2> p(BOOST_THREAD_MAKE_RV_REF(M(5)));
  245. BOOST_TEST(p.valid());
  246. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  247. #if defined BOOST_THREAD_PROVIDES_SIGNATURE_PACKAGED_TASK && defined(BOOST_THREAD_PROVIDES_VARIADIC_THREAD)
  248. p(3, 'a');
  249. #else
  250. p();
  251. #endif
  252. BOOST_TEST(f.get() == BOOST_THREAD_DETAIL_SIGNATURE_2_RES);
  253. BOOST_TEST_EQ(M::n_moves, 1);
  254. }
  255. {
  256. M::reset();
  257. M a(5);
  258. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE> p(boost::move(a));
  259. BOOST_TEST(p.valid());
  260. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  261. //p(3, 'a');
  262. p();
  263. BOOST_TEST(f.get() == 5.0);
  264. BOOST_TEST_EQ(M::n_moves, 1);
  265. }
  266. #if defined BOOST_THREAD_PROVIDES_SIGNATURE_PACKAGED_TASK && defined(BOOST_THREAD_PROVIDES_VARIADIC_THREAD)
  267. {
  268. M::reset();
  269. boost::packaged_task<BOOST_THREAD_DETAIL_VOID_SIGNATURE_2> p(BOOST_THREAD_MAKE_RV_REF(M(5)));
  270. BOOST_TEST(p.valid());
  271. boost::future<void> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  272. p(1);
  273. BOOST_TEST_EQ(M::n_moves, 1);
  274. }
  275. {
  276. M::reset();
  277. M a(5);
  278. boost::packaged_task<BOOST_THREAD_DETAIL_VOID_SIGNATURE_2> p(boost::move(a));
  279. BOOST_TEST(p.valid());
  280. boost::future<void> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  281. p(1);
  282. BOOST_TEST_EQ(M::n_moves, 1);
  283. }
  284. #endif
  285. {
  286. C::reset();
  287. C a(5);
  288. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE> p(a);
  289. BOOST_TEST(p.valid());
  290. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  291. //p(3, 'a');
  292. p();
  293. BOOST_TEST(f.get() == 5.0);
  294. BOOST_TEST_EQ(C::n_copies, 1);
  295. }
  296. {
  297. C::reset();
  298. const C a(5);
  299. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE> p(a);
  300. BOOST_TEST(p.valid());
  301. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  302. //p(3, 'a');
  303. p();
  304. BOOST_TEST(f.get() == 5.0);
  305. BOOST_TEST_EQ(C::n_copies, 1);
  306. }
  307. #if defined BOOST_THREAD_PROVIDES_SIGNATURE_PACKAGED_TASK && defined(BOOST_THREAD_PROVIDES_VARIADIC_THREAD)
  308. {
  309. C::reset();
  310. C a(5);
  311. boost::packaged_task<BOOST_THREAD_DETAIL_VOID_SIGNATURE_2> p(a);
  312. BOOST_TEST(p.valid());
  313. boost::future<void> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  314. p(1);
  315. BOOST_TEST_EQ(C::n_copies, 1);
  316. }
  317. {
  318. C::reset();
  319. const C a(5);
  320. boost::packaged_task<BOOST_THREAD_DETAIL_VOID_SIGNATURE_2> p(a);
  321. BOOST_TEST(p.valid());
  322. boost::future<void> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  323. p(1);
  324. BOOST_TEST_EQ(C::n_copies, 1);
  325. }
  326. #endif
  327. {
  328. boost::packaged_task<BOOST_THREAD_DETAIL_VOID_SIGNATURE> p(void_fct);
  329. BOOST_TEST(p.valid());
  330. boost::future<void> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  331. p();
  332. }
  333. {
  334. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE> p(fct);
  335. BOOST_TEST(p.valid());
  336. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  337. //p(3, 'a');
  338. p();
  339. BOOST_TEST(f.get() == 5.0);
  340. }
  341. {
  342. boost::packaged_task<BOOST_THREAD_DETAIL_SIGNATURE> p(&lfct);
  343. BOOST_TEST(p.valid());
  344. boost::future<double> f = BOOST_THREAD_MAKE_RV_REF(p.get_future());
  345. //p(3, 'a');
  346. p();
  347. BOOST_TEST(f.get() == 5.0);
  348. }
  349. return boost::report_errors();
  350. }