将指针包装到迭代器中以复制到 STL 容器中

Question

我有一个指向我想放入字符串中的一些数据的指针。我认为使用std::copy 应该是最安全的方法。

但是，在 Visual Studio 2010 中我收到警告

警告 C4996：“std::_Copy_impl”：带有可能不安全参数的函数调用 - 此调用依赖于调用者检查传递的值是否正确。要禁用此警告，请使用 -D_SCL_SECURE_NO_WARNINGS。

当然警告是正确的。在MSDN checked_array_iterator 上描述了一些checked_array_iterator 对象，它们可用于包装这样的指针并使其与STL 迭代器兼容。

问题是，这个checked_array_iterator 只能用作目标，不能用作源。

所以当我尝试这样使用它时，应用程序崩溃或无法编译：

char buffer[10] = "Test";
std::string s;

// These are parameters from an external call and only shown here to illustrate the usage.
char *pTargetAdress = &s;
const char *oBegin = buffer;
const char *oEnd = oBegin+sizeof(buffer);

std::string *p = reinterpret_cast<std::string *>(pTargetAdress);
std::copy(oBegin, oEnd, p->begin());   // crash

stdext::checked_array_iterator<const char *>beg(oBegin, oEnd-oBegin);
stdext::checked_array_iterator<const char *>end(oEnd, 0);
std::copy(beg, end, p->begin());   // crash

stdext::checked_array_iterator<const char *>v(oBegin, oEnd-oBegin);
std::copy(v.begin(), v.end(), p->begin());   // doesn't compile

如果有可移植的标准方式，我宁愿使用它而不是在 MS 扩展上使用。

Answer 1

指针是非常好的（随机访问）迭代器。问题在于您将数据复制到坏内存中。 p->begin() 等于 s.begin() 等于 s.end() 指向无效内存。要解决此问题，您可以使用例如

std::string *p = reinterpret_cast<std::string *>(pTargetAdress);
p->resize(oEnd - oBegin); //resize to make room for the data
std::copy(oBegin, oEnd, p->begin());   // no more crash

或者

#include <iterator>

std::string *p = reinterpret_cast<std::string *>(pTargetAdress);
std::copy(oBegin, oEnd, std::back_inserter(*p));   // copy by appending to the end

或者干脆

std::string *p = reinterpret_cast<std::string *>(pTargetAdress);
*p = std::string(oBegin, oEnd);   // copy by temporary

Answer 2

在您的具体情况下，您可以使用std::string 构造函数或assign() 方法，请参阅cppreference。

const char* pointer = ...;
std::size_t size = ...;

std::string string(pointer, size);
std::string string(pointer); // if null-terminated

顺便说一句，从void* 转换为T* 时，您应该使用static_cast 而不是reinterpret_cast。

一般：

如果有可移植的标准方式，我宁愿使用它而不是在 MS 扩展上使用。

这是 Visual Studio 2015 中最令人讨厌的警告之一。虽然它的消息是正确的，但对于在原始指针上使用 std::copy() 的每个人来说应该是显而易见的。 checked_array_iterator 提出的解决方法不仅完全过度设计了一个简单的问题，而且还引入了非标准类，从而使您的代码不可移植。

如果我是你，我会定义 _SCL_SECURE_NO_WARNINGS 并让完全有效的 C++ 代码再次编译而不会出现警告。