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

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (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>= (until C++20)(until C++20)(until C++20)(until C++20)(until 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) 将 it 后面的迭代器指向的元素从 other 移动到 *this。如果 pos == it 或 pos == ++it，则无效。

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

若出现以下情况，行为未定义：

• get_allocator() != other.get_allocator()，则无法保证 O(1) 节点移动,
• pos 既不是 before_begin() 也不是 [begin(), end()) 中可解引用迭代器，
• 对于重载 (1,2)，*this 和 other 指的是同一个对象，
• 对于重载 (3,4)，it 后面的迭代器不是 other 中可解引用迭代器，或
• 对于重载 (5,6)，

• (first, last) 不是 other 中的有效范围，
• (first, last) 中的某些迭代器不可解引用，或
• pos 位于 (first, last) 中。

参数

pos	-	插入内容在其后的元素
其他	-	另一个容器，从中移动内容
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>;
 
    // Demonstrate the meaning of open range (first, last)
    // in overload (5): the first element of l1 is not moved.
    F l1 = {1, 2, 3, 4, 5};
    F l2 = {10, 11, 12};
 
    l2.splice_after(l2.cbegin(), l1, l1.cbegin(), l1.cend());
    // Not equivalent to l2.splice_after(l2.cbegin(), l1);
    // which is equivalent to
    // 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}));
 
    // Overload (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{}));
 
    // Overload (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}));
 
    // Overload (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	如果满足以下条件，则不能保证 O(1) 拼接 get_allocator() != other.get_allocator()，则无法保证 O(1) 节点移动	在这种情况下，行为是 未定义的
LWG 2222	C++11	it 指向的元素未移动，但指向它的指针、引用和 拼接后引用它的迭代器将引用 *this 中的一个元素	仍引用 other 中的元素

另请参阅

merge	归并两个已排序链表 (public member function)
removeremove_if	移除满足特定标准的元素 (public member function)
before_begincbefore_begin	返回指向起始元素之前的元素的迭代器 (public member function)