unordered_set.h

Go to the documentation of this file.

/**********************************************************\
 
  This file is part of the
  https://github.com/morzhovets/momo
  project, distributed under the MIT License. See
  https://github.com/morzhovets/momo/blob/branch_cpp11/LICENSE
  for details.
 
  momo/stdish/unordered_set.h
 
  namespace momo::stdish:
    class unordered_set_adaptor
    class unordered_set
    class unordered_set_open
 
\**********************************************************/
 
#ifndef MOMO_INCLUDE_GUARD_STDISH_UNORDERED_SET
#define MOMO_INCLUDE_GUARD_STDISH_UNORDERED_SET
 
#include "set_map_utility.h"
#include MOMO_PARENT_HEADER(HashSet)
 
namespace momo
{
 
namespace stdish
{
 
template<typename THashSet>
class unordered_set_adaptor
{
private:
    typedef THashSet HashSet;
    typedef typename HashSet::HashTraits HashTraits;
    typedef typename HashSet::MemManager MemManager;
 
public:
    typedef typename HashSet::Key key_type;
    typedef typename HashTraits::Hasher hasher;
    typedef typename HashTraits::EqualComparer key_equal;
 
    typedef HashSet nested_container_type;
 
    typedef size_t size_type;
    typedef ptrdiff_t difference_type;
 
    typedef key_type value_type;
    typedef typename std::allocator_traits<typename MemManager::ByteAllocator>
        ::template rebind_alloc<value_type> allocator_type;
 
    typedef typename HashSet::ConstIterator const_iterator;
    typedef typename HashSet::Iterator iterator;
 
    //typedef typename iterator::Reference reference;
    typedef value_type& reference;
    typedef typename const_iterator::Reference const_reference;
 
    //typedef typename iterator::Pointer pointer;
    typedef value_type* pointer;
    typedef typename const_iterator::Pointer const_pointer;
    //typedef typename std::allocator_traits<allocator_type>::pointer pointer;
    //typedef typename std::allocator_traits<allocator_type>::const_pointer const_pointer;
 
    typedef internal::set_node_handle<typename HashSet::ExtractedItem> node_type;
    typedef internal::insert_return_type<iterator, node_type> insert_return_type;
 
    typedef typename HashSet::ConstBucketBounds::Iterator const_local_iterator;
    typedef const_local_iterator local_iterator;
 
private:
    template<typename KeyArg>
    struct IsValidKeyArg : public HashTraits::template IsValidKeyArg<KeyArg>
    {
    };
 
    struct NodeTypeProxy : private node_type
    {
        typedef node_type NodeType;
        MOMO_DECLARE_PROXY_FUNCTION(NodeType, GetExtractedItem)
    };
 
public:
    unordered_set_adaptor()
    {
    }
 
    explicit unordered_set_adaptor(const allocator_type& alloc)
        : mHashSet(HashTraits(), MemManager(alloc))
    {
    }
 
    explicit unordered_set_adaptor(size_type bucketCount, const allocator_type& alloc = allocator_type())
        : mHashSet(HashTraits(bucketCount), MemManager(alloc))
    {
    }
 
    unordered_set_adaptor(size_type bucketCount, const hasher& hashFunc,
        const allocator_type& alloc = allocator_type())
        : mHashSet(HashTraits(bucketCount, hashFunc), MemManager(alloc))
    {
    }
 
    unordered_set_adaptor(size_type bucketCount, const hasher& hashFunc, const key_equal& equalComp,
        const allocator_type& alloc = allocator_type())
        : mHashSet(HashTraits(bucketCount, hashFunc, equalComp), MemManager(alloc))
    {
    }
 
    template<typename Iterator>
    unordered_set_adaptor(Iterator first, Iterator last)
    {
        insert(first, last);
    }
 
    template<typename Iterator>
    unordered_set_adaptor(Iterator first, Iterator last, size_type bucketCount,
        const allocator_type& alloc = allocator_type())
        : unordered_set_adaptor(bucketCount, alloc)
    {
        insert(first, last);
    }
 
