mirror of
https://github.com/boostorg/unordered.git
synced 2025-11-03 17:21:48 +01:00
equality operators when not required, and some bookkeeping. ................ r42539 | danieljames | 2008-01-06 17:48:11 +0000 (Sun, 06 Jan 2008) | 2 lines Add the unordered library to the maintainers list. ................ r46579 | danieljames | 2008-06-21 16:32:11 +0100 (Sat, 21 Jun 2008) | 10 lines Define unordered containers' friend functions outside of the class. On some compilers, friend functions are being instantiated when the main class is explicitly instantiated. This is slightly problematic because the equality functions (which are an extension) put extra requirements on the types used. So I'm going to try defining the functions outside of the class, in the hope that they won't get instantiated. If someone wants non-member functions to be instantiated, I think it's reasonable to expect them to explicitly instantiate them, especially as compilers don't seem to be consistent about this. ................ r46587 | danieljames | 2008-06-21 20:58:39 +0100 (Sat, 21 Jun 2008) | 8 lines Get the test to pass when pair's default constructor creates two instances of the member classes. With some standard libraries I was getting two copies of the object after creating a default pair, probably because it was creating an instance for its default parameter. So only test after creating the pair object - since it isn't our concern how many instances that creates. ................ r46588 | danieljames | 2008-06-21 21:11:26 +0100 (Sat, 21 Jun 2008) | 1 line Markup an expected failure for unordered. ................ r46594 | danieljames | 2008-06-21 23:02:15 +0100 (Sat, 21 Jun 2008) | 19 lines Merge inspect fixes for the unordered library. Merged revisions 46470-46592 via svnmerge from https://svn.boost.org/svn/boost/branches/unordered/trunk ................ r46589 | danieljames | 2008-06-21 21:37:42 +0100 (Sat, 21 Jun 2008) | 2 lines Fix some inspect errors (tabs and missing copyright/license). ................ r46591 | danieljames | 2008-06-21 21:47:51 +0100 (Sat, 21 Jun 2008) | 1 line Move memory.hpp into the helpers subdirectory. ................ r46592 | danieljames | 2008-06-21 22:08:53 +0100 (Sat, 21 Jun 2008) | 1 line Prevent inspect errors for unnamed namespaces in some of the test header files. ................ ................ r46607 | danieljames | 2008-06-22 14:54:45 +0100 (Sun, 22 Jun 2008) | 9 lines Extract the hash and equality functions from hash_table_data_*. As these are extensions and add extra requirements to the container elements, they shouldn't be part of hash_table_data_* so that they won't get instantiated if an unordered container is explicitly instantiated. Merged revisions 46594-46604 via svnmerge from https://svn.boost.org/svn/boost/branches/unordered/trunk ................ r46608 | danieljames | 2008-06-22 16:00:02 +0100 (Sun, 22 Jun 2008) | 5 lines Remove the svnmerge integration information for the unordered branch. Now that the unordered library is moving towards release, the main development version is in trunk. New features will be developed on a new branch. ................ [SVN r46629]
414 lines
12 KiB
C++
414 lines
12 KiB
C++
|
|
// Copyright 2006-2008 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)
|
|
|
|
#if !defined(BOOST_UNORDERED_EXCEPTION_TEST_OBJECTS_HEADER)
|
|
#define BOOST_UNORDERED_EXCEPTION_TEST_OBJECTS_HEADER
|
|
|
|
#include "../helpers/exception_test.hpp"
|
|
|
|
#include <cstddef>
|
|
#include <iostream>
|
|
#include <boost/limits.hpp>
|
|
#include <new>
|
|
#include "../helpers/fwd.hpp"
|
|
#include "../helpers/allocator.hpp"
|
|
#include "../helpers/memory.hpp"
|
|
|
|
namespace test
|
|
{
|
|
namespace exception
|
|
{
|
|
namespace detail
|
|
{
|
|
namespace
|
|
{
|
|
test::detail::memory_tracker<test::malloc_allocator<int> > tracker;
|
|
}
|
|
}
|
|
|
|
class object;
|
|
class hash;
|
|
class equal_to;
|
|
template <class T> class allocator;
|
|
object generate(object const*);
|
|
|
|
class object
|
|
{
|
|
public:
|
|
int tag1_, tag2_;
|
|
|
|
explicit object() : tag1_(0), tag2_(0)
|
|
{
|
|
UNORDERED_SCOPE(object::object()) {
|
|
UNORDERED_EPOINT("Mock object default constructor.");
|
|
}
|
|
}
|
|
|
|
explicit object(int t1, int t2 = 0) : tag1_(t1), tag2_(t2)
|
|
{
|
|
UNORDERED_SCOPE(object::object(int)) {
|
|
UNORDERED_EPOINT("Mock object constructor by value.");
|
|
}
|
|
}
|
|
|
|
object(object const& x)
|
|
: tag1_(x.tag1_), tag2_(x.tag2_)
|
|
{
|
|
UNORDERED_SCOPE(object::object(object)) {
|
|
UNORDERED_EPOINT("Mock object copy constructor.");
|
|
}
|
|
}
|
|
|
|
~object() {
|
|
tag1_ = -1;
|
|
tag2_ = -1;
|
|
}
|
|
|
|
object& operator=(object const& x)
|
|
{
|
|
UNORDERED_SCOPE(object::operator=(object)) {
|
|
tag1_ = x.tag1_;
|
|
UNORDERED_EPOINT("Mock object assign operator 1.");
|
|
tag2_ = x.tag2_;
|
|
//UNORDERED_EPOINT("Mock object assign operator 2.");
|
|
}
|
|
return *this;
|
|
}
|
|
|
|
friend bool operator==(object const& x1, object const& x2) {
|
|
UNORDERED_SCOPE(operator==(object, object)) {
|
|
UNORDERED_EPOINT("Mock object equality operator.");
|
|
}
|
|
|
|
return x1.tag1_ == x2.tag1_ && x1.tag2_ == x2.tag2_;
|
|
}
|
|
|
|
friend bool operator!=(object const& x1, object const& x2) {
|
|
UNORDERED_SCOPE(operator!=(object, object)) {
|
|
UNORDERED_EPOINT("Mock object inequality operator.");
|
|
}
|
|
|
|
return !(x1.tag1_ == x2.tag1_ && x1.tag2_ == x2.tag2_);
|
|
}
|
|
|
|
// None of the last few functions are used by the unordered associative
|
|
// containers - so there aren't any exception points.
|
|
friend bool operator<(object const& x1, object const& x2) {
|
|
return x1.tag1_ < x2.tag1_ ||
|
|
(x1.tag1_ == x2.tag1_ && x1.tag2_ < x2.tag2_);
|
|
}
|
|
|
|
friend object generate(object const*) {
|
|
int* x = 0;
|
|
return object(::test::generate(x), ::test::generate(x));
|
|
}
|
|
|
|
friend std::ostream& operator<<(std::ostream& out, object const& o)
|
|
{
|
|
return out<<"("<<o.tag1_<<","<<o.tag2_<<")";
|
|
}
|
|
};
|
|
|
|
class hash
|
|
{
|
|
int tag_;
|
|
public:
|
|
hash(int t = 0) : tag_(t)
|
|
{
|
|
UNORDERED_SCOPE(hash::object()) {
|
|
UNORDERED_EPOINT("Mock hash default constructor.");
|
|
}
|
|
}
|
|
|
|
hash(hash const& x)
|
|
: tag_(x.tag_)
|
|
{
|
|
UNORDERED_SCOPE(hash::hash(hash)) {
|
|
UNORDERED_EPOINT("Mock hash copy constructor.");
|
|
}
|
|
}
|
|
|
|
hash& operator=(hash const& x)
|
|
{
|
|
UNORDERED_SCOPE(hash::operator=(hash)) {
|
|
UNORDERED_EPOINT("Mock hash assign operator 1.");
|
|
tag_ = x.tag_;
|
|
UNORDERED_EPOINT("Mock hash assign operator 2.");
|
|
}
|
|
return *this;
|
|
}
|
|
|
|
std::size_t operator()(object const& x) const {
|
|
UNORDERED_SCOPE(hash::operator()(object)) {
|
|
UNORDERED_EPOINT("Mock hash function.");
|
|
}
|
|
|
|
switch(tag_) {
|
|
case 1:
|
|
return x.tag1_;
|
|
case 2:
|
|
return x.tag2_;
|
|
default:
|
|
return x.tag1_ + x.tag2_;
|
|
}
|
|
}
|
|
|
|
friend bool operator==(hash const& x1, hash const& x2) {
|
|
UNORDERED_SCOPE(operator==(hash, hash)) {
|
|
UNORDERED_EPOINT("Mock hash equality function.");
|
|
}
|
|
return x1.tag_ == x2.tag_;
|
|
}
|
|
|
|
friend bool operator!=(hash const& x1, hash const& x2) {
|
|
UNORDERED_SCOPE(hash::operator!=(hash, hash)) {
|
|
UNORDERED_EPOINT("Mock hash inequality function.");
|
|
}
|
|
return x1.tag_ != x2.tag_;
|
|
}
|
|
};
|
|
|
|
class equal_to
|
|
{
|
|
int tag_;
|
|
public:
|
|
equal_to(int t = 0) : tag_(t)
|
|
{
|
|
UNORDERED_SCOPE(equal_to::equal_to()) {
|
|
UNORDERED_EPOINT("Mock equal_to default constructor.");
|
|
}
|
|
}
|
|
|
|
equal_to(equal_to const& x)
|
|
: tag_(x.tag_)
|
|
{
|
|
UNORDERED_SCOPE(equal_to::equal_to(equal_to)) {
|
|
UNORDERED_EPOINT("Mock equal_to copy constructor.");
|
|
}
|
|
}
|
|
|
|
equal_to& operator=(equal_to const& x)
|
|
{
|
|
UNORDERED_SCOPE(equal_to::operator=(equal_to)) {
|
|
UNORDERED_EPOINT("Mock equal_to assign operator 1.");
|
|
tag_ = x.tag_;
|
|
UNORDERED_EPOINT("Mock equal_to assign operator 2.");
|
|
}
|
|
return *this;
|
|
}
|
|
|
|
bool operator()(object const& x1, object const& x2) const {
|
|
UNORDERED_SCOPE(equal_to::operator()(object, object)) {
|
|
UNORDERED_EPOINT("Mock equal_to function.");
|
|
}
|
|
|
|
switch(tag_) {
|
|
case 1:
|
|
return x1.tag1_ == x2.tag1_;
|
|
case 2:
|
|
return x1.tag2_ == x2.tag2_;
|
|
default:
|
|
return x1 == x2;
|
|
}
|
|
}
|
|
|
|
friend bool operator==(equal_to const& x1, equal_to const& x2) {
|
|
UNORDERED_SCOPE(operator==(equal_to, equal_to)) {
|
|
UNORDERED_EPOINT("Mock equal_to equality function.");
|
|
}
|
|
return x1.tag_ == x2.tag_;
|
|
}
|
|
|
|
friend bool operator!=(equal_to const& x1, equal_to const& x2) {
|
|
UNORDERED_SCOPE(operator!=(equal_to, equal_to)) {
|
|
UNORDERED_EPOINT("Mock equal_to inequality function.");
|
|
}
|
|
return x1.tag_ != x2.tag_;
|
|
}
|
|
};
|
|
|
|
template <class T>
|
|
class allocator
|
|
{
|
|
public:
|
|
int tag_;
|
|
typedef std::size_t size_type;
|
|
typedef std::ptrdiff_t difference_type;
|
|
typedef T* pointer;
|
|
typedef T const* const_pointer;
|
|
typedef T& reference;
|
|
typedef T const& const_reference;
|
|
typedef T value_type;
|
|
|
|
template <class U> struct rebind { typedef allocator<U> other; };
|
|
|
|
explicit allocator(int t = 0) : tag_(t)
|
|
{
|
|
UNORDERED_SCOPE(allocator::allocator()) {
|
|
UNORDERED_EPOINT("Mock allocator default constructor.");
|
|
}
|
|
detail::tracker.allocator_ref();
|
|
}
|
|
|
|
template <class Y> allocator(allocator<Y> const& x) : tag_(x.tag_)
|
|
{
|
|
UNORDERED_SCOPE(allocator::allocator()) {
|
|
UNORDERED_EPOINT("Mock allocator template copy constructor.");
|
|
}
|
|
detail::tracker.allocator_ref();
|
|
}
|
|
|
|
allocator(allocator const& x) : tag_(x.tag_)
|
|
{
|
|
UNORDERED_SCOPE(allocator::allocator()) {
|
|
UNORDERED_EPOINT("Mock allocator copy constructor.");
|
|
}
|
|
detail::tracker.allocator_ref();
|
|
}
|
|
|
|
~allocator() {
|
|
detail::tracker.allocator_unref();
|
|
}
|
|
|
|
allocator& operator=(allocator const& x) {
|
|
UNORDERED_SCOPE(allocator::allocator()) {
|
|
UNORDERED_EPOINT("Mock allocator assignment operator.");
|
|
tag_ = x.tag_;
|
|
}
|
|
return *this;
|
|
}
|
|
|
|
// If address throws, then it can't be used in erase or the
|
|
// destructor, which is very limiting. I need to check up on
|
|
// this.
|
|
|
|
pointer address(reference r) {
|
|
//UNORDERED_SCOPE(allocator::address(reference)) {
|
|
// UNORDERED_EPOINT("Mock allocator address function.");
|
|
//}
|
|
return pointer(&r);
|
|
}
|
|
|
|
const_pointer address(const_reference r) {
|
|
//UNORDERED_SCOPE(allocator::address(const_reference)) {
|
|
// UNORDERED_EPOINT("Mock allocator const address function.");
|
|
//}
|
|
return const_pointer(&r);
|
|
}
|
|
|
|
pointer allocate(size_type n) {
|
|
T* ptr = 0;
|
|
UNORDERED_SCOPE(allocator::allocate(size_type)) {
|
|
UNORDERED_EPOINT("Mock allocator allocate function.");
|
|
|
|
using namespace std;
|
|
ptr = (T*) malloc(n * sizeof(T));
|
|
if(!ptr) throw std::bad_alloc();
|
|
}
|
|
detail::tracker.track_allocate((void*) ptr, n, sizeof(T), tag_);
|
|
return pointer(ptr);
|
|
|
|
//return pointer(static_cast<T*>(::operator new(n * sizeof(T))));
|
|
}
|
|
|
|
pointer allocate(size_type n, void const* u)
|
|
{
|
|
T* ptr = 0;
|
|
UNORDERED_SCOPE(allocator::allocate(size_type, const_pointer)) {
|
|
UNORDERED_EPOINT("Mock allocator allocate function.");
|
|
|
|
using namespace std;
|
|
ptr = (T*) malloc(n * sizeof(T));
|
|
if(!ptr) throw std::bad_alloc();
|
|
}
|
|
detail::tracker.track_allocate((void*) ptr, n, sizeof(T), tag_);
|
|
return pointer(ptr);
|
|
|
|
//return pointer(static_cast<T*>(::operator new(n * sizeof(T))));
|
|
}
|
|
|
|
void deallocate(pointer p, size_type n)
|
|
{
|
|
//::operator delete((void*) p);
|
|
if(p) {
|
|
detail::tracker.track_deallocate((void*) p, n, sizeof(T), tag_);
|
|
using namespace std;
|
|
free(p);
|
|
}
|
|
}
|
|
|
|
void construct(pointer p, T const& t) {
|
|
UNORDERED_SCOPE(allocator::construct(pointer, T)) {
|
|
UNORDERED_EPOINT("Mock allocator construct function.");
|
|
new(p) T(t);
|
|
}
|
|
detail::tracker.track_construct((void*) p, sizeof(T), tag_);
|
|
}
|
|
|
|
#if defined(BOOST_HAS_RVALUE_REFS) && defined(BOOST_HAS_VARIADIC_TMPL)
|
|
template<class... Args> void construct(pointer p, Args&&... args) {
|
|
UNORDERED_SCOPE(allocator::construct(pointer, Args&&...)) {
|
|
UNORDERED_EPOINT("Mock allocator construct function.");
|
|
new(p) T(std::forward<Args>(args)...);
|
|
}
|
|
detail::tracker.track_construct((void*) p, sizeof(T), tag_);
|
|
}
|
|
#endif
|
|
|
|
void destroy(pointer p) {
|
|
detail::tracker.track_destroy((void*) p, sizeof(T), tag_);
|
|
p->~T();
|
|
}
|
|
|
|
size_type max_size() const {
|
|
UNORDERED_SCOPE(allocator::construct(pointer, T)) {
|
|
UNORDERED_EPOINT("Mock allocator max_size function.");
|
|
}
|
|
return (std::numeric_limits<std::size_t>::max)();
|
|
}
|
|
};
|
|
|
|
template <class T>
|
|
void swap(allocator<T>& x, allocator<T>& y)
|
|
{
|
|
std::swap(x.tag_, y.tag_);
|
|
}
|
|
|
|
// It's pretty much impossible to write a compliant swap when these
|
|
// two can throw. So they don't.
|
|
|
|
template <class T>
|
|
inline bool operator==(allocator<T> const& x, allocator<T> const& y)
|
|
{
|
|
//UNORDERED_SCOPE(operator==(allocator, allocator)) {
|
|
// UNORDERED_EPOINT("Mock allocator equality operator.");
|
|
//}
|
|
return x.tag_ == y.tag_;
|
|
}
|
|
|
|
template <class T>
|
|
inline bool operator!=(allocator<T> const& x, allocator<T> const& y)
|
|
{
|
|
//UNORDERED_SCOPE(operator!=(allocator, allocator)) {
|
|
// UNORDERED_EPOINT("Mock allocator inequality operator.");
|
|
//}
|
|
return x.tag_ != y.tag_;
|
|
}
|
|
}
|
|
}
|
|
|
|
// Workaround for ADL deficient compilers
|
|
#if defined(BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP)
|
|
namespace test
|
|
{
|
|
test::exception::object generate(test::exception::object const* x) {
|
|
return test::exception::generate(x);
|
|
}
|
|
}
|
|
#endif
|
|
|
|
#endif
|
|
|