将对象的字节复制到数组并再次返回是否安全

Question

将对象的字节复制到unsigned char 的数组中然后使用memcpy 再次复制回来是否安全，是否保持对象不变？

也就是说，对于任何t，以下安全：

template <typename T>
void copy_back_and_forth(T& t) {
  unsigned char buf[sizeof(T)];
  std::memcpy(buf, &t, sizeof(T));
  std::memcpy(&t, buf, sizeof(T));
}

...t 是否保持不变？

Answer 1

如果T 是普通可复制类型，并且t 不是潜在重叠的子对象，则t 的值保证不变。最新草案的标准报价：

[基本类型]

对于任何对象（除了可能重叠的子对象） 普通可复制类型 T，无论对象是否持有有效的 类型 T 的值，构成 可以将对象复制到 char、unsigned char 或 std​::​byte ([cstddef.syn]).³⁷ 如果复制了该数组的内容 回到对象中，对象随后应保持其原始 价值。

37) 例如，通过使用库函数（[headers]）std​::​memcpy 或 std​::​memmove。

事实上，该标准有一个几乎相同的例子：

[示例：

constexpr std::size_t N = sizeof(T);
char buf[N];
T obj;                          // obj initialized to its original value
std::memcpy(buf, &obj, N);      // between these two calls to std​::​memcpy, obj might be modified
std::memcpy(&obj, buf, N);      // at this point, each subobject of obj of scalar type holds its original value

—结束示例]