mirror of
				https://github.com/boostorg/unordered.git
				synced 2025-11-03 17:21:48 +01:00 
			
		
		
		
	
		
			
				
	
	
		
			257 lines
		
	
	
		
			8.8 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
			
		
		
	
	
			257 lines
		
	
	
		
			8.8 KiB
		
	
	
	
		
			C++
		
	
	
	
	
	
 | 
						|
// Copyright 2006-2009 Daniel James.
 | 
						|
// 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)
 | 
						|
 | 
						|
// clang-format off
 | 
						|
#include "../helpers/prefix.hpp"
 | 
						|
#ifdef BOOST_UNORDERED_FOA_TESTS
 | 
						|
#include <boost/unordered_flat_set.hpp>
 | 
						|
#include <boost/unordered_flat_map.hpp>
 | 
						|
#include <boost/unordered/detail/implementation.hpp>
 | 
						|
#else
 | 
						|
#include <boost/unordered_set.hpp>
 | 
						|
#include <boost/unordered_map.hpp>
 | 
						|
#endif
 | 
						|
#include "../helpers/postfix.hpp"
 | 
						|
// clang-format on
 | 
						|
 | 
						|
#include <boost/config.hpp>
 | 
						|
#include <algorithm>
 | 
						|
#include <iterator>
 | 
						|
#include "../helpers/test.hpp"
 | 
						|
#include "../objects/test.hpp"
 | 
						|
#include "../objects/cxx11_allocator.hpp"
 | 
						|
#include "../helpers/random_values.hpp"
 | 
						|
#include "../helpers/tracker.hpp"
 | 
						|
#include "../helpers/invariants.hpp"
 | 
						|
 | 
						|
#if defined(BOOST_MSVC)
 | 
						|
#pragma warning(disable : 4127) // conditional expression is constant
 | 
						|
#endif
 | 
						|
 | 
						|