    template<typename Iterator>
    unordered_set_adaptor(Iterator first, Iterator last, size_type bucketCount, const hasher& hashFunc,
        const allocator_type& alloc = allocator_type())
        : unordered_set_adaptor(bucketCount, hashFunc, alloc)
    {
        insert(first, last);
    }
 
    template<typename Iterator>
    unordered_set_adaptor(Iterator first, Iterator last, size_type bucketCount, const hasher& hashFunc,
        const key_equal& equalComp, const allocator_type& alloc = allocator_type())
        : unordered_set_adaptor(bucketCount, hashFunc, equalComp, alloc)
    {
        insert(first, last);
    }
 
    unordered_set_adaptor(std::initializer_list<value_type> values)
        : mHashSet(values)
    {
    }
 
    unordered_set_adaptor(std::initializer_list<value_type> values, size_type bucketCount,
        const allocator_type& alloc = allocator_type())
        : mHashSet(values, HashTraits(bucketCount), MemManager(alloc))
    {
    }
 
    unordered_set_adaptor(std::initializer_list<value_type> values, size_type bucketCount,
        const hasher& hashFunc, const allocator_type& alloc = allocator_type())
        : mHashSet(values, HashTraits(bucketCount, hashFunc), MemManager(alloc))
    {
    }
 
    unordered_set_adaptor(std::initializer_list<value_type> values, size_type bucketCount,
        const hasher& hashFunc, const key_equal& equalComp, const allocator_type& alloc = allocator_type())
        : mHashSet(values, HashTraits(bucketCount, hashFunc, equalComp), MemManager(alloc))
    {
    }
 
#ifdef MOMO_HAS_CONTAINERS_RANGES
    template<std::ranges::input_range Range>
    requires std::convertible_to<std::ranges::range_reference_t<Range>, value_type>
    unordered_set_adaptor(std::from_range_t, Range&& values)
    {
        insert_range(std::forward<Range>(values));
    }
 
    template<std::ranges::input_range Range>
    requires std::convertible_to<std::ranges::range_reference_t<Range>, value_type>
    unordered_set_adaptor(std::from_range_t, Range&& values, size_type bucketCount,
        const allocator_type& alloc = allocator_type())
        : unordered_set_adaptor(bucketCount, alloc)
    {
        insert_range(std::forward<Range>(values));
    }
 
    template<std::ranges::input_range Range>
    requires std::convertible_to<std::ranges::range_reference_t<Range>, value_type>
    unordered_set_adaptor(std::from_range_t, Range&& values, size_type bucketCount,
        const hasher& hashFunc, const allocator_type& alloc = allocator_type())
        : unordered_set_adaptor(bucketCount, hashFunc, alloc)
    {
        insert_range(std::forward<Range>(values));
    }
 
    template<std::ranges::input_range Range>
    requires std::convertible_to<std::ranges::range_reference_t<Range>, value_type>
    unordered_set_adaptor(std::from_range_t, Range&& values, size_type bucketCount,
        const hasher& hashFunc, const key_equal& equalComp, const allocator_type& alloc = allocator_type())
        : unordered_set_adaptor(bucketCount, hashFunc, equalComp, alloc)
    {
        insert_range(std::forward<Range>(values));
    }
#endif // MOMO_HAS_CONTAINERS_RANGES
 
    unordered_set_adaptor(unordered_set_adaptor&& right)
        : unordered_set_adaptor(std::move(right), right.get_allocator())
    {
    }
 
    unordered_set_adaptor(unordered_set_adaptor&& right, const allocator_type& alloc)
        : mHashSet(right.mHashSet.GetHashTraits(), MemManager(alloc))
    {
        if (right.get_allocator() == alloc)
        {
            mHashSet.Swap(right.mHashSet);
        }
        else
        {
            mHashSet.MergeFrom(right.mHashSet);
            right.clear();
        }
    }
 
    unordered_set_adaptor(const unordered_set_adaptor& right)
        : mHashSet(right.mHashSet)
    {
    }
 
    unordered_set_adaptor(const unordered_set_adaptor& right, const allocator_type& alloc)
        : mHashSet(right.mHashSet, MemManager(alloc))
    {
    }
 
