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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

容器库

序列

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (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::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 splice_after( const_iterator pos, forward_list& other );	(1)	(C++11 起)
void splice_after( const_iterator pos, forward_list&& other );	(2)	(C++11 起)
void splice_after( const_iterator pos, forward_list& other, const_iterator it );	(3)	(C++11 起)
void splice_after( const_iterator pos, forward_list&& other, const_iterator it );	(4)	(C++11 起)
void splice_after( const_iterator pos, forward_list& other, const_iterator first, const_iterator last );	(5)	(C++11 起)
void splice_after( const_iterator pos, forward_list&& other, const_iterator first, const_iterator last );	(6)	(C++11 起)

从另一 forward_list 移动元素到 *this。元素会被插入到 pos 指向的元素后。

不复制元素。没有迭代器或引用会失效。指向被移动的元素的迭代器现在指代到 *this 中，而不是到 other 中。

1,2) 从 other 移动所有元素到 *this。操作后 other 变为空。

3,4) 从 other 移动后随 it 的迭代器所指向的元素到 *this。元素被插入到 pos 指向的元素后，在 pos == it 或 pos == ++it 时没有效果。

5,6) 从 other 移动范围 (first, last) 中的元素到 *this。不会移动 first 指向的元素。

在以下情况下行为未定义：

• get_allocator() != other.get_allocator()。
• pos 既不是 before_begin() 也不是 [begin(), end()) 中的可解引用迭代器。
• 对于重载 (1,2)，*this 和 other 指代同一对象。
• 对于重载 (3,4)，后随 it 的迭代器不是到 other 中的可解引用迭代器。
• 对于重载 (5,6)：

• (first, last) 不是 other 中的有效范围。
• (first, last) 中有不可解引用的迭代器。
• pos 在 (first, last) 中。

参数

pos	-	指向将插入内容到其后的元素的迭代器
other	-	移动内容来源的另一容器
it	-	指向从 other 移动到 *this 的元素的迭代器的前趋迭代器
first, last	-	要从 other 移动到 *this 的元素范围的迭代器对

返回值

（无）

异常

不抛出。

复杂度

1,2) 与 other 的大小成线性。

3,4) 常数。

5,6) 与 std::distance(first, last) 成线性。

示例

运行此代码

#include <cassert>
#include <forward_list>

int main()
{
    using F = std::forward_list<int>;
    
    // 演示重载 (5) 中开区间 (first, last) 的意义：不会移动 l1 的首个元素。
    F l1 = {1, 2, 3, 4, 5};
    F l2 = {10, 11, 12};
    
    l2.splice_after(l2.cbegin(), l1, l1.cbegin(), l1.cend());
    // 不与 l2.splice_after(l2.cbegin(), l1); 等价，后者与以下语句等价：
    // l2.splice_after(l2.cbegin(), l1, l1.cbefore_begin(), l1.end());
    
    assert((l1 == F{1}));
    assert((l2 == F{10, 2, 3, 4, 5, 11, 12}));
    
    // 重载 (1)
    F x = {1, 2, 3, 4, 5};
    F y = {10, 11, 12};
    x.splice_after(x.cbegin(), y);
    assert((x == F{1, 10, 11, 12, 2, 3, 4, 5}));
    assert((y == F{}));
    
    // 重载 (3)
    x = {1, 2, 3, 4, 5};
    y = {10, 11, 12};
    x.splice_after(x.cbegin(), y, y.cbegin());
    assert((x == F{1, 11, 2, 3, 4, 5}));
    assert((y == F{10, 12}));
    
    // 重载 (5)
    x = {1, 2, 3, 4, 5};
    y = {10, 11, 12};
    x.splice_after(x.cbegin(), y, y.cbegin(), y.cend());
    assert((x == F{1, 11, 12, 2, 3, 4, 5}));
    assert((y == F{10}));
}

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
LWG 2045	C++11	在 get_allocator() != other.get_allocator() 的情况下无法保证在 O(1) 时间内完成拼接	此时行为未定义
LWG 2222	C++11	it 指向的元素不会被移动，但先前指代它的指针、 引用和迭代器在拼接后会指代 *this 中的某个元素	始终指代 other 中的元素

参阅

merge	合并两个有序列表 (公开成员函数)
removeremove_if	移除满足特定标准的元素 (公开成员函数)
before_begincbefore_begin	返回指向容器开头之前的迭代器 (公开成员函数)