Việc sử dụng reinterpret_cast trên bộ đệm memcpy có phải không?

Cho mã

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;

là cách sử dụng reinterpret_casttrong trường hợp này UB? Tôi sẽ nói có, bởi vì memcpykhông bắt đầu vòng đời của một cá thể do đó vi phạm quy tắc răng cưa nghiêm ngặt (đó là lý do tại sao std::bit_castđã được thêm vào C ++ 20).

Và nếu tôi thay thế dàn diễn viên bằng một cái khác memcpy(để đọc con trỏ) thì chương trình có được xác định rõ không?

Có, mã này có hành vi không xác định. Không có đối tượng của loại A*tại vị trí được chỉ bởi buffer.data(). Tất cả những gì bạn đã làm là sao chép biểu diễn đối tượng của một con trỏ như vậy vào vector của bạn [basic.types] / 4 . Vì các con trỏ có thể sao chép một cách tầm thường [basic.types] / 9 , nếu bạn sao chép lại các byte này vào một đối tượng thực tế của loại A*và sau đó deletelà giá trị của điều đó, thì đó sẽ được xác định rõ [basic.types] / 3 . Vậy đây

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

sẽ ổn thôi

Lưu ý rằng không phải chính diễn viên gọi ra hành vi không xác định trong ví dụ ban đầu của bạn mà là lần thử tiếp theo của bạn để đọc giá trị của một đối tượng A*không tồn tại trong đó con trỏ thu được thông qua các điểm truyền. Tất cả tồn tại trong đó các điểm con trỏ là một chuỗi các đối tượng của loại unsigned char. Loại A*không phải là loại mà bạn có thể sử dụng để truy cập giá trị được lưu trữ của một đối tượng thuộc loại unsigned char [basic.lval] / 8 .