如何安全地将 std::vector 的内容复制到 c 样式的静态数组？

Question

我需要处理涉及中间插入的固定数组中的数据。 而不是使用 memcpy 等。我想使用矢量。我想要的时候有问题 将向量元素复制回 c 样式数组。 代码如下：

void tryvector()
{
    using namespace std;
    const int MAX_SIZE=16;
    BYTE myarr[MAX_SIZE]={0xb0,0x45,0x47,0xba,0x11,0x12, 0x4e};
    vector<BYTE> myvec (myarr, myarr+MAX_SIZE);
    vector<BYTE>::iterator it;

    printf("myarr pre :");
    for(int i=0;i<MAX_SIZE;++i){
        printf("%02x ", myarr[i]) ;   

    }

    printf("\nmyvec pre :")
    for(it=myvec.begin(); it<myvec.end();++it){
       cout<<hex<<static_cast<int>(*it)<<" ";

    }

    it = myvec.begin()+ 3;
    myvec.insert(it,0x5f);
    printf("\nmyvec post:");
    for(it=myvec.begin(); it<myvec.end();++it){
       cout<<hex<<static_cast<int>(*it)<<" ";


    }

    copy(myvec.begin(), myvec.end(), myarr); //???
    printf("\nmyarr post:");
    for(int i=0;i<MAX_SIZE;++i){
        printf("%02x ", myarr[i]) ;   

    }

}

我正在使用 vs 2005。 这是警告：

warning C4996: 'std::_Copy_opt' was declared deprecated
1>        c:\program files\microsoft visual studio 8\vc\include\xutility(2270) : see      declaration of 'std::_Copy_opt'
1>        Message: 'You have used a std:: construct that is not safe. See documentation on how to use the Safe Standard C++ Library'
1>        c:\documents and settings\mhd\my documents\tesvector.cpp(50) : see reference to function template instantiation '_OutIt  std::copy<std::_Vector_iterator<_Ty,_Alloc>,BYTE*>(_InIt,_InIt,_OutIt)' being compiled
1>        with
1>        [
1>            _OutIt=BYTE *,
1>            _Ty=BYTE,
1>            _Alloc=std::allocator<BYTE>,
1>            _InIt=std::_Vector_iterator<BYTE,std::allocator<BYTE>>
1>        ]

当我运行它时，我得到了以下运行时错误：

    Run-Time Check Failure #2 - Stack around the variable 'myarr' was corrupted.

请注意，我使用向量而不是列表或双端队列，因为 像上面的代码这样的“中间插入”是一个特殊的问题。 它会比“最后插入”发生得少，并且 '元素的随机访问'。
有什么解决办法吗？

任何类似的答案：“你使用 c++，放弃 c 风格的数组实现。 对所有数组实现只使用向量”并不是很有帮助。

谢谢。

Answer 1

问题是您正在向向量中添加东西，因此它最终会包含比您初始化它的 myarr 数组中的更多元素。

如果要将向量复制回数组中，则需要缩小它的大小：

myvec.resize( MAX_SIZE);

或者您可以限制复制回来的元素数量：

copy( myvec.begin(), myvec.begin()+MAX_SIZE, myarr);

如果您希望myarr 数组包含所有元素，那么它需要大于MAX_SIZE，并且您已经发现为什么人们建议使用vector 而不是原始数组（vector s 知道如何增长，数组不会）。

请注意，虽然您不想要“任何类似的答案：“您使用 c++，放弃 c 样式数组实现。所有数组实现仅使用向量””，但您通常可以使用 vector并将&myvec[0] 传递给需要原始数组的例程。出于这个原因，vector 需要像原始数组一样连续存储其元素。

由于您收到“不安全操作”警告，因此您使用的是 Microsoft 的编译器。为了安全地解决问题，您应该使用checked_copy 算法而不是copy。作为Evgeny Lazin indicates，您可以为您的数组创建一个检查迭代器以传递给checked_copy 算法。

使复制安全且不需要 Microsoft 扩展的其他选项是将数组包装在一个类（可能是模板化的）中，该类跟踪数组大小并提供以安全方式将数据复制到数组中的方法。 STLSoft's array_proxy template 或 Boost's boost::array 之类的东西可能会有所帮助。

Answer 2

一般来说，我猜你可以这样做：

void *myarr;

if((myarr = malloc(myvec.size() * sizeof myvec[0])) != NULL)
{
  memcpy(myarr, &myvec[0], myvec.size() * sizeof myvec[0]);
  /* Do stuff with the C-style array for a while
   .
   .
   .
  */
  free(myarr);  /* Don't forget handing back the memory when done. */
}

这会分配一个新的 C 样式数组来保存向量的元素，并将数据复制到位。这样就不需要静态匹配大小了。

当然，这是通用的，所以它只是给你一个void * 来访问你的 C 数组，所以你需要强制转换或将类型更改为实际类型（在这种情况下为BYTE）。

Answer 3

您可以使用模板参数推导找到数组绑定：

template<typename T, size_t N>
size_t copy(std::vector<T> const& src, T[N] dest) {
    size_t count = std::min(N, src.size());
    std::copy(src.begin(), src.begin()+count, dest);
    return count;
 }

关闭有关未检查内容的 Microsoft 警告。他们的目的是引诱你编写不可移植的代码。

Answer 4

你可以这样做：

memcpy(myarr, &(myvec)[0], myvec.size())

编辑：就安全而言，根据this，向量将数据存储在连续的内存段中，因此您“不仅可以使用迭代器，还可以使用指向元素的常规指针的偏移量来访问它们。”