std::vector<T,Allocator>::vector

来自cppreference.com
< cpp‎ | container‎ | vector

 
C++
 
容器库
 
std::vector
成员类型
成员类型
vector::vector
(C++23)
元素访问
迭代器
(C++11)
(C++11)
(C++11)
(C++11)
容量
(DR*)
修改器
(C++11)
(C++23)
(C++11)
(C++23)
非成员函数
(C++20)(C++20)
(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20 前)(C++20)
推导指引(C++17)
 
(1)
vector();
 (C++17 前)
vector() noexcept(noexcept(Allocator()));
 (C++17 起)
(C++20 前)
constexpr vector() noexcept(noexcept(Allocator()));
 (C++20 起)
(2)
explicit vector( const Allocator& alloc );
 (C++17 前)
explicit vector( const Allocator& alloc ) noexcept;
 (C++17 起)
(C++20 前)
constexpr explicit vector( const Allocator& alloc ) noexcept;
 (C++20 起)
(3)
explicit vector( size_type count,

                 const T& value = T(),

                 const Allocator& alloc = Allocator() );
 (C++11 前)
vector( size_type count,

                 const T& value,

                 const Allocator& alloc = Allocator() );
 (C++11 起)
(C++20 前)
constexpr vector( size_type count,

                  const T& value,

                  const Allocator& alloc = Allocator() );
 (C++20 起)
(4)
explicit vector( size_type count );
 (C++11 起)
(C++14 前)
explicit vector( size_type count, const Allocator& alloc = Allocator() );
 (C++14 起)
(C++20 前)
constexpr explicit vector( size_type count,
                           const Allocator& alloc = Allocator() );
 (C++20 起)
(5)
template< class InputIt >

vector( InputIt first, InputIt last,

        const Allocator& alloc = Allocator() );
 (C++20 前)
template< class InputIt >

constexpr vector( InputIt first, InputIt last,

                  const Allocator& alloc = Allocator() );
 (C++20 起)
(6)
vector( const vector& other );
 (C++20 前)
constexpr vector( const vector& other );
 (C++20 起)
(7)
vector( const vector& other, const Allocator& alloc );
 (C++11 起)
(C++20 前)
constexpr vector( const vector& other, const Allocator& alloc );
 (C++20 起)
(8)
vector( vector&& other );
 (C++11 起)
(C++17 前)
vector( vector&& other ) noexcept;
 (C++17 起)
(C++20 前)
constexpr vector( vector&& other ) noexcept;
 (C++20 起)
(9)
vector( vector&& other, const Allocator& alloc );
 (C++11 起)
(C++20 前)
constexpr vector( vector&& other, const Allocator& alloc );
 (C++20 起)
(10)
vector( std::initializer_list<T> init,
        const Allocator& alloc = Allocator() );
 (C++11 起)
(C++20 前)
constexpr vector( std::initializer_list<T> init,
                  const Allocator& alloc = Allocator() );
 (C++20 起)

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

1) 默认构造函数。构造拥有默认构造的分配器的空容器。
2) 构造拥有给定分配器 alloc 的空容器。
3) 构造拥有 count 个有值 value 的元素的容器。
4) 构造拥有 count 个 默认插入的 T 实例的容器。不进行复制。
5) 构造拥有范围 [first, last) 内容的容器。

如果 InputIt 是整数类型，那么此构造函数拥有的效果同 vector(static_cast<size_type>(first), static_cast<value_type>(last), a)。

(C++11 前)

此重载只有在InputIt 满足老式输入迭代器 (LegacyInputIterator) 时才会参与重载决议，以避免和重载 (3) 的歧义。

(C++11 起)
6) 复制构造函数。构造拥有 other 内容的容器。

如同通过调用
std::allocator_traits<allocator_type>::select_on_container_copy_construction(
    other.get_allocator())
获得分配器。

(C++11 起)
7) 构造拥有 other 内容的容器，以 alloc 为分配器。

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

(C++23 起)
8) 移动构造函数。用移动语义构造拥有 other 内容的容器。分配器通过属于 other 的分配器移动构造获得。移动后，保证 other 是 empty() 。
9) 有分配器扩展的移动构造函数。以 alloc 为新容器的分配器，从 other 移动内容；如果 alloc != other.get_allocator() ，那么它会导致逐元素移动。（此时移动后不保证 other 为空）

在进行类模板实参推导时，只会从首个实参推导模板形参 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 的距离为 N，
  • 如果 first 和 last 都是前向，双向或随机访问迭代器，那么
  • 只会调用 N  次 T 的复制构造函数，并且
  • 不会进行重分配。
  • 否则（first 和 last 都只是输入迭代器），
  • 会调用 O(N) 次 T 的复制构造函数，并且
  • 会进行 O(log N) 次重分配。
6,7) 与 other 的大小成线性
8) 常数。
9) alloc != other.get_allocator() 时是线性，否则是常数。
10) 与 init 的大小成线性。
11) 给定 ranges::distance(rg) 为 N：
  • 如果 R 实现了 ranges::forward_range 或 ranges::sized_range，那么
  • 从解引用 rg 的连续 N 个迭代器的结果初始化相同个数的元素，并且
  • 不会有重分配。
  • 否则（R 实现了输入范围）：
  • 调用 T 的复制或移动构造函数 O(N) 次，并且
  • 会发生 O(log N) 次重分配。

异常

调用 Allocator::allocate 可能抛出。

注解

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

重载 (4) 对如 int 的非类类型元素清零，这与 new[] 将元素保持未初始化的行为不同。为匹配 new[] 的行为，可提供保留元素未初始化的自定义 Allocator::construct。

示例

运行此代码
#include <vector>
#include <string>
#include <iostream>
 
template<typename T>
std::ostream& operator<<(std::ostream& s, const std::vector<T>& v)
{
    s.put('[');
    char comma[3] = {'\0', ' ', '\0'};
    for (const auto& e : v)
    {
        s << comma << e;
        comma[0] = ',';
    }
    return s << ']';
}
 
int main() 
{
    // C++11 初始化器列表语法：
    std::vector<std::string> words1 {"the", "frogurt", "is", "also", "cursed"};
    std::cout << "words1: " << words1 << '\n';
 
    // words2 == words1
    std::vector<std::string> words2(words1.begin(), words1.end());
    std::cout << "words2: " << words2 << '\n';
 
    // words3 == words1
    std::vector<std::string> words3(words1);
    std::cout << "words3: " << words3 << '\n';
 
    // words4 是 {"Mo", "Mo", "Mo", "Mo", "Mo"}
    std::vector<std::string> words4(5, "Mo");
    std::cout << "words4: " << words4 << '\n';
}

输出： 

words1: [the, frogurt, is, also, cursed]
words2: [the, frogurt, is, also, cursed]
words3: [the, frogurt, is, also, cursed]
words4: [Mo, Mo, Mo, Mo, Mo]

缺陷报告

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

缺陷报告 应用于 出版时的行为 正确行为
LWG 134 C++98 重载 (5) 在迭代器是输入迭代器的情况下最多只能调用 2N  次复制构造函数 改成调用 O(N) 次
LWG 868 C++98 对于重载 (4)，容器中的元素会被默认构造 它们会被值初始化
LWG 2193 C++11 默认构造函数是 explicit 的 它是非 explicit 的

参阅

 将值赋给容器
(公开成员函数)
赋值给容器
(公开成员函数)
来自“https://zh.cppreference.com/mwiki/index.php?title=cpp/container/vector/vector&oldid=52930”