А есть какой-нибудь способ по тип-параметру узнать, скалярный он или

Question

А есть какой-нибудь способ по тип-параметру узнать, скалярный он или

коллекция? Может трейт какой-то попросить?

pub fn next_opt<T: for<'de> Deserialize<'de>>(
arg: Option<serde_json::Value>,
) -> Result<Option<T>>

хочу десериализовывать из Value Option<T> по такому принципу:

`T` or `[T]` => Some(T)
`None` or `[]` => None
array of several elements => error

но есть проблемка:
- на next_opt<String>(Some(json!( ["a"] ))) мне нужно раскрывать массив прежде чем десериализовывать
- а на next_opt<Vec<String>>(Some(json!( ["a"] ))) раскрывать массив не нужно, нужно десериализовывать из массива тк T это массив

Как быть?

#backend #embedded #programming #russian #rust

0

10.06.2021

13 ответов

21 просмотр

Пух

Коллекции обычно итератор реализуют

0

10.06.2021

folex Автор вопроса

Пух
Коллекции обычно итератор реализуют

ну я же не могу это узнать в рантайме? Могу либо потребовать итератор, либо не требовать, т.е. это путь с next_opt_scalar и next_opt_collection

0

10.06.2021

Пух

Вообще такое скорее всего через свой десериализатор пилить надо

0

10.06.2021

red75prime

red75prime
Сделать свой трейт. Реализовать его для String и V...

Реализовать разную обработку для T и Vec<T> пока не получится. Для этого нужна специализация. Поэтому String и Vec<String>

0

10.06.2021

folex Автор вопроса

Пух
Вообще такое скорее всего через свой десериализато...

подозреваю что там вылезет похожая проблема

0

10.06.2021

Пух

folex
подозреваю что там вылезет похожая проблема

Untagged enum же как-то десериализуют

0

10.06.2021

folex Автор вопроса

Пух
Untagged enum же как-то десериализуют

и то верно

0

10.06.2021

pl hk

Пух
Untagged enum же как-то десериализуют

перебирает варианты просто

0

10.06.2021

Пух

pl hk
перебирает варианты просто

Ну тут так же примерно можно

0

10.06.2021

folex Автор вопроса

pl hk
перебирает варианты просто

пробует, ловит ошибку, пробует следующий?

0

10.06.2021

pl hk

folex
пробует, ловит ошибку, пробует следующий?

Serde will try to match the data against each variant in order and the first one that deserializes successfully is the one returned. https://serde.rs/enum-representations.html#untagged

0

10.06.2021

folex Автор вопроса

pl hk
Serde will try to match the data against each vari...

Угу, это я знаю, просто думал вдруг вы знаете как оно реализовано :) Через перехват ошибки или как-то умнее спасибо!

0

10.06.2021

red75prime · Accepted Answer

red75prime

Сделать свой трейт. Реализовать его для String и Vec<String>, требовать его в next_opt

0

10.06.2021

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

А есть какой-нибудь способ по тип-параметру узнать, скалярный он или

13 ответов

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