Edit

Share via


concurrent_unordered_set Class

The concurrent_unordered_set class is an concurrency-safe container that controls a varying-length sequence of elements of type K. The sequence is represented in a way that enables concurrency-safe append, element access, iterator access and iterator traversal operations. Here, concurrency-safe means pointers or iterators are always valid. It's not a guarantee of element initialization, or of a particular traversal order.

Syntax

template <typename K,
    typename _Hasher = std::hash<K>,
    typename key_equality = std::equal_to<K>,
    typename _Allocator_type = std::allocator<K>
>,
    typename key_equality = std::equal_to<K>,
    typename _Allocator_type = std::allocator<K>> class concurrent_unordered_set : public details::_Concurrent_hash<details::_Concurrent_unordered_set_traits<K,
    details::_Hash_compare<K,
_Hasher,
    key_equality>,
_Allocator_type,
    false>>;

Parameters

K
The key type.

_Hasher
The hash function object type. This argument is optional and the default value is std::hash<K>.

key_equality
The equality comparison function object type. This argument is optional and the default value is std::equal_to<K>.

_Allocator_type
The type that represents the stored allocator object that encapsulates details about the allocation and deallocation of memory for the concurrent unordered set. This argument is optional and the default value is std::allocator<K>.

Members

Public Typedefs

Name Description
allocator_type The type of an allocator for managing storage.
const_iterator The type of a constant iterator for the controlled sequence.
const_local_iterator The type of a constant bucket iterator for the controlled sequence.
const_pointer The type of a constant pointer to an element.
const_reference The type of a constant reference to an element.
difference_type The type of a signed distance between two elements.
hasher The type of the hash function.
iterator The type of an iterator for the controlled sequence.
key_equal The type of the comparison function.
key_type The type of an ordering key.
local_iterator The type of a bucket iterator for the controlled sequence.
pointer The type of a pointer to an element.
reference The type of a reference to an element.
size_type The type of an unsigned distance between two elements.
value_type The type of an element.

Public Constructors

Name Description
concurrent_unordered_set Overloaded. Constructs a concurrent unordered set.

Public Methods

Name Description
hash_function Returns the stored hash function object.
insert Overloaded. Adds elements to the concurrent_unordered_set object.
key_eq Returns the stored equality comparison function object.
swap Swaps the contents of two concurrent_unordered_set objects. This method is not concurrency-safe.
unsafe_erase Overloaded. Removes elements from the concurrent_unordered_set at specified positions. This method is not concurrency-safe.

Public Operators

Name Description
operator= Overloaded. Assigns the contents of another concurrent_unordered_set object to this one. This method is not concurrency-safe.

Remarks

For detailed information on the concurrent_unordered_set class, see Parallel Containers and Objects.

Inheritance Hierarchy

_Traits

_Concurrent_hash

concurrent_unordered_set

Requirements

Header: concurrent_unordered_set.h

Namespace: concurrency

begin

Returns an iterator pointing to the first element in the concurrent container. This method is concurrency safe.

iterator begin();

const_iterator begin() const;

Return Value

An iterator to the first element in the concurrent container.

cbegin

Returns a const iterator pointing to the first element in the concurrent container. This method is concurrency safe.

const_iterator cbegin() const;

Return Value

A const iterator to the first element in the concurrent container.

cend

Returns a const iterator pointing to the location succeeding the last element in the concurrent container. This method is concurrency safe.

const_iterator cend() const;

Return Value

A const iterator to the location succeeding the last element in the concurrent container.

clear

Erases all the elements in the concurrent container. This function is not concurrency safe.

void clear();

concurrent_unordered_set

Constructs a concurrent unordered set.

explicit concurrent_unordered_set(
    size_type _Number_of_buckets = 8,
    const hasher& _Hasher = hasher(),
    const key_equal& key_equality = key_equal(),
    const allocator_type& _Allocator = allocator_type());

concurrent_unordered_set(
    const allocator_type& _Allocator);

template <typename _Iterator>
concurrent_unordered_set(_Iterator first,
    _Iterator last,
    size_type _Number_of_buckets = 8,
    const hasher& _Hasher = hasher(),
    const key_equal& key_equality = key_equal(),
    const allocator_type& _Allocator = allocator_type());

concurrent_unordered_set(
    const concurrent_unordered_set& _Uset);

concurrent_unordered_set(
    const concurrent_unordered_set& _Uset,
    const allocator_type& _Allocator);

concurrent_unordered_set(
    concurrent_unordered_set&& _Uset);

Parameters

