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

html5 • • 问答 

#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

我不知道为什么会这样。这种行为的原因是什么？

回答

问题是随着向量的增长，您提供的迭代器可能会失效。您可以使用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.

回答

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

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

#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;
}

回答

copyfrom cppreference 的可能实现：

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无法正常工作的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>