#include <CGAL/Concurrent_compact_container.h>

Definition

An object of the class Concurrent_compact_container is a container of objects of type T, which allows to call insert and erase operations concurrently.

Other operations are not concurrency-safe. For example, one should not parse the container while others are modifying it. It matches all the standard requirements for reversible containers, except that the complexity of its iterator increment and decrement operations is not always guaranteed to be amortized constant time.

This container is not a standard sequence nor associative container, which means the elements are stored in no particular order, and it is not possible to specify a particular place in the iterator sequence where to insert new objects. However, all dereferenceable iterators are still valid after calls to insert() and erase(), except those that have been erased (it behaves similarly to std::list).

The main feature of this container is that it is very memory efficient: its memory size is N*sizeof(T)+o(N), where N is the maximum size that the container has had in its past history, its capacity() (the memory of erased elements is not deallocated until destruction of the container or a call to clear()). This container has been developed in order to store large graph-like data structures like the triangulation and the halfedge data structures.

It supports bidirectional iterators and allows a constant time amortized insert() operation. You cannot specify where to insert new objects (i.e. you don't know where they will end up in the iterator sequence, although insert() returns an iterator pointing to the newly inserted object). You can erase any element with a constant time complexity.

Summary of the differences with std::list: it is more compact in memory since it doesn't store two additional pointers for the iterator needs. It doesn't deallocate elements until the destruction or clear() of the container. The iterator does not have constant amortized time complexity for the increment and decrement operations in all cases, only when not too many elements have not been freed (i.e. when the size() is close to the capacity()). Iterating from begin() to end() takes O(capacity()) time, not size(). In the case where the container has a small size() compared to its capacity(), we advise to "defragment the memory" by copying the container if the iterator performance is needed.

The iterators themselves can be used as T, they provide the necessary functions to be used by Compact_container_traits<T>. Moreover, they also provide a default constructor value which is not singular: it is copyable, comparable, and guaranteed to be unique under comparison (like NULL for pointers). This makes them suitable for use in geometric graphs like handles to vertices in triangulations.

In addition, in a way inspired from the Boost.Intrusive containers, it is possible to construct iterators from references to values in containers using the iterator_to and s_iterator_to functions.

The objects stored in the Concurrent_compact_container can optionally store an "erase counter". If it exists, i.e. if the object is a model of the ObjectWithEraseCounter concept, each time an object is erased from the container, the erase counter of the object will be incremented. For example, this erase counter can be exploited using the CC_safe_handle helper class, so that one can know if a handle is still pointing to the same element. Note that this is meaningful only because the CGAL::Concurrent_compact_container doesn't deallocate elements until the destruction or clear() of the container.

Parameters

The parameter T is required to have a copy constructor and an assignment operator. It also needs to provide access to an internal pointer via Compact_container_traits<T>.

The equality test and the relational order require the operators == and < for T respectively.

The parameter Allocator has to match the standard allocator requirements, with value type T. This parameter has the default value CGAL_ALLOCATOR(T).

Types
typedef unspecified_type	value_type

typedef unspecified_type	allocator_type

typedef unspecified_type	reference

typedef unspecified_type	const_reference

typedef unspecified_type	pointer

typedef unspecified_type	const_pointer

typedef unspecified_type	size_type

typedef unspecified_type	difference_type

typedef unspecified_type	iterator

typedef unspecified_type	const_iterator

typedef unspecified_type	reverse_iterator

typedef unspecified_type	const_reverse_iterator

Creation
	Concurrent_compact_container (const Allocator &a=Allocator())
	introduces an empty container `ccc`, eventually specifying a particular allocator `a` as well.

template<class InputIterator >
	Concurrent_compact_container (InputIterator first, InputIterator last, const Allocator &a=Allocator())
	a container with copies from the range [`first,last`), eventually specifying a particular allocator.

	Concurrent_compact_container (const Concurrent_compact_container &ccc2)
	copy constructor. More...

Concurrent_compact_container &	operator= (const Concurrent_compact_container &ccc2)
	assignment. More...

void	swap (Self &ccc2)
	swaps the contents of `ccc` and `ccc2` in constant time complexity. More...

Access Member Functions
bool	is_used (const_iterator pos) const
	returns true if the element `pos` is used (i.e. valid).

iterator	begin ()
	returns a mutable iterator referring to the first element in `ccc`.

const_iterator	begin () const
	returns a constant iterator referring to the first element in `ccc`.

iterator	end ()
	returns a mutable iterator which is the past-end-value of `ccc`.

const_iterator	end ()
	returns a constant iterator which is the past-end-value of `ccc`.

reverse_iterator	rbegin ()
	returns a mutable reverse iterator referring to the reverse beginning in `ccc`.

const_reverse_iterator	rbegin () const
	returns a constant reverse iterator referring to the reverse beginning in `ccc`.

reverse_iterator	rend ()
	returns a mutable reverse iterator which is the reverse past-end-value of `ccc`.

const_reverse_iterator	rend () const
	returns a constant reverse iterator which is the reverse past-end-value of `ccc`.

iterator	iterator_to (reference value) const
	returns an iterator which points to `value`.

const_iterator	iterator_to (const_reference value) const
	returns a constant iterator which points to `value`.

bool	empty () const
	returns `true` iff `ccc` is empty.

size_type	size () const
	returns the number of items in `ccc`. More...

size_type	max_size () const
	returns the maximum possible size of the container `ccc`. More...

size_type	capacity () const
	returns the total number of elements that `ccc` can hold without requiring reallocation.

Allocator	get_allocator () const
	returns the allocator

static iterator	s_iterator_to (reference value)
	returns an iterator which points to `value`.

static const_iterator	s_iterator_to (const_reference value)
	returns a constant iterator which points to `value`.

Insertion
template<class T1 >
iterator	emplace (const T1 &t1)
	constructs an object of type `T` with the constructor that takes `t1` as argument, inserts it in `ccc`, and returns the iterator pointing to it. More...

iterator	insert (const T &t)
	inserts a copy of `t` in `ccc` and returns the iterator pointing to it.

template<class InputIterator >
void	insert (InputIterator first, InputIterator last)
	inserts the range [`first, last`) in `ccc`.

template<class InputIterator >
void	assign (InputIterator first, InputIterator last)
	erases all the elements of `ccc`, then inserts the range [`first, last`) in `ccc`.

Removal
void	erase (iterator x)
	removes the item pointed by `pos` from `ccc`.

void	erase (iterator first, iterator last)
	removes the items from the range [`first, last`) from `ccc`.

void	clear ()
	all items in `ccc` are deleted, and the memory is deallocated. More...

Ownership testing
The following functions are mostly helpful for efficient debugging, since their complexity is \( O(\sqrt{\mathrm{c.capacity()}})\).
bool	owns (const_iterator pos)
	returns whether `pos` is in the range `[ccc.begin(), ccc.end()]` (`ccc.end()` included).

bool	owns_dereferencable (const_iterator pos)
	returns whether `pos` is in the range `[ccc.begin(), ccc`.end())`(`ccc.end()` excluded).

Merging
void	merge (Concurrent_compact_container< T, Allocator > &ccc2)
	adds the items of `ccc2` to the end of `ccc` and `ccc2` becomes empty. More...

Comparison Operations
bool	operator== (const Concurrent_compact_container< T, Allocator > &ccc2) const
	test for equality: Two containers are equal, iff they have the same size and if their corresponding elements are equal.

bool	operator!= (const Concurrent_compact_container< T, Allocator > &ccc2) const
	test for inequality: returns `!(ccc == ccc2)`.

bool	operator< (const Concurrent_compact_container< T, Allocator > &ccc2) const
	compares in lexicographical order.

bool	operator> (const Concurrent_compact_container< T, Allocator > &ccc2) const
	returns `ccc2 < ccc`.

bool	operator<= (const Concurrent_compact_container< T, Allocator > &ccc2) const
	returns `!(ccc > ccc2)`.

bool	operator>= (const Concurrent_compact_container< T, Allocator > &ccc2) const
	returns `!(ccc < ccc2)`.