2006-05-17 17:19:16 +00:00
|
|
|
|
2009-03-09 20:56:23 +00:00
|
|
|
// Copyright 2005-2009 Daniel James.
|
2006-07-01 22:31:26 +00:00
|
|
|
// 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)
|
2006-05-17 17:19:16 +00:00
|
|
|
|
|
|
|
#if !defined(BOOST_UNORDERED_TESTS_EQUIVALENT_HEADER)
|
|
|
|
#define BOOST_UNORDERED_TESTS_EQUIVALENT_HEADER
|
|
|
|
|
2006-06-18 13:24:38 +00:00
|
|
|
#include "./fwd.hpp"
|
Merge in support for equality operators for the unordered containers and
hopefully better cross-platform support.
Merged revisions 44778-44835,44837-44918 via svnmerge from
https://svn.boost.org/svn/boost/branches/unordered/trunk
........
r44778 | danieljames | 2008-04-26 17:15:44 +0100 (Sat, 26 Apr 2008) | 2 lines
Remove a trailing comma.
........
r44779 | danieljames | 2008-04-26 17:23:51 +0100 (Sat, 26 Apr 2008) | 1 line
Merge in support for equality operators.
........
r44780 | danieljames | 2008-04-26 17:28:44 +0100 (Sat, 26 Apr 2008) | 1 line
Use my own list container to avoid working around STL container bugs.
........
r44833 | danieljames | 2008-04-28 08:03:43 +0100 (Mon, 28 Apr 2008) | 1 line
Better equality tests.
........
r44834 | danieljames | 2008-04-28 08:04:03 +0100 (Mon, 28 Apr 2008) | 1 line
Remove a superfluous check.
........
r44835 | danieljames | 2008-04-28 08:04:21 +0100 (Mon, 28 Apr 2008) | 1 line
Add equality reference documentation.
........
r44916 | danieljames | 2008-04-30 08:16:52 +0100 (Wed, 30 Apr 2008) | 1 line
New version of list.hpp
........
r44917 | danieljames | 2008-04-30 08:18:31 +0100 (Wed, 30 Apr 2008) | 1 line
Support compilers without ADL in the compile tests.
........
r44918 | danieljames | 2008-04-30 08:25:20 +0100 (Wed, 30 Apr 2008) | 7 lines
Change the typedef of buffered functions as it was confusing MSVC 6.5
get_allocator wasn't compiling when the allocator workaround is used because it
couldn't cast from the wrapped allocator to an allocator of another type. So
use value_alloc_ when it's available (it's only unavailable on compilers with
C++0x support, which don't require the workaround).
........
[SVN r44919]
2008-04-30 07:57:04 +00:00
|
|
|
#include "./list.hpp"
|
2017-02-19 13:05:17 +00:00
|
|
|
#include "./metafunctions.hpp"
|
|
|
|
#include <algorithm>
|
2017-12-03 14:11:34 +00:00
|
|
|
#include <boost/core/lightweight_test.hpp>
|
2017-02-19 13:05:17 +00:00
|
|
|
#include <boost/unordered_map.hpp>
|
|
|
|
#include <boost/unordered_set.hpp>
|
2006-05-17 17:19:16 +00:00
|
|
|
|
2017-02-19 13:05:17 +00:00
|
|
|
namespace test {
|
2017-06-11 20:55:59 +01:00
|
|
|
template <class T1, class T2>
|
|
|
|
bool equivalent_impl(T1 const& x, T2 const& y, base_type)
|
|
|
|
{
|
2017-02-19 13:05:17 +00:00
|
|
|
return x == y;
|
2017-06-11 20:55:59 +01:00
|
|
|
}
|
2006-05-17 17:19:16 +00:00
|
|
|
|
2017-06-11 20:55:59 +01:00
|
|
|
template <class T>
|
|
|
|
bool equivalent_impl(
|
|
|
|
boost::hash<T> const&, boost::hash<T> const&, derived_type)
|
|
|
|
{
|
2017-02-19 13:05:17 +00:00
|
|
|
return true;
|
2017-06-11 20:55:59 +01:00
|
|
|
}
|
2006-05-17 17:19:16 +00:00
|
|
|
|
2017-06-11 20:55:59 +01:00
|
|
|
template <class T>
|
|
|
|
bool equivalent_impl(
|
2017-02-19 13:05:17 +00:00
|
|
|
std::equal_to<T> const&, std::equal_to<T> const&, derived_type)
|
2017-06-11 20:55:59 +01:00
|
|
|
{
|
2017-02-19 13:05:17 +00:00
|
|
|
return true;
|
2017-06-11 20:55:59 +01:00
|
|
|
}
|
2017-02-19 13:05:17 +00:00
|
|
|
|
2017-06-11 20:55:59 +01:00
|
|
|
template <class T1, class T2, class T3, class T4>
|
|
|
|
bool equivalent_impl(
|
2017-02-19 13:05:17 +00:00
|
|
|
std::pair<T1, T2> const& x1, std::pair<T3, T4> const& x2, derived_type)
|
2017-06-11 20:55:59 +01:00
|
|
|
{
|
2017-02-19 13:05:17 +00:00
|
|
|
return equivalent_impl(x1.first, x2.first, derived) &&
|
|
|
|
equivalent_impl(x1.second, x2.second, derived);
|
2017-06-11 20:55:59 +01:00
|
|
|
}
|
2017-02-19 13:05:17 +00:00
|
|
|
|
2017-06-11 20:55:59 +01:00
|
|
|
struct equivalent_type
|
|
|
|
{
|
2017-02-19 13:05:17 +00:00
|
|
|
equivalent_type() {}
|
|
|
|
|
|
|
|
template <class T1, class T2>
|
|
|
|
bool operator()(T1 const& x, T2 const& y) const
|
2010-01-04 22:49:39 +00:00
|
|
|
{
|
2017-06-11 20:55:59 +01:00
|
|
|
return equivalent_impl(x, y, derived);
|
2006-05-17 17:19:16 +00:00
|
|
|
}
|
2017-06-11 20:55:59 +01:00
|
|
|
};
|
2006-05-17 17:19:16 +00:00
|
|
|
|
2017-06-11 20:55:59 +01:00
|
|
|
const equivalent_type equivalent;
|
2006-05-21 17:14:11 +00:00
|
|
|
|
2017-06-11 20:55:59 +01:00
|
|
|
template <class Container> class unordered_equivalence_tester
|
|
|
|
{
|
2018-01-27 09:39:59 +00:00
|
|
|
typename Container::size_type size_;
|
|
|
|
typename Container::hasher hasher_;
|
|
|
|
typename Container::key_equal key_equal_;
|
2017-02-19 13:05:17 +00:00
|
|
|
float max_load_factor_;
|
2016-10-13 17:03:31 +01:00
|
|
|
|
2018-01-27 09:39:59 +00:00
|
|
|
typedef test::list<typename Container::value_type> value_list;
|
2017-02-19 13:05:17 +00:00
|
|
|
value_list values_;
|
2006-05-21 17:14:11 +00:00
|
|
|
|
2017-02-19 13:05:17 +00:00
|
|
|
public:
|
|
|
|
unordered_equivalence_tester(Container const& x)
|
|
|
|
: size_(x.size()), hasher_(x.hash_function()), key_equal_(x.key_eq()),
|
|
|
|
max_load_factor_(x.max_load_factor()), values_(x.begin(), x.end())
|
|
|
|
{
|
2017-06-11 20:55:59 +01:00
|
|
|
values_.sort();
|
2017-02-19 13:05:17 +00:00
|
|
|
}
|
2006-05-21 17:14:11 +00:00
|
|
|
|
2017-02-19 13:05:17 +00:00
|
|
|
bool operator()(Container const& x) const
|
2006-05-17 17:19:16 +00:00
|
|
|
{
|
2017-06-11 20:55:59 +01:00
|
|
|
if (!((size_ == x.size()) &&
|
|
|
|
(test::equivalent(hasher_, x.hash_function())) &&
|
|
|
|
(test::equivalent(key_equal_, x.key_eq())) &&
|
|
|
|
(max_load_factor_ == x.max_load_factor()) &&
|
|
|
|
(values_.size() == x.size())))
|
|
|
|
return false;
|
|
|
|
|
|
|
|
value_list copy(x.begin(), x.end());
|
|
|
|
copy.sort();
|
|
|
|
return values_ == copy;
|
2017-02-19 13:05:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
unordered_equivalence_tester();
|
2017-06-11 20:55:59 +01:00
|
|
|
};
|
2006-05-17 17:19:16 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|