    ~unordered_set_adaptor() = default;
 
    unordered_set_adaptor& operator=(unordered_set_adaptor&& right)
        noexcept(momo::internal::ContainerAssignerStd::IsNothrowMoveAssignable<unordered_set_adaptor>::value)
    {
        return momo::internal::ContainerAssignerStd::Move(std::move(right), *this);
    }
 
    unordered_set_adaptor& operator=(const unordered_set_adaptor& right)
    {
        return momo::internal::ContainerAssignerStd::Copy(right, *this);
    }
 
    unordered_set_adaptor& operator=(std::initializer_list<value_type> values)
    {
        mHashSet = HashSet(values, mHashSet.GetHashTraits(), MemManager(get_allocator()));
        return *this;
    }
 
    void swap(unordered_set_adaptor& right) noexcept
    {
        momo::internal::ContainerAssignerStd::Swap(*this, right);
    }
 
    friend void swap(unordered_set_adaptor& left, unordered_set_adaptor& right) noexcept
    {
        left.swap(right);
    }
 
    const nested_container_type& get_nested_container() const noexcept
    {
        return mHashSet;
    }
 
    nested_container_type& get_nested_container() noexcept
    {
        return mHashSet;
    }
 
    const_iterator begin() const noexcept
    {
        return mHashSet.GetBegin();
    }
 
    //iterator begin() noexcept
 
    const_iterator end() const noexcept
    {
        return mHashSet.GetEnd();
    }
 
    //iterator end() noexcept
 
    const_iterator cbegin() const noexcept
    {
        return begin();
    }
 
    const_iterator cend() const noexcept
    {
        return end();
    }
 
    float max_load_factor() const noexcept
    {
        return mHashSet.GetHashTraits().GetMaxLoadFactor(HashSet::bucketMaxItemCount);
    }
 
    void max_load_factor(float maxLoadFactor)
    {
        if (maxLoadFactor == max_load_factor())
            return;
        if (maxLoadFactor <= 0.0 || maxLoadFactor > static_cast<float>(HashSet::bucketMaxItemCount))
            MOMO_THROW(std::out_of_range("invalid load factor"));
        HashTraits hashTraits(mHashSet.GetHashTraits(), maxLoadFactor);
        HashSet hashSet(hashTraits, MemManager(get_allocator()));
        hashSet.Reserve(size());
        hashSet.Insert(begin(), end());
        mHashSet = std::move(hashSet);
    }
 
    hasher hash_function() const
    {
        return mHashSet.GetHashTraits().GetHasher();
    }
 
    key_equal key_eq() const
    {
        return mHashSet.GetHashTraits().GetEqualComparer();
    }
 
    allocator_type get_allocator() const noexcept
    {
        return allocator_type(mHashSet.GetMemManager().GetByteAllocator());
    }
 
    size_type max_size() const noexcept
    {
        return std::allocator_traits<allocator_type>::max_size(get_allocator());
    }
 
    size_type size() const noexcept
    {
        return mHashSet.GetCount();
    }
 
    MOMO_NODISCARD bool empty() const noexcept
    {
        return mHashSet.IsEmpty();
    }
 
    void clear() noexcept
    {
        mHashSet.Clear();
    }
 
    void rehash(size_type bucketCount)
    {
        bucketCount = momo::internal::UIntMath<>::Max(bucketCount, 2);
        size_t logBucketCount = momo::internal::UIntMath<>::Log2(bucketCount - 1) + 1;
        bucketCount = size_t{1} << logBucketCount;
        reserve(mHashSet.GetHashTraits().CalcCapacity(bucketCount, HashSet::bucketMaxItemCount));
    }
 
    void reserve(size_type count)
    {
        mHashSet.Reserve(count);
    }
 
    MOMO_FORCEINLINE const_iterator find(const key_type& key) const
    {
        return mHashSet.Find(key);
    }
 
    //iterator find(const key_type& key)
 
    template<typename KeyArg>
    MOMO_FORCEINLINE momo::internal::EnableIf<IsValidKeyArg<KeyArg>::value,
    const_iterator> find(const KeyArg& key) const
    {
        return mHashSet.Find(key);
    }
 
