Объясни move-семантику

Move-семантика нужна, чтобы не копировать данные, когда источник всё равно больше не понадобится: временный объект, результат функции, переменная, которую мы явно отдаём. Для вектора или строки перемещение это перенос пары указателей за O(1) вместо копирования всего буфера. Механизм простой: rvalue-ссылки T&& связываются только с rvalue, поэтому при перегрузке для временных объектов выбираются перемещающий конструктор и присваивание, которые забирают ресурс и оставляют источник в корректном, но неуказанном состоянии. std::move ничего не перемещает, это приведение к xvalue, которое разрешает выбрать перемещающую перегрузку; на const объекте оно приведёт к копированию. Перемещение стоит делать noexcept, иначе vector при росте будет копировать. И не нужно писать return std::move(local): возврат локальной переменной и так перемещает, а std::move мешает NRVO. С C++17 инициализация из prvalue вообще не создаёт промежуточных объектов.