Объяснение
Значение владеет своим состоянием; ссылка обозначает существующий объект. Move разрешает перенос ресурсов из объекта, но не гарантирует перенос для любого типа. После перемещения объект остаётся допустимым, однако его содержимое часто не определено контрактом.
Задача для самостоятельного решения
Можно ли рассчитывать, что перемещённая строка всегда пустая?
Показать разбор ответа
Нет. Её можно уничтожить или присвоить новое значение, но предположение о пустоте непереносимо, если конкретный контракт этого не обещает.