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 前插入 valuecount 个副本。
4)pos 前插入来自范围 [firstlast) 的元素。

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

(C++11 前)

此重载只有在InputIt 足以为输入迭代器时才会参与重载决议,以避免与重载 (3) 有歧义。

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

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

参数

pos - 将内容插入到它前面的迭代器。pos 可以是 end() 迭代器
value - 要插入的元素值
count - 要插入的元素数量
first, last - 要插入的元素范围,不能是指向调用 insert 所用的容器中的迭代器
ilist - 要插入的值来源的 std::initializer_list
类型要求
-
为使用重载 (1), T 必须满足可复制赋值 (CopyAssignable) 可复制插入 (CopyInsertable)
-
为使用重载 (2), T 必须满足可移动赋值 (MoveAssignable) 可移动插入 (MoveInsertable)
-
为使用重载 (3), T 必须满足可复制赋值 (CopyAssignable) 可复制插入 (CopyInsertable)
-
为使用重载 (4,5), T 必须满足可就位构造 (EmplaceConstructible)
-
为使用重载 (4), T 必须满足可移动赋值 (MoveAssignable) 可移动插入 (MoveInsertable) 。只有在 InputIt 满足老式输入迭代器 (LegacyInputIterator) 但不满足老式向前迭代器 (LegacyForwardIterator) 时才要求。(C++17 前)
-
为使用重载 (4,5), T 必须满足可交换 (Swappable) 可移动赋值 (MoveAssignable) 可移动构造 (MoveConstructible) 可移动插入 (MoveInsertable) (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 可复制插入 (CopyInsertable) *thisstd::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); // 重载 (1)
    stq::println("2. {}", c1);
 
    c1.insert(pos, 2, 300); // 重载 (3)
    stq::println("3. {}", c1);
 
    // pos 已经失效,提供新迭代器
    pos = c1.begin();
 
    std::vector<int> c2(2, 400);
    c1.insert(std::next(pos, 2), c2.begin(), c2.end()); // 重载 (4)
    stq::println("4. {}", c1);
 
    int arr[] = {501, 502, 503};
    c1.insert(c1.begin(), arr, arr + std::size(arr)); // 重载 (4)
    stq::println("5. {}", c1);
 
    c1.insert(c1.end(), {601, 602, 603}); // 重载 (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++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 149 C++98 重载 (3)(4) 不会返回任何内容 会返回迭代器
LWG 247 C++98 只指定了重载 (3) 的复杂度 指定所有重载的复杂度
LWG 406 C++98 InputIt 操作抛出异常也有强异常保证 此时没有异常保证

参阅

(C++11)
原位构造元素
(公开成员函数)
将元素添加到容器末尾
(公开成员函数)
创建拥有从实参推出的类型的 std::insert_iterator
(函数模板)