flat_set_test.cpp 30 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933
  1. //////////////////////////////////////////////////////////////////////////////
  2. //
  3. // (C) Copyright Ion Gaztanaga 2004-2013. Distributed under the Boost
  4. // Software License, Version 1.0. (See accompanying file
  5. // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. //
  7. // See http://www.boost.org/libs/container for documentation.
  8. //
  9. //////////////////////////////////////////////////////////////////////////////
  10. #include <boost/container/detail/config_begin.hpp>
  11. #include <iostream>
  12. #include <set>
  13. #include <utility>
  14. #include <vector>
  15. #include <boost/container/flat_set.hpp>
  16. #include <boost/container/detail/container_or_allocator_rebind.hpp>
  17. #include "print_container.hpp"
  18. #include "dummy_test_allocator.hpp"
  19. #include "movable_int.hpp"
  20. #include "set_test.hpp"
  21. #include "propagate_allocator_test.hpp"
  22. #include "emplace_test.hpp"
  23. #include "container_common_tests.hpp"
  24. #include "../../intrusive/test/iterator_test.hpp"
  25. using namespace boost::container;
  26. //Test recursive structures
  27. class recursive_flat_set
  28. {
  29. public:
  30. recursive_flat_set(const recursive_flat_set &c)
  31. : id_(c.id_), flat_set_(c.flat_set_)
  32. {}
  33. recursive_flat_set & operator =(const recursive_flat_set &c)
  34. {
  35. id_ = c.id_;
  36. flat_set_= c.flat_set_;
  37. return *this;
  38. }
  39. int id_;
  40. flat_set<recursive_flat_set> flat_set_;
  41. flat_set<recursive_flat_set>::iterator it_;
  42. flat_set<recursive_flat_set>::const_iterator cit_;
  43. flat_set<recursive_flat_set>::reverse_iterator rit_;
  44. flat_set<recursive_flat_set>::const_reverse_iterator crit_;
  45. friend bool operator< (const recursive_flat_set &a, const recursive_flat_set &b)
  46. { return a.id_ < b.id_; }
  47. };
  48. //Test recursive structures
  49. class recursive_flat_multiset
  50. {
  51. public:
  52. recursive_flat_multiset(const recursive_flat_multiset &c)
  53. : id_(c.id_), flat_multiset_(c.flat_multiset_)
  54. {}
  55. recursive_flat_multiset & operator =(const recursive_flat_multiset &c)
  56. {
  57. id_ = c.id_;
  58. flat_multiset_= c.flat_multiset_;
  59. return *this;
  60. }
  61. int id_;
  62. flat_multiset<recursive_flat_multiset> flat_multiset_;
  63. flat_multiset<recursive_flat_multiset>::iterator it_;
  64. flat_multiset<recursive_flat_multiset>::const_iterator cit_;
  65. flat_multiset<recursive_flat_multiset>::reverse_iterator rit_;
  66. flat_multiset<recursive_flat_multiset>::const_reverse_iterator crit_;
  67. friend bool operator< (const recursive_flat_multiset &a, const recursive_flat_multiset &b)
  68. { return a.id_ < b.id_; }
  69. };
  70. template<class C>
  71. void test_move()
  72. {
  73. //Now test move semantics
  74. C original;
  75. C move_ctor(boost::move(original));
  76. C move_assign;
  77. move_assign = boost::move(move_ctor);
  78. move_assign.swap(original);
  79. }
  80. namespace boost{
  81. namespace container {
  82. namespace test{
  83. bool flat_tree_ordered_insertion_test()
  84. {
  85. using namespace boost::container;
  86. const std::size_t NumElements = 100;
  87. //Ordered insertion multiset
  88. {
  89. std::multiset<int> int_mset;
  90. for(std::size_t i = 0; i != NumElements; ++i){
  91. int_mset.insert(static_cast<int>(i));
  92. }
  93. //Construction insertion
  94. flat_multiset<int> fmset(ordered_range, int_mset.begin(), int_mset.end());
  95. if(!CheckEqualContainers(int_mset, fmset))
  96. return false;
  97. //Insertion when empty
  98. fmset.clear();
  99. fmset.insert(ordered_range, int_mset.begin(), int_mset.end());
  100. if(!CheckEqualContainers(int_mset, fmset))
  101. return false;
  102. //Re-insertion
  103. fmset.insert(ordered_range, int_mset.begin(), int_mset.end());
  104. std::multiset<int> int_mset2(int_mset);
  105. int_mset2.insert(int_mset.begin(), int_mset.end());
  106. if(!CheckEqualContainers(int_mset2, fmset))
  107. return false;
  108. //Re-re-insertion
  109. fmset.insert(ordered_range, int_mset2.begin(), int_mset2.end());
  110. std::multiset<int> int_mset4(int_mset2);
  111. int_mset4.insert(int_mset2.begin(), int_mset2.end());
  112. if(!CheckEqualContainers(int_mset4, fmset))
  113. return false;
  114. //Re-re-insertion of even
  115. std::multiset<int> int_even_mset;
  116. for(std::size_t i = 0; i < NumElements; i+=2){
  117. int_mset.insert(static_cast<int>(i));
  118. }
  119. fmset.insert(ordered_range, int_even_mset.begin(), int_even_mset.end());
  120. int_mset4.insert(int_even_mset.begin(), int_even_mset.end());
  121. if(!CheckEqualContainers(int_mset4, fmset))
  122. return false;
  123. //Re-re-insertion using in-place merge
  124. fmset.reserve(fmset.size() + int_mset2.size());
  125. fmset.insert(ordered_range, int_mset2.begin(), int_mset2.end());
  126. std::multiset<int> int_mset5(int_mset2);
  127. int_mset4.insert(int_mset5.begin(), int_mset5.end());
  128. if(!CheckEqualContainers(int_mset4, fmset))
  129. return false;
  130. //Re-re-insertion of even
  131. std::multiset<int> int_even_mset2;
  132. for(std::size_t i = 0; i < NumElements; i+=2){
  133. int_even_mset2.insert(static_cast<int>(i));
  134. }
  135. fmset.reserve(fmset.size() + int_even_mset2.size());
  136. fmset.insert(ordered_range, int_even_mset2.begin(), int_even_mset2.end());
  137. int_mset4.insert(int_even_mset2.begin(), int_even_mset2.end());
  138. if(!CheckEqualContainers(int_mset4, fmset))
  139. return false;
  140. }
  141. //Ordered insertion set
  142. {
  143. std::set<int> int_set;
  144. for(std::size_t i = 0; i != NumElements; ++i){
  145. int_set.insert(static_cast<int>(i));
  146. }
  147. //Construction insertion
  148. flat_set<int> fset(ordered_unique_range, int_set.begin(), int_set.end());
  149. if(!CheckEqualContainers(int_set, fset))
  150. return false;
  151. //Insertion when empty
  152. fset.clear();
  153. fset.insert(ordered_unique_range, int_set.begin(), int_set.end());
  154. if(!CheckEqualContainers(int_set, fset))
  155. return false;
  156. //Re-insertion
  157. fset.insert(ordered_unique_range, int_set.begin(), int_set.end());
  158. std::set<int> int_set2(int_set);
  159. int_set2.insert(int_set.begin(), int_set.end());
  160. if(!CheckEqualContainers(int_set2, fset))
  161. return false;
  162. //Re-re-insertion
  163. fset.insert(ordered_unique_range, int_set2.begin(), int_set2.end());
  164. std::set<int> int_set4(int_set2);
  165. int_set4.insert(int_set2.begin(), int_set2.end());
  166. if(!CheckEqualContainers(int_set4, fset))
  167. return false;
  168. //Re-re-insertion of even
  169. std::set<int> int_even_set;
  170. for(std::size_t i = 0; i < NumElements; i+=2){
  171. int_even_set.insert(static_cast<int>(i));
  172. }
  173. fset.insert(ordered_unique_range, int_even_set.begin(), int_even_set.end());
  174. int_set4.insert(int_even_set.begin(), int_even_set.end());
  175. if(!CheckEqualContainers(int_set4, fset))
  176. return false;
  177. //Partial Re-re-insertion of even
  178. int_even_set.clear();
  179. for(std::size_t i = 0; i < NumElements; i+=4){
  180. int_even_set.insert(static_cast<int>(i));
  181. }
  182. fset.clear();
  183. int_set4.clear();
  184. //insert 0,4,8,12...
  185. fset.insert(ordered_unique_range, int_even_set.begin(), int_even_set.end());
  186. int_set4.insert(int_even_set.begin(), int_even_set.end());
  187. if(!CheckEqualContainers(int_set4, fset))
  188. return false;
  189. for(std::size_t i = 2; i < NumElements; i+=4){
  190. int_even_set.insert(static_cast<int>(i));
  191. }
  192. //insert 0,2,4,6,8,10,12...
  193. fset.insert(ordered_unique_range, int_even_set.begin(), int_even_set.end());
  194. int_set4.insert(int_even_set.begin(), int_even_set.end());
  195. if(!CheckEqualContainers(int_set4, fset))
  196. return false;
  197. int_even_set.clear();
  198. for(std::size_t i = 0; i < NumElements; i+=8){
  199. int_even_set.insert(static_cast<int>(i));
  200. }
  201. fset.clear();
  202. int_set4.clear();
  203. //insert 0,8,16...
  204. fset.insert(ordered_unique_range, int_even_set.begin(), int_even_set.end());
  205. int_set4.insert(int_even_set.begin(), int_even_set.end());
  206. if(!CheckEqualContainers(int_set4, fset))
  207. return false;
  208. for(std::size_t i = 0; i < NumElements; i+=2){
  209. int_even_set.insert(static_cast<int>(i));
  210. }
  211. //insert 0,2,4,6,8,10,12...
  212. fset.insert(ordered_unique_range, int_even_set.begin(), int_even_set.end());
  213. int_set4.insert(int_even_set.begin(), int_even_set.end());
  214. if(!CheckEqualContainers(int_set4, fset))
  215. return false;
  216. int_even_set.clear();
  217. for(std::size_t i = 0; i < NumElements; i+=8){
  218. int_even_set.insert(static_cast<int>(i));
  219. int_even_set.insert(static_cast<int>(i+2));
  220. }
  221. int_even_set.insert(static_cast<int>(NumElements-2));
  222. fset.clear();
  223. int_set4.clear();
  224. //insert 0,2,8,10...
  225. fset.insert(ordered_unique_range, int_even_set.begin(), int_even_set.end());
  226. int_set4.insert(int_even_set.begin(), int_even_set.end());
  227. if(!CheckEqualContainers(int_set4, fset))
  228. return false;
  229. for(std::size_t i = 0; i < NumElements; i+=2){
  230. int_even_set.insert(static_cast<int>(i));
  231. }
  232. //insert 0,2,4,6,8,10,12...
  233. fset.insert(ordered_unique_range, int_even_set.begin(), int_even_set.end());
  234. int_set4.insert(int_even_set.begin(), int_even_set.end());
  235. if(!CheckEqualContainers(int_set4, fset))
  236. return false;
  237. //add even/odd values with not enough capacity
  238. flat_set<int>().swap(fset);
  239. int_set4.clear();
  240. int_set.clear();
  241. fset.reserve(int_even_set.size());
  242. fset.insert(ordered_unique_range, int_even_set.begin(), int_even_set.end());
  243. int_set4.insert(int_even_set.begin(), int_even_set.end());
  244. for(std::size_t i = 0; i < NumElements*2; i+=2){
  245. int_set.insert(static_cast<int>(i));
  246. int_set.insert(static_cast<int>(i+1));
  247. }
  248. fset.insert(ordered_unique_range, int_set.begin(), int_set.end());
  249. int_set4.insert(int_set.begin(), int_set.end());
  250. if(!CheckEqualContainers(int_set4, fset))
  251. return false;
  252. }
  253. return true;
  254. }
  255. bool constructor_template_auto_deduction_test()
  256. {
  257. #ifndef BOOST_CONTAINER_NO_CXX17_CTAD
  258. using namespace boost::container;
  259. const std::size_t NumElements = 100;
  260. {
  261. std::set<int> int_set;
  262. for (std::size_t i = 0; i != NumElements; ++i) {
  263. int_set.insert(static_cast<int>(i));
  264. }
  265. std::multiset<int> int_mset;
  266. for (std::size_t i = 0; i != NumElements; ++i) {
  267. int_mset.insert(static_cast<int>(i));
  268. }
  269. typedef std::less<int> comp_int_t;
  270. typedef std::allocator<int> alloc_int_t;
  271. //range
  272. {
  273. auto fset = flat_set(int_set.begin(), int_set.end());
  274. if (!CheckEqualContainers(int_set, fset))
  275. return false;
  276. auto fmset = flat_multiset(int_mset.begin(), int_mset.end());
  277. if (!CheckEqualContainers(int_mset, fmset))
  278. return false;
  279. }
  280. //range+comp
  281. {
  282. auto fset = flat_set(int_set.begin(), int_set.end(), comp_int_t());
  283. if (!CheckEqualContainers(int_set, fset))
  284. return false;
  285. auto fmset = flat_multiset(int_mset.begin(), int_mset.end(), comp_int_t());
  286. if (!CheckEqualContainers(int_mset, fmset))
  287. return false;
  288. }
  289. //range+comp+alloc
  290. {
  291. auto fset = flat_set(int_set.begin(), int_set.end(), comp_int_t(), alloc_int_t());
  292. if (!CheckEqualContainers(int_set, fset))
  293. return false;
  294. auto fmset = flat_multiset(int_mset.begin(), int_mset.end(), comp_int_t(), alloc_int_t());
  295. if (!CheckEqualContainers(int_mset, fmset))
  296. return false;
  297. }
  298. //range+alloc
  299. {
  300. auto fset = flat_set(int_set.begin(), int_set.end(), alloc_int_t());
  301. if (!CheckEqualContainers(int_set, fset))
  302. return false;
  303. auto fmset = flat_multiset(int_mset.begin(), int_mset.end(), alloc_int_t());
  304. if (!CheckEqualContainers(int_mset, fmset))
  305. return false;
  306. }
  307. //ordered_unique_range / ordered_range
  308. //range
  309. {
  310. auto fset = flat_set(ordered_unique_range, int_set.begin(), int_set.end());
  311. if (!CheckEqualContainers(int_set, fset))
  312. return false;
  313. auto fmset = flat_multiset(ordered_range, int_mset.begin(), int_mset.end());
  314. if (!CheckEqualContainers(int_mset, fmset))
  315. return false;
  316. }
  317. //range+comp
  318. {
  319. auto fset = flat_set(ordered_unique_range, int_set.begin(), int_set.end(), comp_int_t());
  320. if (!CheckEqualContainers(int_set, fset))
  321. return false;
  322. auto fmset = flat_multiset(ordered_range, int_mset.begin(), int_mset.end(), comp_int_t());
  323. if (!CheckEqualContainers(int_mset, fmset))
  324. return false;
  325. }
  326. //range+comp+alloc
  327. {
  328. auto fset = flat_set(ordered_unique_range, int_set.begin(), int_set.end(), comp_int_t(), alloc_int_t());
  329. if (!CheckEqualContainers(int_set, fset))
  330. return false;
  331. auto fmset = flat_multiset(ordered_range, int_mset.begin(), int_mset.end(), comp_int_t(), alloc_int_t());
  332. if (!CheckEqualContainers(int_mset, fmset))
  333. return false;
  334. }
  335. //range+alloc
  336. {
  337. auto fset = flat_set(ordered_unique_range, int_set.begin(), int_set.end(), alloc_int_t());
  338. if (!CheckEqualContainers(int_set, fset))
  339. return false;
  340. auto fmset = flat_multiset(ordered_range, int_mset.begin(), int_mset.end(), alloc_int_t());
  341. if (!CheckEqualContainers(int_mset, fmset))
  342. return false;
  343. }
  344. }
  345. #endif
  346. return true;
  347. }
  348. template< class RandomIt >
  349. void random_shuffle( RandomIt first, RandomIt last )
  350. {
  351. typedef typename boost::container::iterator_traits<RandomIt>::difference_type difference_type;
  352. difference_type n = last - first;
  353. for (difference_type i = n-1; i > 0; --i) {
  354. difference_type j = std::rand() % (i+1);
  355. if(j != i) {
  356. boost::adl_move_swap(first[i], first[j]);
  357. }
  358. }
  359. }
  360. bool flat_tree_extract_adopt_test()
  361. {
  362. using namespace boost::container;
  363. const std::size_t NumElements = 100;
  364. //extract/adopt set
  365. {
  366. //Construction insertion
  367. flat_set<int> fset;
  368. for(std::size_t i = 0; i != NumElements; ++i){
  369. fset.insert(static_cast<int>(i));
  370. }
  371. flat_set<int> fset_copy(fset);
  372. flat_set<int>::sequence_type seq(fset.extract_sequence());
  373. if(!fset.empty())
  374. return false;
  375. if(!CheckEqualContainers(seq, fset_copy))
  376. return false;
  377. seq.insert(seq.end(), fset_copy.begin(), fset_copy.end());
  378. boost::container::test::random_shuffle(seq.begin(), seq.end());
  379. fset.adopt_sequence(boost::move(seq));
  380. if(!CheckEqualContainers(fset, fset_copy))
  381. return false;
  382. }
  383. //extract/adopt set, ordered_unique_range
  384. {
  385. //Construction insertion
  386. flat_set<int> fset;
  387. for(std::size_t i = 0; i != NumElements; ++i){
  388. fset.insert(static_cast<int>(i));
  389. }
  390. flat_set<int> fset_copy(fset);
  391. flat_set<int>::sequence_type seq(fset.extract_sequence());
  392. if(!fset.empty())
  393. return false;
  394. if(!CheckEqualContainers(seq, fset_copy))
  395. return false;
  396. fset.adopt_sequence(ordered_unique_range, boost::move(seq));
  397. if(!CheckEqualContainers(fset, fset_copy))
  398. return false;
  399. }
  400. //extract/adopt multiset
  401. {
  402. //Construction insertion
  403. flat_multiset<int> fmset;
  404. for(std::size_t i = 0; i != NumElements; ++i){
  405. fmset.insert(static_cast<int>(i));
  406. fmset.insert(static_cast<int>(i));
  407. }
  408. flat_multiset<int> fmset_copy(fmset);
  409. flat_multiset<int>::sequence_type seq(fmset.extract_sequence());
  410. if(!fmset.empty())
  411. return false;
  412. if(!CheckEqualContainers(seq, fmset_copy))
  413. return false;
  414. boost::container::test::random_shuffle(seq.begin(), seq.end());
  415. fmset.adopt_sequence(boost::move(seq));
  416. if(!CheckEqualContainers(fmset, fmset_copy))
  417. return false;
  418. }
  419. //extract/adopt multiset, ordered_range
  420. {
  421. //Construction insertion
  422. flat_multiset<int> fmset;
  423. for(std::size_t i = 0; i != NumElements; ++i){
  424. fmset.insert(static_cast<int>(i));
  425. fmset.insert(static_cast<int>(i));
  426. }
  427. flat_multiset<int> fmset_copy(fmset);
  428. flat_multiset<int>::sequence_type seq(fmset.extract_sequence());
  429. if(!fmset.empty())
  430. return false;
  431. if(!CheckEqualContainers(seq, fmset_copy))
  432. return false;
  433. fmset.adopt_sequence(ordered_range, boost::move(seq));
  434. if(!CheckEqualContainers(fmset, fmset_copy))
  435. return false;
  436. }
  437. return true;
  438. }
  439. bool test_heterogeneous_lookups()
  440. {
  441. typedef flat_set<int, test::less_transparent> set_t;
  442. typedef flat_multiset<int, test::less_transparent> mset_t;
  443. set_t set1;
  444. mset_t mset1;
  445. const set_t &cset1 = set1;
  446. const mset_t &cmset1 = mset1;
  447. set1.insert(1);
  448. set1.insert(1);
  449. set1.insert(2);
  450. set1.insert(2);
  451. set1.insert(3);
  452. mset1.insert(1);
  453. mset1.insert(1);
  454. mset1.insert(2);
  455. mset1.insert(2);
  456. mset1.insert(3);
  457. const test::non_copymovable_int find_me(2);
  458. //find
  459. if(*set1.find(find_me) != 2)
  460. return false;
  461. if(*cset1.find(find_me) != 2)
  462. return false;
  463. if(*mset1.find(find_me) != 2)
  464. return false;
  465. if(*cmset1.find(find_me) != 2)
  466. return false;
  467. //count
  468. if(set1.count(find_me) != 1)
  469. return false;
  470. if(cset1.count(find_me) != 1)
  471. return false;
  472. if(mset1.count(find_me) != 2)
  473. return false;
  474. if(cmset1.count(find_me) != 2)
  475. return false;
  476. //contains
  477. if(!set1.contains(find_me))
  478. return false;
  479. if(!cset1.contains(find_me))
  480. return false;
  481. if(!mset1.contains(find_me))
  482. return false;
  483. if(!cmset1.contains(find_me))
  484. return false;
  485. //lower_bound
  486. if(*set1.lower_bound(find_me) != 2)
  487. return false;
  488. if(*cset1.lower_bound(find_me) != 2)
  489. return false;
  490. if(*mset1.lower_bound(find_me) != 2)
  491. return false;
  492. if(*cmset1.lower_bound(find_me) != 2)
  493. return false;
  494. //upper_bound
  495. if(*set1.upper_bound(find_me) != 3)
  496. return false;
  497. if(*cset1.upper_bound(find_me) != 3)
  498. return false;
  499. if(*mset1.upper_bound(find_me) != 3)
  500. return false;
  501. if(*cmset1.upper_bound(find_me) != 3)
  502. return false;
  503. //equal_range
  504. if(*set1.equal_range(find_me).first != 2)
  505. return false;
  506. if(*cset1.equal_range(find_me).second != 3)
  507. return false;
  508. if(*mset1.equal_range(find_me).first != 2)
  509. return false;
  510. if(*cmset1.equal_range(find_me).second != 3)
  511. return false;
  512. return true;
  513. }
  514. // An ordered sequence of std:pair is also ordered by std::pair::first.
  515. struct with_lookup_by_first
  516. {
  517. typedef void is_transparent;
  518. inline bool operator()(std::pair<int, int> a, std::pair<int, int> b) const
  519. {
  520. return a < b;
  521. }
  522. inline bool operator()(std::pair<int, int> a, int first) const
  523. {
  524. return a.first < first;
  525. }
  526. inline bool operator()(int first, std::pair<int, int> b) const
  527. {
  528. return first < b.first;
  529. }
  530. };
  531. bool test_heterogeneous_lookup_by_partial_key()
  532. {
  533. typedef flat_set<std::pair<int, int>, with_lookup_by_first> set_t;
  534. set_t set1;
  535. set1.insert(std::pair<int, int>(0, 1));
  536. set1.insert(std::pair<int, int>(0, 2));
  537. std::pair<set_t::iterator, set_t::iterator> const first_0_range = set1.equal_range(0);
  538. if(2 != (first_0_range.second - first_0_range.first))
  539. return false;
  540. if(2 != set1.count(0))
  541. return false;
  542. return true;
  543. }
  544. }}}
  545. template<class VoidAllocatorOrContainer>
  546. struct GetSetContainer
  547. {
  548. template<class ValueType>
  549. struct apply
  550. {
  551. typedef flat_set < ValueType
  552. , std::less<ValueType>
  553. , typename boost::container::dtl::container_or_allocator_rebind<VoidAllocatorOrContainer, ValueType>::type
  554. > set_type;
  555. typedef flat_multiset < ValueType
  556. , std::less<ValueType>
  557. , typename boost::container::dtl::container_or_allocator_rebind<VoidAllocatorOrContainer, ValueType>::type
  558. > multiset_type;
  559. };
  560. };
  561. template<typename FlatSetType>
  562. bool test_support_for_initialization_list_for()
  563. {
  564. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  565. const std::initializer_list<int> il
  566. = {1, 2};
  567. const FlatSetType expected(il.begin(), il.end());
  568. {
  569. const FlatSetType sil = il;
  570. if (sil != expected)
  571. return false;
  572. const FlatSetType sil_ordered(ordered_unique_range, il);
  573. if(sil_ordered != expected)
  574. return false;
  575. FlatSetType sil_assign = {99};
  576. sil_assign = il;
  577. if(sil_assign != expected)
  578. return false;
  579. }
  580. {
  581. FlatSetType sil;
  582. sil.insert(il);
  583. if(sil != expected)
  584. return false;
  585. }
  586. return true;
  587. #endif
  588. return true;
  589. }
  590. struct boost_container_flat_set;
  591. struct boost_container_flat_multiset;
  592. namespace boost {
  593. namespace container {
  594. namespace test {
  595. template<>
  596. struct alloc_propagate_base<boost_container_flat_set>
  597. {
  598. template <class T, class Allocator>
  599. struct apply
  600. {
  601. typedef boost::container::flat_set<T, std::less<T>, Allocator> type;
  602. };
  603. };
  604. template<>
  605. struct alloc_propagate_base<boost_container_flat_multiset>
  606. {
  607. template <class T, class Allocator>
  608. struct apply
  609. {
  610. typedef boost::container::flat_multiset<T, std::less<T>, Allocator> type;
  611. };
  612. };
  613. }}} //boost::container::test
  614. int main()
  615. {
  616. using namespace boost::container::test;
  617. //Allocator argument container
  618. {
  619. flat_set<int> set_((flat_set<int>::allocator_type()));
  620. flat_multiset<int> multiset_((flat_multiset<int>::allocator_type()));
  621. }
  622. //Now test move semantics
  623. {
  624. test_move<flat_set<recursive_flat_set> >();
  625. test_move<flat_multiset<recursive_flat_multiset> >();
  626. }
  627. //Now test nth/index_of
  628. {
  629. flat_set<int> set;
  630. flat_multiset<int> mset;
  631. set.insert(0);
  632. set.insert(1);
  633. set.insert(2);
  634. mset.insert(0);
  635. mset.insert(1);
  636. mset.insert(2);
  637. if(!boost::container::test::test_nth_index_of(set))
  638. return 1;
  639. if(!boost::container::test::test_nth_index_of(mset))
  640. return 1;
  641. }
  642. ////////////////////////////////////
  643. // Ordered insertion test
  644. ////////////////////////////////////
  645. if(!flat_tree_ordered_insertion_test()){
  646. return 1;
  647. }
  648. ////////////////////////////////////
  649. // Constructor Template Auto Deduction test
  650. ////////////////////////////////////
  651. if (!constructor_template_auto_deduction_test()) {
  652. return 1;
  653. }
  654. ////////////////////////////////////
  655. // Extract/Adopt test
  656. ////////////////////////////////////
  657. if(!flat_tree_extract_adopt_test()){
  658. return 1;
  659. }
  660. if (!boost::container::test::instantiate_constructors<flat_set<int>, flat_multiset<int> >())
  661. return 1;
  662. if(!test_heterogeneous_lookups()){
  663. return 1;
  664. }
  665. if(!test_heterogeneous_lookup_by_partial_key()){
  666. return 1;
  667. }
  668. ////////////////////////////////////
  669. // Testing allocator implementations
  670. ////////////////////////////////////
  671. {
  672. typedef std::set<int> MyStdSet;
  673. typedef std::multiset<int> MyStdMultiSet;
  674. if (0 != test::set_test
  675. < GetSetContainer<std::allocator<void> >::apply<int>::set_type
  676. , MyStdSet
  677. , GetSetContainer<std::allocator<void> >::apply<int>::multiset_type
  678. , MyStdMultiSet>()) {
  679. std::cout << "Error in set_test<std::allocator<void> >" << std::endl;
  680. return 1;
  681. }
  682. if (0 != test::set_test
  683. < GetSetContainer<new_allocator<void> >::apply<int>::set_type
  684. , MyStdSet
  685. , GetSetContainer<new_allocator<void> >::apply<int>::multiset_type
  686. , MyStdMultiSet>()) {
  687. std::cout << "Error in set_test<new_allocator<void> >" << std::endl;
  688. return 1;
  689. }
  690. if (0 != test::set_test
  691. < GetSetContainer<new_allocator<void> >::apply<test::movable_int>::set_type
  692. , MyStdSet
  693. , GetSetContainer<new_allocator<void> >::apply<test::movable_int>::multiset_type
  694. , MyStdMultiSet>()) {
  695. std::cout << "Error in set_test<new_allocator<void> >" << std::endl;
  696. return 1;
  697. }
  698. if (0 != test::set_test
  699. < GetSetContainer<new_allocator<void> >::apply<test::copyable_int>::set_type
  700. , MyStdSet
  701. , GetSetContainer<new_allocator<void> >::apply<test::copyable_int>::multiset_type
  702. , MyStdMultiSet>()) {
  703. std::cout << "Error in set_test<new_allocator<void> >" << std::endl;
  704. return 1;
  705. }
  706. if (0 != test::set_test
  707. < GetSetContainer<new_allocator<void> >::apply<test::movable_and_copyable_int>::set_type
  708. , MyStdSet
  709. , GetSetContainer<new_allocator<void> >::apply<test::movable_and_copyable_int>::multiset_type
  710. , MyStdMultiSet>()) {
  711. std::cout << "Error in set_test<new_allocator<void> >" << std::endl;
  712. return 1;
  713. }
  714. }
  715. ////////////////////////////////////
  716. // Emplace testing
  717. ////////////////////////////////////
  718. const test::EmplaceOptions SetOptions = (test::EmplaceOptions)(test::EMPLACE_HINT | test::EMPLACE_ASSOC);
  719. if(!boost::container::test::test_emplace<flat_set<test::EmplaceInt>, SetOptions>())
  720. return 1;
  721. if(!boost::container::test::test_emplace<flat_multiset<test::EmplaceInt>, SetOptions>())
  722. return 1;
  723. if (!boost::container::test::test_set_methods_with_initializer_list_as_argument_for<flat_set<int> >())
  724. return 1;
  725. if (!boost::container::test::test_set_methods_with_initializer_list_as_argument_for<flat_multiset<int> >())
  726. return 1;
  727. ////////////////////////////////////
  728. // Allocator propagation testing
  729. ////////////////////////////////////
  730. if(!boost::container::test::test_propagate_allocator<boost_container_flat_set>())
  731. return 1;
  732. if(!boost::container::test::test_propagate_allocator<boost_container_flat_multiset>())
  733. return 1;
  734. ////////////////////////////////////
  735. // Iterator testing
  736. ////////////////////////////////////
  737. {
  738. typedef boost::container::flat_set<int> cont_int;
  739. cont_int a; a.insert(0); a.insert(1); a.insert(2);
  740. boost::intrusive::test::test_iterator_random< cont_int >(a);
  741. if(boost::report_errors() != 0) {
  742. return 1;
  743. }
  744. }
  745. {
  746. typedef boost::container::flat_multiset<int> cont_int;
  747. cont_int a; a.insert(0); a.insert(1); a.insert(2);
  748. boost::intrusive::test::test_iterator_random< cont_int >(a);
  749. if(boost::report_errors() != 0) {
  750. return 1;
  751. }
  752. }
  753. ////////////////////////////////////
  754. // has_trivial_destructor_after_move testing
  755. ////////////////////////////////////
  756. {
  757. typedef boost::container::dtl::identity<int> key_of_value_t;
  758. // flat_set, default
  759. {
  760. typedef boost::container::flat_set<int> cont;
  761. typedef boost::container::dtl::flat_tree<int, key_of_value_t, std::less<int>, void> tree;
  762. if (boost::has_trivial_destructor_after_move<cont>::value !=
  763. boost::has_trivial_destructor_after_move<tree>::value) {
  764. std::cerr << "has_trivial_destructor_after_move(flat_set, default) test failed" << std::endl;
  765. return 1;
  766. }
  767. }
  768. // flat_set, vector
  769. {
  770. typedef boost::container::vector<int> alloc_or_cont_t;
  771. typedef boost::container::flat_set<int, std::less<int>, alloc_or_cont_t> cont;
  772. typedef boost::container::dtl::flat_tree<int, key_of_value_t, std::less<int>, alloc_or_cont_t> tree;
  773. if (boost::has_trivial_destructor_after_move<cont>::value !=
  774. boost::has_trivial_destructor_after_move<tree>::value) {
  775. std::cerr << "has_trivial_destructor_after_move(flat_set, vector) test failed" << std::endl;
  776. return 1;
  777. }
  778. }
  779. // flat_set, std::vector
  780. {
  781. typedef std::vector<int> alloc_or_cont_t;
  782. typedef boost::container::flat_set<int, std::less<int>, alloc_or_cont_t> cont;
  783. typedef boost::container::dtl::flat_tree<int, key_of_value_t, std::less<int>, alloc_or_cont_t> tree;
  784. if (boost::has_trivial_destructor_after_move<cont>::value !=
  785. boost::has_trivial_destructor_after_move<tree>::value) {
  786. std::cerr << "has_trivial_destructor_after_move(flat_set, std::vector) test failed" << std::endl;
  787. return 1;
  788. }
  789. }
  790. // flat_multiset, default
  791. {
  792. typedef boost::container::flat_multiset<int> cont;
  793. typedef boost::container::dtl::flat_tree<int, key_of_value_t, std::less<int>, void> tree;
  794. if (boost::has_trivial_destructor_after_move<cont>::value !=
  795. boost::has_trivial_destructor_after_move<tree>::value) {
  796. std::cerr << "has_trivial_destructor_after_move(flat_multiset, default) test failed" << std::endl;
  797. return 1;
  798. }
  799. }
  800. // flat_multiset, vector
  801. {
  802. typedef boost::container::vector<int> alloc_or_cont_t;
  803. typedef boost::container::flat_multiset<int, std::less<int>, alloc_or_cont_t> cont;
  804. typedef boost::container::dtl::flat_tree<int, key_of_value_t, std::less<int>, alloc_or_cont_t> tree;
  805. if (boost::has_trivial_destructor_after_move<cont>::value !=
  806. boost::has_trivial_destructor_after_move<tree>::value) {
  807. std::cerr << "has_trivial_destructor_after_move(flat_multiset, vector) test failed" << std::endl;
  808. return 1;
  809. }
  810. }
  811. // flat_multiset, std::vector
  812. {
  813. typedef std::vector<int> alloc_or_cont_t;
  814. typedef boost::container::flat_multiset<int, std::less<int>, alloc_or_cont_t> cont;
  815. typedef boost::container::dtl::flat_tree<int, key_of_value_t, std::less<int>, alloc_or_cont_t> tree;
  816. if (boost::has_trivial_destructor_after_move<cont>::value !=
  817. boost::has_trivial_destructor_after_move<tree>::value) {
  818. std::cerr << "has_trivial_destructor_after_move(flat_multiset, std::vector) test failed" << std::endl;
  819. return 1;
  820. }
  821. }
  822. }
  823. return 0;
  824. }
  825. #include <boost/container/detail/config_end.hpp>