    //template<typename KeyArg>
    //momo::internal::EnableIf<IsValidKeyArg<KeyArg>::value,
    //iterator> find(const KeyArg& key)
 
    MOMO_FORCEINLINE size_type count(const key_type& key) const
    {
        return contains(key) ? 1 : 0;
    }
 
    template<typename KeyArg>
    MOMO_FORCEINLINE momo::internal::EnableIf<IsValidKeyArg<KeyArg>::value,
    size_type> count(const KeyArg& key) const
    {
        return contains(key) ? 1 : 0;
    }
 
    MOMO_FORCEINLINE bool contains(const key_type& key) const
    {
        return mHashSet.ContainsKey(key);
    }
 
    template<typename KeyArg>
    MOMO_FORCEINLINE momo::internal::EnableIf<IsValidKeyArg<KeyArg>::value,
    bool> contains(const KeyArg& key) const
    {
        return mHashSet.ContainsKey(key);
    }
 
    MOMO_FORCEINLINE std::pair<const_iterator, const_iterator> equal_range(
        const key_type& key) const
    {
        return { find(key), end() };
    }
 
    //std::pair<iterator, iterator> equal_range(const key_type& key)
 
    template<typename KeyArg>
    MOMO_FORCEINLINE momo::internal::EnableIf<IsValidKeyArg<KeyArg>::value,
    std::pair<const_iterator, const_iterator>> equal_range(const KeyArg& key) const
    {
        return { find(key), end() };
    }
 
    //template<typename KeyArg>
    //momo::internal::EnableIf<IsValidKeyArg<KeyArg>::value,
    //std::pair<iterator, iterator>> equal_range(const KeyArg& key)
 
    std::pair<iterator, bool> insert(value_type&& value)
    {
        typename HashSet::InsertResult res = mHashSet.Insert(std::move(value));
        return { res.position, res.inserted };
    }
 
    iterator insert(const_iterator hint, value_type&& value)
    {
        if MOMO_CONSTEXPR_IF (HashTraits::useHintIterators)
            return mHashSet.Add(hint, std::move(value));
        else
            return insert(std::move(value)).first;
    }
 
    std::pair<iterator, bool> insert(const value_type& value)
    {
        typename HashSet::InsertResult res = mHashSet.Insert(value);
        return { res.position, res.inserted };
    }
 
    iterator insert(const_iterator hint, const value_type& value)
    {
        if MOMO_CONSTEXPR_IF (HashTraits::useHintIterators)
            return mHashSet.Add(hint, value);
        else
            return insert(value).first;
    }
 
    insert_return_type insert(node_type&& node)
    {
        if (node.empty())
            return { end(), false, node_type() };
        typename HashSet::InsertResult res = mHashSet.Insert(
            std::move(NodeTypeProxy::GetExtractedItem(node)));
        return { res.position, res.inserted, res.inserted ? node_type() : std::move(node) };
    }
 
    iterator insert(const_iterator hint, node_type&& node)
    {
        if MOMO_CONSTEXPR_IF (HashTraits::useHintIterators)
        {
            if (node.empty())
                return end();
            return mHashSet.Add(hint, std::move(NodeTypeProxy::GetExtractedItem(node)));
        }
        else
        {
            return insert(std::move(node)).position;
        }
    }
 
    template<typename Iterator>
    void insert(Iterator first, Iterator last)
    {
        pvInsertRange(first, last);
    }
 
    void insert(std::initializer_list<value_type> values)
    {
        mHashSet.Insert(values);
    }
 
#ifdef MOMO_HAS_CONTAINERS_RANGES
    template<std::ranges::input_range Range>
    requires std::convertible_to<std::ranges::range_reference_t<Range>, value_type>
    void insert_range(Range&& values)
    {
        pvInsertRange(std::ranges::begin(values), std::ranges::end(values));
    }
#endif // MOMO_HAS_CONTAINERS_RANGES
 
