std::unordered_set<Key,Hash,KeyEqual,Allocator>::insert
来自 cppreference.cn
std::pair<iterator,bool> insert( const value_type& value ); |
(1) | (C++11 起) |
std::pair<iterator,bool> insert( value_type&& value ); |
(2) | (C++11 起) |
iterator insert( const_iterator hint, const value_type& value ); |
(3) | (C++11 起) |
iterator insert( const_iterator hint, value_type&& value ); |
(4) | (C++11 起) |
template< class InputIt > void insert( InputIt first, InputIt last ); |
(5) | (C++11 起) |
void insert( std::initializer_list<value_type> ilist ); |
(6) | (C++11 起) |
insert_return_type insert( node_type&& nh ); |
(7) | (C++17 起) |
iterator insert( const_iterator hint, node_type&& nh ); |
(8) | (C++17 起) |
template< class K > std::pair<iterator, bool> insert( K&& obj ); |
(9) | (C++23 起) |
template< class K > iterator insert( const_iterator hint, K&& obj ); |
(10) | (C++23 起) |
如果容器中尚不包含具有等效键的元素,则将元素插入容器中。
1,2) 插入 value。
3,4) 插入 value,使用 hint 作为搜索起始位置的非绑定建议。
7) 如果 nh 是空的 节点句柄,则不执行任何操作。否则,如果容器中不包含与 nh.key() 等价的键的元素,则将 nh 所拥有的元素插入到容器中。如果 nh 不为空且 get_allocator() != nh.get_allocator(),则行为未定义。
8) 如果 nh 是空的 节点句柄,则不执行任何操作并返回末尾迭代器。否则,如果容器中不包含与 nh.key() 等价的键的元素,则将 nh 所拥有的元素插入到容器中,并返回指向与 nh.key() 等价的键的元素的迭代器(无论插入是否成功)。如果插入成功,nh 将被移动,否则它保留对元素的拥有权。hint 用作搜索起始位置的非绑定建议。如果 nh 不为空且 get_allocator() != nh.get_allocator(),则行为未定义。
9) 如果 *this 已包含一个与 obj 进行透明比较“等价”的元素,则不执行任何操作。否则,使用 std::forward<K>(obj) 构造一个
value_type
对象 u
,然后将 u
插入到 *this 中。如果 equal_range(u) != hash_function()(obj) || contains(u) 为 true,则行为未定义。value_type
必须是可从 std::forward<K>(obj) 就位构造(EmplaceConstructible)到 unordered_set
中的类型。此重载仅在 Hash::is_transparent 和 KeyEqual::is_transparent 有效且各自表示一个类型时才参与重载决议。这假定此类 Hash
可用 K
和 Key
类型调用,并且 KeyEqual
是透明的,这共同允许在不构造 Key
实例的情况下调用此函数。10) 如果 *this 已包含一个与 obj 进行透明比较“等价”的元素,则不执行任何操作。
否则,使用 std::forward<K>(obj) 构造一个 value_type
对象 u
,然后将 u
插入到 *this 中。Template:hint 用作搜索起始位置的非绑定建议。如果 equal_range(u) != hash_function()(obj) || contains(u) 为 true,则行为未定义。value_type
必须是可从 std::forward<K>(obj) 就位构造(EmplaceConstructible)到 unordered_set
中的类型。此重载仅在以下条件满足时才参与重载决议:
- std::is_convertible_v<K&&, const_iterator> 和 std::is_convertible_v<K&&, iterator> 都为 false,并且
- Hash::is_transparent 和 KeyEqual::is_transparent 有效且各自表示一个类型。这假定此类
Hash
可用K
和Key
类型调用,并且KeyEqual
是透明的,
Key
实例的情况下调用此函数。如果操作后新元素数量大于旧的 max_load_factor()
*
bucket_count()
,则会发生重新散列(rehashing)。
如果发生重新散列(由于插入),所有迭代器都将失效。否则(未发生重新散列),迭代器不会失效。如果插入成功,则在节点句柄中持有时获取的元素指针和引用将失效,并且在提取前获取的该元素的指针和引用将变为有效。(C++17 起)
目录 |
[编辑] 参数
hint | - | 迭代器,用作插入内容的建议位置 |
value | - | 要插入的元素值 |
first, last | - | 定义要插入的元素源范围的迭代器对 |
ilist | - | 要从中插入值的初始化列表 |
nh | - | 兼容的节点句柄 |
obj | - | 可与键透明比较的任何类型的值 |
类型要求 | ||
-InputIt 必须满足 LegacyInputIterator 的要求。 |
[编辑] 返回值
1,2) 一个对,包含一个指向已插入元素(或阻止插入的元素)的迭代器,以及一个布尔值,当且仅当插入发生时设置为 true。
3,4) 指向插入元素的迭代器,或指向阻止插入的元素的迭代器。
5,6) (无)
7) 一个
insert_return_type
对象,其成员初始化如下:- 如果 nh 为空,则
inserted
为 false,position
为 end(),且node
为空。 - 否则,如果插入发生,则
inserted
为 true,position
指向插入的元素,且node
为空。 - 如果插入失败,则
inserted
为 false,node
具有 nh 的前一个值,且position
指向一个键与 nh.key() 等价的元素。
8) 如果 nh 为空,则返回末尾迭代器;如果插入发生,则返回指向已插入元素的迭代器;如果插入失败,则返回指向键与 nh.key() 等价的元素的迭代器。
9) 一个对,包含一个指向已插入元素(或阻止插入的元素)的迭代器,以及一个布尔值,当且仅当插入发生时设置为 true。
10) 一个指向已插入元素或阻止插入的元素的迭代器。
[编辑] 异常
1-4) 如果任何操作抛出异常,则插入无效。
本节不完整 原因:情况 5-10 |
[编辑] 复杂度
1-4) 平均情况:
O(1)
,最坏情况 O(size())
。5,6) 平均情况:
O(N)
,其中 N 为要插入的元素数量。最坏情况:O(N * size() + N)
。7-10) 平均情况:
O(1)
,最坏情况 O(size())
。[编辑] 注意
带提示的插入 (3,4) 不返回布尔值是为了与顺序容器(如 std::vector::insert)的位置插入签名兼容。这使得可以创建通用的插入器,如 std::inserter。检查带提示插入是否成功的一种方法是比较插入前后的 size()
。
特性测试宏 | 值 | 标准 | 特性 |
---|---|---|---|
__cpp_lib_associative_heterogeneous_insertion |
202311L |
(C++26) | 有序和无序关联容器中剩余成员函数的多态重载。(9,10) |
[编辑] 示例
运行此代码
#include <array> #include <iostream> #include <unordered_set> std::ostream& operator<<(std::ostream& os, std::unordered_set<int> const& s) { for (os << '[' << s.size() << "] { "; int i : s) os << i << ' '; return os << "}\n"; } int main () { std::unordered_set<int> nums{2, 3, 4}; std::cout << "1) Initially: " << nums << std::boolalpha; auto p = nums.insert(1); // insert element, overload (1) std::cout << "2) '1' was inserted: " << p.second << '\n'; std::cout << "3) After insertion: " << nums; nums.insert(p.first, 0); // insert with hint, overload (3) std::cout << "4) After insertion: " << nums; std::array<int, 4> a = {10, 11, 12, 13}; nums.insert(a.begin(), a.end()); // insert range, overload (5) std::cout << "5) After insertion: " << nums; nums.insert({20, 21, 22, 23}); // insert initializer_list, (6) std::cout << "6) After insertion: " << nums; std::unordered_set<int> other_nums = {42, 43}; auto node = other_nums.extract(other_nums.find(42)); nums.insert(std::move(node)); // insert node, overload (7) std::cout << "7) After insertion: " << nums; node = other_nums.extract(other_nums.find(43)); nums.insert(nums.begin(), std::move(node)); // insert node with hint, (8) std::cout << "8) After insertion: " << nums; }
可能的输出
1) Initially: [3] { 4 3 2 } 2) '1' was inserted: true 3) After insertion: [4] { 1 2 3 4 } 4) After insertion: [5] { 0 1 2 3 4 } 5) After insertion: [9] { 13 12 11 10 4 3 2 1 0 } 6) After insertion: [13] { 23 22 13 12 11 10 21 4 20 3 2 1 0 } 7) After insertion: [14] { 42 23 22 13 12 11 10 21 4 20 3 2 1 0 } 8) After insertion: [15] { 43 42 23 22 13 12 11 10 21 4 20 3 2 1 0 }
[编辑] 参阅
就地构造元素 (公共成员函数) | |
使用提示就地构造元素 (公共成员函数) | |
创建从参数推断类型的std::insert_iterator (函数模板) |