Question

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int main()
{
    vector<int> a{ 1, 2, 3 };
    copy(a.begin(), a.end(), back_inserter(a));
    for (const int& x : a)
        cout << x << ' ';
}

输出：

1 2 3 1 -572662307 -572662307

预期输出：

1 2 3 1 2 3

我不知道为什么会发生这种情况。这种行为的原因是什么？

Answer 1

问题在于，随着向量的增长，您提供的迭代器可能会失效。您可以使用 reserve 解决该问题。一般来说，如果您事先知道大小，那么使用 reserve 是一个好主意，这样可以减少分配：

#include <algorithm>
#include <vector>

int main() {
  std::vector<int> a{1, 2, 3};
  a.reserve(a.size() * 2);

  a.insert(a.end(), a.begin(), a.end());
}

请注意，insert 通常比 back_inserter 更好、更简单。

Answer 2

通常您的程序具有未定义的行为，因为在向向量添加新元素期间迭代器可能会变得无效。

您必须在向量中保留足够的内存。例如

#include <iostream>
#include <vector>
#include <iterator>
#include <algorithm>

int main() 
{
    std::vector<int> v = { 1, 2, 3 };

    v.reserve( 2 * v.size() );
    
    std::copy( std::begin( v ), std::end( v ), std::back_inserter( v ) );
    
    for ( const auto &item : v ) std::cout << item << ' ';
    std::cout << '\n';
    
    return 0;
}

如果您的编译器支持 C++ 17 标准（在 C++ 14 标准中要求指定复制范围的迭代器不是向量本身的迭代器），那么您可以使用方法插入，例如

#include <iostream>
#include <vector>
#include <iterator>

int main() 
{
    std::vector<int> v = { 1, 2, 3 };

    v.insert( std::end( v ), std::begin( v ), std::end( v ) );

    for ( const auto &item : v ) std::cout << item << ' ';
    std::cout << '\n';
    
    return 0;
}

Answer 3

cppreference 中 copy 的可能实现：

<块引用>

template<class InputIt, class OutputIt>
OutputIt copy(InputIt first, InputIt last, 
              OutputIt d_first)
{
    while (first != last) {
        *d_first++ = *first++;
    }
    return d_first;
}

使用 back_inserter *first++ 将在向量上调用 push_back。当向量需要重新分配时，调用 push_back 可能会使所有迭代器无效。因此，您的代码具有未定义的行为。

请注意，back_inserter 有点异国情调。它违反了迭代器和容器的通常严格分离，因为迭代器必须存储对容器的引用。这本身并不能解释你看到的效果，但它表明当迭代器确实修改容器时需要小心。

向量的 std::copy 无法正常工作

3 个答案: