boostorg/unordered
1
0
Fork 1
mirror of https://github.com/boostorg/unordered.git synced 2025-07-29 19:07:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix bug in rebind semantics for test allocator in reserve_tests

Browse Source
This commit is contained in:
Christian Mazakas
2022-05-20 14:39:36 -07:00
parent 5a456eb295
commit a1fb756831
1 changed files with 35 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

49
test/unordered/reserve_tests.cpp
View File

@ -20,24 +20,16 @@
std::size_t total_allocation = 0;
std::size_t num_allocations = 0;
struct B
{
B() : i(++count) {}
static int count;
int i;
bool operator==(B const& b) const { return i == b.i; };
bool operator!=(B const& b) const { return i != b.i; };
};
int B::count = 0;
template <typename T> struct A : B
template <typename T> struct A
{
typedef T value_type;
A() {}
static int count;
int i;
template <class U> A(const A<U>&) BOOST_NOEXCEPT {}
A() : i(++count) {}
template <class U> A(const A<U>& a) BOOST_NOEXCEPT : i(a.i) {}
T* allocate(std::size_t n)
{
@ -51,8 +43,13 @@ template <typename T> struct A : B
total_allocation -= n * sizeof(T);
std::free(p);
}
bool operator==(A const& a) const { return i == a.i; };
bool operator!=(A const& a) const { return i != a.i; };
};
template <class T> int A<T>::count = 0;
template <class UnorderedContainer> void bucket_count_constructor()
{
BOOST_TEST_EQ(num_allocations, 0u);
@ -184,6 +181,30 @@ template <class UnorderedContainer> void rehash_tests()
}
UNORDERED_AUTO_TEST (unordered_set_reserve) {
{
// prove Allocator invariants
// from cppref:
// Given:
// * A, an Allocator type for type T
// * B, the corresponding Allocator type for some cv-unqualified object type
// U (as obtained by rebinding A)
//
// Expression:
// A a(b)
//
// Return Type:
// Constructs `a` such that `B(a)==b` and `A(b)==a`.
// (Note: This implies that all allocators related by rebind maintain each
// other's resources, such as memory pools.)
//
//
typedef boost::allocator_rebind<A<int>, float>::type alloc_rebound;
alloc_rebound b;
A<int> a(b);
BOOST_ASSERT(alloc_rebound(a) == b);
BOOST_ASSERT(A<int>(b) == a);
}
typedef boost::unordered_set<int, boost::hash<int>, std::equal_to<int>,
A<int> >
unordered_set;