从 a 的第一个元素的内存地址中复制 myvect.size()*sizeof(foo) 个字节是否安全
std::vector<std::pair<T1, T2> > myvect
放入数组中
struct foo{
T1 first;
T2 second;
}
如果数组分配的元素数量与向量的大小相同？
谢谢
【问题讨论】：
标签： c++ vector memcpy std-pair
不，包含T1 和T2 的类不能保证与std::pair<T1, T2> 相同的布局或对齐方式，至少在C++98 中是这样（因为std::pair 不是POD 类型）。在 C++0x 中情况可能会有所不同。
【讨论】：
struct foo 是 POD 类型时。 :-P（对于这个问题，这意味着T1 和T2 也是。）
std::copy() 即使不是 POD 也可以工作（只要类型支持赋值）。所以这让我的“纯粹主义”破解错了——应该简单地使用它。如果类型是 POD，优化会导致编译器吐出 memcpy() 等效代码 - 我将不得不查看一些 asm 输出，看看这是否真的发生在实践中。在任何情况下，输出都可能足够好，除非它不是（挥手怎么样？）。
std::copy() 创建的代码比std::memcpy()更好 - std::copy() 的特化很容易从类型对齐限制中受益。例如。 std::copy<double*> 可以使用 64 位对齐的读/写，而无需事先检查。
你没问的问题的答案大概是std::transform：
struct pairToFoo {
// optionally this can be a function template.
// template<typename T1, typename T2>
foo operator()(const std::pair<T1,T2> &p) const {
foo f = {p.first, p.second};
return f;
}
};
std::transform(myvect.begin(), myvect.end(), myarray, pairToFoo());
或std::copy，但给 foo 一个 operator= 以一对作为参数。不过，这假设您可以重写 foo：
struct foo {
T1 first;
T2 second;
foo &operator=(const std::pair<T1,T2> &p) {
first = p.first;
second = p.second;
return *this;
}
};
std::copy(myvect.begin(), myvect.end(), myarray);
【讨论】：
std::transform() 是我不记得的东西。曾经。也许现在我已经公开说过了，它有时会突然出现在我的脑海中。
std::transform 是你得到的，而不是 map 和 zipWith。所以也许如果你每次忘记transform，你在Haskell中重新编写相关函数，你就会记住它。如果只是为了避免编写 Haskell。
一般来说，不会。在某些平台/编译器/STL 实现上可能是这样，但无论如何都不要这样做。您将依赖 pair 和 vector 的实现细节。
我自己犯了依赖 vector 作为连续数组的罪过。为此，我深深忏悔。但是这对...只是说不。
【讨论】：
std::vector<T> 是连续的（我认为未来的 C++ 版本会这样指定），并且&vec[0] 应该可以用作大小为vec.size() 的数组，这一点已被广泛接受。但是，对 std::pair 这样的非 POD 类型执行 memcpy 是有风险的。