    template<typename... ValueArgs>
    std::pair<iterator, bool> emplace(ValueArgs&&... valueArgs)
    {
        MemManager& memManager = mHashSet.GetMemManager();
        typename HashSet::ExtractedItem extItem;
        typedef typename HashSet::ItemTraits::template Creator<ValueArgs...> ValueCreator;
        extItem.Create(ValueCreator(memManager, std::forward<ValueArgs>(valueArgs)...));
        typename HashSet::InsertResult res = mHashSet.Insert(std::move(extItem));
        return { res.position, res.inserted };
    }
 
    template<typename ValueArg>
    momo::internal::EnableIf<std::is_same<key_type, typename std::decay<ValueArg>::type>::value,
    std::pair<iterator, bool>> emplace(ValueArg&& valueArg)
    {
        typename HashSet::InsertResult res = mHashSet.InsertVar(
            static_cast<const key_type&>(valueArg), std::forward<ValueArg>(valueArg));
        return { res.position, res.inserted };
    }
 
    template<typename... ValueArgs>
    iterator emplace_hint(const_iterator hint, ValueArgs&&... valueArgs)
    {
        if MOMO_CONSTEXPR_IF (HashTraits::useHintIterators)
            return mHashSet.AddVar(hint, std::forward<ValueArgs>(valueArgs)...);
        else
            return emplace(std::forward<ValueArgs>(valueArgs)...).first;
    }
 
    iterator erase(const_iterator where)
    {
        return mHashSet.Remove(where);
    }
 
    //iterator erase(iterator where)
 
    iterator erase(const_iterator first, const_iterator last)
    {
        if (first == begin() && last == end())
        {
            clear();
            return end();
        }
        if (first == last)
            return first;
        if (first != end() && std::next(first) == last)
            return erase(first);
        MOMO_THROW(std::invalid_argument("invalid unordered_set erase arguments"));
    }
 
    size_type erase(const key_type& key)
    {
        return mHashSet.Remove(key) ? 1 : 0;
    }
 
    template<typename ValueFilter>
    friend size_type erase_if(unordered_set_adaptor& cont, const ValueFilter& valueFilter)
    {
        return cont.mHashSet.Remove(valueFilter);
    }
 
    node_type extract(const_iterator where)
    {
        return node_type(*this, where); // need RVO for exception safety
    }
 
    node_type extract(const key_type& key)
    {
        const_iterator iter = find(key);
        return (iter != end()) ? extract(iter) : node_type();
    }
 
    template<typename Set>
    void merge(Set&& set)
    {
        mHashSet.MergeFrom(set.get_nested_container());
    }
 
    size_type max_bucket_count() const noexcept
    {
        return momo::internal::UIntConst::maxSize;
        //return momo::internal::HashSetBuckets<Bucket>::maxBucketCount;
    }
 
    size_type bucket_count() const noexcept
    {
        return mHashSet.GetBucketCount();
    }
 
    size_type bucket_size(size_type bucketIndex) const
    {
        return mHashSet.GetBucketBounds(bucketIndex).GetCount();
    }
 
    local_iterator begin(size_type bucketIndex)
    {
        return mHashSet.GetBucketBounds(bucketIndex).GetBegin();
    }
 
    const_local_iterator begin(size_type bucketIndex) const
    {
        return mHashSet.GetBucketBounds(bucketIndex).GetBegin();
    }
 
    local_iterator end(size_type bucketIndex)
    {
        return mHashSet.GetBucketBounds(bucketIndex).GetEnd();
    }
 
    const_local_iterator end(size_type bucketIndex) const
    {
        return mHashSet.GetBucketBounds(bucketIndex).GetEnd();
    }
 
    const_local_iterator cbegin(size_type bucketIndex) const
    {
        return begin(bucketIndex);
    }
 
    const_local_iterator cend(size_type bucketIndex) const
    {
        return end(bucketIndex);
    }
 
    size_type bucket(const key_type& key) const
    {
        return mHashSet.GetBucketIndex(key);
    }
 
    float load_factor() const noexcept
    {
        size_t count = size();
        size_t bucketCount = bucket_count();
        if (count == 0 && bucketCount == 0)
            return 0.0;
        return static_cast<float>(count) / static_cast<float>(bucketCount);
    }
 
