MP
Matklad? Ы
Size: a a a
2020 November 04
SL
"Скопировали вот эти 4 байта вот отсюда сюда, и с этими 4 байтами ничего не случилось"
так, получается что если реализован copy, то move не происходит. Мы просто копируем значение и теперь у нас есть оригинальные 4 байта в x и копированные четыре байта в y?
EG
Мне нужен не префикс строки, а префикс пути
И для Path неудобная апишка, которая не позволяет получать любой срез компонентов
И для Path неудобная апишка, которая не позволяет получать любой срез компонентов
У меня получилось вот так, но с лишней аллокацией
ИЛ
так, получается что если реализован copy, то move не происходит. Мы просто копируем значение и теперь у нас есть оригинальные 4 байта в x и копированные четыре байта в y?
Типо того
MP
так, получается что если реализован copy, то move не происходит. Мы просто копируем значение и теперь у нас есть оригинальные 4 байта в x и копированные четыре байта в y?
Copies happen implicitly, for example as part of an assignment y = x. The behavior of Copy is not overloadable; it is always a simple bit-wise copy.
EG
Вроде смог сделать первое условие https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=3a02663eb246092eb38a3c3277e29a36
Да, посмотрел твой вариант — примерно так же
EG
Аллокация тут на самом деле не нужна, ответ — всегда слайс от левого пути
IL
Кстати, а почему для многих базовых типов Copy не заимплементирован? Например, что плохого в том, чтобы побитово копировать Vec?
ИЛ
Кстати, а почему для многих базовых типов Copy не заимплементирован? Например, что плохого в том, чтобы побитово копировать Vec?
Vec кучу юзает
EG
Кстати, а почему для многих базовых типов Copy не заимплементирован? Например, что плохого в том, чтобы побитово копировать Vec?
Vec в деструкторе освобождает память
ИЛ
Кстати, а почему для многих базовых типов Copy не заимплементирован? Например, что плохого в том, чтобы побитово копировать Vec?
Если ты его скопируешь - получишь два указателя на один кусок памяти
EG
Если его побитово скопировать, то память будет освобождена два раза
Это unsound
Это unsound
EG
Поэтому Copy нельзя делать для объектов с деструкторами
Кроме того, Copy обычно не делают для тяжёлых по памяти объектов, чтобы не провоцировать их случайное копирование туда-сюда
Кроме того, Copy обычно не делают для тяжёлых по памяти объектов, чтобы не провоцировать их случайное копирование туда-сюда
IL
Vec кучу юзает
А Copy типы разве всегда используют стек?
SL
Mag Pie
Copies happen implicitly, for example as part of an assignment y = x. The behavior of Copy is not overloadable; it is always a simple bit-wise copy.
Так-с. А если реализован не реализован copy, то работает move(как я понял для более сложных объектов).
x = ...
y = x
В таком случае я не смогу обратиться к x?EG
А Copy типы разве всегда используют стек?
Copy-типы не имеют права иметь деструктор
Стало быть, они не смогут освободить память на куче, и, обычно, не выделяют её
Стало быть, они не смогут освободить память на куче, и, обычно, не выделяют её
MP
Так-с. А если реализован не реализован copy, то работает move(как я понял для более сложных объектов).
x = ...
y = x
В таком случае я не смогу обратиться к x?Да
SL
Mag Pie
Да
но при этом
x не удалится из памяти?MP
но при этом
x не удалится из памяти?При этом y становится x, а значение х становится неопределенным
SL
окей, спасибо всем. Пойду разбираться дальше