std::flat_set<Key,Compare,KeyContainer>::insert

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

deque

forward_list (C++11)

list

关联容器

set

multiset

map

multimap

无序关联容器

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

容器适配器

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

span (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表格

非成员函数表格

 

std::flat_set

成员类型
成员函数
flat_set::flat_set	flat_set::operator=
迭代器
flat_set::beginflat_set::cbegin flat_set::endflat_set::cend	flat_set::rbeginflat_set::crbegin flat_set::rendflat_set::crend
容量
flat_set::size flat_set::max_size	flat_set::empty
修改器
flat_set::clear flat_set::insert flat_set::insert_range      flat_set::emplace flat_set::emplace_hint	flat_set::erase flat_set::swap flat_set::extract flat_set::replace
查找
flat_set::count flat_set::find flat_set::contains	flat_set::equal_range flat_set::lower_bound flat_set::upper_bound
观察器
flat_set::key_comp	flat_set::value_comp
非成员函数
operator==operator<=> (C++23)(C++23)	swap(std::flat_set) (C++23) erase_if(std::flat_set) (C++23)
辅助类
uses_allocator<std::flat_set> (C++23)
标签
sorted_unique (C++23)	sorted_unique_t (C++23)
推导指引

 

std::pair<iterator, bool> insert( const value_type& value );	(1)	(C++23 起)
std::pair<iterator, bool> insert( value_type&& value );	(2)	(C++23 起)
iterator insert( const_iterator pos, const value_type& value );	(3)	(C++23 起)
iterator insert( const_iterator pos, value_type&& value );	(4)	(C++23 起)
template< class K > iterator insert( const_iterator pos, K&& x );	(5)	(C++23 起)
template< class InputIt > void insert( InputIt first, InputIt last );	(6)	(C++23 起)
template< class K > std::pair<iterator, bool> insert( K&& x );	(7)	(C++23 起)
template< class InputIt > void insert( std::sorted_unique_t, InputIt first, InputIt last );	(8)	(C++23 起)
void insert( std::initializer_list<key_type> ilist );	(9)	(C++23 起)
void insert( std::sorted_unique_t s, std::initializer_list<key_type> ilist );	(10)	(C++23 起)

如果容器尚未包含带有等价的键的元素，则向容器插入元素。

1) 插入 value。等价于 return emplace(value);。

2) 插入 value。等价于 return emplace(std::move(value));。

3) 插入 value 到尽可能靠近紧接 pos 之前的位置。等价于 return emplace_hint(pos, value);。

4) 插入 value 到尽可能靠近紧接 pos 之前的位置。等价于 return emplace_hint(pos, std::move(value));。

5,7) 如果 *this 已经包含一个透明比较等价于 x 的元素，则不做任何事。否则，如同以如下方式插入一个新元素：

• (5) emplace(pos, std::forward<K>(x))（插入到尽可能靠近紧接 pos 之前的位置）
• (7) emplace(std::forward<K>(x))

从 x 转换为 key_type 必然构造一个对象 u，使得 find(k) == find(u) 为 true。否则，其行为未定义。

这些重载只有在

• 限定标识 Compare::is_transparent 有效并代表一个类型，并且
• std::is_constructible_v<value_type, K> 为 true

时才会参与重载决议。这些条件共同允许不构造 Key 的实例就可以调用这个函数。

6) 等价于下列操作的序列：

1. 如同用 c.insert(c.end(), first, last); 插入来自范围 [first, last) 的元素。
2. 将新插入元素的范围按 compare 排序。
3. 合并所得的有序范围和既存元素的有序范围为一个有序范围。（注意：合并操作可能会分配内存。）
4. 擦除每个连续等价元素组中除了第一个之外的所有元素。

如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。

8) 插入范围 [first, last) 中的元素。等价于 insert(first, last);。

如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。

9) 插入初始化式列表 ilist 中的元素。等价于 insert(ilist.begin(), ilist.end());。

如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。

10) 插入初始化式列表 ilist 中的元素。等价于 insert(s, ilist.begin(), ilist.end());。

如果范围中的多个元素的键比较相等，那么未指定哪个元素会被插入（参考待决的 LWG2844）。

参数

pos	-	指向要在它之前插入新元素的位置的迭代器
value	-	要插入的元素值
first, last	-	要插入的元素范围
ilist	-	要插入其中的值的初始化式列表
x	-	可以与键进行透明比较的任何类型的值
s	-	消歧标签，指定输入序列（根据 compare）有序且只包含唯一元素
类型要求
- InputIt 必须满足老式输入迭代器 (LegacyInputIterator) 。

返回值

1,2) 由一个指向被插入元素（或指向妨碍插入的元素）的迭代器和一个当且仅当发生插入时被设为 true 的 bool 值构成的对偶。

3-5) 指向被插入元素或指向妨碍插入的元素的迭代器。

6) （无）

7) 由一个指向被插入元素（或指向妨碍插入的元素）的迭代器和一个当且仅当发生插入时被设为 true 的 bool 值构成的对偶。

8-10) （无）

异常

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

复杂度

1-5) 与 size() 成线性。

6) N + M·log(M)，其中 N 为操作前的 size() 而 M 为 std::distance(first, last)。

7) 与 size() 成线性。

8) 与 N 成线性，其中 N 为操作后的 size()。

9) N + M·log(M)，其中 N 为操作前的 size() 而 M 为 ilist.size()。

10) 与 N 成线性，其中 N 为操作后的 size()。

注解

有提示插入 (3-5) 不返回布尔值，这是为了与顺序容器上的定位插入，如 std::vector::insert 签名兼容。这使得可以创建泛型插入器，例如 std::inserter。检查有提示插入是否成功的一种方式是比较插入前后的 size()。

示例

运行此代码

#include <cassert>
#include <flat_set>
#include <iostream>
 
int main()
{
    std::flat_set<int> set;
 
    auto result_1 = set.insert(3);
    assert(result_1.first != set.end()); // 这是有效迭代器
    assert(*result_1.first == 3);
    if (result_1.second)
        std::cout << "插入完成\n";
 
    auto result_2 = set.insert(3);
    assert(result_2.first == result_1.first); // 同一个迭代器
    assert(*result_2.first == 3);
    if (!result_2.second)
        std::cout << "未插入\n";
}

输出：

插入完成
未插入

参阅

emplace	原位构造元素 (公开成员函数)
emplace_hint	使用提示原位构造元素 (公开成员函数)
inserter	创建拥有从实参推出的类型的 std::insert_iterator (函数模板)