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

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

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

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

技术规范

符号索引

外部库

 

容器库

顺序容器

array (C++11)

vector

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::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::insert_after

forward_list::emplace_after

forward_list::erase_after

forward_list::push_front

forward_list::emplace_front

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

非成员函数

std::swap

eraseerase_if (C++20)(C++20)

operator==operator!=operator<operator>operator<=operator>=operator<=> (C++20 前)(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()。
• 对于重载 (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) 时间内完成转移	此时行为未定义

参阅

merge (C++11)	合并两个有序 list (公开成员函数)
removeremove_if (C++11)	移除满足特定标准的元素 (公开成员函数)
before_begincbefore_begin (C++11)	返回指向第一个元素之前迭代器 (公开成员函数)