concurrent_set#

[containers.concurrent_set]

oneapi::tbb::concurrent_set is a class template that represents a sorted sequence of unique elements. It supports concurrent insertion, lookup and traversal, but does not support concurrent erasure.

Class Template Synopsis#

// Defined in header <oneapi/tbb/concurrent_set.h>

namespace oneapi {
    namespace tbb {

        template <typename T,
                  typename Compare = std::less<T>,
                  typename Allocator = tbb_allocator<T>>
        class concurrent_set {
        public:
            using key_type = T;
            using value_type = T;

            using size_type = <implementation-defined unsigned integer type>;
            using difference_type = <implementation-defined signed integer type>;

            using key_compare = Compare;
            using value_compare = Compare;

            using allocator_type = Allocator;

            using reference = value_type&;
            using const_reference = const value_type&;
            using pointer = std::allocator_traits<Allocator>::pointer;
            using const_pointer = std::allocator_traits<Allocator>::const_pointer;

            using iterator = <implementation-defined ForwardIterator>;
            using const_iterator = <implementation-defined constant ForwardIterator>;

            using node_type = <implementation-defined node handle>;

            using range_type = <implementation-defined range>;
            using const_range_type = <implementation-defined constant node handle>;

            // Construction, destruction, copying
            concurrent_set();
            explicit concurrent_set( const key_compare& comp,
                                    const allocator_type& alloc = allocator_type() );

            explicit concurrent_set( const allocator_type& alloc );

            template <typename InputIterator>
            concurrent_set( InputIterator first, InputIterator last,
                            const key_compare& comp = key_compare(),
                            const allocator_type& alloc = allocator_type() );

            template <typename InputIterator>
            concurrent_set( InputIterator first, InputIterator last,
                            const allocator_type& alloc );

            concurrent_set( std::initializer_list<value_type> init,
                            const key_compare& comp = key_compare(),
                            const allocator_type& alloc = allocator_type() );

            concurrent_set( std::initializer_list<value_type> init, const allocator_type& alloc );

            concurrent_set( const concurrent_set& other );
            concurrent_set( const concurrent_set& other,
                            const allocator_type& alloc );

            concurrent_set( concurrent_set&& other );
            concurrent_set( concurrent_set&& other,
                            const allocator_type& alloc );

            ~concurrent_set();

            concurrent_set& operator=( const concurrent_set& other );
            concurrent_set& operator=( concurrent_set&& other );
            concurrent_set& operator=( std::initializer_list<value_type> init );

            allocator_type get_allocator() const;

            // Iterators
            iterator begin();
            const_iterator begin() const;
            const_iterator cbegin() const;

            iterator end();
            const_iterator end() const;
            const_iterator cend() const;

            // Size and capacity
            bool empty() const;
            size_type size() const;
            size_type max_size() const;

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

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

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

            iterator insert( const_iterator hint, value_type&& value );

            template <typename InputIterator>
            void insert( InputIterator first, InputIterator last );

            void insert( std::initializer_list<value_type> init );

            std::pair<iterator, bool> insert( node_type&& nh );
            iterator insert( const_iterator hint, node_type&& nh );

            template <typename... Args>
            std::pair<iterator, bool> emplace( Args&&... args );

            template <typename... Args>
            iterator emplace_hint( const_iterator hint, Args&&... args );

            template <typename SrcCompare>
            void merge( concurrent_set<T, SrcCompare, Allocator>& source );

            template <typename SrcCompare>
            void merge( concurrent_set<T, SrcCompare, Allocator>&& source );

            template <typename SrcCompare>
            void merge( concurrent_multiset<T, SrcCompare, Allocator>& source );

            template <typename SrcCompare>
            void merge( concurrent_multiset<T, SrcCompare, Allocator>&& source );

            // Concurrently unsafe modifiers
            void clear();

            iterator unsafe_erase( const_iterator pos );
            iterator unsafe_erase( iterator pos );

