类模板 unordered_set
:idprefix: unordered_set_
`boost::unordered++_++set` — 一种用于存储唯一值的无序关联容器。
概要
---
描述
*模板参数*
_键_
`Key` 必须可以从容器中 https://en.cppreference.com/w/cpp/named_req/Erasable[Erasable^]（即 `allocator_traits` 能够销毁它）。
_Hash_
一个一元函数对象类型，用作 `Key` 的哈希函数。它接受一个 `Key` 类型的参数并返回 `std::size_t` 类型的值。
_Pred_
一个二元函数对象，用于实现 `Key` 类型值上的等价关系。该二元函数对象在 `Key` 类型值上诱导出等价关系。它接受两个 `Key` 类型的参数并返回一个 `bool` 类型的值。
_Allocator_
一个分配器，其值类型与容器的值类型相同。
支持使用 https://en.cppreference.com/w/cpp/named_req/Allocator#Fancy_pointers[异形指针] 的分配器。
元素被组织到桶中。具有相同哈希码的键存储在同一桶中。
桶的数量可以通过调用 insert 自动增加，或者作为调用 rehash 的结果。
配置宏
`BOOST_UNORDERED_ENABLE_SERIALIZATION_COMPATIBILITY_V0`
全局定义此宏以支持加载由 Boost 1.84 之前版本的 Boost 保存到 Boost.Serialization 归档中的 `unordered_set`。
类型定义
一个常量迭代器，其值类型为 `value_type`。
迭代器类别至少为前向迭代器。
可转换为 `const++_++iterator` 。
---
一个常量迭代器，其值类型为 `value_type`。
迭代器类别至少为前向迭代器。
---
一种迭代器，其值类型、差值类型以及指针和引用类型均与 iterator 相同。
`local++_iterator` 对象可用于遍历单个桶内的元素。
---
一种常量迭代器，其值类型、差值类型以及指针和引用类型均与 const++_iterator 相同。
`const_local_iterator` 对象可用于遍历单个桶。
---
一个用于存放被提取容器元素的类，符合 https://en.cppreference.com/w/cpp/container/node_handle[NodeHandle] 模型。
---
内部类模板的特化：
其中 `Iterator` = `iterator`，`NodeType` = `node_type`。
---
构造函数
默认构造函数
```c++ unordered_set(); ```
使用 `hasher()` 作为哈希函数，`key_equal()` 作为键相等谓词，`allocator_type()` 作为分配器，以及最大负载因子 `1.0` 构造一个空容器。
后置条件：`size() == 0` 要求：如果使用默认值，则 `hasher`、`key_equal` 和 `allocator_type` 需要满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造^]要求。
---
桶数构造函数
```c++ explicit unordered_set(size_type n, const hasher& hf = hasher(), const key_equal& eql = key_equal(), const allocator_type& a = allocator_type()); ```
explicit unordered_set(size_type n, const hasher& hf = hasher(), const key_equal& eql = key_equal(), const allocator_type& a = allocator_type());
后置条件：;; `size() == 0` 要求：;; 若使用默认参数，则 `hasher`、`key_equal` 和 `allocator_type` 需要满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造^]要求。
---
迭代器范围构造函数
构造一个至少包含 `n` 个桶的空容器，使用 `hf` 作为哈希函数、 `eql` 作为键相等性谓词、 `a` 作为分配器，将最大负载因子设为 `1.0` ，并将区间 `++[++f, l)` 中的元素插入其中。
要求;; 若使用默认值，则 `hasher` 、 `key++_++equal` 和 `allocator++_++type` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造] 要求。
---
复制构造函数
```c++ unordered_set(const unordered_set& other); ```
复制构造函数。复制所含元素、哈希函数、谓词、最大负载因子和分配器。
若 `Allocator::select_on_container_copy_construction` 存在且具有正确的签名，则将根据其结果来构造分配器。
要求：;; `value_type` 需满足可复制构造要求。
---
移动构造函数
```c++ unordered_set(unordered_set&& other); ```
移动构造函数。
说明：;; 该实现使用 Boost.Move。要求：;; `value_type` 需满足可移动构造要求。
---
带分配器的迭代器范围构造函数
```c++ template unordered_set(InputIterator f, InputIterator l, const allocator_type& a); ```
构造一个空容器，使用 `a` 作为分配器、默认的哈希函数和键相等性谓词，并将最大负载因子设为 `1.0` ，然后将 `[f, l)` 范围内的元素插入其中。
要求：`hasher`、`key_equal` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造^]要求。
---
分配器构造函数
```c++ explicit unordered_set(const Allocator& a); ```
构造一个空容器，使用分配器 `a`。
---
带分配器的复制构造函数
```c++ unordered_set(const unordered_set& other, const Allocator& a); ```
构造一个容器，移动 `other` 中所包含的元素，并获取其哈希函数、谓词及最大负载因子，但使用分配器 `a` 。
---
带分配器的移动构造函数
```c++ unordered_set(unordered_set&& other, const Allocator& a); ```
构造一个容器，移动 `other` 中所包含的元素，并获取其哈希函数、谓词及最大负载因子，但使用分配器 `a` 。
说明：该实现使用 Boost.Move。要求：`value_type` 需满足可移动插入要求。
---
初始化列表构造函数
构造一个至少包含 `n` 个桶的空容器，使用 `hf` 作为哈希函数、 `eql` 作为键相等性谓词、及 `a` 作为分配器，并设置最大负载因子为 `1.0` ，随后将 `il` 中的元素插入该容器。
要求;; 若使用默认值，则 `hasher` 、 `key++_++equal` 和 `allocator++_++type` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造] 要求。
---
带分配器的桶数构造函数
```c++ unordered_set(size_type n, const allocator_type& a); ```
构造一个至少包含 `n` 个桶的空容器，使用 `hf` 作为哈希函数（应为默认哈希函数）、默认的键相等性谓词、 `a` 作为分配器，并设置最大负载因子为 `1.0` 。
后置条件：`size() == 0`\n要求：`hasher` 和 `key_equal` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造^]要求。
---
带哈希函数和分配器的桶数构造函数
```c++ unordered_set(size_type n, const hasher& hf, const allocator_type& a); ```
构造一个至少包含 `n` 个桶的空容器，使用 `hf` 作为哈希函数、默认的键相等性谓词、 `a` 作为分配器，并设置最大负载因子为 `1.0` 。
后置条件：size() == 0 要求：key_equal 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造^]要求。
---
带桶数和分配器的迭代器范围构造函数
构造一个至少包含 `n` 个桶的空容器，使用 `a` 作为分配器、默认的哈希函数和键相等性谓词，并设置最大负载因子为 `1.0` ，随后将区间 `++[++f, l)` 中的元素插入该容器。
要求;; `hasher` 和 `key++_++equal` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造] 要求。
---
带桶数和哈希函数的迭代器范围构造函数
构造一个至少包含 `n` 个桶的空容器，使用 `hf` 作为哈希函数、默认的键相等性谓词、 `a` 作为分配器，并设置最大负载因子为 `1.0` ，随后将区间 `++[++f, l)` 中的元素插入该容器。
要求;; `key++_++equal` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造] 要求。
---
带分配器的初始化列表构造函数
```c++ unordered_set(std::initializer_list il, const allocator_type& a); ```
使用 `a` 作为分配器构造一个空容器，设置最大负载因子为 1.0，并将 `il` 中的元素插入其中。
要求：`hasher` 和 `key_equal` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造^]要求。
---
带桶数和分配器的初始化列表构造函数
```c++ unordered_set(std::initializer_list il, size_type n, const allocator_type& a); ```
构造一个至少包含 `n` 个桶的空容器，使用 `a` 作为分配器，并设置最大负载因子为 1.0，随后将 `il` 中的元素插入该容器。
要求：`hasher` 和 `key_equal` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造^]要求。
---
带桶数、哈希函数和分配器的初始化列表构造函数
```c++ unordered_set(std::initializer_list il, size_type n, const hasher& hf, const allocator_type& a); ```
构造一个至少包含 `n` 个桶的空容器，使用 `hf` 作为哈希函数、 `a` 作为分配器，设置最大负载因子为 1.0，并将 `il` 中的元素插入其中。
要求：`key_equal` 需满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造^]要求。
---
析构函数
```c++ ~unordered_set(); ```
注意：析构函数会应用于每个元素，并且所有内存都会被释放。
---
赋值操作
复制赋值
```c++ unordered_set& operator=(const unordered_set& other); ```
赋值运算符。该操作会复制容器内的元素、哈希函数、谓词及最大负载因子，但不会复制分配器。
若 `Alloc::propagate_on_container_copy_assignment` 存在且 `Alloc::propagate_on_container_copy_assignment::value` 为 `true`，则覆盖分配器；否则，将使用现有分配器创建复制的元素。
要求：`value_type` 需满足可复制构造要求。
---
移动赋值
```c++ unordered_set& operator=(unordered_set&& other) noexcept(boost::allocator_traits::is_always_equal::value && boost::is_nothrow_move_assignable_v && boost::is_nothrow_move_assignable_v); ``` 移动赋值运算符。
若 `Alloc::propagate_on_container_move_assignment` 存在且 `Alloc::propagate_on_container_move_assignment::value` 为 `true`，则覆盖分配器；否则，将使用现有分配器创建移动的元素。
要求：`value_type` 需满足可移动构造要求。
---
初始化列表赋值
```c++ unordered_set& operator=(std::initializer_list il); ```
将初始化列表中的值赋给容器。所有已存在的元素将被新元素覆盖或销毁。
要求：`value_type` 需满足对容器而言的 https://en.cppreference.com/w/cpp/named_req/CopyInsertable[可复制插入^] 要求和 https://en.cppreference.com/w/cpp/named_req/CopyAssignable[可复制赋值^] 要求。
---
迭代器
begin
"```c++ iterator begin() noexcept; const_iterator begin() const noexcept; ```"
返回：指向容器第一个元素的迭代器，若容器为空则返回容器尾后迭代器。
---
end
"```c++ iterator end() noexcept; const_iterator end() const noexcept; ```"
返回：指向容器尾后位置的迭代器。
---
cbegin
```c++ const_iterator cbegin() const noexcept; ```
返回：指向容器第一个元素的 `const_iterator`，若容器为空，则返回容器尾后迭代器。
---
cend
```c++ const_iterator cend() const noexcept; ```
返回：指向容器尾后位置的 `const_iterator`。
---
大小与容量
空
```c++ [[nodiscard]] bool empty() const noexcept; ```
返回：`size() == 0`
---
大小
```c++ size_type size() const noexcept; ```
返回：`std::distance(begin(), end())`
---
max_size
```c++ size_type max_size() const noexcept; ```
返回：可能的最大容器的 `size()`。
---
修改器
原地构造
```c++ template<class... args=\"\"> std::pair<iterator, bool=\"\"> emplace(Args&&... args); ```</iterator,></class...>
当且仅当容器中没有等价值的元素时，插入一个使用参数 `args` 构造的对象。
要求：`value_type` 需从 `args` 处满足对 `X` 的 https://en.cppreference.com/w/cpp/named_req/EmplaceConstructible[可原位构造^] 要求。返回：若执行了插入，则返回类型中的布尔分量为 `true`。+ + 若执行了插入，则迭代器指向新插入的元素；否则指向等价的元素。 抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。 说明：可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ + 指向元素的指针和引用永远不会失效。
---
emplace_hint
```c++ template iterator emplace_hint(const_iterator position, Args&&... args); ```
当且仅当容器中没有等价值的元素时，插入一个使用参数 `args` 构造的对象。
`position` 是一个关于元素应插入位置的提示。
要求：`value_type` 需从 `args` 处满足对 `X` 的 https://en.cppreference.com/w/cpp/named_req/EmplaceConstructible[可原位构造^] 要求。返回：若执行了插入，则迭代器指向新插入的元素；否则指向等价的元素。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：标准对提示的含义表述相当模糊。但使用它的唯一实际方式，也是 Boost.Unordered 唯一支持的方式，是将其指向具有相同键的现有元素。+ +可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。
---
复制插入
```c++ std::pair<iterator, bool=\"\"> insert(const value_type& obj); ```</iterator,>
当且仅当容器中不存在等价键时，将 `obj` 对象插入到容器中。
要求：`value_type` 需满足 https://en.cppreference.com/w/cpp/named_req/CopyInsertable[可复制插入^] 要求。返回：若执行了插入，则返回类型中的布尔分量为 `true`。+ +若执行了插入，则迭代器指向新插入的元素；否则指向等价的元素。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。
---
移动插入
```c++ std::pair<iterator, bool=\"\"> insert(value_type&& obj); ```</iterator,>
当且仅当容器中不存在等价键时，将 `obj` 对象插入到容器中。
要求：`value_type` 需满足 https://en.cppreference.com/w/cpp/named_req/MoveInsertable[可移动插入^] 要求。返回：若执行了插入，则返回类型中的布尔分量为 `true`。+ +若执行了插入，则迭代器指向新插入的元素；否则指向等价的元素。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。
---
透明插入
```c++ template<class k=\"\"> std::pair<iterator, bool=\"\"> insert(K&& k); ```</iterator,></class>
当且仅当容器中不存在等价键的元素时，插入一个由 `std::forward++<++K++>++(k)` 构造的元素。
要求：`value_type` 需从 `k` 处满足对容器的 https://en.cppreference.com/w/cpp/named_req/EmplaceConstructible[可原位构造^] 要求。返回：若执行了插入，则返回类型中的布尔分量为 `true`。+ +若执行了插入，则迭代器指向新插入的元素；否则指向等价的元素。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。+ +此重载仅在以下条件下参与重载决议：`Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef，且 `iterator` 和 `const_iterator` 均不能从 `K` 隐式转换。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
带提示的复制插入
```c++ iterator insert(const_iterator hint, const value_type& obj); ``` Inserts `obj` in the container if and only if there is no element in the container with an equivalent key.
`hint` 是插入元素位置的建议。
要求：`value_type` 需满足 https://en.cppreference.com/w/cpp/named_req/CopyInsertable[可复制插入^] 要求。返回：若执行了插入，则迭代器指向新插入的元素；否则指向等价的元素。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：标准对提示的含义表述相当模糊。但使用它的唯一实际方式，也是 Boost.Unordered 唯一支持的方式，是将其指向具有相同键的现有元素。+ +可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。
---
带提示的移动插入
```c++ iterator insert(const_iterator hint, value_type&& obj); ```
当且仅当容器中没有等价的键时，将 `obj` 插入容器。
`hint` 是一个关于元素应插入位置的建议。
要求：`value_type` 需满足 https://en.cppreference.com/w/cpp/named_req/MoveInsertable[可移动插入^] 要求。返回：若执行了插入，则迭代器指向新插入的元素；否则指向等价的元素。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：标准对提示的含义表述相当模糊。但使用它的唯一实际方式，也是 Boost.Unordered 唯一支持的方式，是将其指向具有相同键的现有元素。+ +可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。
---
带提示的透明插入
```c++ template iterator insert(const_iterator hint, K&& k); ```
当且仅当容器中不存在等价键的元素时，插入一个由 `std::forward(k)` 构造的元素。
`hint` 是插入元素位置的建议。
要求：`value_type` 需从 `k` 处满足对容器的 https://en.cppreference.com/w/cpp/named_req/EmplaceConstructible[可原位构造^] 要求。返回：若执行了插入，则迭代器指向新插入的元素；否则指向等价的元素。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：标准对 hint 的含义表述相当模糊。但使用它的唯一实际方式，也是 Boost.Unordered 唯一支持的方式，是将其指向具有相同键的现有元素。+ +可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。+ +此重载仅在以下条件下参与重载决议：`Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef，且 `iterator` 和 `const_iterator` 均不能从 `K` 隐式转换。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
迭代器范围插入
```c++ template void insert(InputIterator first, InputIterator last); ```
将元素范围插入容器中。仅当容器中不存在等价键的元素时，才会插入相应元素。
要求：`value_type` 需从 `*first` 处满足对 `X` 的 https://en.cppreference.com/w/cpp/named_req/EmplaceConstructible[可原位构造^] 要求。抛出：当插入单个元素时，若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。
---
初始化列表插入
```c++ void insert(std::initializer_list); ```
将元素范围插入容器中。仅当容器中不存在等价键的元素时，才会插入相应元素。
要求：`value_type` 需满足对容器而言的 https://en.cppreference.com/w/cpp/named_req/CopyInsertable[可复制插入^] 要求。抛出：当插入单个元素时，若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。
---
通过迭代器提取
```c++ node_type extract(const_iterator position); ```
移除由 `position` 指向的元素。
返回：一个拥有该元素的 `node_type`。说明：在 C++17 中，通过此方法提取的节点可以插入到兼容的 `unordered_multiset` 中，但该功能尚未支持。
---
通过键值提取元素
```c++ node_type extract(const key_type& k); template node_type extract(K&& k); ```
移除键等价于 `k` 的元素。
返回：若找到元素，则返回拥有该元素的 `node_type`；否则返回空 `node_type`。抛出：仅当 `hasher` 或 `key_equal` 抛出异常时才会抛出异常。说明：在 C++17 中，通过此方法提取的节点可以插入到兼容的 `unordered_multiset` 中，但该功能尚未支持。+ +`template` 重载仅在以下条件下参与重载决议：`Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef，且 `iterator` 和 `const_iterator` 均不能从 `K` 隐式转换。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
通过 `node++_++handle` 插入
```c++ insert_return_type insert(node_type&& nh); ```
若 `nh` 为空节点，则此操作不产生任何效果。
否则，当且仅当容器中不存在等价键的元素时，才会插入 `nh` 所拥有的元素。
要求：`nh` 为空或 `nh.get_allocator()` 与容器的分配器相等。返回：若 `nh` 为空，则返回一个 `insert_return_type`，其中：`inserted` 为 `false`，`position` 等于 `end()`，`node` 为空。+ +否则若已存在等价的键，则返回一个 `insert_return_type`，其中：`inserted` 为 `false`，`position` 指向匹配的元素，`node` 包含 `nh` 中的节点。+ +否则若插入成功，则返回一个 `insert_return_type`，其中：`inserted` 为 `true`，`position` 指向新插入的元素，`node` 为空。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。+ +在 C++17 中，该函数可用于插入从兼容的 `unordered_multiset` 中提取的节点，但该功能尚未支持。
---
带提示和 `node++_++handle` 的插入
```c++ iterator insert(const_iterator hint, node_type&& nh); ```
若 `nh` 为空节点，则此操作不产生任何效果。
否则，当且仅当容器中不存在等价键的元素时，才会插入 `nh` 所拥有的元素。
如果容器中已存在具有等价键的元素，则对 `nh` 不产生任何影响.（即 `nh` 仍持有该节点.）
`hint` 是插入元素位置的建议。
要求：`nh` 为空或 `nh.get_allocator()` 与容器的分配器相等。返回：若 `nh` 为空，则返回 `end()`。+ +若容器中已存在等价的键，则返回指向该元素的迭代器。+ +否则，返回指向新插入元素的迭代器。抛出：若调用 `hasher` 以外的操作抛出异常，则函数无效果。说明：标准对 hint 的含义表述相当模糊。但使用它的唯一实际方式，也是 Boost.Unordered 唯一支持的方式，是将其指向具有相同键的现有元素。+ +可能使迭代器失效，但仅当插入导致负载因子大于或等于最大负载因子时才会发生。+ +指向元素的指针和引用永远不会失效。+ +该函数可用于插入从兼容的 `unordered_multiset` 中提取的节点。
---
通过位置擦除
```c++ iterator erase(iterator position); iterator erase(const_iterator position); ```
擦除由 `position` 指向的元素。
返回：擦除前指向 `position` 之后位置的迭代器。抛出：仅当 `hasher` 或 `key_equal` 抛出异常时才会抛出异常。说明：在旧版本中，该操作可能效率较低，因为它需要搜索多个桶才能找到所返回迭代器的位置。数据结构已做修改，此问题已不复存在，并且其他替代的 `erase` 方法已被弃用。
---
通过值擦除
```c++ size_type erase(const key_type& k); template size_type erase(K&& k); ```
擦除所有键等价于 `k` 的元素。
返回：擦除的元素数量。抛出：仅当 `hasher` 或 `key_equal` 抛出异常时才会抛出异常。说明：`template` 重载仅在以下条件下参与重载决议：`Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef，且 `iterator` 和 `const_iterator` 均不能从 `K` 隐式转换。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
范围擦除
```c++ iterator erase(const_iterator first, const_iterator last); ```
擦除从 `first` 到 `last` 范围内（包含 `first` ，不包含 `last` ）的元素。
返回：指向被擦除元素之后位置的迭代器，即 `last`。抛出：仅当 `hasher` 或 `key_equal` 抛出异常时才会抛出异常。+ + 在此实现中，此重载不会调用这两个函数对象的任何方法，因此不会抛出异常，但在其他实现中可能并非如此。
---
quick_erase
```c++ void quick_erase(const_iterator position); ```
擦除由 `position` 指向的元素。
抛出：仅当 `hasher` 或 `key_equal` 抛出异常时才会抛出异常。 \n+ + 在此实现中，此重载不会调用这两个函数对象的任何方法，因此不会抛出异常，但在其他实现中可能并非如此。 \n说明：此方法最初实现的原因是，从 `erase` 返回指向下一个元素的迭代器开销较大，但容器已经过重新设计，该问题已不复存在。因此，此方法现已弃用。
---
erase_return_void
```c++ void erase_return_void(const_iterator position); ```
擦除由 `position` 指向的元素。
抛出：仅当 `hasher` 或 `key_equal` 抛出异常时才会抛出异常。 \n+ + 在此实现中，此重载不会调用这两个函数对象的任何方法，因此不会抛出异常，但在其他实现中可能并非如此。 \n说明：此方法最初实现的原因是，从 `erase` 返回指向下一个元素的迭代器开销较大，但容器已经过重新设计，该问题已不复存在。因此，此方法现已弃用。
---
交换
```c++ void swap(unordered_set& other) noexcept(boost::allocator_traits::is_always_equal::value && boost::is_nothrow_swappable_v && boost::is_nothrow_swappable_v); ```
交换容器与参数的内容。
如果声明了 `Allocator::propagate++_++on++_++container++_++swap` 且 `Allocator::propagate++_++on++_++container++_++swap::value` 为 `true` ，则交换容器的分配器。则，在分配器不相等的情况下进行交换将导致未定义行为。
抛出：除非 `key_equal` 或 `hasher` 的复制构造函数或复制赋值运算符抛出异常，否则不会抛出异常。说明：由于相等谓词和哈希函数是通过它们的复制构造函数进行交换的，因此异常规范与 C++11 标准并不完全相同。
---
清空
```c++ void clear() noexcept; ```
擦除容器中的所有元素。
后置条件：`size() == 0` 抛出：永不抛出异常。
---
合并
```c++ template<class h2,=\"\" class=\"\" p2=\"\"> void merge(unordered_set<key, h2,=\"\" p2,=\"\" allocator=\"\">& source); template<class h2,=\"\" class=\"\" p2=\"\"> void merge(unordered_set<key, h2,=\"\" p2,=\"\" allocator=\"\">&& source); template<class h2,=\"\" class=\"\" p2=\"\"> void merge(unordered_multiset<key, h2,=\"\" p2,=\"\" allocator=\"\">& source); template<class h2,=\"\" class=\"\" p2=\"\"> void merge(unordered_multiset<key, h2,=\"\" p2,=\"\" allocator=\"\">&& source); ```</key,></class></key,></class></key,></class></key,></class>
通过遍历 `source` 容器，提取其中所有不包含在 `++*++this` 中的节点，并将其插入到 `++*++this` 中，以此尝试将两个容器\"合并\"。
由于 `source` 可以有不同的哈希函数和键相等性谓词，因此会使用 `this-++>++hash++_++function()` 操作对 `source` 中每个节点的键进行重哈希，并在需要时使用 `this-++>++key++_++eq()` 进行比较。
如果 `this-++>++get++_++allocator() != source.get++_++allocator()` ，则此函数的行为未定义。
此函数不会复制或移动任何元素，而是仅将节点从 `source` 重新定位到 `*this` 中。
说明：+ --
指向被转移元素的指针和引用保持有效。
使指向被转移元素的迭代器失效。
使属于 `++*++this` 的迭代器失效。
指向 `source` 中未被转移元素的迭代器保持有效。
--
---
观察器
get++_++allocator
``` allocator_type get_allocator() const; ```
---
哈希函数
``` hasher hash_function() const; ```
返回：容器的哈希函数。
---
key++_++eq
``` key_equal key_eq() const; ```
返回：容器的键相等谓词。
---
查找
find
"```c++ iterator find(const key_type& k); const_iterator find(const key_type& k) const; template<class k=\"\"> iterator find(const K& k); template<class k=\"\"> const_iterator find(const K& k) const; template<typename compatiblekey,=\"\" typename=\"\" compatiblehash,=\"\" compatiblepredicate=\"\"> iterator find(CompatibleKey const& k, CompatibleHash const& hash, CompatiblePredicate const& eq); template<typename compatiblekey,=\"\" typename=\"\" compatiblehash,=\"\" compatiblepredicate=\"\"> const_iterator find(CompatibleKey const& k, CompatibleHash const& hash, CompatiblePredicate const& eq) const; ```</typename></typename></class></class>"
返回：指向键与 `k` 等价的元素的迭代器，若不存在这样的元素则返回 `b.end()`。说明：包含 `CompatibleKey`、`CompatibleHash` 和 `CompatiblePredicate` 的模板化重载是非标准扩展，允许您使用兼容的哈希函数和相等谓词来处理不同类型的键，以避免昂贵的类型转换。通常不鼓励使用它们，而应使用 `K` 成员函数模板。+ +`template` 重载仅在 `Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef 时参与重载决议。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
count
```c++ size_type \u0020 \u0020 \u0020 \u0020count(const key_type& k) const; template size_type \u0020 \u0020 \u0020count(const K& k) const; ```
返回：键与 `k` 等价的元素数量。说明：`template` 重载仅在 `Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef 时参与重载决议。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
包含
```c++ bool \u0020 \u0020 \u0020 \u0020 \u0020 \u0020 contains(const key_type& k) const; template bool \u0020 \u0020 \u0020 \u0020 \u0020 contains(const K& k) const; ```
返回：一个布尔值，指示容器中是否存在键等于 `key` 的元素。说明：`template` 重载仅在 `Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef 时参与重载决议。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
equal++_++range
"```c++ std::pair<iterator, iterator=\"\"> equal_range(const key_type& k); std::pair<const_iterator, const_iterator=\"\"> equal_range(const key_type& k) const; template<class k=\"\"> std::pair<iterator, iterator=\"\"> equal_range(const K& k); template<class k=\"\"> std::pair<const_iterator, const_iterator=\"\"> equal_range(const K& k) const; ```</const_iterator,></class></iterator,></class></const_iterator,></iterator,>"
返回：包含所有键与 `k` 等价的元素的范围。若容器中不包含任何此类元素，则返回 `std::make_pair(b.end(), b.end())`。说明：`template` 重载仅在 `Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef 时参与重载决议。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
桶接口
bucket++_++count
```c++ size_type bucket_count() const noexcept; ```
返回：桶的数量。
---
max_bucket_count
```c++ size_type max_bucket_count() const noexcept; ```
返回：桶数的上限。
---
桶大小
```c++ size_type bucket_size(size_type n) const; ```
要求：`n < bucket_count()` \u0020返回：桶 `n` 中的元素数量。
---
桶
```c++ size_type bucket(const key_type& k) const; template size_type bucket(const K& k) const; ```
返回：将包含键为 `k` 的元素的桶索引。后置条件：返回值小于 `bucket_count()`。说明：`template` 重载仅在 `Hash::is_transparent` 和 `Pred::is_transparent` 是有效的成员 typedef 时参与重载决议。库假定 `Hash` 可同时以 `K` 和 `Key` 调用，且 `Pred` 是透明的。这实现了异构查找，从而避免了实例化 `Key` 类型对象的开销。
---
begin
```c++ local_iterator begin(size_type n); const_local_iterator begin(size_type n) const; ```
要求：`n` 应在 `[0, bucket_count())` 范围内。返回：指向索引为 `n` 的桶中第一个元素的局部迭代器。
---
end
```c++ local_iterator end(size_type n); const_local_iterator end(size_type n) const; ```
要求：`n` 应在 `[0, bucket_count())` 范围内。返回：指向索引为 `n` 的桶中“尾后”元素的局部迭代器。
---
cbegin
```c++ const_local_iterator cbegin(size_type n) const; ```
要求：`n` 应在 `[0, bucket_count())` 范围内。返回：指向索引为 `n` 的桶中第一个元素的常量局部迭代器。
---
cend
```c++ const_local_iterator cend(size_type n) const; ```
要求：`n` 应在 `[0, bucket_count())` 范围内。返回：指向索引为 `n` 的桶中“尾后”元素的常量局部迭代器。
---
哈希策略
负载因子
```c++ float load_factor() const noexcept; ```
返回：每个桶的平均元素数量。
---
max_load_factor
```c++ float max_load_factor() const noexcept; ```
返回：当前最大负载因子。
---
设置max_load_factor（最大负载因子）
```c++ void max_load_factor(float z); ```
效果：使用 `z` 作为提示，更改容器的最大负载因子。
---
重哈希
```c++ void rehash(size_type n); ```
改变桶的数量，使其至少为 `n` 个，并确保负载因子小于或等于最大负载因子。此操作将根据情况增加或减少容器关联的 `bucket_count()` 。
当 `size() == 0` 时，`rehash(0)` 将释放底层桶数组。
使迭代器失效，并改变元素的顺序。指向元素的指针和引用不会失效。
抛出：若抛出异常（除非由容器的哈希函数或比较函数抛出），则该函数无效果。
---
保留
```c++ void reserve(size_type n); ```
等价于 `a.rehash(ceil(n / a.max_load_factor()))`，若 `n > 0` 且 `a.max_load_factor() == std::numeric_limits::infinity()` 则等价于 `a.rehash(1)`。
与 `rehash` 类似，该函数可用于增加或减少容器中的桶数量。
使迭代器失效，并改变元素的顺序。指向元素的指针和引用不会失效。
抛出：若抛出异常（除非由容器的哈希函数或比较函数抛出），则该函数无效果。
推导指引
如果以下任何一条件为真，则推导指引将不参与重载决议：
- 该推导指引包含 `InputIterator` 模板参数，且为此参数推导出的类型不符合输入迭代器的要求。 - 该推导指引包含 `Allocator` 模板参数，且为该参数推导出的类型不符合分配器要求。 - 该推导指引包含 `Hash` 模板参数，且为该参数推导出的类型为整型或符合分配器要求。 - 该推导指引包含 `Pred` 模板参数，且为该参数推导出的类型符合分配器要求。
推导指引中的 `size++_++type` 参数类型，指向由该推导指引所推导容器类型的 `size++_++type` 成员类型。其默认值与所选构造函数的默认值一致。
__iter-value-type__
相等性比较
operator
```c++ template<class key,=\"\" class=\"\" hash,=\"\" pred,=\"\" alloc=\"\"> bool operator==(const unordered_set<key, hash,=\"\" pred,=\"\" alloc=\"\">& x, const unordered_set<key, hash,=\"\" pred,=\"\" alloc=\"\">& y); ```</key,></key,></class>
如果 `x.size() == y.size()` 且对于 `x` 中的每个元素，在 `y` 中均存在一个具有相同键且值相等（使用 `operator==` 比较值类型）的元素，则返回 `true`。
说明：如果两个容器的相等谓词不等价，则行为未定义。
---
operator!
```c++ template<class key,=\"\" class=\"\" hash,=\"\" pred,=\"\" alloc=\"\"> bool operator!=(const unordered_set<key, hash,=\"\" pred,=\"\" alloc=\"\">& x, const unordered_set<key, hash,=\"\" pred,=\"\" alloc=\"\">& y); ```</key,></key,></class>
如果 `x.size() == y.size()` 且对于 `x` 中的每个元素，在 `y` 中均存在一个具有相同键且值相等（使用 `operator==` 比较值类型）的元素，则返回 `false`。
注意：如果两个容器的相等谓词不等价，则行为未定义。
---
交换
```c++ template<class key,=\"\" class=\"\" hash,=\"\" pred,=\"\" alloc=\"\"> void swap(unordered_set<key, hash,=\"\" pred,=\"\" alloc=\"\">& x, unordered_set<key, hash,=\"\" pred,=\"\" alloc=\"\">& y) noexcept(noexcept(x.swap(y))); ```</key,></key,></class>
交换 `x` 和 `y` 的内容。
如果 `Allocator::propagate_on_container_swap` 已声明且 `Allocator::propagate_on_container_swap::value` 为 `true`，则交换容器的分配器。否则，使用不相等的分配器进行交换将导致未定义行为。
"效果：`x.swap(y)` 抛出：除非 `key_equal` 或 `hasher` 的复制构造函数或复制赋值运算符抛出异常，否则不会抛出异常。 注意：由于相等谓词和哈希函数是通过它们的复制构造函数进行交换的，因此异常规范与 C++11 标准并不完全相同。"
---
erase_if
```c++ template<class k,=\"\" class=\"\" h,=\"\" p,=\"\" a,=\"\" predicate=\"\"> typename unordered_set<k, h,=\"\" p,=\"\" a=\"\">::size_type erase_if(unordered_set<k, h,=\"\" p,=\"\" a=\"\">& c, Predicate pred); ```</k,></k,></class>
遍历容器 `c`，并移除所有使得给定谓词返回 `true` 的元素。
返回：被擦除的元素数量。注意：等价于：auto original_size = c.size(); for (auto i = c.begin(), last = c.end(); i != last; ) { if (pred(*i)) { i = c.erase(i); } else { ++i; } } return original_size - c.size();
序列化
`unordered++_++set` 可通过本库提供的 API，借助 link:../../../../../serialization/index.html[Boost.Serialization] 实现序列化存档与读取功能。同时支持常规格式与 XML 格式的归档。
将 unordered++_++set 保存到归档
将 `unordered++_++set` 对象 `x` 的所有元素保存到归档（XML 归档） `ar` 中。
要求;; `value++_++type` 必须可序列化（支持 XML 序列化），且需要支持 Boost.Serialization 的 `save++_++construct++_++data` / `load++_++construct++_++data` 协议（该协议自动支持满足 https://en.cppreference.com/w/cpp/named_req/DefaultConstructible[可默认构造] 要求的类型）。
---
从归档加载 unordered++_++set
删除 `unordered++_++set` 对象 `x` 的所有预先存在的元素，并从归档（XML 归档） `ar` 中读取原始 `unordered++_++set` 对象 `other` 先前保存至存储的元素副本并插入到 `x` 中。
要求;; `value++_++type` 需满足 https://en.cppreference.com/w/cpp/named_req/MoveInsertable[可移动插入] 要求，且 `x.key++_++equal()` 在功能上需等价于 `other.key++_++equal()` 。 注意;; 若归档文件是使用 Boost 1.84 之前的版本保存的，则必须全局定义配置宏 `BOOST++_++UNORDERED++_++ENABLE++_++SERIALIZATION++_++COMPATIBILITY++_++V0` 才能成功执行此操作；否则将抛出异常。
---
将迭代器/常量迭代器保存到归档
将 `iterator` （ `const++_++iterator` ）常量迭代器 `it` 的位置信息保存到归档（XML 归档） `ar` 中。 `it` 可以是 `end()` 迭代器。
要求;; 迭代器 `it` 指向的 `unordered++_++set` `x` 必须已预先保存至归档 `ar` ，且在保存 `x` 和保存 `it` 的时间间隔内 `x` 执行任何修改操作。
---
从归档加载迭代器/常量迭代器
使 `iterator` （ `const++_++iterator` ） `it` 指向原始 `iterator` （ `const++_++iterator` ）所恢复的位置。该原始迭代器已被保存到由归档（XML 归档） `ar` 读取的存储中。
要求;; 如果 `x` 是 `it` 指向的 `unordered++_++set` ，则在加载 `x` 与加载 `it` 的时间间隔内，不得对 `x` 执行任何修改操作。