命名空间
变体
操作

std::unordered_set<Key,Hash,KeyEqual,Allocator>::insert

来自 cppreference.cn
< cpp‎ | 容器‎ | 无序集合
 
 
 
 
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 作为搜索起始位置的非绑定建议。
5) 插入范围 [firstlast) 中的元素。如果范围中有多个元素的键比较等价,则插入哪个元素是未指定的(等待 LWG2844)。
6) 插入初始化列表 ilist 中的元素。如果范围中有多个元素的键比较等价,则插入哪个元素是未指定的(等待 LWG2844)。
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_transparentKeyEqual::is_transparent 有效且各自表示一个类型时才参与重载决议。这假定此类 Hash 可用 KKey 类型调用,并且 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_transparentKeyEqual::is_transparent 有效且各自表示一个类型。这假定此类 Hash 可用 KKey 类型调用,并且 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 为空,则 insertedfalsepositionend(),且 node 为空。
  • 否则,如果插入发生,则 insertedtrueposition 指向插入的元素,且 node 为空。
  • 如果插入失败,则 insertedfalsenode 具有 nh 的前一个值,且 position 指向一个键与 nh.key() 等价的元素。
8) 如果 nh 为空,则返回末尾迭代器;如果插入发生,则返回指向已插入元素的迭代器;如果插入失败,则返回指向键与 nh.key() 等价的元素的迭代器。
9) 一个对,包含一个指向已插入元素(或阻止插入的元素)的迭代器,以及一个布尔值,当且仅当插入发生时设置为 true
10) 一个指向已插入元素或阻止插入的元素的迭代器。

[编辑] 异常

1-4) 如果任何操作抛出异常,则插入无效。

[编辑] 复杂度

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
(函数模板) [编辑]