命名空间
变体
操作

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

来自 cppreference.cn
< cpp‎ | 容器‎ | vector
 
 
 
 
iterator insert( const_iterator pos, const T& value );
(1) (C++20 起为 constexpr)
iterator insert( const_iterator pos, T&& value );
(2) (C++11 起)
(C++20 起为 constexpr)
iterator insert( const_iterator pos,
                 size_type count, const T& value );
(3) (C++20 起为 constexpr)
template< class InputIt >
iterator insert( const_iterator pos, InputIt first, InputIt last );
(4) (C++20 起为 constexpr)
iterator insert( const_iterator pos, std::initializer_list<T> ilist );
(5) (C++11 起)
(C++20 起为 constexpr)

在容器的指定位置插入元素。

1)pos 前插入 value 的副本。
2)pos 前插入 value,可能使用移动语义。
3)pos 前插入 countvalue 的副本。
4)pos 前插入来自范围 [firstlast) 的元素。

如果 InputIt 是整型类型,此重载与重载 (3) 具有相同的效果。

(C++11 前)

为了避免与重载 (3) 产生歧义,此重载仅在 InputIt 满足 LegacyInputIterator 条件时参与重载决议。

(C++11 起)
如果 firstlast 是指向 *this 的迭代器,则行为未定义。
5)pos 前插入来自初始化列表 ilist 的元素。

如果操作后新的 size() 大于旧的 capacity(),则会发生重新分配,在这种情况下,所有迭代器(包括 end() 迭代器)以及所有对元素的引用都将失效。否则,只有插入点之前的迭代器和引用保持有效。

目录

[edit] 参数

pos - 内容将插入在其之前的迭代器(pos 可以是 end() 迭代器)
value - 要插入的元素值
count - 要插入的元素数量
first, last - 定义要插入的元素范围的迭代器对(不能是指向调用 insert 的容器的迭代器)
ilist - 要从中插入值的 std::initializer_list
类型要求
-
为了使用重载 (1),T 必须满足 CopyAssignableCopyInsertable 的要求。
-
为了使用重载 (2),T 必须满足 MoveAssignableMoveInsertable 的要求。
-
为了使用重载 (3),T 必须满足 CopyAssignableCopyInsertable 的要求。
-
为了使用重载 (4,5),T 必须满足 EmplaceConstructible 的要求。
-
为了使用重载 (4),T 必须满足 MoveAssignableMoveInsertable 的要求。仅当 InputIt 满足 LegacyInputIterator 但不满足 LegacyForwardIterator 时才需要。(C++17 前)
-
为了使用重载 (4,5),T 必须满足 SwappableMoveAssignableMoveConstructibleMoveInsertable 的要求。(C++17 起)

[edit] 返回值

1,2) 指向插入的 value 的迭代器。
3) 指向插入的第一个元素的迭代器,如果 count == 0,则为 pos
4) 指向插入的第一个元素的迭代器,如果 first == last,则为 pos
5) 指向插入的第一个元素的迭代器,如果 ilist 为空,则为 pos

[edit] 复杂度

1,2) 常量时间加上 pos 到容器末尾的距离的线性时间。
3) count 的线性时间加上 pos 到容器末尾的距离的线性时间。
4) std::distance(first, last) 的线性时间加上 pos 到容器末尾的距离的线性时间。
5) ilist.size() 的线性时间加上 pos 到容器末尾的距离的线性时间。

[edit] 异常

如果抛出的异常不是由以下原因引起:

  • T 的复制构造函数,
  • T 的移动构造函数,
(C++11 起)
  • T 的复制赋值运算符,
  • T 的移动赋值运算符,
(C++11 起)
  • 任何 InputIt 操作,

这些函数将不产生任何效果(强异常安全保证)。

如果在末尾插入单个元素时抛出异常,并且 T 可以 CopyInsertable*this 中,或者 std::is_nothrow_move_constructible<T>::valuetrue,则此函数不产生任何效果(强异常保证)。否则,如果非 CopyInsertable T 的移动构造函数抛出异常,则效果未指定。

(C++11 起)

示例

#include <iostream>
#include <iterator>
#include <string_view>
#include <vector>
 
namespace stq {
void println(std::string_view rem, const std::vector<int>& container)
{
    std::cout << rem.substr(0, rem.size() - 2) << '[';
    bool first{true};
    for (const int x : container)
        std::cout << (first ? first = false, "" : ", ") << x;
    std::cout << "]\n";
}
}
 
int main()
{
    std::vector<int> c1(3, 100);
    stq::println("1. {}", c1);
 
    auto pos = c1.begin();
    pos = c1.insert(pos, 200); // overload (1)
    stq::println("2. {}", c1);
 
    c1.insert(pos, 2, 300); // overload (3)
    stq::println("3. {}", c1);
 
    // pos no longer valid, get a new one:
    pos = c1.begin();
 
    std::vector<int> c2(2, 400);
    c1.insert(std::next(pos, 2), c2.begin(), c2.end()); // overload (4)
    stq::println("4. {}", c1);
 
    int arr[] = {501, 502, 503};
    c1.insert(c1.begin(), arr, arr + std::size(arr)); // overload (4)
    stq::println("5. {}", c1);
 
    c1.insert(c1.end(), {601, 602, 603}); // overload (5)
    stq::println("6. {}", c1);
}

输出

1. [100, 100, 100]
2. [200, 100, 100, 100]
3. [300, 300, 200, 100, 100, 100]
4. [300, 300, 400, 400, 200, 100, 100, 100]
5. [501, 502, 503, 300, 300, 400, 400, 200, 100, 100, 100]
6. [501, 502, 503, 300, 300, 400, 400, 200, 100, 100, 100, 601, 602, 603]

[edit] 缺陷报告

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

缺陷报告 应用于 发布时的行为 正确的行为
LWG 149 C++98 重载 (3)(4) 没有返回值 返回一个迭代器
LWG 247 C++98 复杂度仅为重载 (3) 指定 为所有重载指定
LWG 406 C++98 强异常保证也适用于以下情况
异常由 InputIt 操作抛出
在这种情况下没有保证

[edit] 参阅

(C++11)
就地构造元素
(public member function) [edit]
添加元素到结尾
(public member function) [edit]
创建从参数推断类型的std::insert_iterator
(function template) [edit]