common_heap_tests.hpp 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520
  1. /*=============================================================================
  2. Copyright (c) 2010 Tim Blechmann
  3. Use, modification and distribution is subject to the Boost Software
  4. License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  5. http://www.boost.org/LICENSE_1_0.txt)
  6. =============================================================================*/
  7. #ifndef COMMON_HEAP_TESTS_HPP_INCLUDED
  8. #define COMMON_HEAP_TESTS_HPP_INCLUDED
  9. #include <algorithm>
  10. #include <vector>
  11. #include <boost/concept/assert.hpp>
  12. #include <boost/concept_archetype.hpp>
  13. #include <boost/shared_ptr.hpp>
  14. #include <boost/heap/heap_concepts.hpp>
  15. #ifdef BOOST_NO_CXX98_RANDOM_SHUFFLE
  16. #include <cstdlib>
  17. #include <iterator>
  18. template<class RandomIt>
  19. void random_shuffle(RandomIt first, RandomIt last)
  20. {
  21. typedef typename std::iterator_traits<RandomIt>::difference_type difference_type;
  22. difference_type n = last - first;
  23. for (difference_type i = n-1; i > 0; --i) {
  24. difference_type j = std::rand() % (i + 1);
  25. if (j != i) {
  26. using std::swap;
  27. swap(first[i], first[j]);
  28. }
  29. }
  30. }
  31. #else
  32. using std::random_shuffle;
  33. #endif
  34. typedef boost::default_constructible_archetype<
  35. boost::less_than_comparable_archetype<
  36. boost::copy_constructible_archetype<
  37. boost::assignable_archetype<
  38. > > > > test_value_type;
  39. typedef std::vector<int> test_data;
  40. const int test_size = 32;
  41. struct dummy_run
  42. {
  43. static void run(void)
  44. {}
  45. };
  46. test_data make_test_data(int size, int offset = 0, int strive = 1)
  47. {
  48. test_data ret;
  49. for (int i = 0; i != size; ++i)
  50. ret.push_back(i * strive + offset);
  51. return ret;
  52. }
  53. template <typename pri_queue, typename data_container>
  54. void check_q(pri_queue & q, data_container const & expected)
  55. {
  56. BOOST_REQUIRE_EQUAL(q.size(), expected.size());
  57. for (unsigned int i = 0; i != expected.size(); ++i)
  58. {
  59. BOOST_REQUIRE_EQUAL(q.size(), expected.size() - i);
  60. BOOST_REQUIRE_EQUAL(q.top(), expected[expected.size()-1-i]);
  61. q.pop();
  62. }
  63. BOOST_REQUIRE(q.empty());
  64. }
  65. template <typename pri_queue, typename data_container>
  66. void fill_q(pri_queue & q, data_container const & data)
  67. {
  68. for (unsigned int i = 0; i != data.size(); ++i)
  69. q.push(data[i]);
  70. }
  71. #if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES) && !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  72. template <typename pri_queue, typename data_container>
  73. void fill_emplace_q(pri_queue & q, data_container const & data)
  74. {
  75. for (unsigned int i = 0; i != data.size(); ++i) {
  76. typename pri_queue::value_type value = data[i];
  77. q.emplace(std::move(value));
  78. }
  79. }
  80. #endif
  81. template <typename pri_queue>
  82. void pri_queue_test_sequential_push(void)
  83. {
  84. for (int i = 0; i != test_size; ++i)
  85. {
  86. pri_queue q;
  87. test_data data = make_test_data(i);
  88. fill_q(q, data);
  89. check_q(q, data);
  90. }
  91. }
  92. template <typename pri_queue>
  93. void pri_queue_test_sequential_reverse_push(void)
  94. {
  95. for (int i = 0; i != test_size; ++i)
  96. {
  97. pri_queue q;
  98. test_data data = make_test_data(i);
  99. std::reverse(data.begin(), data.end());
  100. fill_q(q, data);
  101. std::reverse(data.begin(), data.end());
  102. check_q(q, data);
  103. }
  104. }
  105. template <typename pri_queue>
  106. void pri_queue_test_emplace(void)
  107. {
  108. #if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES) && !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  109. for (int i = 0; i != test_size; ++i)
  110. {
  111. pri_queue q;
  112. test_data data = make_test_data(i);
  113. std::reverse(data.begin(), data.end());
  114. fill_emplace_q(q, data);
  115. std::reverse(data.begin(), data.end());
  116. check_q(q, data);
  117. }
  118. #endif
  119. }
  120. template <typename pri_queue>
  121. void pri_queue_test_random_push(void)
  122. {
  123. for (int i = 0; i != test_size; ++i)
  124. {
  125. pri_queue q;
  126. test_data data = make_test_data(i);
  127. test_data shuffled (data);
  128. random_shuffle(shuffled.begin(), shuffled.end());
  129. fill_q(q, shuffled);
  130. check_q(q, data);
  131. }
  132. }
  133. template <typename pri_queue>
  134. void pri_queue_test_copyconstructor(void)
  135. {
  136. for (int i = 0; i != test_size; ++i)
  137. {
  138. pri_queue q;
  139. test_data data = make_test_data(i);
  140. fill_q(q, data);
  141. pri_queue r(q);
  142. check_q(r, data);
  143. }
  144. }
  145. template <typename pri_queue>
  146. void pri_queue_test_assignment(void)
  147. {
  148. for (int i = 0; i != test_size; ++i)
  149. {
  150. pri_queue q;
  151. test_data data = make_test_data(i);
  152. fill_q(q, data);
  153. pri_queue r;
  154. r = q;
  155. check_q(r, data);
  156. }
  157. }
  158. template <typename pri_queue>
  159. void pri_queue_test_moveconstructor(void)
  160. {
  161. #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
  162. pri_queue q;
  163. test_data data = make_test_data(test_size);
  164. fill_q(q, data);
  165. pri_queue r(std::move(q));
  166. check_q(r, data);
  167. BOOST_REQUIRE(q.empty());
  168. #endif
  169. }
  170. template <typename pri_queue>
  171. void pri_queue_test_move_assignment(void)
  172. {
  173. #ifndef BOOST_NO_CXX11_RVALUE_REFERENCES
  174. pri_queue q;
  175. test_data data = make_test_data(test_size);
  176. fill_q(q, data);
  177. pri_queue r;
  178. r = std::move(q);
  179. check_q(r, data);
  180. BOOST_REQUIRE(q.empty());
  181. #endif
  182. }
  183. template <typename pri_queue>
  184. void pri_queue_test_swap(void)
  185. {
  186. for (int i = 0; i != test_size; ++i)
  187. {
  188. pri_queue q;
  189. test_data data = make_test_data(i);
  190. test_data shuffled (data);
  191. random_shuffle(shuffled.begin(), shuffled.end());
  192. fill_q(q, shuffled);
  193. pri_queue r;
  194. q.swap(r);
  195. check_q(r, data);
  196. BOOST_REQUIRE(q.empty());
  197. }
  198. }
  199. template <typename pri_queue>
  200. void pri_queue_test_iterators(void)
  201. {
  202. for (int i = 0; i != test_size; ++i) {
  203. test_data data = make_test_data(test_size);
  204. test_data shuffled (data);
  205. random_shuffle(shuffled.begin(), shuffled.end());
  206. pri_queue q;
  207. BOOST_REQUIRE(q.begin() == q.end());
  208. fill_q(q, shuffled);
  209. for (unsigned long j = 0; j != data.size(); ++j)
  210. BOOST_REQUIRE(std::find(q.begin(), q.end(), data[j]) != q.end());
  211. for (unsigned long j = 0; j != data.size(); ++j)
  212. BOOST_REQUIRE(std::find(q.begin(), q.end(), data[j] + data.size()) == q.end());
  213. test_data data_from_queue(q.begin(), q.end());
  214. std::sort(data_from_queue.begin(), data_from_queue.end());
  215. BOOST_REQUIRE(data == data_from_queue);
  216. for (unsigned long j = 0; j != data.size(); ++j) {
  217. BOOST_REQUIRE_EQUAL((long)std::distance(q.begin(), q.end()), (long)(data.size() - j));
  218. q.pop();
  219. }
  220. }
  221. }
  222. template <typename pri_queue>
  223. void pri_queue_test_ordered_iterators(void)
  224. {
  225. for (int i = 0; i != test_size; ++i) {
  226. test_data data = make_test_data(i);
  227. test_data shuffled (data);
  228. random_shuffle(shuffled.begin(), shuffled.end());
  229. pri_queue q;
  230. BOOST_REQUIRE(q.ordered_begin() == q.ordered_end());
  231. fill_q(q, shuffled);
  232. test_data data_from_queue(q.ordered_begin(), q.ordered_end());
  233. std::reverse(data_from_queue.begin(), data_from_queue.end());
  234. BOOST_REQUIRE(data == data_from_queue);
  235. for (unsigned long j = 0; j != data.size(); ++j)
  236. BOOST_REQUIRE(std::find(q.ordered_begin(), q.ordered_end(), data[j]) != q.ordered_end());
  237. for (unsigned long j = 0; j != data.size(); ++j)
  238. BOOST_REQUIRE(std::find(q.ordered_begin(), q.ordered_end(), data[j] + data.size()) == q.ordered_end());
  239. for (unsigned long j = 0; j != data.size(); ++j) {
  240. BOOST_REQUIRE_EQUAL((long)std::distance(q.begin(), q.end()), (long)(data.size() - j));
  241. q.pop();
  242. }
  243. }
  244. }
  245. template <typename pri_queue>
  246. void pri_queue_test_equality(void)
  247. {
  248. for (int i = 0; i != test_size; ++i)
  249. {
  250. pri_queue q, r;
  251. test_data data = make_test_data(i);
  252. fill_q(q, data);
  253. std::reverse(data.begin(), data.end());
  254. fill_q(r, data);
  255. BOOST_REQUIRE(r == q);
  256. }
  257. }
  258. template <typename pri_queue>
  259. void pri_queue_test_inequality(void)
  260. {
  261. for (int i = 1; i != test_size; ++i)
  262. {
  263. pri_queue q, r;
  264. test_data data = make_test_data(i);
  265. fill_q(q, data);
  266. data[0] = data.back() + 1;
  267. fill_q(r, data);
  268. BOOST_REQUIRE(r != q);
  269. }
  270. }
  271. template <typename pri_queue>
  272. void pri_queue_test_less(void)
  273. {
  274. for (int i = 1; i != test_size; ++i)
  275. {
  276. pri_queue q, r;
  277. test_data data = make_test_data(i);
  278. test_data r_data(data);
  279. r_data.pop_back();
  280. fill_q(q, data);
  281. fill_q(r, r_data);
  282. BOOST_REQUIRE(r < q);
  283. }
  284. for (int i = 1; i != test_size; ++i)
  285. {
  286. pri_queue q, r;
  287. test_data data = make_test_data(i);
  288. test_data r_data(data);
  289. data.push_back(data.back() + 1);
  290. fill_q(q, data);
  291. fill_q(r, r_data);
  292. BOOST_REQUIRE(r < q);
  293. }
  294. for (int i = 1; i != test_size; ++i)
  295. {
  296. pri_queue q, r;
  297. test_data data = make_test_data(i);
  298. test_data r_data(data);
  299. data.back() += 1;
  300. fill_q(q, data);
  301. fill_q(r, r_data);
  302. BOOST_REQUIRE(r < q);
  303. }
  304. for (int i = 1; i != test_size; ++i)
  305. {
  306. pri_queue q, r;
  307. test_data data = make_test_data(i);
  308. test_data r_data(data);
  309. r_data.front() -= 1;
  310. fill_q(q, data);
  311. fill_q(r, r_data);
  312. BOOST_REQUIRE(r < q);
  313. }
  314. }
  315. template <typename pri_queue>
  316. void pri_queue_test_clear(void)
  317. {
  318. for (int i = 0; i != test_size; ++i)
  319. {
  320. pri_queue q;
  321. test_data data = make_test_data(i);
  322. fill_q(q, data);
  323. q.clear();
  324. BOOST_REQUIRE(q.size() == 0);
  325. BOOST_REQUIRE(q.empty());
  326. }
  327. }
  328. template <typename pri_queue>
  329. void run_concept_check(void)
  330. {
  331. BOOST_CONCEPT_ASSERT((boost::heap::PriorityQueue<pri_queue>));
  332. }
  333. template <typename pri_queue>
  334. void run_common_heap_tests(void)
  335. {
  336. pri_queue_test_sequential_push<pri_queue>();
  337. pri_queue_test_sequential_reverse_push<pri_queue>();
  338. pri_queue_test_random_push<pri_queue>();
  339. pri_queue_test_equality<pri_queue>();
  340. pri_queue_test_inequality<pri_queue>();
  341. pri_queue_test_less<pri_queue>();
  342. pri_queue_test_clear<pri_queue>();
  343. pri_queue_test_emplace<pri_queue>();
  344. }
  345. template <typename pri_queue>
  346. void run_iterator_heap_tests(void)
  347. {
  348. pri_queue_test_iterators<pri_queue>();
  349. }
  350. template <typename pri_queue>
  351. void run_copyable_heap_tests(void)
  352. {
  353. pri_queue_test_copyconstructor <pri_queue>();
  354. pri_queue_test_assignment<pri_queue>();
  355. pri_queue_test_swap<pri_queue>();
  356. }
  357. template <typename pri_queue>
  358. void run_moveable_heap_tests(void)
  359. {
  360. pri_queue_test_moveconstructor <pri_queue>();
  361. pri_queue_test_move_assignment <pri_queue>();
  362. }
  363. template <typename pri_queue>
  364. void run_reserve_heap_tests(void)
  365. {
  366. test_data data = make_test_data(test_size);
  367. pri_queue q;
  368. q.reserve(6);
  369. fill_q(q, data);
  370. check_q(q, data);
  371. }
  372. template <typename pri_queue>
  373. void run_leak_check_test(void)
  374. {
  375. pri_queue q;
  376. q.push(boost::shared_ptr<int>(new int(0)));
  377. }
  378. struct less_with_T
  379. {
  380. typedef int T;
  381. bool operator()(const int& a, const int& b) const
  382. {
  383. return a < b;
  384. }
  385. };
  386. #if !defined(BOOST_NO_CXX11_RVALUE_REFERENCES) && !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
  387. class thing {
  388. public:
  389. thing( int a_, int b_, int c_ ) : a(a_), b(b_), c(c_) {}
  390. public:
  391. int a;
  392. int b;
  393. int c;
  394. };
  395. class cmpthings {
  396. public:
  397. bool operator() ( const thing& lhs, const thing& rhs ) const {
  398. return lhs.a > rhs.a;
  399. }
  400. bool operator() ( const thing& lhs, const thing& rhs ) {
  401. return lhs.a > rhs.a;
  402. }
  403. };
  404. #define RUN_EMPLACE_TEST(HEAP_TYPE) \
  405. do { \
  406. cmpthings ord; \
  407. boost::heap::HEAP_TYPE<thing, boost::heap::compare<cmpthings> > vpq(ord); \
  408. vpq.emplace(5, 6, 7); \
  409. boost::heap::HEAP_TYPE<thing, boost::heap::compare<cmpthings>, boost::heap::stable<true> > vpq2(ord); \
  410. vpq2.emplace(5, 6, 7); \
  411. } while(0);
  412. #else
  413. #define RUN_EMPLACE_TEST(HEAP_TYPE)
  414. #endif
  415. #endif // COMMON_HEAP_TESTS_HPP_INCLUDED