П
Взять ссылку можно
Size: a a a
2021 April 26
П
А ещё можно сделать somefunc(), который отдает владение
П
Но к переменной не присобачивать
B
а, это >1 использования
П
Не, это <1
П
fn somefunc() -> SomeType
EP
ну тогда зачем кому-то писать либу, использующую лсл либу, чтобы у юзеров потом программу отобрали?
П
Но все равно вроде владение под линейный тип подходит, хз
B
ого, а как взять ссылку(1) и дроп(2) итого <1
TK
Допустим, есть у тебя своя шайтан-коллекция, выдающая уникальный индекс на вставленное значение. Индекс, разумеется, при утере не сможет вызвать дроп значения в коллекции нормальным способом (без ub и spsc), а вместо того требует вызов явного remove. Если забыть вызвать, то будет утечка.
TK
let _ = x;
ИЛ
Да, есть такое
ИЛ
И это тоже, ага
B
ого а шо это за шайтан коллекция такая
ИЛ
Для первого кейса есть костыль в виде must_use и линта unused_must_use
ИЛ
А здесь... ну, можно считать это явным дропом?
П
Ну примерно так пытались сделать scoped thread стдлибный
B
да
TK
Да мало ли, разные варианты бывают. Скажем, со своей виртуальной таблицей вызовов.
П
Но там тупо паника кидалась, когда дроп вызывался на айтеме