std::forward_list<T,Allocator>::merge

 

C++

编译器支持

独立和宿主

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

数组 (C++11)

向量

vector<bool>

inplace_vector (C++26)

双端队列

前向列表 (C++11)

列表

关联

集合

多重集合

映射

多重映射

无序关联

无序集合 (C++11)

无序多重集合 (C++11)

无序映射 (C++11)

无序多重映射 (C++11)

适配器

栈

队列

优先队列

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

视图

跨度 (C++20)

mdspan (C++23)

表格

迭代器失效

成员函数表

非成员函数表

 

std::forward_list

成员函数
forward_list::forward_list forward_list::~forward_list forward_list::operator= forward_list::assign forward_list::assign_range (C++23)   forward_list::get_allocator 元素访问 forward_list::front 迭代器 forward_list::before_beginforward_list::cbefore_begin forward_list::beginforward_list::cbegin forward_list::endforward_list::cend 容量 forward_list::empty forward_list::max_size	修改器 forward_list::clear forward_list::emplace_front forward_list::push_front forward_list::insert_after forward_list::emplace_after forward_list::erase_after forward_list::insert_range_after (C++23) forward_list::prepend_range (C++23) forward_list::pop_front forward_list::resize forward_list::swap 操作 forward_list::merge forward_list::splice_after forward_list::removeforward_list::remove_if forward_list::reverse forward_list::unique forward_list::sort
非成员函数
operator==operator<=> (C++20) swap(std::forward_list) erase(std::forward_list)erase_if(std::forward_list) (C++20)(C++20)	operator!=operator<operator>operator<=operator>= (直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)(直到 C++20)
推导指南 (C++17)

 

void merge( forward_list& other );	(1)	(自 C++11)
void merge( forward_list&& other );	(2)	(自 C++11)
template< class Compare > void merge( forward_list& other, Compare comp );	(3)	(自 C++11)
template< class Compare > void merge( forward_list&& other, Compare comp );	(4)	(自 C++11)

如果 other 指向与 *this 相同的对象，则该函数什么也不做。

否则，将 other 合并到 *this 中。两个列表都应该排序。没有元素被复制，合并后容器 other 将变为空。此操作是稳定的：对于两个列表中的等效元素，来自 *this 的元素始终位于来自 other 的元素之前，并且 *this 和 other 中等效元素的顺序不会改变。

没有迭代器或引用失效。指向从 *this 移动的元素的指针和引用，以及引用这些元素的迭代器，将引用 *this 的相同元素，而不是 other。

1,2) 元素使用 std::less<T>()(直到 C++14)std::less<>()(自 C++14) 进行比较。

3,4) 元素使用 comp 进行比较。

如果 *this 或 other 未按相应的比较器排序，或者 get_allocator() != other.get_allocator()，则行为未定义。

参数

other	-	要合并的另一个容器
comp	-	比较函数对象（即满足 Compare 要求的对象），如果第一个参数小于（即在排序中位于之前）第二个参数，则返回 ​true。 比较函数的签名应等效于以下签名 bool cmp(const Type1& a, const Type2& b); 虽然签名不需要有 const&，但函数必须不修改传递给它的对象，并且必须能够接受类型（可能是 const）Type1 和 Type2 的所有值，无论其 值类别 是什么（因此，Type1& 不允许，Type1 也不允许，除非对于 Type1，移动等效于复制(自 C++11)）。 类型 Type1 和 Type2 必须能够使类型 forward_list<T, Allocator>::const_iterator 的对象可以解引用，然后隐式转换为两者。​
类型要求
- Compare 必须满足 Compare 的要求。

返回值

(无)

异常

如果由于任何原因抛出异常，这些函数将不会产生任何影响（强异常安全保证）。除非异常来自比较。

复杂度

如果 other 指向与 *this 相同的对象，则不会执行任何比较。

否则，给定 \(\scriptsize N\)N 作为 std::distance(begin(), end()) 以及 \(\scriptsize R\)R 作为 std::distance(other.begin(), other.end())

1,2) 使用 operator< 最多执行 \(\scriptsize N+R-1\)N+R-1 次比较。

3,4) 使用比较函数 comp 最多执行 \(\scriptsize N+R-1\)N+R-1 次应用。

示例

运行此代码

#include <iostream>
#include <forward_list>
 
std::ostream& operator<<(std::ostream& ostr, const std::forward_list<int>& list)
{
    for (const int i : list)
        ostr << ' ' << i;
    return ostr;
}
 
int main()
{
    std::forward_list<int> list1 = {5, 9, 1, 3, 3};
    std::forward_list<int> list2 = {8, 7, 2, 3, 4, 4};
 
    list1.sort();
    list2.sort();
    std::cout << "list1: " << list1 << '\n';
    std::cout << "list2: " << list2 << '\n';
 
    list1.merge(list2);
    std::cout << "merged:" << list1 << '\n';
}

输出

list1:  1 3 3 5 9
list2:  2 3 4 4 7 8
merged: 1 2 3 3 3 4 4 5 7 8 9

缺陷报告

以下行为变更缺陷报告被追溯应用于以前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 2045	C++11	如果 get_allocator() != other.get_allocator()	则无法保证 O(1) 节点移动 在这种情况下，行为是未定义的
LWG 3088	C++11	当 *this 和 other 指向 同一个对象时，效果未指定 对于指针元素，operator< 可能出现错误行为	指定为无操作 实现定义的 使用严格的总排序

另请参见

splice_after	从另一个 forward_list 中移动元素 (公有成员函数)
merge	合并两个排序范围 (函数模板)
inplace_merge	在原位合并两个有序范围 (函数模板)
ranges::merge (C++20)	合并两个排序范围 (niebloid)
ranges::inplace_merge (C++20)	在原位合并两个有序范围 (niebloid)