vector_test.cpp 10 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364
  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. // the tests trigger deprecation warnings when compiled with msvc in C++17 mode
  11. #if defined(_MSVC_LANG) && _MSVC_LANG > 201402
  12. // warning STL4009: std::allocator<void> is deprecated in C++17
  13. # define _SILENCE_CXX17_ALLOCATOR_VOID_DEPRECATION_WARNING
  14. #endif
  15. #include <memory>
  16. #include <iostream>
  17. #include <boost/container/vector.hpp>
  18. #include <boost/container/allocator.hpp>
  19. #include <boost/move/utility_core.hpp>
  20. #include "check_equal_containers.hpp"
  21. #include "movable_int.hpp"
  22. #include "expand_bwd_test_allocator.hpp"
  23. #include "expand_bwd_test_template.hpp"
  24. #include "dummy_test_allocator.hpp"
  25. #include "propagate_allocator_test.hpp"
  26. #include "vector_test.hpp"
  27. #include "default_init_test.hpp"
  28. #include "../../intrusive/test/iterator_test.hpp"
  29. using namespace boost::container;
  30. int test_expand_bwd()
  31. {
  32. //Now test all back insertion possibilities
  33. //First raw ints
  34. typedef test::expand_bwd_test_allocator<int>
  35. int_allocator_type;
  36. typedef vector<int, int_allocator_type>
  37. int_vector;
  38. if(!test::test_all_expand_bwd<int_vector>())
  39. return 1;
  40. //Now user defined copyable int
  41. typedef test::expand_bwd_test_allocator<test::copyable_int>
  42. copyable_int_allocator_type;
  43. typedef vector<test::copyable_int, copyable_int_allocator_type>
  44. copyable_int_vector;
  45. if(!test::test_all_expand_bwd<copyable_int_vector>())
  46. return 1;
  47. return 0;
  48. }
  49. struct X;
  50. template<typename T>
  51. struct XRef
  52. {
  53. explicit XRef(T* ptr) : ptr(ptr) {}
  54. operator T*() const { return ptr; }
  55. T* ptr;
  56. };
  57. struct X
  58. {
  59. XRef<X const> operator&() const { return XRef<X const>(this); }
  60. XRef<X> operator&() { return XRef<X>(this); }
  61. };
  62. bool test_smart_ref_type()
  63. {
  64. boost::container::vector<X> x(5);
  65. return x.empty();
  66. }
  67. class recursive_vector
  68. {
  69. public:
  70. recursive_vector & operator=(const recursive_vector &x)
  71. { this->vector_ = x.vector_; return *this; }
  72. int id_;
  73. vector<recursive_vector> vector_;
  74. vector<recursive_vector>::iterator it_;
  75. vector<recursive_vector>::const_iterator cit_;
  76. vector<recursive_vector>::reverse_iterator rit_;
  77. vector<recursive_vector>::const_reverse_iterator crit_;
  78. };
  79. void recursive_vector_test()//Test for recursive types
  80. {
  81. vector<recursive_vector> recursive_vector_vector;
  82. }
  83. enum Test
  84. {
  85. zero, one, two, three, four, five, six
  86. };
  87. template<class VoidAllocator>
  88. struct GetAllocatorCont
  89. {
  90. template<class ValueType>
  91. struct apply
  92. {
  93. typedef vector< ValueType
  94. , typename allocator_traits<VoidAllocator>
  95. ::template portable_rebind_alloc<ValueType>::type
  96. > type;
  97. };
  98. };
  99. template<class VoidAllocator>
  100. int test_cont_variants()
  101. {
  102. typedef typename GetAllocatorCont<VoidAllocator>::template apply<int>::type MyCont;
  103. typedef typename GetAllocatorCont<VoidAllocator>::template apply<test::movable_int>::type MyMoveCont;
  104. typedef typename GetAllocatorCont<VoidAllocator>::template apply<test::movable_and_copyable_int>::type MyCopyMoveCont;
  105. typedef typename GetAllocatorCont<VoidAllocator>::template apply<test::copyable_int>::type MyCopyCont;
  106. if(test::vector_test<MyCont>())
  107. return 1;
  108. if(test::vector_test<MyMoveCont>())
  109. return 1;
  110. if(test::vector_test<MyCopyMoveCont>())
  111. return 1;
  112. if(test::vector_test<MyCopyCont>())
  113. return 1;
  114. return 0;
  115. }
  116. struct boost_container_vector;
  117. namespace boost { namespace container { namespace test {
  118. template<>
  119. struct alloc_propagate_base<boost_container_vector>
  120. {
  121. template <class T, class Allocator>
  122. struct apply
  123. {
  124. typedef boost::container::vector<T, Allocator> type;
  125. };
  126. };
  127. }}} //namespace boost::container::test
  128. template<typename T>
  129. class check_dealloc_allocator : public std::allocator<T>
  130. {
  131. public:
  132. bool allocate_zero_called_;
  133. bool deallocate_called_without_allocate_;
  134. check_dealloc_allocator()
  135. : std::allocator<T>()
  136. , allocate_zero_called_(false)
  137. , deallocate_called_without_allocate_(false)
  138. {}
  139. T* allocate(std::size_t n)
  140. {
  141. if (n == 0) {
  142. allocate_zero_called_ = true;
  143. }
  144. return std::allocator<T>::allocate(n);
  145. }
  146. void deallocate(T* p, std::size_t n)
  147. {
  148. if (n == 0 && !allocate_zero_called_) {
  149. deallocate_called_without_allocate_ = true;
  150. }
  151. return std::allocator<T>::deallocate(p, n);
  152. }
  153. };
  154. bool test_merge_empty_free()
  155. {
  156. vector<int> source;
  157. source.emplace_back(1);
  158. vector< int, check_dealloc_allocator<int> > empty;
  159. empty.merge(source.begin(), source.end());
  160. return empty.get_stored_allocator().deallocate_called_without_allocate_;
  161. }
  162. int main()
  163. {
  164. {
  165. const std::size_t positions_length = 10;
  166. std::size_t positions[positions_length];
  167. vector<int> vector_int;
  168. vector<int> vector_int2(positions_length);
  169. for(std::size_t i = 0; i != positions_length; ++i){
  170. positions[i] = 0u;
  171. }
  172. for(std::size_t i = 0, max = vector_int2.size(); i != max; ++i){
  173. vector_int2[i] = (int)i;
  174. }
  175. vector_int.insert(vector_int.begin(), 999);
  176. vector_int.insert_ordered_at(positions_length, positions + positions_length, vector_int2.end());
  177. for(std::size_t i = 0, max = vector_int.size(); i != max; ++i){
  178. std::cout << vector_int[i] << std::endl;
  179. }
  180. }
  181. recursive_vector_test();
  182. {
  183. //Now test move semantics
  184. vector<recursive_vector> original;
  185. vector<recursive_vector> move_ctor(boost::move(original));
  186. vector<recursive_vector> move_assign;
  187. move_assign = boost::move(move_ctor);
  188. move_assign.swap(original);
  189. }
  190. ////////////////////////////////////
  191. // Testing allocator implementations
  192. ////////////////////////////////////
  193. // std:allocator
  194. if(test_cont_variants< std::allocator<void> >()){
  195. std::cerr << "test_cont_variants< std::allocator<void> > failed" << std::endl;
  196. return 1;
  197. }
  198. // boost::container::allocator
  199. if(test_cont_variants< allocator<void> >()){
  200. std::cerr << "test_cont_variants< allocator<void> > failed" << std::endl;
  201. return 1;
  202. }
  203. {
  204. typedef vector<Test, std::allocator<Test> > MyEnumCont;
  205. MyEnumCont v;
  206. Test t;
  207. v.push_back(t);
  208. v.push_back(::boost::move(t));
  209. v.push_back(Test());
  210. }
  211. if (test_smart_ref_type())
  212. return 1;
  213. ////////////////////////////////////
  214. // Backwards expansion test
  215. ////////////////////////////////////
  216. if(test_expand_bwd())
  217. return 1;
  218. ////////////////////////////////////
  219. // Default init test
  220. ////////////////////////////////////
  221. if(!test::default_init_test< vector<int, test::default_init_allocator<int> > >()){
  222. std::cerr << "Default init test failed" << std::endl;
  223. return 1;
  224. }
  225. ////////////////////////////////////
  226. // Emplace testing
  227. ////////////////////////////////////
  228. const test::EmplaceOptions Options = (test::EmplaceOptions)(test::EMPLACE_BACK | test::EMPLACE_BEFORE);
  229. if(!boost::container::test::test_emplace< vector<test::EmplaceInt>, Options>()){
  230. return 1;
  231. }
  232. ////////////////////////////////////
  233. // Allocator propagation testing
  234. ////////////////////////////////////
  235. if(!boost::container::test::test_propagate_allocator<boost_container_vector>()){
  236. return 1;
  237. }
  238. ////////////////////////////////////
  239. // Initializer lists testing
  240. ////////////////////////////////////
  241. if(!boost::container::test::test_vector_methods_with_initializer_list_as_argument_for<
  242. boost::container::vector<int>
  243. >()) {
  244. return 1;
  245. }
  246. ////////////////////////////////////
  247. // Iterator testing
  248. ////////////////////////////////////
  249. {
  250. typedef boost::container::vector<int> cont_int;
  251. cont_int a; a.push_back(0); a.push_back(1); a.push_back(2);
  252. boost::intrusive::test::test_iterator_random< cont_int >(a);
  253. if(boost::report_errors() != 0) {
  254. return 1;
  255. }
  256. }
  257. #ifndef BOOST_CONTAINER_NO_CXX17_CTAD
  258. ////////////////////////////////////
  259. // Constructor Template Auto Deduction testing
  260. ////////////////////////////////////
  261. {
  262. auto gold = std::vector{ 1, 2, 3 };
  263. auto test = boost::container::vector(gold.begin(), gold.end());
  264. if (test.size() != 3) {
  265. return 1;
  266. }
  267. if (!(test[0] == 1 && test[1] == 2 && test[2] == 3)) {
  268. return 1;
  269. }
  270. }
  271. {
  272. auto gold = std::vector{ 1, 2, 3 };
  273. auto test = boost::container::vector(gold.begin(), gold.end(), boost::container::new_allocator<int>());
  274. if (test.size() != 3) {
  275. return 1;
  276. }
  277. if (!(test[0] == 1 && test[1] == 2 && test[2] == 3)) {
  278. return 1;
  279. }
  280. }
  281. #endif
  282. if (test_merge_empty_free()) {
  283. std::cerr << "Merge into empty vector test failed" << std::endl;
  284. return 1;
  285. }
  286. ////////////////////////////////////
  287. // has_trivial_destructor_after_move testing
  288. ////////////////////////////////////
  289. // default allocator
  290. {
  291. typedef boost::container::vector<int> cont;
  292. typedef cont::allocator_type allocator_type;
  293. typedef boost::container::allocator_traits<allocator_type>::pointer pointer;
  294. if (boost::has_trivial_destructor_after_move<cont>::value !=
  295. boost::has_trivial_destructor_after_move<allocator_type>::value &&
  296. boost::has_trivial_destructor_after_move<pointer>::value) {
  297. std::cerr << "has_trivial_destructor_after_move(default allocator) test failed" << std::endl;
  298. return 1;
  299. }
  300. }
  301. // std::allocator
  302. {
  303. typedef boost::container::vector<int, std::allocator<int> > cont;
  304. typedef cont::allocator_type allocator_type;
  305. typedef boost::container::allocator_traits<allocator_type>::pointer pointer;
  306. if (boost::has_trivial_destructor_after_move<cont>::value !=
  307. boost::has_trivial_destructor_after_move<allocator_type>::value &&
  308. boost::has_trivial_destructor_after_move<pointer>::value) {
  309. std::cerr << "has_trivial_destructor_after_move(std::allocator) test failed" << std::endl;
  310. return 1;
  311. }
  312. }
  313. return 0;
  314. }