test_modifiers.cpp 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581
  1. /* Boost.MultiIndex test for modifier memfuns.
  2. *
  3. * Copyright 2003-2018 Joaquin M Lopez Munoz.
  4. * Distributed under the Boost Software License, Version 1.0.
  5. * (See accompanying file LICENSE_1_0.txt or copy at
  6. * http://www.boost.org/LICENSE_1_0.txt)
  7. *
  8. * See http://www.boost.org/libs/multi_index for library home page.
  9. */
  10. #include "test_modifiers.hpp"
  11. #include <boost/config.hpp> /* keep it first to prevent nasty warns in MSVC */
  12. #include <boost/detail/lightweight_test.hpp>
  13. #include <boost/enable_shared_from_this.hpp>
  14. #include <boost/iterator/iterator_facade.hpp>
  15. #include <boost/move/core.hpp>
  16. #include <boost/move/utility_core.hpp>
  17. #include <boost/next_prior.hpp>
  18. #include <boost/shared_ptr.hpp>
  19. #include <iterator>
  20. #include <vector>
  21. #include "pre_multi_index.hpp"
  22. #include "employee.hpp"
  23. using namespace boost::multi_index;
  24. struct non_copyable_int
  25. {
  26. explicit non_copyable_int(int n_):n(n_){}
  27. non_copyable_int(BOOST_RV_REF(non_copyable_int) x):n(x.n){x.n=0;}
  28. non_copyable_int& operator=(BOOST_RV_REF(non_copyable_int) x)
  29. {
  30. n=x.n;
  31. x.n=0;
  32. return *this;
  33. }
  34. int n;
  35. private:
  36. BOOST_MOVABLE_BUT_NOT_COPYABLE(non_copyable_int)
  37. };
  38. class always_one
  39. {
  40. public:
  41. always_one():n(1){}
  42. ~always_one(){n=0;}
  43. int get()const{return n;}
  44. private:
  45. int n;
  46. };
  47. inline bool operator==(const always_one& x,const always_one& y)
  48. {
  49. return x.get()==y.get();
  50. }
  51. #if defined(BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP)
  52. namespace boost{
  53. #endif
  54. inline std::size_t hash_value(const always_one& x)
  55. {
  56. return static_cast<std::size_t>(x.get());
  57. }
  58. #if defined(BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP)
  59. } /* namespace boost */
  60. #endif
  61. class linked_object
  62. {
  63. struct impl:boost::enable_shared_from_this<impl>
  64. {
  65. typedef boost::shared_ptr<const impl> ptr;
  66. impl(int n_,ptr next_=ptr()):n(n_),next(next_){}
  67. int n;
  68. ptr next;
  69. };
  70. typedef multi_index_container<
  71. impl,
  72. indexed_by<
  73. #if BOOST_WORKAROUND(__IBMCPP__,BOOST_TESTED_AT(1010))
  74. ordered_unique<member<impl,int,&linked_object::impl::n> >,
  75. hashed_non_unique<member<impl,int,&linked_object::impl::n> >,
  76. #else
  77. ordered_unique<member<impl,int,&impl::n> >,
  78. hashed_non_unique<member<impl,int,&impl::n> >,
  79. #endif
  80. sequenced<>,
  81. random_access<>
  82. >
  83. > impl_repository_t;
  84. static impl_repository_t impl_repository;
  85. public:
  86. linked_object(int n):pimpl(init(impl(n))){}
  87. linked_object(int n,const linked_object& x):pimpl(init(impl(n,x.pimpl))){}
  88. private:
  89. impl::ptr init(const impl& x)
  90. {
  91. std::pair<impl_repository_t::iterator,bool> p=impl_repository.insert(x);
  92. if(p.second)return impl::ptr(&*p.first,&erase_impl);
  93. else return p.first->shared_from_this();
  94. }
  95. static void erase_impl(const impl* p)
  96. {
  97. impl_repository.erase(p->n);
  98. }
  99. impl::ptr pimpl;
  100. };
  101. linked_object::impl_repository_t linked_object::impl_repository;
  102. struct tempvalue_iterator:
  103. boost::iterator_facade<
  104. tempvalue_iterator,int,boost::forward_traversal_tag,int>
  105. {
  106. tempvalue_iterator(int n_):n(n_){}
  107. void increment(){++n;}
  108. bool equal(const tempvalue_iterator& x)const{return n==x.n;}
  109. int dereference()const{return n;}
  110. int n;
  111. };
  112. struct change_int
  113. {
  114. change_int(int n):n(n){}
  115. void operator()(int& x)const{x=n;}
  116. int n;
  117. };
  118. #if !(defined BOOST_NO_EXCEPTIONS)
  119. struct change_int_and_throw
  120. {
  121. change_int_and_throw(int n):n(n){}
  122. void operator()(int& x)const{x=n;throw 0;}
  123. int n;
  124. };
  125. #endif
  126. void test_modifiers()
  127. {
  128. employee_set es;
  129. employee_set_by_name& i1=get<name>(es);
  130. employee_set_by_age& i2=get<age>(es);
  131. employee_set_as_inserted& i3=get<as_inserted>(es);
  132. employee_set_by_ssn& i4=get<ssn>(es);
  133. employee_set_randomly& i5=get<randomly>(es);
  134. es.insert(employee(0,"Joe",31,1123));
  135. BOOST_TEST(es.emplace(0,"Joe",31,1123).second==false);
  136. BOOST_TEST(i1.insert(employee(0,"Joe Jr.",5,2563)).second==false);
  137. BOOST_TEST(i2.emplace_hint(i2.end(),1,"Victor",5,1123)->name!="Victor");
  138. BOOST_TEST(i3.insert(i3.begin(),employee(1,"Victor",5,1123)).second
  139. ==false);
  140. BOOST_TEST(i3.push_front(employee(0,"Joe Jr.",5,2563)).second==false);
  141. BOOST_TEST(i3.push_back(employee(0,"Joe Jr.",5,2563)).second==false);
  142. BOOST_TEST(i5.emplace_front(1,"Victor",5,1123).second==false);
  143. BOOST_TEST(i5.emplace_back(1,"Victor",5,1123).second==false);
  144. employee_set_by_name::iterator it1=i1.find("Joe");
  145. i1.insert(it1,employee(1,"Joe Jr.",5,2563));
  146. BOOST_TEST(es.size()==2);
  147. employee_set_by_age::iterator it2=i2.find(31);
  148. i2.insert(it2,employee(2,"Grandda Joe",64,7881));
  149. BOOST_TEST(es.size()==3);
  150. employee_set_as_inserted::iterator it3=i3.begin();
  151. i3.insert(it3,100,employee(3,"Judy",39,6201));
  152. BOOST_TEST((--it3)->ssn==6201);
  153. BOOST_TEST(es.size()==4);
  154. employee_set_randomly::iterator it5=i5.begin();
  155. i5.insert(it5,100,employee(4,"Jill",52,3379));
  156. BOOST_TEST(i5.begin()->age==52);
  157. BOOST_TEST(es.size()==5);
  158. es.erase(employee(1,"Joe Jr.",5,2563));
  159. BOOST_TEST(i3.size()==4&&i5.size()==4);
  160. BOOST_TEST(i1.erase("Judy")==1);
  161. BOOST_TEST(es.size()==3&&i2.size()==3);
  162. BOOST_TEST(i2.erase(it2)->age==52);
  163. BOOST_TEST(i3.size()==2&&i4.size()==2);
  164. i3.pop_front();
  165. BOOST_TEST(i1.size()==1&&i2.size()==1);
  166. i5.erase(i5.begin(),i5.end());
  167. BOOST_TEST(es.size()==0&&i3.size()==0);
  168. i5.emplace(i5.end(),0,"Joe",31,1123);
  169. BOOST_TEST(i1.erase(i1.begin())==i1.end());
  170. BOOST_TEST(i1.size()==0);
  171. i1.emplace(0,"Joe",31,1123);
  172. i3.emplace(i3.begin(),1,"Jack",31,5032);
  173. i4.emplace_hint(i4.end(),2,"James",31,3847);
  174. BOOST_TEST(i2.erase(31)==3);
  175. BOOST_TEST(i2.size()==0);
  176. i3.emplace_front(1,"Jack",31,5032);
  177. i3.emplace_back(0,"Joe",31,1123);
  178. BOOST_TEST(i3.front()==employee(1,"Jack",31,5032));
  179. BOOST_TEST(i3.back()==employee(0,"Joe",31,1123));
  180. i3.pop_back();
  181. BOOST_TEST(i3.back()==employee(1,"Jack",31,5032));
  182. BOOST_TEST(es.size()==1);
  183. i3.pop_front();
  184. BOOST_TEST(es.size()==0);
  185. i5.push_back(employee(1,"Jack",31,5032));
  186. i5.push_front(employee(0,"Joe",31,1123));
  187. i5.insert(i5.end()-1,employee(2,"Grandda Joe",64,7881));
  188. BOOST_TEST(i5.back()==employee(1,"Jack",31,5032));
  189. BOOST_TEST(i5.front()==employee(0,"Joe",31,1123));
  190. BOOST_TEST(i5[0]==i5.front()&&i5.at(0)==i5.front());
  191. BOOST_TEST(i5[i5.size()-1]==i5.back()&&i5.at(i5.size()-1)==i5.back());
  192. i5.pop_front();
  193. BOOST_TEST(i5.back()==employee(1,"Jack",31,5032));
  194. BOOST_TEST(i5.front()==employee(2,"Grandda Joe",64,7881));
  195. BOOST_TEST(es.size()==2);
  196. i5.pop_back();
  197. BOOST_TEST(i5.back()==employee(2,"Grandda Joe",64,7881));
  198. BOOST_TEST(i5.front()==i5.front());
  199. BOOST_TEST(es.size()==1);
  200. i5.erase(i5.begin());
  201. BOOST_TEST(es.size()==0);
  202. std::vector<employee> ve;
  203. ve.push_back(employee(3,"Anna",31,5388));
  204. ve.push_back(employee(1,"Rachel",27,9012));
  205. ve.push_back(employee(2,"Agatha",40,1520));
  206. i1.insert(ve.begin(),ve.end());
  207. BOOST_TEST(i2.size()==3);
  208. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  209. i1.insert({{4,"Vanessa",20,9236},{5,"Penelope",55,2358}});
  210. BOOST_TEST(i2.size()==5);
  211. #endif
  212. BOOST_TEST(i2.erase(i2.begin(),i2.end())==i2.end());
  213. BOOST_TEST(es.size()==0);
  214. i2.insert(ve.begin(),ve.end());
  215. BOOST_TEST(i3.size()==3);
  216. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  217. i2.insert({{4,"Vanessa",20,9236},{5,"Penelope",55,2358}});
  218. BOOST_TEST(i3.size()==5);
  219. #endif
  220. BOOST_TEST(*(i3.erase(i3.begin()))==employee(1,"Rachel",27,9012));
  221. BOOST_TEST(i3.erase(i3.begin(),i3.end())==i3.end());
  222. BOOST_TEST(es.size()==0);
  223. i3.insert(i3.end(),ve.begin(),ve.end());
  224. BOOST_TEST(es.size()==3);
  225. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  226. i3.insert(i3.begin(),{{4,"Vanessa",20,9236},{5,"Penelope",55,2358}});
  227. BOOST_TEST(i3.front().name=="Vanessa");
  228. BOOST_TEST(i4.size()==5);
  229. #endif
  230. BOOST_TEST(i4.erase(9012)==1);
  231. i4.erase(i4.begin());
  232. BOOST_TEST(i4.erase(i4.begin(),i4.end())==i4.end());
  233. i4.insert(ve.begin(),ve.end());
  234. BOOST_TEST(i5.size()==3);
  235. BOOST_TEST(i5.erase(i5.begin(),i5.end())==i5.end());
  236. BOOST_TEST(es.size()==0);
  237. i5.insert(i5.begin(),ve.begin(),ve.end());
  238. BOOST_TEST(i1.size()==3);
  239. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  240. i5.insert(i5.end(),{{4,"Vanessa",20,9236},{5,"Penelope",55,2358}});
  241. BOOST_TEST(i5.back().name=="Penelope");
  242. BOOST_TEST(i1.size()==5);
  243. #endif
  244. BOOST_TEST(es.erase(es.begin(),es.end())==es.end());
  245. BOOST_TEST(i2.size()==0);
  246. es.insert(employee(0,"Joe",31,1123));
  247. es.insert(employee(1,"Robert",27,5601));
  248. es.insert(employee(2,"John",40,7889));
  249. es.insert(employee(3,"Albert",20,9012));
  250. es.insert(employee(4,"John",57,1002));
  251. employee_set es_backup(es);
  252. employee_set es2;
  253. es2.insert(employee(3,"Anna",31,5388));
  254. es2.insert(employee(1,"Rachel",27,9012));
  255. es2.insert(employee(2,"Agatha",40,1520));
  256. employee_set es2_backup(es2);
  257. i1.swap(get<1>(es2));
  258. BOOST_TEST(es==es2_backup&&es2==es_backup);
  259. i2.swap(get<2>(es2));
  260. BOOST_TEST(es==es_backup&&es2==es2_backup);
  261. i3.swap(get<3>(es2));
  262. BOOST_TEST(es==es2_backup&&es2==es_backup);
  263. i4.swap(get<4>(es2));
  264. BOOST_TEST(es==es_backup&&es2==es2_backup);
  265. i5.swap(get<5>(es2));
  266. BOOST_TEST(es==es2_backup&&es2==es_backup);
  267. #if defined(BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL)
  268. ::boost::multi_index::detail::swap(i1,get<1>(es2));
  269. #else
  270. using std::swap;
  271. swap(i1,get<1>(es2));
  272. #endif
  273. BOOST_TEST(es==es_backup&&es2==es2_backup);
  274. #if defined(BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL)
  275. ::boost::multi_index::detail::swap(i2,get<2>(es2));
  276. #else
  277. using std::swap;
  278. swap(i2,get<2>(es2));
  279. #endif
  280. BOOST_TEST(es==es2_backup&&es2==es_backup);
  281. #if defined(BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL)
  282. ::boost::multi_index::detail::swap(i3,get<3>(es2));
  283. #else
  284. using std::swap;
  285. swap(i3,get<3>(es2));
  286. #endif
  287. BOOST_TEST(es==es_backup&&es2==es2_backup);
  288. #if defined(BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL)
  289. ::boost::multi_index::detail::swap(i4,get<4>(es2));
  290. #else
  291. using std::swap;
  292. swap(i4,get<4>(es2));
  293. #endif
  294. BOOST_TEST(es==es2_backup&&es2==es_backup);
  295. #if defined(BOOST_FUNCTION_SCOPE_USING_DECLARATION_BREAKS_ADL)
  296. ::boost::multi_index::detail::swap(i5,get<5>(es2));
  297. #else
  298. using std::swap;
  299. swap(i5,get<5>(es2));
  300. #endif
  301. BOOST_TEST(es==es_backup&&es2==es2_backup);
  302. i3.clear();
  303. BOOST_TEST(i3.size()==0);
  304. es=es2;
  305. i4.clear();
  306. BOOST_TEST(i4.size()==0);
  307. es=es2;
  308. i5.clear();
  309. BOOST_TEST(i5.size()==0);
  310. es2.clear();
  311. BOOST_TEST(es2.size()==0);
  312. /* non-copyable elements */
  313. multi_index_container<
  314. non_copyable_int,
  315. indexed_by<
  316. ordered_non_unique<member<non_copyable_int,int,&non_copyable_int::n> >,
  317. hashed_non_unique<member<non_copyable_int,int,&non_copyable_int::n> >,
  318. sequenced<>,
  319. random_access<>
  320. >
  321. > ncic,ncic2;
  322. ncic.emplace(1);
  323. get<1>(ncic).emplace(1);
  324. get<2>(ncic).emplace_back(1);
  325. get<3>(ncic).emplace_back(1);
  326. non_copyable_int nci(1);
  327. ncic.insert(boost::move(nci));
  328. BOOST_TEST(nci.n==0);
  329. nci.n=1;
  330. get<1>(ncic).insert(boost::move(nci));
  331. BOOST_TEST(nci.n==0);
  332. nci.n=1;
  333. get<2>(ncic).push_back(boost::move(nci));
  334. BOOST_TEST(nci.n==0);
  335. nci.n=1;
  336. get<3>(ncic).push_back(boost::move(nci));
  337. BOOST_TEST(nci.n==0);
  338. std::vector<int> vi(4,1);
  339. const std::vector<int>& cvi=vi;
  340. ncic.insert(vi.begin(),vi.end());
  341. ncic.insert(cvi.begin(),cvi.end());
  342. get<2>(ncic).insert(get<2>(ncic).begin(),vi.begin(),vi.end());
  343. get<2>(ncic).insert(get<2>(ncic).begin(),cvi.begin(),cvi.end());
  344. BOOST_TEST(ncic.count(1)==24);
  345. ncic.swap(ncic2);
  346. BOOST_TEST(ncic.empty());
  347. BOOST_TEST(ncic2.count(1)==24);
  348. /* testcase for problem reported at
  349. * http://lists.boost.org/boost-users/2006/12/24215.php
  350. */
  351. multi_index_container<
  352. always_one,
  353. indexed_by<
  354. hashed_non_unique<identity<always_one> >
  355. >
  356. > aoc;
  357. aoc.insert(always_one());
  358. aoc.insert(always_one());
  359. aoc.erase(*(aoc.begin()));
  360. BOOST_TEST(aoc.empty());
  361. /* Testcases for compliance with "as close to hint as possible"
  362. * proposed behavior for associative containers:
  363. * http://www.open-std.org/jtc1/sc22/wg21/docs/lwg-defects.html#233
  364. * http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2005/n1780.html
  365. */
  366. typedef multi_index_container<
  367. int,
  368. indexed_by<
  369. ordered_non_unique<identity<int> >
  370. >
  371. > int_non_unique_container;
  372. int_non_unique_container c;
  373. c.insert(0);c.insert(0);
  374. c.insert(1);c.insert(1);
  375. c.insert(2);c.insert(2);
  376. BOOST_TEST(std::distance(c.begin(),c.insert(c.begin(),1))==2);
  377. BOOST_TEST(std::distance(c.begin(),c.insert(boost::next(c.begin()),1))==2);
  378. BOOST_TEST(std::distance(c.begin(),c.insert(c.lower_bound(1),1))==2);
  379. BOOST_TEST(
  380. std::distance(c.begin(),c.insert(boost::next(c.lower_bound(1)),1))==3);
  381. BOOST_TEST(std::distance(c.begin(),c.insert(c.upper_bound(1),1))==8);
  382. BOOST_TEST(std::distance(c.begin(),c.insert(boost::prior(c.end()),1))==9);
  383. BOOST_TEST(std::distance(c.begin(),c.insert(c.end(),1))==10);
  384. /* testcase for erase() reentrancy */
  385. {
  386. linked_object o1(1);
  387. linked_object o2(2,o1);
  388. o1=o2;
  389. }
  390. /* testcases for bug reported at
  391. * https://svn.boost.org/trac/boost/ticket/9665
  392. */
  393. {
  394. multi_index_container<
  395. int,
  396. indexed_by<hashed_unique<identity<int> > >
  397. > hc;
  398. hc.insert(tempvalue_iterator(0),tempvalue_iterator(10));
  399. BOOST_TEST(hc.size()==10);
  400. multi_index_container<
  401. int,
  402. indexed_by<ordered_unique<identity<int> > >
  403. > oc;
  404. oc.insert(tempvalue_iterator(0),tempvalue_iterator(10));
  405. BOOST_TEST(oc.size()==10);
  406. }
  407. /* testcases for https://svn.boost.org/trac10/ticket/12542 */
  408. {
  409. multi_index_container<
  410. int,
  411. indexed_by<
  412. ordered_unique<identity<int> >,
  413. hashed_unique<identity<int> >
  414. >
  415. > ohc;
  416. #if !(defined BOOST_NO_EXCEPTIONS)
  417. ohc.insert(0);
  418. ohc.insert(1);
  419. try{
  420. ohc.modify_key(ohc.begin(),change_int_and_throw(1));
  421. }
  422. catch(int){}
  423. BOOST_TEST(ohc.size()==1);
  424. ohc.clear();
  425. ohc.insert(0);
  426. ohc.insert(1);
  427. try{
  428. ohc.modify_key(ohc.begin(),change_int_and_throw(1),change_int(0));
  429. }
  430. catch(int){}
  431. BOOST_TEST(ohc.size()==1);
  432. ohc.clear();
  433. ohc.insert(0);
  434. ohc.insert(1);
  435. try{
  436. ohc.modify_key(
  437. ohc.begin(),change_int_and_throw(1),change_int_and_throw(0));
  438. }
  439. catch(int){}
  440. BOOST_TEST(ohc.size()==1);
  441. ohc.clear();
  442. ohc.insert(0);
  443. ohc.insert(1);
  444. try{
  445. ohc.modify_key(ohc.begin(),change_int(1),change_int_and_throw(0));
  446. }
  447. catch(int){}
  448. BOOST_TEST(ohc.size()==1);
  449. ohc.clear();
  450. #endif
  451. ohc.insert(0);
  452. ohc.insert(1);
  453. ohc.modify_key(ohc.begin(),change_int(1),change_int(1));
  454. BOOST_TEST(ohc.size()==1);
  455. ohc.clear();
  456. }
  457. }