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

 

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::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!=operator<operator>operator<=operator>=operator<=> (C++11)(C++11)(C++20 前)(C++11)(C++20 前)(C++11)(C++20 前)(C++11)(C++20 前)(C++11)(C++20 前)(C++20)	swap(std::forward_list) (C++11) erase(std::forward_list)erase_if(std::forward_list) (C++20)(C++20)
推导指引(C++17)

 

forward_list();	(1)	(C++11 起)
explicit forward_list( const Allocator& alloc );	(2)	(C++11 起)
forward_list( size_type count,               const T& value,               const Allocator& alloc = Allocator() );	(3)	(C++11 起)
	(4)
explicit forward_list( size_type count );			(C++11 起) (C++14 前)
explicit forward_list( size_type count,                        const Allocator& alloc = Allocator() );			(C++14 起)
template< class InputIt > forward_list( InputIt first, InputIt last,               const Allocator& alloc = Allocator() );		(5)	(C++11 起)
forward_list( const forward_list& other );		(6)	(C++11 起)
forward_list( const forward_list& other, const Allocator& alloc );		(7)	(C++11 起)
forward_list( forward_list&& other );		(8)	(C++11 起)
forward_list( forward_list&& other, const Allocator& alloc );		(9)	(C++11 起)
forward_list( std::initializer_list<T> init,               const Allocator& alloc = Allocator() );		(10)	(C++11 起)
template< container-compatible-range<T> R > forward_list( std::from_range_t, R&& rg,               const Allocator& alloc = Allocator() );		(11)	(C++23 起)

从各种数据源构造新容器，可以使用用户提供的分配器 alloc。

1) 默认构造函数。构造拥有默认构造的分配器的空容器。

2) 构造拥有给定分配器 alloc 的空容器。

3) 构造拥有 count 个值 value 的元素的容器。

4) 构造拥有 count 个 默认插入的 T 实例的容器。不进行复制。

5) 构造拥有范围 [first, last) 内容的容器。 此重载只有在InputIt 满足老式输入迭代器 (LegacyInputIterator) 时才会参与重载决议，以避免与重载 (3) 的歧义。

6) 复制构造函数。构造拥有 other 内容副本的容器。
如同通过调用 std::allocator_traits<allocator_type>::select_on_container_copy_construction(
    other.get_allocator()) 获得分配器。

7) 构造拥有 other 内容副本的容器，以 alloc 为分配器。

在进行类模板实参推导时，只会从首个实参推导模板形参 Allocator。

(C++23 起)

8) 移动构造函数。用移动语义构造拥有 other 内容的容器。分配器通过从属于 other 的分配器移动构造获得。

9) 有分配器扩展的移动构造函数。以 alloc 为新容器的分配器，从 other 移动其内容；如果 alloc != other.get_allocator()，那么它会导致逐元素移动。

在进行类模板实参推导时，只会从首个实参推导模板形参 Allocator。

(C++23 起)

10) 构造拥有初始化器列表 init 内容的容器。

11) 构造拥有范围 rg 内容的容器。

参数

alloc	-	用于此容器所有内存分配的分配器
count	-	容器的大小
value	-	以之初始化容器元素的值
first, last	-	复制元素的来源范围
other	-	用作初始化容器元素来源的另一容器
init	-	用作初始化元素来源的初始化式列表
rg	-	与容器兼容的范围，即元素可以转换到 T 的 input_range

复杂度

1,2) 常数。

3,4) 与 count 成线性。

5) 与 first 和 last 的距离成线性。

6,7) 与 other 的大小成线性。

8) 常数。

9) alloc != other.get_allocator() 时是线性，否则是常数。

10) 与 init 的大小成线性。

11) 与 ranges::distance(rg) 成线性。

异常

调用 Allocator::allocate 可能抛出。

注解

在容器移动构造（重载 (8)）后，指向 other 的引用及迭代器（除了尾迭代器）保持合法，但将指代现于 *this 中的元素。当前标准由 [container.requirements.general]/12 中的总括陈述作出此保证，而 LWG 问题 2321 正在考虑更严格的保证。

功能特性测试宏	值	标准	功能特性
__cpp_lib_containers_ranges	202202L	(C++23)	按范围构造和插入; 重载 (11)

示例

运行此代码

#include <iostream>
#include <string>
#include <forward_list>
 
template<typename T>
std::ostream& operator<<(std::ostream& s, const std::forward_list<T>& v)
{
    s.put('{');
    for (char comma[]{'\0', ' ', '\0'}; const auto& e : v)
        s << comma << e, comma[0] = ',';
    return s << "}\n";
}
 
int main()
{
    // C++11 初始化式列表语法：
    std::forward_list<std::string> words1{"the", "frogurt", "is", "also", "cursed"};
    std::cout << "1: " << words1;
 
    // words2 == words1
    std::forward_list<std::string> words2(words1.begin(), words1.end());
    std::cout << "2: " << words2;
 
    // words3 == words1
    std::forward_list<std::string> words3(words1);
    std::cout << "3: " << words3;
 
    // words4 是 {"Mo", "Mo", "Mo", "Mo", "Mo"}
    std::forward_list<std::string> words4(5, "Mo");
    std::cout << "4: " << words4;
 
    auto const rg = {"cat", "cow", "crow"};
#ifdef __cpp_lib_containers_ranges
    std::forward_list<std::string> words5(std::from_range, rg); // 重载 (11)
#else
    std::forward_list<std::string> words5(rg.begin(), rg.end()); // 重载 (5)
#endif
    std::cout << "5: " << words5;
}

输出：

1: {the, frogurt, is, also, cursed}
2: {the, frogurt, is, also, cursed}
3: {the, frogurt, is, also, cursed}
4: {Mo, Mo, Mo, Mo, Mo}
5: {cat, cow, crow}

缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
LWG 2193	C++11	默认构造函数是 explicit 的	它是非 explicit 的

参阅

assign	将值赋给容器 (公开成员函数)
operator=	将值赋给容器 (公开成员函数)