Почему 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
Мобильная версия