namespace swap_tests {
 | 
						|
 | 
						|
  test::seed_t initialize_seed(783472);
 | 
						|
 | 
						|
  template <class X> void swap_test_impl(X& x1, X& x2)
 | 
						|
  {
 | 
						|
    test::ordered<X> tracker1 = test::create_ordered(x1);
 | 
						|
    test::ordered<X> tracker2 = test::create_ordered(x2);
 | 
						|
    tracker1.insert_range(x1.begin(), x1.end());
 | 
						|
    tracker2.insert_range(x2.begin(), x2.end());
 | 
						|
    x1.swap(x2);
 | 
						|
    tracker1.compare(x2);
 | 
						|
    tracker2.compare(x1);
 | 
						|
  }
 | 
						|
 | 
						|
  template <class X> void swap_tests1(X*, test::random_generator generator)
 | 
						|
  {
 | 
						|
    {
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      X x;
 | 
						|
      swap_test_impl(x, x);
 | 
						|
    }
 | 
						|
 | 
						|
    {
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      X x, y;
 | 
						|
      swap_test_impl(x, y);
 | 
						|
    }
 | 
						|
 | 
						|
    {
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      test::random_values<X> v(1000, generator);
 | 
						|
      X x, y(v.begin(), v.end());
 | 
						|
      swap_test_impl(x, y);
 | 
						|
      swap_test_impl(x, y);
 | 
						|
    }
 | 
						|
 | 
						|
    {
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      test::random_values<X> vx(1000, generator), vy(1000, generator);
 | 
						|
      X x(vx.begin(), vx.end()), y(vy.begin(), vy.end());
 | 
						|
      swap_test_impl(x, y);
 | 
						|
      swap_test_impl(x, y);
 | 
						|
    }
 | 
						|
  }
 | 
						|
 | 
						|
  template <class X> void swap_tests2(X* ptr, test::random_generator generator)
 | 
						|
  {
 | 
						|
    swap_tests1(ptr, generator);
 | 
						|
 | 
						|
    typedef typename X::hasher hasher;
 | 
						|
    typedef typename X::key_equal key_equal;
 | 
						|
    typedef typename X::allocator_type allocator_type;
 | 
						|
 | 
						|
    {
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      X x(0, hasher(1), key_equal(1));
 | 
						|
      X y(0, hasher(2), key_equal(2));
 | 
						|
      swap_test_impl(x, y);
 | 
						|
    }
 | 
						|
 | 
						|
    {
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      test::random_values<X> v(1000, generator);
 | 
						|
      X x(v.begin(), v.end(), 0, hasher(1), key_equal(1));
 | 
						|
      X y(0, hasher(2), key_equal(2));
 | 
						|
      swap_test_impl(x, y);
 | 
						|
    }
 | 
						|
 | 
						|
    {
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      test::random_values<X> vx(100, generator), vy(50, generator);
 | 
						|
      X x(vx.begin(), vx.end(), 0, hasher(1), key_equal(1));
 | 
						|
      X y(vy.begin(), vy.end(), 0, hasher(2), key_equal(2));
 | 
						|
      swap_test_impl(x, y);
 | 
						|
      swap_test_impl(x, y);
 | 
						|
    }
 | 
						|
 | 
						|
    {
 | 
						|
      test::force_equal_allocator force_(!allocator_type::is_propagate_on_swap);
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      test::random_values<X> vx(50, generator), vy(100, generator);
 | 
						|
      X x(vx.begin(), vx.end(), 0, hasher(), key_equal(), allocator_type(1));
 | 
						|
      X y(vy.begin(), vy.end(), 0, hasher(), key_equal(), allocator_type(2));
 | 
						|
 | 
						|
      if (allocator_type::is_propagate_on_swap ||
 | 
						|
          x.get_allocator() == y.get_allocator()) {
 | 
						|
        swap_test_impl(x, y);
 | 
						|
      }
 | 
						|
    }
 | 
						|
 | 
						|
    {
 | 
						|
      test::force_equal_allocator force_(!allocator_type::is_propagate_on_swap);
 | 
						|
      test::check_instances check_;
 | 
						|
 | 
						|
      test::random_values<X> vx(100, generator), vy(100, generator);
 | 
						|
      X x(vx.begin(), vx.end(), 0, hasher(1), key_equal(1), allocator_type(1));
 | 
						|
      X y(vy.begin(), vy.end(), 0, hasher(2), key_equal(2), allocator_type(2));
 | 
						|
 | 
						|
      if (allocator_type::is_propagate_on_swap ||
 | 
						|
          x.get_allocator() == y.get_allocator()) {
 | 
						|
        swap_test_impl(x, y);
 | 
						|
        swap_test_impl(x, y);
 | 
						|
      }
 | 
						|
    }
 | 
						|
  }
 | 
						|
 | 
						|
  using test::default_generator;
 | 
						|
  using test::generate_collisions;
 | 
						|
  using test::limited_range;
 | 
						|
 | 
						|
  template <typename T> bool is_propagate(T*)
 | 
						|
  {
 | 
						|
    return T::allocator_type::is_propagate_on_swap;
 | 
						|
  }
 | 
						|
 | 
						|
#ifdef BOOST_UNORDERED_FOA_TESTS
 | 
						|
  boost::unordered_flat_map<test::object, test::object, test::hash,
 | 
						|
    test::equal_to, std::allocator<test::object> >* test_map_std_alloc;
 | 
						|
 | 
						|
  boost::unordered_flat_set<test::object, test::hash, test::equal_to,
 | 
						|
    test::allocator1<test::object> >* test_set;
 | 
						|
  boost::unordered_flat_map<test::object, test::object, test::hash,
 | 
						|
    test::equal_to, test::allocator1<test::object> >* test_map;
 | 
						|
 | 
						|
  boost::unordered_flat_set<test::object, test::hash, test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::propagate_swap> >*
 | 
						|
    test_set_prop_swap;
 | 
						|
  boost::unordered_flat_map<test::object, test::object, test::hash,
 | 
						|
    test::equal_to, test::cxx11_allocator<test::object, test::propagate_swap> >*
 | 
						|
    test_map_prop_swap;
 | 
						|
 | 
						|
  boost::unordered_flat_set<test::object, test::hash, test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::no_propagate_swap> >*
 | 
						|
    test_set_no_prop_swap;
 | 
						|
  boost::unordered_flat_map<test::object, test::object, test::hash,
 | 
						|
    test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::no_propagate_swap> >*
 | 
						|
    test_map_no_prop_swap;
 | 
						|
 | 
						|
  UNORDERED_AUTO_TEST (check_traits) {
 | 
						|
    BOOST_TEST(!is_propagate(test_set));
 | 
						|
    BOOST_TEST(is_propagate(test_set_prop_swap));
 | 
						|
    BOOST_TEST(!is_propagate(test_set_no_prop_swap));
 | 
						|
  }
 | 
						|
 | 
						|
  UNORDERED_TEST(swap_tests1,
 | 
						|
    ((test_map_std_alloc)(test_set)(test_map)(test_set_prop_swap)(test_map_prop_swap)(test_set_no_prop_swap)(test_map_no_prop_swap))(
 | 
						|
      (default_generator)(generate_collisions)(limited_range)))
 | 
						|
 | 
						|
  UNORDERED_TEST(swap_tests2,
 | 
						|
    ((test_set)(test_map)(test_set_prop_swap)(test_map_prop_swap)(test_set_no_prop_swap)(test_map_no_prop_swap))(
 | 
						|
      (default_generator)(generate_collisions)(limited_range)))
 | 
						|
#else
 | 
						|
  boost::unordered_map<test::object, test::object, test::hash, test::equal_to,
 | 
						|
    std::allocator<test::object> >* test_map_std_alloc;
 | 
						|
 | 
						|
  boost::unordered_set<test::object, test::hash, test::equal_to,
 | 
						|
    test::allocator1<test::object> >* test_set;
 | 
						|
  boost::unordered_multiset<test::object, test::hash, test::equal_to,
 | 
						|
    test::allocator2<test::object> >* test_multiset;
 | 
						|
  boost::unordered_map<test::object, test::object, test::hash, test::equal_to,
 | 
						|
    test::allocator1<test::object> >* test_map;
 | 
						|
  boost::unordered_multimap<test::object, test::object, test::hash,
 | 
						|
    test::equal_to, test::allocator2<test::object> >* test_multimap;
 | 
						|
 | 
						|
  boost::unordered_set<test::object, test::hash, test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::propagate_swap> >*
 | 
						|
    test_set_prop_swap;
 | 
						|
  boost::unordered_multiset<test::object, test::hash, test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::propagate_swap> >*
 | 
						|
    test_multiset_prop_swap;
 | 
						|
  boost::unordered_map<test::object, test::object, test::hash, test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::propagate_swap> >*
 | 
						|
    test_map_prop_swap;
 | 
						|
  boost::unordered_multimap<test::object, test::object, test::hash,
 | 
						|
    test::equal_to, test::cxx11_allocator<test::object, test::propagate_swap> >*
 | 
						|
    test_multimap_prop_swap;
 | 
						|
 | 
						|
  boost::unordered_set<test::object, test::hash, test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::no_propagate_swap> >*
 | 
						|
    test_set_no_prop_swap;
 | 
						|
  boost::unordered_multiset<test::object, test::hash, test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::no_propagate_swap> >*
 | 
						|
    test_multiset_no_prop_swap;
 | 
						|
  boost::unordered_map<test::object, test::object, test::hash, test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::no_propagate_swap> >*
 | 
						|
    test_map_no_prop_swap;
 | 
						|
  boost::unordered_multimap<test::object, test::object, test::hash,
 | 
						|
    test::equal_to,
 | 
						|
    test::cxx11_allocator<test::object, test::no_propagate_swap> >*
 | 
						|
    test_multimap_no_prop_swap;
 | 
						|
 | 
						|
  UNORDERED_AUTO_TEST (check_traits) {
 | 
						|
    BOOST_TEST(!is_propagate(test_set));
 | 
						|
    BOOST_TEST(is_propagate(test_set_prop_swap));
 | 
						|
    BOOST_TEST(!is_propagate(test_set_no_prop_swap));
 | 
						|
  }
 | 
						|
 | 
						|
  UNORDERED_TEST(
 | 
						|
    swap_tests1, ((test_map_std_alloc)(test_set)(test_multiset)(test_map)(
 | 
						|
                   test_multimap)(test_set_prop_swap)(test_multiset_prop_swap)(
 | 
						|
                   test_map_prop_swap)(test_multimap_prop_swap)(
 | 
						|
                   test_set_no_prop_swap)(test_multiset_no_prop_swap)(
 | 
						|
                   test_map_no_prop_swap)(test_multimap_no_prop_swap))(
 | 
						|
                   (default_generator)(generate_collisions)(limited_range)))
 | 
						|
 | 
						|
  UNORDERED_TEST(swap_tests2,
 | 
						|
    ((test_set)(test_multiset)(test_map)(test_multimap)(test_set_prop_swap)(
 | 
						|
      test_multiset_prop_swap)(test_map_prop_swap)(test_multimap_prop_swap)(
 | 
						|
      test_set_no_prop_swap)(test_multiset_no_prop_swap)(test_map_no_prop_swap)(
 | 
						|
      test_multimap_no_prop_swap))(
 | 
						|
      (default_generator)(generate_collisions)(limited_range)))
 | 
						|
#endif
 | 
						|
}
 | 
						|
RUN_TESTS()
 |