123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446 |
- //////////////////////////////////////////////////////////////////////////////
- //
- // (C) Copyright Ion Gaztanaga 2004-2013. Distributed under the Boost
- // Software License, Version 1.0. (See accompanying file
- // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- //
- // See http://www.boost.org/libs/container for documentation.
- //
- //////////////////////////////////////////////////////////////////////////////
- #include <boost/container/detail/config_begin.hpp>
- #include <memory>
- #include <deque>
- #include <iostream>
- #include <list>
- #include <boost/container/deque.hpp>
- #include <boost/container/allocator.hpp>
- #include "print_container.hpp"
- #include "check_equal_containers.hpp"
- #include "dummy_test_allocator.hpp"
- #include "movable_int.hpp"
- #include <boost/move/utility_core.hpp>
- #include <boost/move/iterator.hpp>
- #include <boost/container/detail/mpl.hpp>
- #include <boost/container/detail/type_traits.hpp>
- #include <string>
- #include "emplace_test.hpp"
- #include "propagate_allocator_test.hpp"
- #include "vector_test.hpp"
- #include "default_init_test.hpp"
- #include <boost/core/no_exceptions_support.hpp>
- #include "../../intrusive/test/iterator_test.hpp"
- using namespace boost::container;
- //Function to check if both sets are equal
- template<class V1, class V2>
- bool deque_copyable_only(V1 &, V2 &, dtl::false_type)
- {
- return true;
- }
- //Function to check if both sets are equal
- template<class V1, class V2>
- bool deque_copyable_only(V1 &cntdeque, V2 &stddeque, dtl::true_type)
- {
- typedef typename V1::value_type IntType;
- std::size_t size = cntdeque.size();
- stddeque.insert(stddeque.end(), 50, 1);
- cntdeque.insert(cntdeque.end(), 50, IntType(1));
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- {
- IntType move_me(1);
- stddeque.insert(stddeque.begin()+size/2, 50, 1);
- cntdeque.insert(cntdeque.begin()+size/2, 50, boost::move(move_me));
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- }
- {
- IntType move_me(2);
- cntdeque.assign(cntdeque.size()/2, boost::move(move_me));
- stddeque.assign(stddeque.size()/2, 2);
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- }
- {
- IntType move_me(1);
- stddeque.clear();
- cntdeque.clear();
- stddeque.insert(stddeque.begin(), 50, 1);
- cntdeque.insert(cntdeque.begin(), 50, boost::move(move_me));
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- stddeque.insert(stddeque.begin()+20, 50, 1);
- cntdeque.insert(cntdeque.begin()+20, 50, boost::move(move_me));
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- stddeque.insert(stddeque.begin()+20, 20, 1);
- cntdeque.insert(cntdeque.begin()+20, 20, boost::move(move_me));
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- }
- {
- IntType move_me(1);
- stddeque.clear();
- cntdeque.clear();
- stddeque.insert(stddeque.end(), 50, 1);
- cntdeque.insert(cntdeque.end(), 50, boost::move(move_me));
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- stddeque.insert(stddeque.end()-20, 50, 1);
- cntdeque.insert(cntdeque.end()-20, 50, boost::move(move_me));
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- stddeque.insert(stddeque.end()-20, 20, 1);
- cntdeque.insert(cntdeque.end()-20, 20, boost::move(move_me));
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- }
- return true;
- }
- //Test recursive structures
- class recursive_deque
- {
- public:
- recursive_deque & operator=(const recursive_deque &x)
- { this->deque_ = x.deque_; return *this; }
- int id_;
- deque<recursive_deque> deque_;
- deque<recursive_deque>::iterator it_;
- deque<recursive_deque>::const_iterator cit_;
- deque<recursive_deque>::reverse_iterator rit_;
- deque<recursive_deque>::const_reverse_iterator crit_;
- };
- template<class IntType>
- bool do_test()
- {
- //Test for recursive types
- {
- deque<recursive_deque> recursive_deque_deque;
- }
- {
- //Now test move semantics
- deque<recursive_deque> original;
- deque<recursive_deque> move_ctor(boost::move(original));
- deque<recursive_deque> move_assign;
- move_assign = boost::move(move_ctor);
- move_assign.swap(original);
- }
- //Alias deque types
- typedef deque<IntType> MyCntDeque;
- typedef std::deque<int> MyStdDeque;
- const int max = 100;
- {
- ::boost::movelib::unique_ptr<MyCntDeque> const pcntdeque = ::boost::movelib::make_unique<MyCntDeque>();
- ::boost::movelib::unique_ptr<MyStdDeque> const pstddeque = ::boost::movelib::make_unique<MyStdDeque>();
- MyCntDeque &cntdeque = *pcntdeque;
- MyStdDeque &stddeque = *pstddeque;
- for(int i = 0; i < max*100; ++i){
- IntType move_me(i);
- cntdeque.insert(cntdeque.end(), boost::move(move_me));
- stddeque.insert(stddeque.end(), i);
- }
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- cntdeque.clear();
- stddeque.clear();
- for(int i = 0; i < max*100; ++i){
- IntType move_me(i);
- cntdeque.push_back(boost::move(move_me));
- stddeque.push_back(i);
- }
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- cntdeque.clear();
- stddeque.clear();
- for(int i = 0; i < max*100; ++i){
- IntType move_me(i);
- cntdeque.push_front(boost::move(move_me));
- stddeque.push_front(i);
- }
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- typename MyCntDeque::iterator it;
- typename MyCntDeque::const_iterator cit = it;
- (void)cit;
- cntdeque.erase(cntdeque.begin()++);
- stddeque.erase(stddeque.begin()++);
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- cntdeque.erase(cntdeque.begin());
- stddeque.erase(stddeque.begin());
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- {
- //Initialize values
- IntType aux_vect[50];
- for(int i = 0; i < 50; ++i){
- IntType move_me (-1);
- aux_vect[i] = boost::move(move_me);
- }
- int aux_vect2[50];
- for(int i = 0; i < 50; ++i){
- aux_vect2[i] = -1;
- }
- cntdeque.insert(cntdeque.end()
- ,boost::make_move_iterator(&aux_vect[0])
- ,boost::make_move_iterator(aux_vect + 50));
- stddeque.insert(stddeque.end(), aux_vect2, aux_vect2 + 50);
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- for(int i = 0; i < 50; ++i){
- IntType move_me (i);
- aux_vect[i] = boost::move(move_me);
- }
- for(int i = 0; i < 50; ++i){
- aux_vect2[i] = i;
- }
- cntdeque.insert(cntdeque.begin()+cntdeque.size()
- ,boost::make_move_iterator(&aux_vect[0])
- ,boost::make_move_iterator(aux_vect + 50));
- stddeque.insert(stddeque.begin()+stddeque.size(), aux_vect2, aux_vect2 + 50);
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- for(int i = 0, j = static_cast<int>(cntdeque.size()); i < j; ++i){
- cntdeque.erase(cntdeque.begin());
- stddeque.erase(stddeque.begin());
- }
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- }
- {
- IntType aux_vect[50];
- for(int i = 0; i < 50; ++i){
- IntType move_me(-1);
- aux_vect[i] = boost::move(move_me);
- }
- int aux_vect2[50];
- for(int i = 0; i < 50; ++i){
- aux_vect2[i] = -1;
- }
- cntdeque.insert(cntdeque.begin()
- ,boost::make_move_iterator(&aux_vect[0])
- ,boost::make_move_iterator(aux_vect + 50));
- stddeque.insert(stddeque.begin(), aux_vect2, aux_vect2 + 50);
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- }
- if(!deque_copyable_only(cntdeque, stddeque
- ,dtl::bool_<boost::container::test::is_copyable<IntType>::value>())){
- return false;
- }
- cntdeque.erase(cntdeque.begin());
- stddeque.erase(stddeque.begin());
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- for(int i = 0; i < max; ++i){
- IntType move_me(i);
- cntdeque.insert(cntdeque.begin(), boost::move(move_me));
- stddeque.insert(stddeque.begin(), i);
- }
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return false;
- //Test insertion from list
- {
- std::list<int> l(50, int(1));
- cntdeque.insert(cntdeque.begin(), l.begin(), l.end());
- stddeque.insert(stddeque.begin(), l.begin(), l.end());
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return 1;
- cntdeque.assign(l.begin(), l.end());
- stddeque.assign(l.begin(), l.end());
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return 1;
- }
- cntdeque.resize(100);
- stddeque.resize(100);
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return 1;
- cntdeque.resize(200);
- stddeque.resize(200);
- if(!test::CheckEqualContainers(cntdeque, stddeque)) return 1;
- }
- #ifndef BOOST_CONTAINER_NO_CXX17_CTAD
- //Check Constructor Template Auto Deduction
- {
- auto gold = MyStdDeque{ 1, 2, 3 };
- auto test = deque(gold.begin(), gold.end());
- if(!test::CheckEqualContainers(gold, test)) return false;
- }
- {
- auto gold = MyStdDeque{ 1, 2, 3 };
- auto test = deque(gold.begin(), gold.end(), new_allocator<int>());
- if(!test::CheckEqualContainers(gold, test)) return false;
- }
- #endif
- std::cout << std::endl << "Test OK!" << std::endl;
- return true;
- }
- template<class VoidAllocator>
- struct GetAllocatorCont
- {
- template<class ValueType>
- struct apply
- {
- typedef deque< ValueType
- , typename allocator_traits<VoidAllocator>
- ::template portable_rebind_alloc<ValueType>::type
- > type;
- };
- };
- template<class VoidAllocator>
- int test_cont_variants()
- {
- typedef typename GetAllocatorCont<VoidAllocator>::template apply<int>::type MyCont;
- typedef typename GetAllocatorCont<VoidAllocator>::template apply<test::movable_int>::type MyMoveCont;
- typedef typename GetAllocatorCont<VoidAllocator>::template apply<test::movable_and_copyable_int>::type MyCopyMoveCont;
- typedef typename GetAllocatorCont<VoidAllocator>::template apply<test::copyable_int>::type MyCopyCont;
- if(test::vector_test<MyCont>())
- return 1;
- if(test::vector_test<MyMoveCont>())
- return 1;
- if(test::vector_test<MyCopyMoveCont>())
- return 1;
- if(test::vector_test<MyCopyCont>())
- return 1;
- return 0;
- }
- struct boost_container_deque;
- namespace boost { namespace container { namespace test {
- template<>
- struct alloc_propagate_base<boost_container_deque>
- {
- template <class T, class Allocator>
- struct apply
- {
- typedef boost::container::deque<T, Allocator> type;
- };
- };
- }}} //namespace boost::container::test
- int main ()
- {
- if(!do_test<int>())
- return 1;
- if(!do_test<test::movable_int>())
- return 1;
- if(!do_test<test::movable_and_copyable_int>())
- return 1;
- if(!do_test<test::copyable_int>())
- return 1;
- //Test non-copy-move operations
- {
- deque<test::non_copymovable_int> d;
- d.emplace_back();
- d.emplace_front(1);
- d.resize(10);
- d.resize(1);
- }
- ////////////////////////////////////
- // Allocator implementations
- ////////////////////////////////////
- // std:allocator
- if(test_cont_variants< std::allocator<void> >()){
- std::cerr << "test_cont_variants< std::allocator<void> > failed" << std::endl;
- return 1;
- }
- // boost::container::allocator
- if(test_cont_variants< allocator<void> >()){
- std::cerr << "test_cont_variants< allocator<void> > failed" << std::endl;
- return 1;
- }
- ////////////////////////////////////
- // Default init test
- ////////////////////////////////////
- if(!test::default_init_test< deque<int, test::default_init_allocator<int> > >()){
- std::cerr << "Default init test failed" << std::endl;
- return 1;
- }
- ////////////////////////////////////
- // Emplace testing
- ////////////////////////////////////
- const test::EmplaceOptions Options = (test::EmplaceOptions)(test::EMPLACE_BACK | test::EMPLACE_FRONT | test::EMPLACE_BEFORE);
- if(!boost::container::test::test_emplace
- < deque<test::EmplaceInt>, Options>())
- return 1;
- ////////////////////////////////////
- // Allocator propagation testing
- ////////////////////////////////////
- if(!boost::container::test::test_propagate_allocator<boost_container_deque>())
- return 1;
- ////////////////////////////////////
- // Initializer lists testing
- ////////////////////////////////////
- if(!boost::container::test::test_vector_methods_with_initializer_list_as_argument_for
- < boost::container::deque<int> >()) {
- return 1;
- }
- ////////////////////////////////////
- // Iterator testing
- ////////////////////////////////////
- {
- typedef boost::container::deque<int> cont_int;
- cont_int a; a.push_back(0); a.push_back(1); a.push_back(2);
- boost::intrusive::test::test_iterator_random< cont_int >(a);
- if(boost::report_errors() != 0) {
- return 1;
- }
- }
- ////////////////////////////////////
- // has_trivial_destructor_after_move testing
- ////////////////////////////////////
- // default allocator
- {
- typedef boost::container::deque<int> cont;
- typedef cont::allocator_type allocator_type;
- typedef boost::container::allocator_traits<allocator_type>::pointer pointer;
- if (boost::has_trivial_destructor_after_move<cont>::value !=
- boost::has_trivial_destructor_after_move<allocator_type>::value &&
- boost::has_trivial_destructor_after_move<pointer>::value) {
- std::cerr << "has_trivial_destructor_after_move(default allocator) test failed" << std::endl;
- return 1;
- }
- }
- // std::allocator
- {
- typedef boost::container::deque<int, std::allocator<int> > cont;
- typedef cont::allocator_type allocator_type;
- typedef boost::container::allocator_traits<allocator_type>::pointer pointer;
- if (boost::has_trivial_destructor_after_move<cont>::value !=
- boost::has_trivial_destructor_after_move<allocator_type>::value &&
- boost::has_trivial_destructor_after_move<pointer>::value) {
- std::cerr << "has_trivial_destructor_after_move(std::allocator) test failed" << std::endl;
- return 1;
- }
- }
- return 0;
- }
- #include <boost/container/detail/config_end.hpp>
|