[
линтипы можно обязать, например, 2 раза испльзовать
Size: a a a
2021 April 28
EG
Нельзя. Линтипы это ровно одно использование.
[
а, ладно
EG
Аффинные максимум одно, релевантные минимум одно.
П
Звучит как аналог дропа без forget:D
EG
Есть ещё свойство про обмены, но я его не помню
B
я проста не ебу как ано завецаб в чате усышал и весб такой крутой
EG
Можно было в своё время принять решение, что дроп значения обязан его деструктурировать
[
вроде бы в хаскель хотели линтипы добавить
EG
И принимать self по значению
[
или добавили уже в какую-то версию компиля
EG
Тогда в Rust можно было бы сделать линтипы
[
я не ебу
П
mem::forget
[
компили уже 9 версии есть, а я на 8 сижу, потому что между написанием компилятора и возможностью юзать его без боли должно пройти 10 тысяч лет
П
И я все равно не понял как можно таким дропом сделать линтип
EG
Для этого всё равно деструктор должен принимать по значению
EG
Тогда всё просто — каждая функция обязана передать каждое значение по значению куда-то
TK
Как и почему оператор присваивания должен копировать, никто не сказал.
И копирует.
И копирует.
EG
Соответственно, либо передать в другую функцию, либо вызвать
val.drop() и передать по значению в дроп