https://play.rust-lang.org/?gist=31fa9e9493bd77609d562a50ed755533&version=stable&mode=debug Посоны, почему он не понимает, что я io::Error имею в виду?

https://play.rust-lang.org/?gist=31fa9e9493bd77609d562a50ed755533&version=stable&mode=debug Посоны, почему он не понимает, что я io::Error имею в виду?

потому что into()

щто?

? "разворачивается" не просто в if is_error { return error } а в if is_error { return error.into() }

и тут уже непонятно во что конвертить

идиотизм

спасибо, стало понятно

в смысле идиотизм?

идиотизмом было делать это как-то по-другому

@samoylovfp не благодари https://play.rust-lang.org/?gist=6858b589b114a024610781a76b6d9955&version=stable&mode=debug

@samoylovfp не благодари https://play.rust-lang.org/?gist=6858b589b114a024610781a76b6d9955&version=stable&mode=debug

красота

/split Impl trait

идиотизмом было делать это как-то по-другому

идиотизм в том, что нельзя через вопросик пробросить ошибку, которая impl Trait

само по себе то очень хорошо, что ошибки конвертятся, но вот этот кейс идиотичный

нам нужен новый ключевой символ

который бы пробрасывал ошибку, не конвертируя =)

потому что теперь это реально может пригодиться

это выглядит как еще больший идиотизм

fn test(somepath: &Path) -> Result<PathBuf, impl Error> { let result = PathBuf::from("/tmp").join(match somepath.canonicalize() { Ok(x) => x, Err(e) => return Err(e), }); Ok(result) }

=)))

азаза

идиотизм в том, что нельзя через вопросик пробросить ошибку, которая impl Trait

Кейс на самом деле не очень то подходящий для impl Trait

Ты же явно знаешь, что там io::Error

если в методе возможно больше одного типа ошибки, то impl Trait вообще ведь не подойдет

а обычно ошибки разных типов

если в методе возможно больше одного типа ошибки, то impl Trait вообще ведь не подойдет

это то понятно

убедительно

ну, тогда почему не явный io::Error, как пишут выше

но вот в случае итераторов например impl Trait позволяет скрыть детали внутренней шаблонизации, что если у меня другой кейс и ошибка нашпигована всякими <caused_by=ApiError<caused_by=DbError>>

только и останется, что руками пробрасывать

или маппить как хаскелист последний

так

ответь на один вопрос

у тебя логика на ошибках?

если нет, то юзай бокс и не парься)

а если да? :)

если нет, то юзай бокс и не парься)

звучит как "раст не смог в зирокост"

а если да, то переписывай всё

потому что это настолько антипаттерн, что все его юзающие должны непрерывно страдать

ятакщитаю

=)

звучит как "раст не смог в зирокост"

io::Error уже не зирокост, так что можешь быть спокоен

я про кейс в вакууме опять же говорю

F A I L U R E

но вот в случае итераторов например impl Trait позволяет скрыть детали внутренней шаблонизации, что если у меня другой кейс и ошибка нашпигована всякими <caused_by=ApiError<caused_by=DbError>>

В этом случае можно как и с итераторами оборачивать в newtype

F A I L U R E

но фейлюра тоже не зирокост...

потому что это настолько антипаттерн, что все его юзающие должны непрерывно страдать

представь еще один кейс в вакууме: есть несколько либ, которые умеют парсить что-нибудь, причем кто-то умеет одно, кто-то другое. в случае ошибки одной надо попробовать другой и т.д.

представь еще один кейс в вакууме: есть несколько либ, которые умеют парсить что-нибудь, причем кто-то умеет одно, кто-то другое. в случае ошибки одной надо попробовать другой и т.д.

ну и норм, бокс не должен просадить ничего

io::Error уже не зирокост, так что можешь быть спокоен

почему?

хотя не то чтобы это прям норм

ну и норм, бокс не должен просадить ничего

аллокейшн

а с импл трейтом нет аллокейшна

аллокейшн

* ну и норм, один аллокейшен не должен просадить ничего

звучит как "раст не смог в зирокост"

почему?

Оно в ряде случаев аллоцирует

pub struct Error { repr: Repr, } enum Repr { Os(i32), Simple(ErrorKind), Custom(Box<Custom>), }

только в кастоме

"только"

вобщем понятно что кейз редкий, но все равно грустно, что не работает, хотя со стороны выглядит, что должно работать

https://doc.rust-lang.org/std/io/struct.Error.html#method.new

и я не вижу как быстро и надежно зачинить :(

https://doc.rust-lang.org/std/io/struct.Error.html#method.new

Там другие методы-конструкторы есть

https://doc.rust-lang.org/std/io/struct.Error.html#method.new

https://doc.rust-lang.org/src/std/io/error.rs.html#311

os error зирокост, а тут сам виноват

я если честно хз в каких ситуациях этот new нужен

что за io::Error не от ос?

а откуда?

Там другие методы-конструкторы есть

from_raw_os_error-то?) я просто привёл именно new, потому что видел его в либах over 9000 раз

ну в смысле откуда

вот парсишь ты текст

и тут он закончился раньше времени

ну и кидаешь io::ErrorKind::UnexpectedEof

ну уж нет

я-то так, понятное дело, не делаю

но видел и не раз

я возьму ерор чейн дроченый

Удваиваю Дениса. Тоже видел в либах.

и сделаю errors { UnexpectedEndOfText(..) }

время охуительных метрик

я возьму ерор чейн дроченый

Failure лучше