EG
Его можно наебать, например, просто присвоив значение в переменную.
let _res = func();
это не «использование»
Result<T, E> в том смысле, в котором имелось в видуSize: a a a
2021 April 29
EG
Очевидно, что
это не «использование»
это не «использование»
EG
Но
#[must_use] заткнётся здесьΑZ
и чем это хуже forget(func()) ?
EG
Тем, что
forget() нужно написать в явном виде, а положить в переменную ты мог, например, собираясь потом проверить.ΑZ
так может я форгет написал собирась потом проверить и забыл
EG
Или, например, другой пример — ты собрал тонну футур в вектор и забыл их все поawaitать.
ΑZ
must_use тут хватит
EG
Нет. Ты их сложил в вектор, это использование.
EG
А то, что ты потом весь этот вектор молча дропнул — так это другой вопрос.
EG
У тебя ни одного варнинга даже не будет.
EG
А вот линейные типы тебе не дадут их дропнуть не решив в явном виде, что ты хочешь с ними делать
EG
Это то же самое преимущество, что сумтипы для хендлинга ошибок имеют перед туплами — ты должен принять явное решение
ΑZ
ну тут ошибка в том что must_use не протекает
EG
Ноп.
ΑZ
Vec<MustUse> != mustuse
ΑZ
я говорю про теже линтипы что и ты. Просто непонятно почему их нельзя атрибутами денотировать
EG
Это не спасло бы. Этот вектор активно используется, в него, вон, другие футуры пушатся.
EG
#[must_use] проверяется только в моменте возвращения из функции, по сутиEG
А надо проверять в момент дропа