Почему 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