_Iterator
The type of the input iterator.

_Number_of_buckets
The initial number of buckets for this unordered set.

_Hasher
The hash function for this unordered set.

key_equality
The equality comparison function for this unordered set.

_Allocator
The allocator for this unordered set.

first
last
_Uset
The source concurrent_unordered_set object to copy or move elements from.

Remarks

All constructors store an allocator object _Allocator and initialize the unordered set.

The first constructor specifies an empty initial set and explicitly specifies the number of buckets, hash function, equality function and allocator type to be used.

The second constructor specifies an allocator for the unordered set.

The third constructor specifies values supplied by the iterator range [ _Begin, _End).

The fourth and fifth constructors specify a copy of the concurrent unordered set _Uset.

The last constructor specifies a move of the concurrent unordered set _Uset.

count

Counts the number of elements matching a specified key. This function is concurrency safe.

size_type count(const key_type& KVal) const;

Parameters

KVal
The key to search for.

Return Value

The number of times number of times the key appears in the container.

empty

Tests whether no elements are present. This method is concurrency safe.

bool empty() const;

Return Value

true if the concurrent container is empty, false otherwise.

Remarks

In the presence of concurrent inserts, whether or not the concurrent container is empty may change immediately after calling this function, before the return value is even read.

end

Returns an iterator pointing to the location succeeding the last element in the concurrent container. This method is concurrency safe.

iterator end();

const_iterator end() const;

Return Value

An iterator to the location succeeding the last element in the concurrent container.

equal_range

Finds a range that matches a specified key. This function is concurrency safe.

std::pair<iterator,
    iterator> equal_range(
    const key_type& KVal);

std::pair<const_iterator,
    const_iterator> equal_range(
    const key_type& KVal) const;

Parameters

KVal
The key value to search for.

Return Value

A pair where the first element is an iterator to the beginning and the second element is an iterator to the end of the range.

Remarks

It is possible for concurrent inserts to cause additional keys to be inserted after the begin iterator and before the end iterator.

find

Finds an element that matches a specified key. This function is concurrency safe.

iterator find(const key_type& KVal);

const_iterator find(const key_type& KVal) const;

Parameters

KVal
The key value to search for.

Return Value

An iterator pointing to the location of the first element that matched the key provided, or the iterator end() if no such element exists.

get_allocator

Returns the stored allocator object for this concurrent container. This method is concurrency safe.

allocator_type get_allocator() const;

Return Value

The stored allocator object for this concurrent container.

hash_function

Returns the stored hash function object.

hasher hash_function() const;

Return Value

The stored hash function object.

insert

Adds elements to the concurrent_unordered_set object.

std::pair<iterator,
    bool> insert(
    const value_type& value);

iterator insert(
    const_iterator _Where,
    const value_type& value);

template<class _Iterator>
void insert(_Iterator first,
    _Iterator last);

template<class V>
std::pair<iterator,
    bool> insert(
    V&& value);

template<class V>
typename std::enable_if<!std::is_same<const_iterator,
    typename std::remove_reference<V>::type>::value,
    iterator>::type insert(
    const_iterator _Where,
    V&& value);

Parameters

_Iterator
The iterator type used for insertion.

V
The type of the value inserted into the set.

value
The value to be inserted.

_Where
The starting location to search for an insertion point.

first
The beginning of the range to insert.

last
The end of the range to insert.

Return Value

A pair that contains an iterator and a boolean value. See the Remarks section for more details.

Remarks

The first member function determines whether an element X exists in the sequence whose key has equivalent ordering to that of value. If not, it creates such an element X and initializes it with value. The function then determines the iterator where that designates X. If an insertion occurred, the function returns std::pair(where, true). Otherwise, it returns std::pair(where, false).

The second member function returns insert( value), using _Where as a starting place within the controlled sequence to search for the insertion point.

The third member function inserts the sequence of element values from the range [ first, last).

The last two member functions behave the same as the first two, except that value is used to construct the inserted value.

key_eq

Returns the stored equality comparison function object.

key_equal key_eq() const;

Return Value

The stored equality comparison function object.

load_factor

Computes and returns the current load factor of the container. The load factor is the number of elements in the container divided by the number of buckets.

float load_factor() const;

Return Value

The load factor for the container.

max_load_factor

Gets or sets the maximum load factor of the container. The maximum load factor is the largest number of elements than can be in any bucket before the container grows its internal table.

float max_load_factor() const;

void max_load_factor(float _Newmax);

Parameters

_Newmax

Return Value

