在什么条件下使用 std::memcpy 在对象之间进行复制是安全的？

Question

在什么条件下可以安全地std::memcpy从一个对象复制到另一个对象？

例如，什么样的条件必须T，src并dest满足是安全的以下内容：

template <typename T>
void copy_bytewise(T& dest, const T& src) {
  std::memcpy(&dest, &src, sizeof(T));
}

我们可以假设的唯一的事情src和dest是他们不重叠¹。特别是，src或者dest可以是对成员或基类的引用。

我对参考标准的答案很感兴趣，但是如果这与通常的做法不同（例如，Itanium 的事实上的 C++ ABI），我也想知道。

请注意，如本示例所示，T满足TriviallyCopyable (TC) 概念是不够的。是 TC 但不是 memcpy 安全的（由于对派生类的成员重复使用填充）。base

我特别感兴趣的是，如果有任何T单独的条件是充分的（不一定是必要的），而不需要条件src和dest（通常不能静态确定）。

---

¹具体来说，我的假设是，如果它们确实重叠，它们在T与 for相同的条件下仍然可以安全地复制std::memcpy，但使用std::memmove代替。如果假设不正确，它可能是答案的一部分。

Answer 1

来自[basic.types]/3：

对于任何可简单复制的类型T，如果两个指针T指向不同的T对象obj1和obj2，其中既不是基类子对象obj1也不obj2是基类子对象，如果构成的底层字节（[intro.memory]）obj1被复制到 中obj2，则obj2随后将保持与obj1.

简而言之：

T 必须满足什么条件才能保证以下安全

T必须是可简单复制的；这是唯一T必须满足的条件。另一个要求不是限制T，而是限制可能被复制的对象的性质。这意味着它不是您可以静态确定的。