Почему Bit Cast требует, чтобы оба типа были тривиально-заслуженными? ⇐ C++

[Anonymous]

Почему C ++ std :: bit_cast требует как , так и от , чтобы быть тривиально-заполненным?
Например:

Код: Выделить всё

From from{};
To to;
static_assert(sizeof(To) == sizeof(From));
std::memcpy(&to, &from, sizeof(To));

Здесь, чтобы будет построен из без вызывания конструктора копирования, поэтому , очевидно, должно быть тривиально-заполнимым. С другой стороны, согласно определению и из принимается как const void*, поэтому ни один из его конструкторов не должен быть называться в любом случае. Поэтому, насколько я вижу, от на самом деле не нужно тривиально-заполняться. И действительно, std :: memcpy не требует, чтобы что-то было тривиально-завариваемым, но std :: bit_cast делает.
Почему стандарт затем навязывает это Дополнительное требование, и может ли его с безопасно избежать? Только для тех случаев, когда и из являются одинаковыми типами, и, таким образом, требуется, чтобы было тривиально-заполнимым, требуется от , чтобы быть тривиально-зачисленным. /п>

Подробнее здесь: https://stackoverflow.com/questions/794 ... y-copyable