А как это в системе типов?

я уже посмотрел

ну вот к "кастомным типам" еще в каждом энаме несет дополнительный вариант "строка", поправьте если я не прав

Да

И короче выходит, что каждый уровень эрор чейн требует определения такого энама enum Foo { Error1(std::Error), Error2(io::Error), Error3(my_lib::Error), Msg(String) } enum Bar { Error1(std::Error), Error2(io::Error), Error3(other_lib::Error), FooError(Foo), Msg(String) }

Как альтернатива можно юзать трейт Box<std::Error> он в отличии от энама уже расширяемый, и нет необходимости создавать миллион таких энамов для каждой либы.

а растеры с проблемами ErrorT столкнулись..

а неч другое, ну ладно

В чем проблема енума на либу?

Как бокс матчить?

Вот и выходит, у подхода error-chain: 1) на каждом уровне монструозные энамы 2) необходимо везде создавать эти энамы вручную 3) зато есть бектрейс у подхода Box<std::Error>: 1) необходимо в методах везде писать Box<Error>, не так критично, но когда методов много - не приятно 2) типажи из стд обычно содержут минимально необходимый функционал, для ошибок это Debug. Но этого функционала в большинстве случаев не хватает, например казалось бы логичным, раз ошибки это всеголишь некий тип с сообщением, что оно должно реализовывать Display - выводиться для пользователя, а также иметь возможность передаваться между потоками Send + Sync - но выпо скольку этого нет в стандартной библиотеке желание работать в многопоточном коде с ошибками приводит к чему-то типа Tait:Error+Sync+Send по сути Failure это "стандартный" способ задать это. 3) в стандартной библиотеке ошибки не содержат бектрейс.

Как бокс матчить?

Box<Error> ?

есть Any для этого

В чем проблема енума на либу?

проблема в том, что каждая либа определяет обычно одни и те же варианты, вручную

Ну макросом же а не вручную

Макрос лишь выводит impl, варианты ты пишешь вручную

к тому же не знаю как там, но кажется дисплей тоже вручную надо реализовывать?

InvalidToolchainName(t: String) { description("invalid toolchain name") display("invalid toolchain name: '{}'", t) }

ну тогда в целом так же как в Failure

основным бы кейсом я б рассмотрел в споре с error-chain различие при диспатченге enum vs Box<Trait>.

У меня иррациональный страх боксов

аргумент

х)

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

пиздос

ладно, сделаю вид, что я этого не читал

но насчет боксов да, у меня тоже есть такой страх, а всё изза того, что везде вдалбливают, что "аллокации очень медленны". В реальных же задачах кроме узких место его влияние почти не заметно

пиздос

ну да, раст же безопастный, забываю

ну вон токио активно юзает боксы

зависит от того, что ты подразумеваешь под "безопаснее" в передаче енамов/боксов

если не рассматривать unsafe один хрен

безопасность раста как-то слабо сочетается с передачей указателей. Точно также может быть не безопасно передавать енамы, никто не гарантирует что энамы - владеют данными

ну речь об ошибках, в енумах ошибок строки редкость

Ха-ха

Кстати ещё один аргумент к failure это возможность работать с Статик строками без перевода из в стринги (поидее, я не в курсе есть ли она) так что для строк это даже немного быстрее будет чем для кейса с эрорчейном

ну тут еще момент

error chain на базе std error

failure не привязан

И?

Он идёт в замену, в дополнение к СТД эрору

ну если есть какойнить embed

no_std

Эрор разве не в коре?

вроде нет

странно, почему?

https://doc.rust-lang.org/core/

хз

по той же причине по кторой выкинули grenthreads

да гринтреды рантайм требуют

а ерор нет

ну по идее и option нет

и result

есть

в чем?

https://doc.rust-lang.org/nightly/core/option/

Для тех кто не ковырялся

О

уже в найтли

да они наверн и в стейбле есть

Кстати ещё один аргумент к failure это возможность работать с Статик строками без перевода из в стринги (поидее, я не в курсе есть ли она) так что для строк это даже немного быстрее будет чем для кейса с эрорчейном

не понял

https://doc.rust-lang.org/core/option/

Str(s: &'static str) { display("what {}", s) description("bla") }

https://doc.rust-lang.org/core/

Не вижу

Str(s: &'static str) { display("what {}", s) description("bla") }

ну как кастомный тип, я ж про "из коробки" В файлур есть некий энам EnumKind::Msg(String) но нет варианта для строки статической

а, вижу

было б странно и их убрать

видимо потому что ты обычно не хочешь так

видимо потому что ты обычно не хочешь так

почему. bail!("MOIA OSHIBKA")

а потом её заменить вариантом энама

Нет ничего более постоянного, чем временное

ну тогда идея не сделали бы кнопку "рефакторинг"

@mersinvald @white_oak

@mersinvald @white_oak

Так

Что за лампа?

Так

Ебать ты как бетмен, на зов приходишь

Что за лампа?

Xiaomi yeelight

Ебать ты как бетмен, на зов приходишь

Я нужен Готэму