Я правильно понимаю, что вот такую структуру #[derive(Deserialize)] struct S<'a> {

Ну тут фундаментальная проблема в дизайне serde — DeserializeOwned это не отдельный трейт, из-за чего тип не может иметь разные реализации Deserialize<'_>/DeserializeOwned.

0

13.01.2021

Emmanuel Goldstein Автор вопроса

вафель 🧇🍓
Ну тут фундаментальная проблема в дизайне serde — ...

мгмх специализация по лайфтаймам?

0

13.01.2021

вафель 🧇🍓

вафель 🧇🍓
Ну тут фундаментальная проблема в дизайне serde — ...

Можно решить со специализацией наверное 🤔

0

13.01.2021

вафель 🧇🍓

Emmanuel Goldstein
мгмх специализация по лайфтаймам?

Не, не надо по лайфтаймам специализироваться. Надо только сделать DeserializeOwned с дефолтной реализацией для for<'a> Deserialize<'a>

0

13.01.2021

вафель 🧇🍓

вафель 🧇🍓
Не, не надо по лайфтаймам специализироваться. Надо...

Проблемы в том что это 1) ломающей изменение (а для serde это ужасно, от него все зависят) 2) пока что unstable 3) потребует серьёзные изменения в макросах, чтобы они умели реализовать DeserializeOwned для случаев с коровой например

0

13.01.2021

вафель 🧇🍓 · Accepted Answer

вафель 🧇🍓

мне кажется нет, там будет impl<'a> Deserialize<'a> for S<'a>, а owned требует for<'a> T: Deserialize<'a>

0

12.01.2021

172 похожих чатов

Я правильно понимаю, что вот такую структуру #[derive(Deserialize)] struct S<'a> {

8 ответов

Похожие вопросы