c++ - 在 memcpy 缓冲区 UB 上使用 reinterpret_cast 吗？

Question

鉴于代码

struct A {};

auto obj = new A;
std::vector<unsigned char> buffer;
buffer.resize(sizeof(obj));
std::memcpy(buffer.data(), &obj, sizeof(obj));  // this copies the pointer, not the object!

// ...

auto ptr = *reinterpret_cast<A**>(buffer.data()); // is this UB?
delete ptr;

是 reinterpret_cast的用法在这种情况下，UB？我会说是的，因为 memcpy不开始实例的生命周期，因此违反了严格的别名规则(这就是 std::bit_cast 已添加到 C++20 的原因)。

如果我用另一个 memcpy 替换类型转换(读取指针)程序会被很好地定义吗？

Answer 1

是的，此代码具有未定义的行为。没有 A* 类型的对象在 buffer.data() 指向的位置.您所做的只是将此类指针的对象表示复制到您的 vector 中 [basic.types]/4 .由于指针可以简单地复制 [basic.types]/9 , 如果您要将这些字节复制回 A* 类型的实际对象中然后 delete那个值，这将是明确定义的 [basic.types]/3 .所以这

A* ptr;
std::memcpy(&ptr, buffer.data(), sizeof(ptr));
delete ptr;

会好的。

请注意，在原始示例中调用未定义行为的不是强制转换本身，而是您随后尝试读取类型 A* 的对象的值。通过强制转换点获得的指针不存在。所有存在的指针指向的是一个类型为 unsigned char 的对象序列。 .型号 A*不是可用于访问类型 unsigned char 的对象的存储值的类型 [basic.lval]/8 …