CD
А именно, перезаписи зависимости
Size: a a a
2020 March 31
АР
А на более глубоком уровне это например Rust, который избавляет от вопросов мув-операций, потому что ответ всегда один: тип или примитивно копируемый, или он всегда кроме явных мест перемещается и процесс перемещения тривиален до уровня бит.
ну это не до конца правильно. Допустим есть класс, который на куче держит ноду, ссылающуюся на него же. Типа A->B, B->A. При муве A надо поменять указатель B->A иначе UB. При только тривиальных мувах такое не получится сделать
АР
но вообще конечно едва ли есть пример когда destructive move (в общем, а не в частной реализации того же раста) хуже плюсового
ДЛ
ну это не до конца правильно. Допустим есть класс, который на куче держит ноду, ссылающуюся на него же. Типа A->B, B->A. При муве A надо поменять указатель B->A иначе UB. При только тривиальных мувах такое не получится сделать
Ну раст в таком случае скажет про lifetime что иди unsafe пиши, в чём он прав, но написать правильно будет очень сложно.
АР
не, вопрос в другом. Вот в плюсах ты просто переопределяешь мув
AB
Раст не считает это мувом и заставляет придумывать имя для операции. Их решение
m
но вообще конечно едва ли есть пример когда destructive move (в общем, а не в частной реализации того же раста) хуже плюсового
На самом деле он в ряде случаев хуже. Если компилятор ничего не знает о типе, ему приходится добавлять в него флаг помечающий "мертвые" объекты. Часто этого можно избежать, если использовать нулевые указатели в качестве такого флага.
AB
В плюсах парятся за перегрузки для сохранения валуев семантики
АР
Artöm Bakri Al-Sarmini
Раст не считает это мувом и заставляет придумывать имя для операции. Их решение
ну то есть я просто пишу функцию MyMove() которая сделает то, что я хочу?
АР
вместо стокового мува
AB
Да
AB
В плане гарантий ссылок она будет работать как мув
AB
Наверное. Я раст только начал смотреть
АР
может быть кстати это не такая уж и проблема, в плане того что ты точно видишь где там мув необычный и т.д.
FS
Саттер про мув как-то очень хорошо пояснил.
AB
pastebin
AB
Там присваивание вместо сравнения