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

来自cppreference.com
 
 
 
 
forward_list() : forward_list(Allocator()) {}
(1)
explicit forward_list( const Allocator& alloc );
(2)
explicit forward_list( size_type count,
                       const Allocator& alloc = Allocator() );
(3)
forward_list( size_type count, const T& value,
       const Allocator& alloc = Allocator() );
(4)
template< class InputIt >

forward_list( InputIt first, InputIt last,

              const Allocator& alloc = Allocator() );
(5)
template< container-compatible-range<T> R >

forward_list( std::from_range_t, R&& rg,

              const Allocator& alloc = Allocator() );
(6)(C++23 起)
forward_list( const forward_list& other );
(7)
forward_list( forward_list&& other );
(8)
(9)
forward_list( const forward_list& other, const Allocator& alloc );
(C++23 前)
forward_list( const forward_list& other,
              const std::type_identity_t<Allocator>& alloc );
(C++23 起)
(10)
forward_list( forward_list&& other, const Allocator& alloc );
(C++23 前)
forward_list( forward_list&& other,
              const std::type_identity_t<Allocator>& alloc );
(C++23 起)
forward_list( std::initializer_list<T> init,
              const Allocator& alloc = Allocator() );
(11)

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

1) C++11 起的默认构造函数。构造拥有默认构造的分配器的空 forward_list
如果 Allocator可默认构造 (DefaultConstructible) ,那么行为未定义。
2) C++11 前的默认构造函数。构造拥有给定分配器 alloc 的空 forward_list
3) 构造拥有 count 个默认插入的 T 对象的 forward_list。不进行复制。
如果 T可默认插入 (DefaultInsertable) std::forward_list<T> 中,那么行为未定义。
4) 构造拥有 count 个值 value 的元素的 forward_list
如果 T可复制插入 (CopyInsertable) std::forward_list<T> 中,那么行为未定义。
5) 以范围 [firstlast) 的内容构造 forward_list[firstlast) 中的每个迭代器都只会解引用一次。
此重载只有在 InputIt 满足老式输入迭代器 (LegacyInputIterator) 的要求时才会参与重载决议。
如果 T*first可就位构造 (EmplaceConstructible) std::forward_list<T> 中,那么行为未定义。
6) 以范围 rg 的内容构造 forward_listrg 中的每个迭代器都只会解引用一次。
如果 T*ranges::begin(rg)可就位构造 (EmplaceConstructible) std::forward_list<T> 中,那么行为未定义。
7-10)other 的内容构造 forward_list
7) 复制构造函数。如同通过调用 std::allocator_traits<Allocator>::
    select_on_container_copy_construction
        (other.get_allocator())
获得分配器。
8) 移动构造函数。如同通过从 other.get_allocator() 移动构造获得分配器。
9) 与构造函数相同,但是会将 alloc 用作分配器。
如果 T可复制插入 (CopyInsertable) std::forward_list<T> 中,那么行为未定义。
10) 与移动函数相同,但是会将 alloc 用作分配器。
如果 T可移动插入 (MoveInsertable) std::forward_list<T> 中,那么行为未定义。
11) 等价于 forward_list(il.begin(), il.end(), alloc)

参数

alloc-用于此容器所有内存分配的分配器
count-容器的大小
value-以之初始化容器元素的值
first, last-要复制的源元素范围的迭代器对
rg-与容器兼容的范围
other-用作初始化容器元素来源的另一容器
init-用作初始化元素来源的初始化器列表

复杂度

1,2) 常数。
3,4)count 成线性。
5)std::distance(first, last) 成线性。
6)ranges::distance(rg) 成线性。
7)other.size() 成线性。
8) 常数。
9)other.size() 成线性。
10)alloc != other.get_allocator() 时与 other.size() 成线性,否则是常数。
11)init.size() 成线性。

异常

调用 Allocator::allocate 可能抛出。

注解

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

功能特性测试标准功能特性
__cpp_lib_containers_ranges202202L(C++23)按范围构造和插入; 重载 (6)

示例

#include <forward_list>
#include <iostream>
#include <string>
 
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;
 
    const auto rg = {"cat", "cow", "crow"};
#ifdef __cpp_lib_containers_ranges
    std::forward_list<std::string> words5(std::from_range, rg); // 重载 (6)
#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 2193C++11默认构造函数是 explicit 的它是非 explicit 的
LWG 2210C++11重载 (3) 没有分配器参数添加分配器参数
N3346C++11对于重载 (3),容器中的元素会被值初始化它们会被默认插入

参阅

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