Можем ли мы обнаружить «тривиальную перемещаемость» в C++17? ⇐ C++

[Anonymous]

В будущих стандартах C++ у нас будет концепция «тривиальной перемещаемости», что означает, что мы можем просто копировать байты из одного объекта в неинициализированный фрагмент памяти и просто игнорировать/обнулять байты исходного объекта.
Таким образом, мы имитируем способ копирования/перемещения объектов в стиле C.
В будущих стандартах, вероятно, будет что-то вроде std::is_trivyly_relocatable как признак типа; на данный момент самое близкое, что у нас есть, это std::is_trivyly_copyable.
Мой вопрос: есть ли в текущем стандарте (C++17) способ выяснить, можно ли тривиально перемещать объект?
Например, std::unique_ptr можно перемещать, копируя его байты на новый адрес памяти и обнуляя исходные байты, но std::is_trivyly_copyable_v имеет значение false.
Кроме того, в настоящее время стандартно, что каждый неинициализированный фрагмент памяти должен пройти через конструктор, чтобы считаться допустимым объектом C++. даже если мы сможем каким-то образом выяснить, является ли объект тривиально перемещаемым, если мы просто переместим байты - это все равно UB по стандарту.
Итак, другой вопрос - даже если мы можем обнаружить тривиальную перемещаемость, как мы можем реализовать тривиальное перемещение, не вызывая UB? Просто вызов memcpy + memset(src, 0, …) и приведение адреса памяти к правильному типу — это UB.

Подробнее здесь: https://stackoverflow.com/questions/594 ... ity-in-c17