Что значит независимых?

Result<T, Vec<MyError>> и impl From<MyError> for Vec<MyError> для того, чтобы работали вопросики

Что вторая ошибка не является следствием первой, но это наверное к делу мало относится

Я пробовал так, где MyError был Box<std::error::Error> но в какой-то момент мне было сказано размер типа на время компиляции не известен. Подозреваю что где-то у меня образовалось циклическая зависимость, возможно из-за impl From типом а-ля T+'static: std::error::Error. С наскоку победить не удалось вот и подумал вдруг я не первый которому такое надо и возможно есть крейты для подобного

Показывай, на каком коде тебе раст показал фигу

А обязательно свой тип определять? Я сейчас делаю pub type CError = Vec<Box<dyn std::error::Error>>; и оно ругается типа the trait 'std::convert::From<&str>' is not implemented for 'std::vec::Vec<std::boxed::Box<(dyn std::error::Error + 'static)>>', пытаюсь описать impl который оно не нашло - пишет что низзя, т.к. в другом крейте

вот на такой импл:

impl From<&str> for CError {
    fn from(error: &str) -> Self {
        unimplemented!()
    }
}

говорит

error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
 --> src/lib/error.rs:4:1
  |
4 | impl From<&str> for CError {
  | ^^^^^----------^^^^^------
  | |    |              |
  | |    |              `std::vec::Vec` is not defined in the current crate
  | |    `str` is not defined in the current crate
  | impl doesn't use only types from inside the current crate
  |
  = note: define and implement a trait or new type instead

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

Доброго времени суток, есть кто работает с актиксом, не подскажите не могу понять есть ли у у него роутинг посредством аннотаций?

а то я вижу то что надо сначала функцию с аннотацией указать как сервис чтоб он видел роут а это не очень найс :\

Я вообще отказался от аннотаций и роутинг строю с другой стороны

error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
 --> src/lib/error.rs:4:1
  |
4 | impl From<&str> for CError {
  | ^^^^^----------^^^^^------
  | |    |              |
  | |    |              `std::vec::Vec` is not defined in the current crate
  | |    `str` is not defined in the current crate
  | impl doesn't use only types from inside the current crate
  |
  = note: define and implement a trait or new type instead

Newtype спасёт отца русской демократии. 😉

сделал достаточную версию генератора кода для actix_swagger.
Генерирует такое: https://github.com/sergeysova/actix-swagger/blob/master/cargo-swagg/out.rs

Впринципе, этого достаточно, чтобы писать приложения, у меня примерно такое юзается. Но тут нет исполнения контракта обработчиков запросов. Нет обязания правильно обрабатывать request body в обработчике. Я не смог найти способ это сделать через actix_web::dev::Factory.

Вот issue обсуждения: https://github.com/actix/actix-web/pull/1339

По actix-swagger:
Сейчас буду писать конвертацию yaml структур, в формат генератора кода. Скорее всего там будет пачка HashMap/BTreeMap, чтобы корректно резолвить ссылки. Первая реализация будет очень тупая, и сможет работать только со ссылками в requestBody, responses, params и прочим. Также не будет поддержки импортов из файлов.

В чем нужна помощь:
- Поревьювить код. Там почти всё написано так, чтобы получить первую рабочую версию.
- Было бы круто накидать тесты на генератор кода(называется printer). Думаю банальных inline snapshots было бы достаточно. Дать на вход разные варианты конфигурации, и получить вменяемый код.
- Преобразовать свои личные openapi3 файлы спеки апи в структуры cargo-swagg и поглядеть достаточно ли того, что там есть или нужно что-то ещё. Если нужно ещё что-то, создать issue/pr с реализацией.

Цели проекта:
Дать на вход спецификацию openapi3, на выходе получить генерированный код, который не нужно править руками. При этом его можно коммитить в репо и смотреть изменения в гите после ручной перегенерации. Можно вынести в отдельный крейт, перегенерировать в ci и деплоить крейт новой версии. Обновлять в проекте, когда будет удобно.

Как использовать:
- Подключается как сервис в main
- В модуле роута импортируются типы request body и response
- actix_swagger::Response используется как аналог actix_web::Response с явными типами ответа, чтобы проверять, что обработчик запроса реализует контракт.

Надо разобраться:

как заставить обработчик запросов исполнять контракт на request body, query и headers.

Я думал сделать свой аналог actix_web::dev::Factory, так называемый BoundFactory. Которому бы прописал реализации для Fn. BoundFactory это трейт, который обязывает функцию иметь несколько обязательных параметров конкретных типов.

Так можно было бы хендлеры иметь первые аргументы четких типов, вроде request_body: request_bodies::Example, query: session_create::Query, а остальные аргументы были бы производных типов, так можно было бы вытаскивать нужные штуки, вроде actix_web::web::Data<MyApp>

Но я уперся в приватность Handler — https://github.com/actix/actix-web/pull/1339

А как реализовать BoundFactory или вообще достигнуть цели через Handle trait я не понял (https://github.com/actix/actix-web/pull/1275)

Буду безмерно благодарен, за любую помощь

Можно через филд декораторы описывать откуда хочешь взять тот или иной параметр, куки, хедер, урл.

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

https://github.com/sergeysova/actix-swagger/blob/master/cargo-swagg/out.rs#L51

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

getUserParamsFromContext(ctx)

Не очень понятно, чего ты хочешь добиться. Если в стриме несколько запросов, и ты хочешь считать первый, то тебе нужно аккуратно парсить протокол.
Например в случае http надо посмотреть в заголовок, где может быть записан размер тела.
Если протокол текстовый (хотя бы частично), то можешь обернуть стрим в BufReader, у него есть полезные методы типа read_line.