            iterator unsafe_erase( const_iterator first, const_iterator last );

            size_type unsafe_erase( const key_type& key );

            template <typename K>
            size_type unsafe_erase( const K& key );

            node_type unsafe_extract( const_iterator pos );
            node_type unsafe_extract( iterator pos );

            node_type unsafe_extract( const key_type& key );

            template <typename K>
            node_type unsafe_extract( const K& key );

            void swap( concurrent_set& other );

            // Lookup
            size_type count( const key_type& key );

            template <typename K>
            size_type count( const K& key );

            iterator find( const key_type& key );
            const_iterator find( const key_type& key ) const;

            template <typename K>
            iterator find( const K& key );

            template <typename K>
            const_iterator find( const K& key ) const;

            bool contains( const key_type& key ) const;

            template <typename K>
            bool contains( const K& key ) const;

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

            template <typename K>
            std::pair<iterator, iterator>  equal_range( const K& key );
            std::pair<const_iterator, const_iterator> equal_range( const K& key ) const;

            iterator lower_bound( const key_type& key );
            const_iterator lower_bound( const key_type& key ) const;

            template <typename K>
            iterator lower_bound( const K& key );

            template <typename K>
            const_iterator lower_bound( const K& key ) const;

            iterator upper_bound( const key_type& key );
            const_iterator upper_bound( const key_type& key ) const;

            template <typename K>
            iterator upper_bound( const K& key );

            template <typename K>
            const_iterator upper_bound( const K& key ) const;

            // Observers
            key_compare key_comp() const;

            value_compare value_comp() const;

            // Parallel iteration
            range_type range();
            const_range_type range() const;
        }; // class concurrent_set

    } // namespace tbb
} // namespace oneapi

Requirements:

  • The expression std::allocator_traits<Allocator>::destroy(m, val), where m is an object of the type Allocator and val is an object of the type value_type, must be well-formed. Member functions can impose stricter requirements depending on the type of the operation.

  • The type Compare must meet the Compare requirements from the [alg.sorting] ISO C++ Standard section.

  • The type Allocator must meet the Allocator requirements from the [allocator.requirements] ISO C++ Standard section.

Non-member functions#

These functions provide binary and lexicographical comparison and swap operations on oneapi::tbb::concurrent_set objects.

The exact namespace where these functions are defined is unspecified, as long as they may be used in respective comparison operations. For example, an implementation may define the classes and functions in the same internal namespace and define oneapi::tbb::concurrent_set as a type alias for which the non-member functions are reachable only via argument-dependent lookup.

template <typename T, typename Compare, typename Allocator>
void swap( concurrent_set<T, Compare, Allocator>& lhs,
           concurrent_set<T, Compare, Allocator>& rhs );

template <typename T, typename Compare, typename Allocator>
bool operator==( const concurrent_set<T, Compare, Allocator>& lhs,
                const concurrent_set<T, Compare, Allocator>& rhs );

template <typename T, typename Compare, typename Allocator>
bool operator!=( const concurrent_set<T, Compare, Allocator>& lhs,
                const concurrent_set<T, Compare, Allocator>& rhs );

template <typename T, typename Compare, typename Allocator>
bool operator<( const concurrent_set<T, Compare, Allocator>& lhs,
                const concurrent_set<T, Compare, Allocator>& rhs );

template <typename T, typename Compare, typename Allocator>
bool operator>( const concurrent_set<T, Compare, Allocator>& lhs,
                const concurrent_set<T, Compare, Allocator>& rhs );

template <typename T, typename Compare, typename Allocator>
bool operator<=( const concurrent_set<T, Compare, Allocator>& lhs,
                 const concurrent_set<T, Compare, Allocator>& rhs );

template <typename Key, typename T, typename Compare, typename Allocator>
bool operator>=( const concurrent_set<T, Compare, Allocator>& lhs,
                 const concurrent_set<T, Compare, Allocator>& rhs );