std::unordered_set

template<
    class Key,
    class Hash = std::hash<Key>,
    class KeyEqual = std::equal_to<Key>,
    class Allocator = std::allocator<Key>
> class unordered_set;

namespace pmr {
    template<
        class Key,
        class Hash = std::hash<Key>,
        class Pred = std::equal_to<Key>
    > using unordered_set = std::unordered_set<Key, Hash, Pred,
                                std::pmr::polymorphic_allocator<Key>>;
}

std::unordered_set — это ассоциативный контейнер, содержащий множество уникальных объектов типа Key. Поиск, вставка и удаление имеют среднее время выполнения, равное константе.

Внутри элементы не упорядочены каким-либо определённым образом, а организованы в ведра. В какое ведро попадет элемент, зависит полностью от хэша его значения. Это позволяет быстро получить доступ к отдельным элементам, так как вычисление хэша сразу указывает на точное ведро, где находится элемент.

Элементы контейнера не могут быть изменены (даже не-const итераторами), так как изменение может поменять хэш элемента и испортить контейнер.

std::unordered_set соответствует требованиям контейнера, контейнера с поддержкой аллокатора, неупорядоченного ассоциативного контейнера.

Недействительность итераторов

Примечания

• Функции перестановки не аннулируют ни один из итераторов внутри контейнера, но они аннулируют итератор, обозначающий конец области перестановки.
• Ссылок и указателей на данные, хранящиеся в контейнере, аннулируются только при удалении этого элемента, даже когда соответствующий итератор аннулируется.
• После перемещения контейнера при помощи оператора присваивания, за исключением случаев принудительного элементного перемещения из-за несовместимых аллокаторов, ссылки, указатели и итераторы (кроме итератора за концом) контейнера из которого происходило перемещение, остаются валидными, но ссылаются на элементы, которые сейчас находятся в *this.

Шаблоные параметры

Типы-члены

Члены-функции

Нечленные функции

Примечания

Типы-члены iterator и const_iterator могут быть псевдонимами одного и того же типа. Это означает, что определение пары перегруженных функций, использующих эти два типа в качестве типов параметров, может нарушать Правило одной дефиниции. Поскольку iterator преобразуется в const_iterator, вместо этого можно использовать одну функцию с типом параметра const_iterator.

Пример

#include <iostream>
#include <unordered_set>
 
void print(const auto& set)
{
    for (const auto& elem : set)
        std::cout << elem << ' ';
    std::cout << '\n';
}
 
int main()
{
    std::unordered_set<int> mySet{2, 7, 1, 8, 2, 8}; // creates a set of ints
    print(mySet);
 
    mySet.insert(5); // puts an element 5 in the set
    print(mySet);
 
    if (auto iter = mySet.find(5); iter != mySet.end())
        mySet.erase(iter); // removes an element pointed to by iter
    print(mySet);
 
    mySet.erase(7); // removes an element 7
    print(mySet);
}

8 1 7 2
5 8 1 7 2
8 1 7 2
8 1 2

Отчеты об ошибках

Следующие отчеты об ошибках, изменяющие поведение, были применены ретроактивно к ранее опубликованным стандартам C++.

См. также