1 //////////////////////////////////////////////////////////////////////////////
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)
7 // See http://www.boost.org/libs/container for documentation.
9 //////////////////////////////////////////////////////////////////////////////
11 #ifndef BOOST_CONTAINER_TEST_VECTOR_TEST_HEADER
12 #define BOOST_CONTAINER_TEST_VECTOR_TEST_HEADER
14 #include <boost/container/detail/config_begin.hpp>
20 #include <boost/move/utility_core.hpp>
21 #include <boost/container/detail/mpl.hpp>
22 #include <boost/move/utility_core.hpp>
23 #include <boost/move/iterator.hpp>
24 #include <boost/move/make_unique.hpp>
25 #include <boost/core/no_exceptions_support.hpp>
26 #include <boost/static_assert.hpp>
28 #include "print_container.hpp"
29 #include "check_equal_containers.hpp"
30 #include "movable_int.hpp"
31 #include "emplace_test.hpp"
32 #include "input_from_forward_iterator.hpp"
33 #include "insert_test.hpp"
34 #include "container_common_tests.hpp"
45 template<class Vector>
46 struct vector_hash_function_capacity
48 typedef typename Vector::size_type size_type;
49 template <typename U, size_type (U::*)() const> struct Check;
50 template <typename U> static char func(Check<U, &U::capacity> *);
51 template <typename U> static int func(...);
54 static const bool value = sizeof(func<Vector>(0)) == sizeof(char);
57 template<class V1, class V2>
58 bool vector_vector_hash_function_capacity_only(V1&, V2&, boost::container::dtl::false_type)
63 template<class MyBoostVector, class MyStdVector>
64 bool vector_vector_hash_function_capacity_only(MyBoostVector&boostvector, MyStdVector&stdvector, boost::container::dtl::true_type)
66 //deque has no reserve
67 boostvector.reserve(boostvector.size()*2);
68 stdvector.reserve(stdvector.size()*2);
69 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
71 std::size_t cap = boostvector.capacity();
72 boostvector.reserve(cap*2);
73 stdvector.reserve(cap*2);
74 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
75 boostvector.resize(0);
77 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
79 boostvector.resize(cap*2);
80 stdvector.resize(cap*2);
81 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
83 boostvector.resize(cap*2);
84 stdvector.resize(cap*2);
85 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
91 template<class V1, class V2>
92 bool vector_copyable_only(V1&, V2&, boost::container::dtl::false_type)
97 //Function to check if both sets are equal
98 template<class MyBoostVector, class MyStdVector>
99 bool vector_copyable_only(MyBoostVector &boostvector, MyStdVector &stdvector, boost::container::dtl::true_type)
101 typedef typename MyBoostVector::value_type IntType;
102 std::size_t size = boostvector.size();
103 boostvector.insert(boostvector.end(), 50, IntType(1));
104 stdvector.insert(stdvector.end(), 50, 1);
105 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
109 boostvector.insert(boostvector.begin()+size/2, 50, boost::move(move_me));
110 stdvector.insert(stdvector.begin()+size/2, 50, 1);
111 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
115 boostvector.assign(boostvector.size()/2, boost::move(move_me));
116 stdvector.assign(stdvector.size()/2, 2);
117 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
121 boostvector.assign(boostvector.size()*3-1, boost::move(move_me));
122 stdvector.assign(stdvector.size()*3-1, 3);
123 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
128 const IntType ccopy_me(3);
129 boostvector.push_back(copy_me);
130 stdvector.push_back(int(3));
131 boostvector.push_back(ccopy_me);
132 stdvector.push_back(int(3));
133 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
135 { //Vector(const Vector &)
136 ::boost::movelib::unique_ptr<MyBoostVector> const pv1 =
137 ::boost::movelib::make_unique<MyBoostVector>(boostvector);
138 ::boost::movelib::unique_ptr<MyStdVector> const pv2 =
139 ::boost::movelib::make_unique<MyStdVector>(stdvector);
141 MyBoostVector &v1 = *pv1;
142 MyStdVector &v2 = *pv2;
146 boostvector.assign(v1.begin(), v1.end());
147 stdvector.assign(v2.begin(), v2.end());
148 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
150 { //Vector(const Vector &, alloc)
151 ::boost::movelib::unique_ptr<MyBoostVector> const pv1 =
152 ::boost::movelib::make_unique<MyBoostVector>(boostvector, typename MyBoostVector::allocator_type());
153 ::boost::movelib::unique_ptr<MyStdVector> const pv2 =
154 ::boost::movelib::make_unique<MyStdVector>(stdvector);
156 MyBoostVector &v1 = *pv1;
157 MyStdVector &v2 = *pv2;
161 boostvector.assign(v1.begin(), v1.end());
162 stdvector.assign(v2.begin(), v2.end());
163 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
166 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
167 ::boost::movelib::make_unique<MyStdVector>(100, int(5));
168 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
169 ::boost::movelib::make_unique<MyBoostVector>(100, IntType(5));
170 if(!test::CheckEqualContainers(*boostvectorp, *stdvectorp)) return 1;
172 { //Vector(n, T, alloc)
173 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
174 ::boost::movelib::make_unique<MyStdVector>(100, int(5));
175 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
176 ::boost::movelib::make_unique<MyBoostVector>(100, IntType(5), typename MyBoostVector::allocator_type());
177 if(!test::CheckEqualContainers(*boostvectorp, *stdvectorp)) return 1;
180 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
181 ::boost::movelib::make_unique<MyStdVector>(100);
182 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
183 ::boost::movelib::make_unique<MyBoostVector>(100);
184 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp2 =
185 ::boost::movelib::make_unique<MyBoostVector>(boostvectorp->begin(), boostvectorp->end());
186 if(!test::CheckEqualContainers(*boostvectorp2, *stdvectorp)) return 1;
188 { //Vector(It, It, alloc)
189 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
190 ::boost::movelib::make_unique<MyStdVector>(100);
191 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
192 ::boost::movelib::make_unique<MyBoostVector>(100);
193 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp2 =
194 ::boost::movelib::make_unique<MyBoostVector>(boostvectorp->begin(), boostvectorp->end(), typename MyBoostVector::allocator_type());
195 if(!test::CheckEqualContainers(*boostvectorp2, *stdvectorp)) return 1;
198 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
199 ::boost::movelib::make_unique<MyStdVector>();
200 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
201 ::boost::movelib::make_unique<MyBoostVector>();
202 stdvectorp->resize(100, int(9));
203 boostvectorp->resize(100, IntType(9));
204 if(!test::CheckEqualContainers(*boostvectorp, *stdvectorp)) return 1;
209 template<class MyBoostVector>
212 typedef std::vector<int> MyStdVector;
213 typedef typename MyBoostVector::value_type IntType;
216 if(!test_range_insertion<MyBoostVector>()){
220 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
221 ::boost::movelib::make_unique<MyBoostVector>(100);
222 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
223 ::boost::movelib::make_unique<MyStdVector>(100);
224 if(!test::CheckEqualContainers(*boostvectorp, *stdvectorp)) return 1;
227 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
228 ::boost::movelib::make_unique<MyBoostVector>(100, typename MyBoostVector::allocator_type());
229 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
230 ::boost::movelib::make_unique<MyStdVector>(100);
231 if(!test::CheckEqualContainers(*boostvectorp, *stdvectorp)) return 1;
233 { //Vector(Vector &&)
234 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
235 ::boost::movelib::make_unique<MyStdVector>(100);
236 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
237 ::boost::movelib::make_unique<MyBoostVector>(100);
238 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp2 =
239 ::boost::movelib::make_unique<MyBoostVector>(::boost::move(*boostvectorp));
240 if(!test::CheckEqualContainers(*boostvectorp2, *stdvectorp)) return 1;
242 { //Vector(Vector &&, alloc)
243 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
244 ::boost::movelib::make_unique<MyStdVector>(100);
245 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
246 ::boost::movelib::make_unique<MyBoostVector>(100);
247 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp2 =
248 ::boost::movelib::make_unique<MyBoostVector>
249 (::boost::move(*boostvectorp), typename MyBoostVector::allocator_type());
250 if(!test::CheckEqualContainers(*boostvectorp2, *stdvectorp)) return 1;
252 { //Vector operator=(Vector &&)
253 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp =
254 ::boost::movelib::make_unique<MyStdVector>(100);
255 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp =
256 ::boost::movelib::make_unique<MyBoostVector>(100);
257 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp2 =
258 ::boost::movelib::make_unique<MyBoostVector>();
259 *boostvectorp2 = ::boost::move(*boostvectorp);
260 if(!test::CheckEqualContainers(*boostvectorp2, *stdvectorp)) return 1;
263 ::boost::movelib::unique_ptr<MyBoostVector> const boostvectorp = ::boost::movelib::make_unique<MyBoostVector>();
264 ::boost::movelib::unique_ptr<MyStdVector> const stdvectorp = ::boost::movelib::make_unique<MyStdVector>();
266 MyBoostVector & boostvector = *boostvectorp;
267 MyStdVector & stdvector = *stdvectorp;
269 boostvector.resize(100);
270 stdvector.resize(100);
271 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
273 boostvector.resize(200);
274 stdvector.resize(200);
275 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
277 boostvector.resize(0);
279 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
281 for(int i = 0; i < max; ++i){
283 boostvector.insert(boostvector.end(), boost::move(new_int));
284 stdvector.insert(stdvector.end(), i);
285 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
287 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
289 typename MyBoostVector::iterator boostit(boostvector.begin());
290 typename MyStdVector::iterator stdit(stdvector.begin());
291 typename MyBoostVector::const_iterator cboostit = boostit;
294 boostvector.erase(boostit);
295 stdvector.erase(stdit);
296 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
298 boostvector.erase(boostvector.begin());
299 stdvector.erase(stdvector.begin());
300 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
304 IntType aux_vect[50];
305 for(int i = 0; i < 50; ++i){
307 BOOST_STATIC_ASSERT((boost::container::test::is_copyable<boost::container::test::movable_int>::value == false));
308 aux_vect[i] = boost::move(new_int);
311 for(int i = 0; i < 50; ++i){
314 typename MyBoostVector::iterator insert_it =
315 boostvector.insert(boostvector.end()
316 ,boost::make_move_iterator(&aux_vect[0])
317 ,boost::make_move_iterator(aux_vect + 50));
318 if(std::size_t(boost::container::iterator_distance(insert_it, boostvector.end())) != 50) return 1;
319 stdvector.insert(stdvector.end(), aux_vect2, aux_vect2 + 50);
320 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
322 for(int i = 0, j = static_cast<int>(boostvector.size()); i < j; ++i){
323 boostvector.erase(boostvector.begin());
324 stdvector.erase(stdvector.begin());
326 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
329 boostvector.resize(100);
330 stdvector.resize(100);
331 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
333 IntType aux_vect[50];
334 for(int i = 0; i < 50; ++i){
336 aux_vect[i] = boost::move(new_int);
339 for(int i = 0; i < 50; ++i){
342 typename MyBoostVector::size_type old_size = boostvector.size();
343 typename MyBoostVector::iterator insert_it =
344 boostvector.insert(boostvector.begin() + old_size/2
345 ,boost::make_move_iterator(&aux_vect[0])
346 ,boost::make_move_iterator(aux_vect + 50));
347 if(boostvector.begin() + old_size/2 != insert_it) return 1;
348 stdvector.insert(stdvector.begin() + old_size/2, aux_vect2, aux_vect2 + 50);
349 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
351 for(int i = 0; i < 50; ++i){
353 aux_vect[i] = boost::move(new_int);
356 for(int i = 0; i < 50; ++i){
359 old_size = boostvector.size();
360 //Now try with input iterators instead
361 insert_it = boostvector.insert(boostvector.begin() + old_size/2
362 ,boost::make_move_iterator(make_input_from_forward_iterator(&aux_vect[0]))
363 ,boost::make_move_iterator(make_input_from_forward_iterator(aux_vect + 50))
365 if(boostvector.begin() + old_size/2 != insert_it) return 1;
366 stdvector.insert(stdvector.begin() + old_size/2, aux_vect2, aux_vect2 + 50);
367 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
370 boostvector.shrink_to_fit();
371 MyStdVector(stdvector).swap(stdvector);
372 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
374 boostvector.shrink_to_fit();
375 MyStdVector(stdvector).swap(stdvector);
376 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
378 { //push_back with not enough capacity
379 IntType push_back_this(1);
380 boostvector.push_back(boost::move(push_back_this));
381 stdvector.push_back(int(1));
382 boostvector.push_back(IntType(1));
383 stdvector.push_back(int(1));
384 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
388 const IntType test_this(1);
389 if(test_this != boostvector.back()) return 1;
391 { //pop_back with enough capacity
392 boostvector.pop_back();
393 boostvector.pop_back();
394 stdvector.pop_back();
395 stdvector.pop_back();
397 IntType push_back_this(1);
398 boostvector.push_back(boost::move(push_back_this));
399 stdvector.push_back(int(1));
400 boostvector.push_back(IntType(1));
401 stdvector.push_back(int(1));
402 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
405 if(!vector_copyable_only(boostvector, stdvector
406 ,dtl::bool_<boost::container::test::is_copyable<IntType>::value>())){
410 boostvector.erase(boostvector.begin());
411 stdvector.erase(stdvector.begin());
412 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
414 for(int i = 0; i < max; ++i){
415 IntType insert_this(i);
416 boostvector.insert(boostvector.begin(), boost::move(insert_this));
417 stdvector.insert(stdvector.begin(), i);
418 boostvector.insert(boostvector.begin(), IntType(i));
419 stdvector.insert(stdvector.begin(), int(i));
421 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
423 //some comparison operators
424 if(!(boostvector == boostvector))
426 if(boostvector != boostvector)
428 if(boostvector < boostvector)
430 if(boostvector > boostvector)
432 if(!(boostvector <= boostvector))
434 if(!(boostvector >= boostvector))
437 //Test insertion from list
439 std::list<int> l(50, int(1));
440 typename MyBoostVector::iterator it_insert =
441 boostvector.insert(boostvector.begin(), l.begin(), l.end());
442 if(boostvector.begin() != it_insert) return 1;
443 stdvector.insert(stdvector.begin(), l.begin(), l.end());
444 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
445 boostvector.assign(l.begin(), l.end());
446 stdvector.assign(l.begin(), l.end());
447 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
451 boostvector.assign(make_input_from_forward_iterator(l.begin()), make_input_from_forward_iterator(l.end()));
452 stdvector.assign(l.begin(), l.end());
453 if(!test::CheckEqualContainers(boostvector, stdvector)) return 1;
456 if(!vector_vector_hash_function_capacity_only(boostvector, stdvector, dtl::bool_<vector_hash_function_capacity<MyBoostVector>::value>()))
461 boostvector.shrink_to_fit();
462 MyStdVector(stdvector).swap(stdvector);
463 if(!test::CheckEqualContainers(boostvector, stdvector)) return false;
465 boostvector.resize(100);
466 if(!test_nth_index_of(boostvector))
470 std::cout << std::endl << "Test OK!" << std::endl;
474 template<typename VectorContainerType>
475 bool test_vector_methods_with_initializer_list_as_argument_for()
477 #if !defined(BOOST_NO_CXX11_HDR_INITIALIZER_LIST)
478 typedef typename VectorContainerType::allocator_type allocator_type;
480 const VectorContainerType testedVector = {1, 2, 3};
481 const std::vector<int> expectedVector = {1, 2, 3};
482 if(!test::CheckEqualContainers(testedVector, expectedVector)) return false;
485 const VectorContainerType testedVector( { 1, 2, 3 }, allocator_type() );
486 const std::vector<int> expectedVector = {1, 2, 3};
487 if(!test::CheckEqualContainers(testedVector, expectedVector)) return false;
490 VectorContainerType testedVector = {1, 2, 3};
491 testedVector = {11, 12, 13};
493 const std::vector<int> expectedVector = {11, 12, 13};
494 if(!test::CheckEqualContainers(testedVector, expectedVector)) return false;
498 VectorContainerType testedVector = {1, 2, 3};
499 testedVector.assign({5, 6, 7});
501 const std::vector<int> expectedVector = {5, 6, 7};
502 if(!test::CheckEqualContainers(testedVector, expectedVector)) return false;
506 VectorContainerType testedVector = {1, 2, 3};
507 testedVector.insert(testedVector.cend(), {5, 6, 7});
509 const std::vector<int> expectedVector = {1, 2, 3, 5, 6, 7};
510 if(!test::CheckEqualContainers(testedVector, expectedVector)) return false;
519 } //namespace container {
522 #include <boost/container/detail/config_end.hpp>
524 #endif //BOOST_CONTAINER_TEST_VECTOR_TEST_HEADER