    friend bool operator==(const unordered_set_adaptor& left, const unordered_set_adaptor& right)
    {
        if (left.size() != right.size())
            return false;
        for (const_reference ref : left)
        {
            if (right.find(ref) == right.end())
                return false;
        }
        return true;
    }
 
    friend bool operator!=(const unordered_set_adaptor& left, const unordered_set_adaptor& right)
    {
        return !(left == right);
    }
 
private:
    template<typename Iterator, typename Sentinel>
    momo::internal::EnableIf<momo::internal::IsSetArgIterator<Iterator, value_type>::value,
    void> pvInsertRange(Iterator begin, Sentinel end)
    {
        mHashSet.Insert(std::move(begin), std::move(end));
    }
 
    template<typename Iterator, typename Sentinel>
    momo::internal::EnableIf<!momo::internal::IsSetArgIterator<Iterator, value_type>::value,
    void> pvInsertRange(Iterator begin, Sentinel end)
    {
        for (Iterator iter = std::move(begin); iter != end; ++iter)
            emplace(*iter);
    }
 
private:
    HashSet mHashSet;
};
 
template<typename TKey,
    typename THasher = HashCoder<TKey>,
    typename TEqualComparer = std::equal_to<TKey>,
    typename TAllocator = std::allocator<TKey>>
class unordered_set : public unordered_set_adaptor<HashSet<TKey,
    HashTraitsStd<TKey, THasher, TEqualComparer, HashBucketDefault>, MemManagerStd<TAllocator>>>
{
private:
    typedef unordered_set_adaptor<momo::HashSet<TKey,
        HashTraitsStd<TKey, THasher, TEqualComparer, HashBucketDefault>,
            MemManagerStd<TAllocator>>> UnorderedSetAdaptor;
 
public:
    using UnorderedSetAdaptor::UnorderedSetAdaptor;
 
    unordered_set& operator=(std::initializer_list<typename UnorderedSetAdaptor::value_type> values)
    {
        UnorderedSetAdaptor::operator=(values);
        return *this;
    }
 
    friend void swap(unordered_set& left, unordered_set& right) noexcept
    {
        left.swap(right);
    }
};
 
template<typename TKey,
    typename THasher = HashCoder<TKey>,
    typename TEqualComparer = std::equal_to<TKey>,
    typename TAllocator = std::allocator<TKey>>
class unordered_set_open : public unordered_set_adaptor<HashSet<TKey,
    HashTraitsStd<TKey, THasher, TEqualComparer, HashBucketOpenDefault>, MemManagerStd<TAllocator>>>
{
private:
    typedef unordered_set_adaptor<momo::HashSet<TKey,
        HashTraitsStd<TKey, THasher, TEqualComparer, HashBucketOpenDefault>,
            MemManagerStd<TAllocator>>> UnorderedSetAdaptor;
 
public:
    using UnorderedSetAdaptor::UnorderedSetAdaptor;
 
    unordered_set_open& operator=(std::initializer_list<typename UnorderedSetAdaptor::value_type> values)
    {
        UnorderedSetAdaptor::operator=(values);
        return *this;
    }
 
    friend void swap(unordered_set_open& left, unordered_set_open& right) noexcept
    {
        left.swap(right);
    }
};
 
#ifdef MOMO_HAS_DEDUCTION_GUIDES
 
#define MOMO_DECLARE_DEDUCTION_GUIDES(unordered_set) \
template<typename Iterator, \
    typename Key = typename std::iterator_traits<Iterator>::value_type> \
unordered_set(Iterator, Iterator) \
    -> unordered_set<Key>; \
template<typename Iterator, \
    typename Key = typename std::iterator_traits<Iterator>::value_type, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, HashCoder<Key>>> \
unordered_set(Iterator, Iterator, size_t, Allocator = Allocator()) \
    -> unordered_set<Key, HashCoder<Key>, std::equal_to<Key>, Allocator>; \
template<typename Iterator, typename Hasher, \
    typename Key = typename std::iterator_traits<Iterator>::value_type, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, Hasher>> \
unordered_set(Iterator, Iterator, size_t, Hasher, Allocator = Allocator()) \
    -> unordered_set<Key, Hasher, std::equal_to<Key>, Allocator>; \
template<typename Iterator, typename Hasher, typename EqualComparer, \
    typename Key = typename std::iterator_traits<Iterator>::value_type, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, Hasher, EqualComparer>> \
unordered_set(Iterator, Iterator, size_t, Hasher, EqualComparer, Allocator = Allocator()) \
    -> unordered_set<Key, Hasher, EqualComparer, Allocator>; \
template<typename Key> \
unordered_set(std::initializer_list<Key>) \
    -> unordered_set<Key>; \
template<typename Key, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, HashCoder<Key>>> \
unordered_set(std::initializer_list<Key>, size_t, Allocator = Allocator()) \
    -> unordered_set<Key, HashCoder<Key>, std::equal_to<Key>, Allocator>; \
template<typename Key, typename Hasher, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, Hasher>> \
unordered_set(std::initializer_list<Key>, size_t, Hasher, Allocator = Allocator()) \
    -> unordered_set<Key, Hasher, std::equal_to<Key>, Allocator>; \
template<typename Key, typename Hasher, typename EqualComparer, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, Hasher, EqualComparer>> \
unordered_set(std::initializer_list<Key>, size_t, Hasher, EqualComparer, Allocator = Allocator()) \
    -> unordered_set<Key, Hasher, EqualComparer, Allocator>; \
template<typename Key, typename Hasher, typename EqualComparer, typename Allocator> \
unordered_set(unordered_set<Key, Hasher, EqualComparer, Allocator>, momo::internal::Identity<Allocator>) \
    -> unordered_set<Key, Hasher, EqualComparer, Allocator>;
 
MOMO_DECLARE_DEDUCTION_GUIDES(unordered_set)
MOMO_DECLARE_DEDUCTION_GUIDES(unordered_set_open)
 
#undef MOMO_DECLARE_DEDUCTION_GUIDES
 
#ifdef MOMO_HAS_CONTAINERS_RANGES
 
#define MOMO_DECLARE_DEDUCTION_GUIDES_RANGES(unordered_set) \
template<std::ranges::input_range Range, \
    typename Key = std::ranges::range_value_t<Range>> \
unordered_set(std::from_range_t, Range&&) \
    -> unordered_set<Key>; \
template<std::ranges::input_range Range, \
    typename Key = std::ranges::range_value_t<Range>, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, HashCoder<Key>>> \
unordered_set(std::from_range_t, Range&&, size_t, Allocator = Allocator()) \
    -> unordered_set<Key, HashCoder<Key>, std::equal_to<Key>, Allocator>; \
template<std::ranges::input_range Range, typename Hasher, \
    typename Key = std::ranges::range_value_t<Range>, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, Hasher>> \
unordered_set(std::from_range_t, Range&&, size_t, Hasher, Allocator = Allocator()) \
    -> unordered_set<Key, Hasher, std::equal_to<Key>, Allocator>; \
template<std::ranges::input_range Range, typename Hasher, typename EqualComparer, \
    typename Key = std::ranges::range_value_t<Range>, \
    typename Allocator = std::allocator<Key>, \
    typename = internal::hash_checker<Key, Allocator, Hasher, EqualComparer>> \
unordered_set(std::from_range_t, Range&&, size_t, Hasher, EqualComparer, Allocator = Allocator()) \
    -> unordered_set<Key, Hasher, EqualComparer, Allocator>;
 
MOMO_DECLARE_DEDUCTION_GUIDES_RANGES(unordered_set)
MOMO_DECLARE_DEDUCTION_GUIDES_RANGES(unordered_set_open)
 
#undef MOMO_DECLARE_DEDUCTION_GUIDES_RANGES
 
#endif // MOMO_HAS_CONTAINERS_RANGES
 
#endif // MOMO_HAS_DEDUCTION_GUIDES
 
} // namespace stdish
 
} // namespace momo
 
#endif // MOMO_INCLUDE_GUARD_STDISH_UNORDERED_SET