为什么STD：：memcpy（作为类型双关语的替代）不会导致未定义的行为？

Question

在寻找将sizeof(double)chars组合为double的方法时，我在几篇文章中看到，使用std::memcpy是推荐的方法：

char bytes[sizeof(double)];
// fill array
double d;
std::memcpy(&d, bytes, sizeof(double));

但是，我想知道为什么d的进一步用法可以定义行为。

如果它不是double，而是一个复杂的类对象，那么访问它肯定也不会被定义，对吗？那么，为什么double会是这种情况呢？

Edit：为了使我的问题清楚，我想指定我的目标：我想找到一种方法，将几个字符组合成一个double并进一步使用这个double，而不会导致未定义的行为。我不希望指定double的值。无论如何，我认为这是不可能的，因为标准甚至没有提到double的大小，更不用说位布局了。但是，我要求D具有一些有效的（例如，'accessible')double-value。

Answer 1

类型双关语是被禁止的，因为它的思想是对C++对象模型的嘲弄。一块内存存储一个对象，如果您开始访问它，就像它存储了其他对象一样，那么这意味着什么呢？如果您可以随意地以int的形式从内存中读取，以float的形式写入，然后以short的形式读取，那么对象的存在意味着什么呢？

在基本可复制的对象之间复制字节只是设置对象值的另一种方式。实际上，这就是一个对象“基本可复制”的逻辑含义：该对象的含义仅由构成其对象表示的字节序列定义（复杂对象不是这样）。而是保存哪些对象的记忆的神圣性。没有“双关语”；只是到处复制数据。