static_vector_test.cpp 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827
  1. // Boost.Container static_vector
  2. // Unit Test
  3. // Copyright (c) 2012-2013 Adam Wulkiewicz, Lodz, Poland.
  4. // Copyright (c) 2012-2013 Andrew Hundt.
  5. // Use, modification and distribution is subject to the Boost Software License,
  6. // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
  7. // http://www.boost.org/LICENSE_1_0.txt)
  8. #include <boost/container/detail/config_begin.hpp>
  9. #include <boost/core/lightweight_test.hpp>
  10. #include <boost/core/no_exceptions_support.hpp>
  11. #include <boost/container/vector.hpp>
  12. #include <boost/container/stable_vector.hpp>
  13. #include <boost/container/detail/iterator.hpp>
  14. #include "../../intrusive/test/iterator_test.hpp"
  15. #include <vector>
  16. #include <list>
  17. #include "static_vector_test.hpp"
  18. template <typename T, size_t N>
  19. void test_ctor_ndc()
  20. {
  21. static_vector<T, N> s;
  22. BOOST_STATIC_ASSERT((static_vector<T, N>::static_capacity) == N);
  23. BOOST_TEST_EQ(s.size() , 0u);
  24. BOOST_TEST(s.capacity() == N);
  25. BOOST_TEST(s.max_size() == N);
  26. BOOST_TEST_THROWS( s.at(0u), std::out_of_range );
  27. }
  28. template <typename T, size_t N>
  29. void test_ctor_nc(size_t n)
  30. {
  31. static_vector<T, N> s(n);
  32. BOOST_STATIC_ASSERT((static_vector<T, N>::static_capacity) == N);
  33. BOOST_TEST(s.size() == n);
  34. BOOST_TEST(s.capacity() == N);
  35. BOOST_TEST(s.max_size() == N);
  36. BOOST_TEST_THROWS( s.at(n), std::out_of_range );
  37. if ( 1 < n )
  38. {
  39. T val10(10);
  40. s[0] = val10;
  41. BOOST_TEST(T(10) == s[0]);
  42. BOOST_TEST(T(10) == s.at(0));
  43. T val20(20);
  44. s.at(1) = val20;
  45. BOOST_TEST(T(20) == s[1]);
  46. BOOST_TEST(T(20) == s.at(1));
  47. }
  48. }
  49. template <typename T, size_t N>
  50. void test_ctor_nd(size_t n, T const& v)
  51. {
  52. static_vector<T, N> s(n, v);
  53. BOOST_STATIC_ASSERT((static_vector<T, N>::static_capacity) == N);
  54. BOOST_TEST(s.size() == n);
  55. BOOST_TEST(s.capacity() == N);
  56. BOOST_TEST_THROWS( s.at(n), std::out_of_range );
  57. if ( 1 < n )
  58. {
  59. BOOST_TEST(v == s[0]);
  60. BOOST_TEST(v == s.at(0));
  61. BOOST_TEST(v == s[1]);
  62. BOOST_TEST(v == s.at(1));
  63. s[0] = T(10);
  64. BOOST_TEST(T(10) == s[0]);
  65. BOOST_TEST(T(10) == s.at(0));
  66. s.at(1) = T(20);
  67. BOOST_TEST(T(20) == s[1]);
  68. BOOST_TEST(T(20) == s.at(1));
  69. }
  70. }
  71. void test_support_for_initializer_list()
  72. {
  73. #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
  74. {
  75. static_vector<int, 2> sv = {10, 8};
  76. BOOST_TEST(10 == sv[0]);
  77. BOOST_TEST(8 == sv[1]);
  78. typedef static_vector<int, 1> sv_cap_1;
  79. BOOST_TEST_THROWS(sv_cap_1({1, 1}), std::bad_alloc);
  80. }
  81. {
  82. static_vector<int, 2> sv;
  83. sv.assign({1, 2});
  84. BOOST_TEST(1 == sv[0]);
  85. BOOST_TEST(2 == sv[1]);
  86. BOOST_TEST_THROWS(sv.assign({1, 2, 3}), std::bad_alloc);
  87. static_vector<int, 3> greaterThanSv = {1, 2, 3};
  88. BOOST_TEST_THROWS(sv = greaterThanSv, std::bad_alloc);
  89. }
  90. {
  91. static_vector<int, 2> sv;
  92. sv.insert(sv.begin(), {99, 95});
  93. BOOST_TEST(99 == sv[0]);
  94. BOOST_TEST(95 == sv[1]);
  95. BOOST_TEST_THROWS(sv.insert(sv.begin(), {101, 102, 103}), std::bad_alloc);
  96. }
  97. #endif
  98. }
  99. template <typename T, size_t N>
  100. void test_resize_nc(size_t n)
  101. {
  102. static_vector<T, N> s;
  103. s.resize(n);
  104. BOOST_TEST(s.size() == n);
  105. BOOST_TEST(s.capacity() == N);
  106. BOOST_TEST_THROWS( s.at(n), std::out_of_range );
  107. if ( 1 < n )
  108. {
  109. T val10(10);
  110. s[0] = val10;
  111. BOOST_TEST(T(10) == s[0]);
  112. BOOST_TEST(T(10) == s.at(0));
  113. T val20(20);
  114. s.at(1) = val20;
  115. BOOST_TEST(T(20) == s[1]);
  116. BOOST_TEST(T(20) == s.at(1));
  117. }
  118. }
  119. template <typename T, size_t N>
  120. void test_resize_nd(size_t n, T const& v)
  121. {
  122. static_vector<T, N> s;
  123. s.resize(n, v);
  124. BOOST_TEST(s.size() == n);
  125. BOOST_TEST(s.capacity() == N);
  126. BOOST_TEST_THROWS( s.at(n), std::out_of_range );
  127. if ( 1 < n )
  128. {
  129. BOOST_TEST(v == s[0]);
  130. BOOST_TEST(v == s.at(0));
  131. BOOST_TEST(v == s[1]);
  132. BOOST_TEST(v == s.at(1));
  133. s[0] = T(10);
  134. BOOST_TEST(T(10) == s[0]);
  135. BOOST_TEST(T(10) == s.at(0));
  136. s.at(1) = T(20);
  137. BOOST_TEST(T(20) == s[1]);
  138. BOOST_TEST(T(20) == s.at(1));
  139. }
  140. }
  141. template <typename T, size_t N>
  142. void test_push_back_nd()
  143. {
  144. static_vector<T, N> s;
  145. BOOST_TEST(s.size() == 0);
  146. BOOST_TEST_THROWS( s.at(0), std::out_of_range );
  147. for ( size_t i = 0 ; i < N ; ++i )
  148. {
  149. T t(i);
  150. s.push_back(t);
  151. BOOST_TEST(s.size() == i + 1);
  152. BOOST_TEST_THROWS( s.at(i + 1), std::out_of_range );
  153. BOOST_TEST(T(i) == s.at(i));
  154. BOOST_TEST(T(i) == s[i]);
  155. BOOST_TEST(T(i) == s.back());
  156. BOOST_TEST(T(0) == s.front());
  157. BOOST_TEST(T(i) == *(s.data() + i));
  158. }
  159. }
  160. template <typename T, size_t N>
  161. void test_pop_back_nd()
  162. {
  163. static_vector<T, N> s;
  164. for ( size_t i = 0 ; i < N ; ++i )
  165. {
  166. T t(i);
  167. s.push_back(t);
  168. }
  169. for ( size_t i = N ; i > 1 ; --i )
  170. {
  171. s.pop_back();
  172. BOOST_TEST(s.size() == i - 1);
  173. BOOST_TEST_THROWS( s.at(i - 1), std::out_of_range );
  174. BOOST_TEST(T(i - 2) == s.at(i - 2));
  175. BOOST_TEST(T(i - 2) == s[i - 2]);
  176. BOOST_TEST(T(i - 2) == s.back());
  177. BOOST_TEST(T(0) == s.front());
  178. }
  179. }
  180. template <typename It1, typename It2>
  181. void test_compare_ranges(It1 first1, It1 last1, It2 first2, It2 last2)
  182. {
  183. BOOST_TEST(boost::container::iterator_distance(first1, last1) == boost::container::iterator_distance(first2, last2));
  184. for ( ; first1 != last1 && first2 != last2 ; ++first1, ++first2 )
  185. BOOST_TEST(*first1 == *first2);
  186. }
  187. template <typename T, size_t N, typename C>
  188. void test_copy_and_assign(C const& c)
  189. {
  190. {
  191. static_vector<T, N> s(c.begin(), c.end());
  192. BOOST_TEST(s.size() == c.size());
  193. test_compare_ranges(s.begin(), s.end(), c.begin(), c.end());
  194. }
  195. {
  196. static_vector<T, N> s;
  197. BOOST_TEST(0 == s.size());
  198. s.assign(c.begin(), c.end());
  199. BOOST_TEST(s.size() == c.size());
  200. test_compare_ranges(s.begin(), s.end(), c.begin(), c.end());
  201. }
  202. }
  203. template <typename T, size_t N>
  204. void test_copy_and_assign_nd(T const& val)
  205. {
  206. static_vector<T, N> s;
  207. std::vector<T> v;
  208. std::list<T> l;
  209. for ( size_t i = 0 ; i < N ; ++i )
  210. {
  211. T t(i);
  212. s.push_back(t);
  213. v.push_back(t);
  214. l.push_back(t);
  215. }
  216. // copy ctor
  217. {
  218. static_vector<T, N> s1(s);
  219. BOOST_TEST(s.size() == s1.size());
  220. test_compare_ranges(s.begin(), s.end(), s1.begin(), s1.end());
  221. }
  222. // copy assignment
  223. {
  224. static_vector<T, N> s1;
  225. BOOST_TEST(0 == s1.size());
  226. s1 = s;
  227. BOOST_TEST(s.size() == s1.size());
  228. test_compare_ranges(s.begin(), s.end(), s1.begin(), s1.end());
  229. }
  230. // ctor(Iter, Iter) and assign(Iter, Iter)
  231. test_copy_and_assign<T, N>(s);
  232. test_copy_and_assign<T, N>(v);
  233. test_copy_and_assign<T, N>(l);
  234. // assign(N, V)
  235. {
  236. static_vector<T, N> s1(s);
  237. test_compare_ranges(s.begin(), s.end(), s1.begin(), s1.end());
  238. std::vector<T> a(N, val);
  239. s1.assign(N, val);
  240. test_compare_ranges(a.begin(), a.end(), s1.begin(), s1.end());
  241. }
  242. stable_vector<T> bsv(s.begin(), s.end());
  243. vector<T> bv(s.begin(), s.end());
  244. test_copy_and_assign<T, N>(bsv);
  245. test_copy_and_assign<T, N>(bv);
  246. }
  247. template <typename T, size_t N>
  248. void test_iterators_nd()
  249. {
  250. static_vector<T, N> s;
  251. std::vector<T> v;
  252. for ( size_t i = 0 ; i < N ; ++i )
  253. {
  254. s.push_back(T(i));
  255. v.push_back(T(i));
  256. }
  257. test_compare_ranges(s.begin(), s.end(), v.begin(), v.end());
  258. test_compare_ranges(s.rbegin(), s.rend(), v.rbegin(), v.rend());
  259. s.assign(v.rbegin(), v.rend());
  260. test_compare_ranges(s.begin(), s.end(), v.rbegin(), v.rend());
  261. test_compare_ranges(s.rbegin(), s.rend(), v.begin(), v.end());
  262. }
  263. template <typename T, size_t N>
  264. void test_erase_nd()
  265. {
  266. static_vector<T, N> s;
  267. typedef typename static_vector<T, N>::iterator It;
  268. for ( size_t i = 0 ; i < N ; ++i )
  269. s.push_back(T(i));
  270. // erase(pos)
  271. {
  272. for ( size_t i = 0 ; i < N ; ++i )
  273. {
  274. static_vector<T, N> s1(s);
  275. It it = s1.erase(s1.begin() + i);
  276. BOOST_TEST(s1.begin() + i == it);
  277. BOOST_TEST(s1.size() == N - 1);
  278. for ( size_t j = 0 ; j < i ; ++j )
  279. BOOST_TEST(s1[j] == T(j));
  280. for ( size_t j = i+1 ; j < N ; ++j )
  281. BOOST_TEST(s1[j-1] == T(j));
  282. }
  283. }
  284. // erase(first, last)
  285. {
  286. size_t n = N/3;
  287. for ( size_t i = 0 ; i <= N ; ++i )
  288. {
  289. static_vector<T, N> s1(s);
  290. size_t removed = i + n < N ? n : N - i;
  291. It it = s1.erase(s1.begin() + i, s1.begin() + i + removed);
  292. BOOST_TEST(s1.begin() + i == it);
  293. BOOST_TEST(s1.size() == N - removed);
  294. for ( size_t j = 0 ; j < i ; ++j )
  295. BOOST_TEST(s1[j] == T(j));
  296. for ( size_t j = i+n ; j < N ; ++j )
  297. BOOST_TEST(s1[j-n] == T(j));
  298. }
  299. }
  300. }
  301. template <typename T, size_t N, typename SV, typename C>
  302. void test_insert(SV const& s, C const& c)
  303. {
  304. size_t h = N/2;
  305. size_t n = size_t(h/1.5f);
  306. for ( size_t i = 0 ; i <= h ; ++i )
  307. {
  308. static_vector<T, N> s1(s);
  309. typename C::const_iterator it = c.begin();
  310. boost::container::iterator_advance(it, n);
  311. typename static_vector<T, N>::iterator
  312. it1 = s1.insert(s1.begin() + i, c.begin(), it);
  313. BOOST_TEST(s1.begin() + i == it1);
  314. BOOST_TEST(s1.size() == h+n);
  315. for ( size_t j = 0 ; j < i ; ++j )
  316. BOOST_TEST(s1[j] == T(j));
  317. for ( size_t j = 0 ; j < n ; ++j )
  318. BOOST_TEST(s1[j+i] == T(100 + j));
  319. for ( size_t j = 0 ; j < h-i ; ++j )
  320. BOOST_TEST(s1[j+i+n] == T(j+i));
  321. }
  322. }
  323. template <typename T, size_t N>
  324. void test_insert_nd(T const& val)
  325. {
  326. size_t h = N/2;
  327. static_vector<T, N> s, ss;
  328. std::vector<T> v;
  329. std::list<T> l;
  330. typedef typename static_vector<T, N>::iterator It;
  331. for ( size_t i = 0 ; i < h ; ++i )
  332. {
  333. s.push_back(T(i));
  334. ss.push_back(T(100 + i));
  335. v.push_back(T(100 + i));
  336. l.push_back(T(100 + i));
  337. }
  338. // insert(pos, val)
  339. {
  340. for ( size_t i = 0 ; i <= h ; ++i )
  341. {
  342. static_vector<T, N> s1(s);
  343. It it = s1.insert(s1.begin() + i, val);
  344. BOOST_TEST(s1.begin() + i == it);
  345. BOOST_TEST(s1.size() == h+1);
  346. for ( size_t j = 0 ; j < i ; ++j )
  347. BOOST_TEST(s1[j] == T(j));
  348. BOOST_TEST(s1[i] == val);
  349. for ( size_t j = 0 ; j < h-i ; ++j )
  350. BOOST_TEST(s1[j+i+1] == T(j+i));
  351. }
  352. }
  353. // insert(pos, n, val)
  354. {
  355. size_t n = size_t(h/1.5f);
  356. for ( size_t i = 0 ; i <= h ; ++i )
  357. {
  358. static_vector<T, N> s1(s);
  359. It it = s1.insert(s1.begin() + i, n, val);
  360. BOOST_TEST(s1.begin() + i == it);
  361. BOOST_TEST(s1.size() == h+n);
  362. for ( size_t j = 0 ; j < i ; ++j )
  363. BOOST_TEST(s1[j] == T(j));
  364. for ( size_t j = 0 ; j < n ; ++j )
  365. BOOST_TEST(s1[j+i] == val);
  366. for ( size_t j = 0 ; j < h-i ; ++j )
  367. BOOST_TEST(s1[j+i+n] == T(j+i));
  368. }
  369. }
  370. // insert(pos, first, last)
  371. test_insert<T, N>(s, ss);
  372. test_insert<T, N>(s, v);
  373. test_insert<T, N>(s, l);
  374. stable_vector<T> bsv(ss.begin(), ss.end());
  375. vector<T> bv(ss.begin(), ss.end());
  376. test_insert<T, N>(s, bv);
  377. test_insert<T, N>(s, bsv);
  378. }
  379. template <typename T>
  380. void test_capacity_0_nd()
  381. {
  382. static_vector<T, 10> v(5u, T(0));
  383. static_vector<T, 0 > s;
  384. BOOST_TEST(s.size() == 0);
  385. BOOST_TEST(s.capacity() == 0);
  386. BOOST_TEST_THROWS(s.at(0), std::out_of_range);
  387. BOOST_TEST_THROWS(s.resize(5u, T(0)), std::bad_alloc);
  388. BOOST_TEST_THROWS(s.push_back(T(0)), std::bad_alloc);
  389. BOOST_TEST_THROWS(s.insert(s.end(), T(0)), std::bad_alloc);
  390. BOOST_TEST_THROWS(s.insert(s.end(), 5u, T(0)), std::bad_alloc);
  391. BOOST_TEST_THROWS(s.insert(s.end(), v.begin(), v.end()), std::bad_alloc);
  392. BOOST_TEST_THROWS(s.assign(v.begin(), v.end()), std::bad_alloc);
  393. BOOST_TEST_THROWS(s.assign(5u, T(0)), std::bad_alloc);
  394. BOOST_TEST_THROWS(s.assign(5u, T(0)), std::bad_alloc);
  395. typedef static_vector<T, 0> static_vector_0_t;
  396. BOOST_TEST_THROWS(static_vector_0_t s2(v.begin(), v.end()), std::bad_alloc);
  397. BOOST_TEST_THROWS(static_vector_0_t s1(5u, T(0)), std::bad_alloc);
  398. }
  399. template <typename T, size_t N>
  400. void test_exceptions_nd()
  401. {
  402. static_vector<T, N> v(N, T(0));
  403. static_vector<T, N/2> s(N/2, T(0));
  404. BOOST_TEST_THROWS(s.resize(N, T(0)), std::bad_alloc);
  405. BOOST_TEST_THROWS(s.push_back(T(0)), std::bad_alloc);
  406. BOOST_TEST_THROWS(s.insert(s.end(), T(0)), std::bad_alloc);
  407. BOOST_TEST_THROWS(s.insert(s.end(), 1, T(0)), std::bad_alloc);
  408. BOOST_TEST_THROWS(s.insert(s.end(), v.begin(), v.end()), std::bad_alloc);
  409. BOOST_TEST_THROWS(s.assign(v.begin(), v.end()), std::bad_alloc);
  410. BOOST_TEST_THROWS(s.assign(N, T(0)), std::bad_alloc);
  411. typedef static_vector<T, N/2> static_vector_n_half_t;
  412. BOOST_TEST_THROWS(static_vector_n_half_t s2(v.begin(), v.end()), std::bad_alloc);
  413. BOOST_TEST_THROWS(static_vector_n_half_t s1(N/2+1, T(0)), std::bad_alloc);
  414. }
  415. template <typename T, size_t N>
  416. void test_swap_and_move_nd()
  417. {
  418. {
  419. static_vector<T, N> v1, v2, v3, v4;
  420. static_vector<T, N> s1, s2;
  421. static_vector<T, N> s4;
  422. for (size_t i = 0 ; i < N ; ++i )
  423. {
  424. v1.push_back(T(i));
  425. v2.push_back(T(i));
  426. v3.push_back(T(i));
  427. v4.push_back(T(i));
  428. }
  429. for (size_t i = 0 ; i < N/2 ; ++i )
  430. {
  431. s1.push_back(T(100 + i));
  432. s2.push_back(T(100 + i));
  433. s4.push_back(T(100 + i));
  434. }
  435. s1.swap(v1);
  436. s2 = boost::move(v2);
  437. static_vector<T, N> s3(boost::move(v3));
  438. s4.swap(v4);
  439. BOOST_TEST(v1.size() == N/2);
  440. BOOST_TEST(s1.size() == N);
  441. //iG moving does not imply emptying source
  442. //BOOST_TEST(v2.size() == 0);
  443. BOOST_TEST(s2.size() == N);
  444. //iG moving does not imply emptying source
  445. //BOOST_TEST(v3.size() == 0);
  446. BOOST_TEST(s3.size() == N);
  447. BOOST_TEST(v4.size() == N/2);
  448. BOOST_TEST(s4.size() == N);
  449. for (size_t i = 0 ; i < N/2 ; ++i )
  450. {
  451. BOOST_TEST(v1[i] == T(100 + i));
  452. BOOST_TEST(v4[i] == T(100 + i));
  453. }
  454. for (size_t i = 0 ; i < N ; ++i )
  455. {
  456. BOOST_TEST(s1[i] == T(i));
  457. BOOST_TEST(s2[i] == T(i));
  458. BOOST_TEST(s3[i] == T(i));
  459. BOOST_TEST(s4[i] == T(i));
  460. }
  461. }
  462. {
  463. static_vector<T, N> v1, v2, v3;
  464. static_vector<T, N/2> s1, s2, s3;
  465. for (size_t i = 0 ; i < N/2 ; ++i )
  466. {
  467. v1.push_back(T(i));
  468. v2.push_back(T(i));
  469. v3.push_back(T(i));
  470. }
  471. for (size_t i = 0 ; i < N/3 ; ++i )
  472. {
  473. s1.push_back(T(100 + i));
  474. s2.push_back(T(100 + i));
  475. }
  476. s1.swap(v1);
  477. s3 = v2;
  478. s2 = boost::move(v2);
  479. static_vector<T, N/2> s4(boost::move(v3));
  480. BOOST_TEST(v1.size() == N/3);
  481. BOOST_TEST(s1.size() == N/2);
  482. //iG moving does not imply emptying source
  483. //BOOST_TEST(v2.size() == 0);
  484. BOOST_TEST(s2.size() == N/2);
  485. BOOST_TEST(s3.size() == N/2);
  486. //iG moving does not imply emptying source
  487. //BOOST_TEST(v3.size() == 0);
  488. BOOST_TEST(s4.size() == N/2);
  489. for (size_t i = 0 ; i < N/3 ; ++i )
  490. BOOST_TEST(v1[i] == T(100 + i));
  491. for (size_t i = 0 ; i < N/2 ; ++i )
  492. {
  493. BOOST_TEST(s1[i] == T(i));
  494. BOOST_TEST(s2[i] == T(i));
  495. BOOST_TEST(s3[i] == T(i));
  496. BOOST_TEST(s4[i] == T(i));
  497. }
  498. }
  499. {
  500. typedef static_vector<T, N/2> small_vector_t;
  501. static_vector<T, N> v(N, T(0));
  502. small_vector_t s(N/2, T(1));
  503. BOOST_TEST_THROWS(s.swap(v), std::bad_alloc);
  504. v.resize(N, T(0));
  505. BOOST_TEST_THROWS(s = boost::move(v), std::bad_alloc);
  506. BOOST_TEST_THROWS(s = v, std::bad_alloc);
  507. v.resize(N, T(0));
  508. BOOST_TEST_THROWS(small_vector_t s2(boost::move(v)), std::bad_alloc);
  509. }
  510. }
  511. template <typename T, size_t N>
  512. void test_emplace_0p()
  513. {
  514. //emplace_back()
  515. {
  516. static_vector<T, N> v;
  517. for (int i = 0 ; i < int(N) ; ++i )
  518. v.emplace_back();
  519. BOOST_TEST(v.size() == N);
  520. BOOST_TEST_THROWS(v.emplace_back(), std::bad_alloc);
  521. }
  522. }
  523. template <typename T, size_t N>
  524. void test_emplace_2p()
  525. {
  526. //emplace_back(pos, int, int)
  527. {
  528. static_vector<T, N> v;
  529. for (int i = 0 ; i < int(N) ; ++i )
  530. v.emplace_back(i, 100 + i);
  531. BOOST_TEST(v.size() == N);
  532. BOOST_TEST_THROWS(v.emplace_back(N, 100 + N), std::bad_alloc);
  533. BOOST_TEST(v.size() == N);
  534. for (int i = 0 ; i < int(N) ; ++i )
  535. BOOST_TEST(v[i] == T(i, 100 + i));
  536. }
  537. // emplace(pos, int, int)
  538. {
  539. typedef typename static_vector<T, N>::iterator It;
  540. int h = N / 2;
  541. static_vector<T, N> v;
  542. for ( int i = 0 ; i < h ; ++i )
  543. v.emplace_back(i, 100 + i);
  544. for ( int i = 0 ; i <= h ; ++i )
  545. {
  546. static_vector<T, N> vv(v);
  547. It it = vv.emplace(vv.begin() + i, i+100, i+200);
  548. BOOST_TEST(vv.begin() + i == it);
  549. BOOST_TEST(vv.size() == size_t(h+1));
  550. for ( int j = 0 ; j < i ; ++j )
  551. BOOST_TEST(vv[j] == T(j, j+100));
  552. BOOST_TEST(vv[i] == T(i+100, i+200));
  553. for ( int j = 0 ; j < h-i ; ++j )
  554. BOOST_TEST(vv[j+i+1] == T(j+i, j+i+100));
  555. }
  556. }
  557. }
  558. template <typename T, size_t N>
  559. void test_sv_elem(T const& t)
  560. {
  561. typedef static_vector<T, N> V;
  562. static_vector<V, N> v;
  563. v.push_back(V(N/2, t));
  564. V vvv(N/2, t);
  565. v.push_back(boost::move(vvv));
  566. v.insert(v.begin(), V(N/2, t));
  567. v.insert(v.end(), V(N/2, t));
  568. v.emplace_back(N/2, t);
  569. }
  570. bool default_init_test()//Test for default initialization
  571. {
  572. const std::size_t Capacity = 100;
  573. typedef static_vector<int, Capacity> di_vector_t;
  574. {
  575. di_vector_t v(Capacity, default_init);
  576. }
  577. {
  578. di_vector_t v;
  579. int *p = v.data();
  580. for(std::size_t i = 0; i != Capacity; ++i, ++p){
  581. *p = static_cast<int>(i);
  582. }
  583. //Destroy the vector, p still pointing to the storage
  584. v.~di_vector_t();
  585. di_vector_t &rv = *::new(&v)di_vector_t(Capacity, default_init);
  586. di_vector_t::iterator it = rv.begin();
  587. for(std::size_t i = 0; i != Capacity; ++i, ++it){
  588. if(*it != static_cast<int>(i))
  589. return false;
  590. }
  591. v.~di_vector_t();
  592. }
  593. {
  594. di_vector_t v;
  595. int *p = v.data();
  596. for(std::size_t i = 0; i != Capacity; ++i, ++p){
  597. *p = static_cast<int>(i+100);
  598. }
  599. v.resize(Capacity, default_init);
  600. di_vector_t::iterator it = v.begin();
  601. for(std::size_t i = 0; i != Capacity; ++i, ++it){
  602. if(*it != static_cast<int>(i+100))
  603. return false;
  604. }
  605. }
  606. return true;
  607. }
  608. int main(int, char* [])
  609. {
  610. using boost::container::test::movable_and_copyable_int;
  611. using boost::container::test::produce_movable_and_copyable_int;
  612. BOOST_TEST(counting_value::count() == 0);
  613. test_ctor_ndc<int, 10>();
  614. test_ctor_ndc<value_ndc, 10>();
  615. test_ctor_ndc<counting_value, 10>();
  616. BOOST_TEST(counting_value::count() == 0);
  617. test_ctor_ndc<shptr_value, 10>();
  618. test_ctor_ndc<movable_and_copyable_int, 10>();
  619. test_ctor_nc<int, 10>(5);
  620. test_ctor_nc<value_nc, 10>(5);
  621. test_ctor_nc<counting_value, 10>(5);
  622. BOOST_TEST(counting_value::count() == 0);
  623. test_ctor_nc<shptr_value, 10>(5);
  624. test_ctor_nc<movable_and_copyable_int, 10>(5);
  625. test_ctor_nd<int, 10>(5, 1);
  626. test_ctor_nd<value_nd, 10>(5, value_nd(1));
  627. test_ctor_nd<counting_value, 10>(5, counting_value(1));
  628. BOOST_TEST(counting_value::count() == 0);
  629. test_ctor_nd<shptr_value, 10>(5, shptr_value(1));
  630. test_ctor_nd<movable_and_copyable_int, 10>(5, produce_movable_and_copyable_int());
  631. test_resize_nc<int, 10>(5);
  632. test_resize_nc<value_nc, 10>(5);
  633. test_resize_nc<counting_value, 10>(5);
  634. BOOST_TEST(counting_value::count() == 0);
  635. test_resize_nc<shptr_value, 10>(5);
  636. test_resize_nc<movable_and_copyable_int, 10>(5);
  637. test_resize_nd<int, 10>(5, 1);
  638. test_resize_nd<value_nd, 10>(5, value_nd(1));
  639. test_resize_nd<counting_value, 10>(5, counting_value(1));
  640. BOOST_TEST(counting_value::count() == 0);
  641. test_resize_nd<shptr_value, 10>(5, shptr_value(1));
  642. test_resize_nd<movable_and_copyable_int, 10>(5, produce_movable_and_copyable_int());
  643. test_push_back_nd<int, 10>();
  644. test_push_back_nd<value_nd, 10>();
  645. test_push_back_nd<counting_value, 10>();
  646. BOOST_TEST(counting_value::count() == 0);
  647. test_push_back_nd<shptr_value, 10>();
  648. test_push_back_nd<movable_and_copyable_int, 10>();
  649. test_pop_back_nd<int, 10>();
  650. test_pop_back_nd<value_nd, 10>();
  651. test_pop_back_nd<counting_value, 10>();
  652. BOOST_TEST(counting_value::count() == 0);
  653. test_pop_back_nd<shptr_value, 10>();
  654. test_pop_back_nd<movable_and_copyable_int, 10>();
  655. test_copy_and_assign_nd<int, 10>(1);
  656. test_copy_and_assign_nd<value_nd, 10>(value_nd(1));
  657. test_copy_and_assign_nd<counting_value, 10>(counting_value(1));
  658. BOOST_TEST(counting_value::count() == 0);
  659. test_copy_and_assign_nd<shptr_value, 10>(shptr_value(1));
  660. test_copy_and_assign_nd<movable_and_copyable_int, 10>(produce_movable_and_copyable_int());
  661. test_iterators_nd<int, 10>();
  662. test_iterators_nd<value_nd, 10>();
  663. test_iterators_nd<counting_value, 10>();
  664. BOOST_TEST(counting_value::count() == 0);
  665. test_iterators_nd<shptr_value, 10>();
  666. test_iterators_nd<movable_and_copyable_int, 10>();
  667. test_erase_nd<int, 10>();
  668. test_erase_nd<value_nd, 10>();
  669. test_erase_nd<counting_value, 10>();
  670. BOOST_TEST(counting_value::count() == 0);
  671. test_erase_nd<shptr_value, 10>();
  672. test_erase_nd<movable_and_copyable_int, 10>();
  673. test_insert_nd<int, 10>(50);
  674. test_insert_nd<value_nd, 10>(value_nd(50));
  675. test_insert_nd<counting_value, 10>(counting_value(50));
  676. BOOST_TEST(counting_value::count() == 0);
  677. test_insert_nd<shptr_value, 10>(shptr_value(50));
  678. test_insert_nd<movable_and_copyable_int, 10>(produce_movable_and_copyable_int());
  679. test_capacity_0_nd<int>();
  680. test_capacity_0_nd<value_nd>();
  681. test_capacity_0_nd<counting_value>();
  682. BOOST_TEST(counting_value::count() == 0);
  683. test_capacity_0_nd<shptr_value>();
  684. test_capacity_0_nd<movable_and_copyable_int>();
  685. test_exceptions_nd<int, 10>();
  686. test_exceptions_nd<value_nd, 10>();
  687. test_exceptions_nd<counting_value, 10>();
  688. BOOST_TEST(counting_value::count() == 0);
  689. test_exceptions_nd<shptr_value, 10>();
  690. test_exceptions_nd<movable_and_copyable_int, 10>();
  691. test_swap_and_move_nd<int, 10>();
  692. test_swap_and_move_nd<value_nd, 10>();
  693. test_swap_and_move_nd<counting_value, 10>();
  694. BOOST_TEST(counting_value::count() == 0);
  695. test_swap_and_move_nd<shptr_value, 10>();
  696. test_swap_and_move_nd<movable_and_copyable_int, 10>();
  697. test_emplace_0p<counting_value, 10>();
  698. BOOST_TEST(counting_value::count() == 0);
  699. test_emplace_2p<counting_value, 10>();
  700. BOOST_TEST(counting_value::count() == 0);
  701. test_sv_elem<int, 10>(50);
  702. test_sv_elem<value_nd, 10>(value_nd(50));
  703. test_sv_elem<counting_value, 10>(counting_value(50));
  704. BOOST_TEST(counting_value::count() == 0);
  705. test_sv_elem<shptr_value, 10>(shptr_value(50));
  706. test_sv_elem<movable_and_copyable_int, 10>(movable_and_copyable_int(50));
  707. BOOST_TEST(default_init_test() == true);
  708. test_support_for_initializer_list();
  709. ////////////////////////////////////
  710. // Iterator testing
  711. ////////////////////////////////////
  712. {
  713. typedef boost::container::static_vector<int, 3> cont_int;
  714. cont_int a; a.push_back(0); a.push_back(1); a.push_back(2);
  715. boost::intrusive::test::test_iterator_random< cont_int >(a);
  716. }
  717. return boost::report_errors();
  718. }
  719. #include <boost/container/detail/config_end.hpp>