STD::不同的可复制类型之间的MimcPy未定义行为吗?

我一直在用 std::memcpy 规避 严格混叠 很长一段时间。

例如,检查 float ,像 this :

float f = ...;
uint32_t i;
static_assert(sizeof(f)==sizeof(i));
std::memcpy(&i, &f, sizeof(i));
// use i to extract f's sign, exponent & significand

但是,这次,我检查了标准,没有发现任何能验证这一点的东西。我只找到了 this :

对于任何对象(除了潜在重叠的子对象),不管对象是否持有T类型的有效值,构成对象的底层字节([内存])都可以复制到char、unchar字符或STD::字节([CSTDDEF.SYN])数组中。 ^四十 如果该数组的内容被复制回该对象,则该对象随后应保持其原始值。[示例:

#define 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

结束示例]

和 this :

对于任何平凡的可复制类型t,如果指向t的两个指针指向不同的t对象obj1和obj2,其中obj1和obj2都不是潜在的重叠子对象,如果构成obj1的基础字节([intro.memory])被复制到obj2, ^四十一 obj2随后应保持与obj1相同的值。[示例:

T* t1p;
T* t2p;
// provided that t2p points to an initialized object ...
std::memcpy(t1p, t2p, sizeof(T));
// at this point, every subobject of trivially copyable type in *t1p contains
// the same value as the corresponding subobject in *t2p

结束示例]

所以, STD:MimcPy A型 浮动 收件人/发件人 char[] 允许,以及 STD:MimcPy 也允许在相同的琐碎类型之间进行交互。

我的第一个例子(以及相关的答案)是否定义得很好?或检查 浮动 是为了 STD:MimcPy 它变成一个 unsigned char[] 缓冲,并使用 shift S和 or S构建A uint32_t 从那里?

注:查看 STD:MimcPy 的担保可能无法回答这个问题。据我所知,我可以替换 STD:MimcPy 通过一个简单的字节复制循环,问题将是相同的。