The first member function returns the stored maximum load factor. The second member function does not return a value but throws an out_of_range exception if the supplied load factor is invalid..

max_size

Returns the maximum size of the concurrent container, determined by the allocator. This method is concurrency safe.

size_type max_size() const;

Return Value

The maximum number of elements that can be inserted into this concurrent container.

Remarks

This upper bound value may actually be higher than what the container can actually hold.

operator=

Assigns the contents of another concurrent_unordered_set object to this one. This method is not concurrency-safe.

concurrent_unordered_set& operator= (const concurrent_unordered_set& _Uset);

concurrent_unordered_set& operator= (concurrent_unordered_set&& _Uset);

Parameters

_Uset
The source concurrent_unordered_set object.

Return Value

A reference to this concurrent_unordered_set object.

Remarks

After erasing any existing elements in a concurrent unordered set, operator= either copies or moves the contents of _Uset into the concurrent unordered set.

rehash

Rebuilds the hash table.

void rehash(size_type _Buckets);

Parameters

_Buckets
The desired number of buckets.

Remarks

The member function alters the number of buckets to be at least _Buckets and rebuilds the hash table as needed. The number of buckets must be a power of 2. If not a power of 2, it will be rounded up to the next largest power of 2.

It throws an out_of_range exception if the number of buckets is invalid (either 0 or greater than the maximum number of buckets).

size

Returns the number of elements in this concurrent container. This method is concurrency safe.

size_type size() const;

Return Value

The number of items in the container.

Remarks

In the presence of concurrent inserts, the number of elements in the concurrent container may change immediately after calling this function, before the return value is even read.

swap

Swaps the contents of two concurrent_unordered_set objects. This method is not concurrency-safe.

void swap(concurrent_unordered_set& _Uset);

Parameters

_Uset
The concurrent_unordered_set object to swap with.

unsafe_begin

Returns an iterator to the first element in this container for a specific bucket.

local_iterator unsafe_begin(size_type _Bucket);

const_local_iterator unsafe_begin(size_type _Bucket) const;

Parameters

_Bucket
The bucket index.

Return Value

An iterator pointing to the beginning of the bucket.

unsafe_bucket

Returns the bucket index that a specific key maps to in this container.

size_type unsafe_bucket(const key_type& KVal) const;

Parameters

KVal
The element key being searched for.

Return Value

The bucket index for the key in this container.

unsafe_bucket_count

Returns the current number of buckets in this container.

size_type unsafe_bucket_count() const;

Return Value

The current number of buckets in this container.

unsafe_bucket_size

Returns the number of items in a specific bucket of this container.

size_type unsafe_bucket_size(size_type _Bucket);

Parameters

_Bucket
The bucket to search for.

Return Value

The current number of buckets in this container.

unsafe_cbegin

Returns an iterator to the first element in this container for a specific bucket.

const_local_iterator unsafe_cbegin(size_type _Bucket) const;

Parameters

_Bucket
The bucket index.

Return Value

An iterator pointing to the beginning of the bucket.

unsafe_cend

Returns an iterator to the location succeeding the last element in a specific bucket.

const_local_iterator unsafe_cend(size_type _Bucket) const;

Parameters

_Bucket
The bucket index.

Return Value

An iterator pointing to the beginning of the bucket.

unsafe_end

Returns an iterator to the last element in this container for a specific bucket.

local_iterator unsafe_end(size_type _Bucket);

const_local_iterator unsafe_end(size_type _Bucket) const;

Parameters

_Bucket
The bucket index.

Return Value

An iterator pointing to the end of the bucket.

unsafe_erase

Removes elements from the concurrent_unordered_set at specified positions. This method is not concurrency-safe.

iterator unsafe_erase(
    const_iterator _Where);

size_type unsafe_erase(
    const key_type& KVal);

iterator unsafe_erase(
    const_iterator first,
    const_iterator last);

Parameters

_Where
The iterator position to erase from.

KVal
The key value to erase.

first
last
Iterators.

Return Value

The first two member functions return an iterator that designates the first element remaining beyond any elements removed, or end() if no such element exists. The third member function returns the number of elements it removes.

Remarks

The first member function removes the element pointed to by _Where. The second member function removes the elements in the range [ _Begin, _End).

The third member function removes the elements in the range delimited by equal_range(KVal).

unsafe_max_bucket_count

Returns the maximum number of buckets in this container.

size_type unsafe_max_bucket_count() const;

Return Value

The maximum number of buckets in this container.

See also

concurrency Namespace
Parallel Containers and Objects