命名空间
变体
操作

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

来自 cppreference.com
< cpp‎ | container‎ | 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)

此重载仅当 InputIt 符合 LegacyInputIterator 时才参与重载解析,以避免与重载 (3) 的歧义。

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

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

内容

[编辑] 参数

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

[编辑] 返回值

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

[编辑] 复杂度

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

[编辑] 异常

如果抛出除以下情况之外的异常:

  • T 的拷贝构造函数,
  • T 的移动构造函数,
(从 C++11 开始)
  • T 的拷贝赋值运算符,
  • T 的移动赋值运算符,
(从 C++11 开始)
  • 任何 InputIt 操作,

这些函数不会产生任何影响 (强异常安全保证)。

如果在将单个元素插入到末尾时抛出异常,并且 T 可以 拷贝插入*this 中或 std::is_nothrow_move_constructible<T>::valuetrue,则该函数不会产生任何影响(强异常保证)。否则,如果在非 拷贝插入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]

[编辑] 缺陷报告

以下行为更改的缺陷报告被追溯地应用于先前发布的 C++ 标准。

DR 应用于 已发布的行为 正确行为
LWG 149 C++98 重载 (3)(4) 未返回任何内容 返回迭代器
LWG 247 C++98 仅为重载 (3) 指定了复杂度 为所有重载指定
LWG 406 C++98 强异常保证也适用于
异常是由 InputIt 操作抛出的
在这种情况下没有保证

[编辑] 另请参见

(C++11)
在原地构造元素
(公有成员函数) [编辑]
在末尾添加元素
(公有成员函数) [编辑]
创建从参数推断类型的 std::insert_iterator
(函数模板) [编辑]