D
В агрегате есть поле тривиального типа и есть поля нетривиального. Когда я сделаю перемещение, гарантируется ли, что значение поля тривиального типа останется прежним? Пример:
std::pair<int, std::vector<int>> x{123, {1, 2, 3}}; auto y = std::move(x); assert(x.first == 123);.Нельзя надеяться на это
x находится в moved-from state и вряд ли им вообще можно пользоваться, кроме вызова деструктора