Э
Into<u64>.Size: a a a
2020 September 30
m
Никак. Только
блин, не получается красивого решения тогда.. печаль)
AV
Товарищи, подскажите пожалуйста)
Как можно указать требование чтобы трейт на T смог кастоваться из u64 через as?
Вот хотелось бы как-то указать что T должен уметь val as T, где val u64
Как можно указать требование чтобы трейт на T смог кастоваться из u64 через as?
struct Data<T>(T);
impl<T: Sized> Data<T> {
fn new(val: u64) -> Self {
Self(val as T)
}
}
fn main() {
Data::<u8>::new(0_u64);
}
Вот хотелось бы как-то указать что T должен уметь val as T, где val u64
Есть либа num-traits вроде, там есть трейт для примитивного каста
Э
Просто сделай
assert!(range.start == range.end);в🧇
Ага, уже сам дочитал, спасибо
в🧇
Просто сделай
assert!(range.start == range.end);.len() == 0 для слабаков?Э
.len() == 0 для слабаков?Там минус делается.
m
Есть либа num-traits вроде, там есть трейт для примитивного каста
значит они как-то смогли наложить ограничение.. попробую посмотреть)
мне интересно как это сделано
мне интересно как это сделано
в🧇
Там минус делается.
(:
AV
значит они как-то смогли наложить ограничение.. попробую посмотреть)
мне интересно как это сделано
мне интересно как это сделано
Руками имплементировали, или макросами, скорее всего
m
Руками имплементировали, или макросами, скорее всего
а как это можно имплементировать?
допустим для некоторого набора типов.. только u8, u16, u32
допустим для некоторого набора типов.. только u8, u16, u32
Э
а как это можно имплементировать?
допустим для некоторого набора типов.. только u8, u16, u32
допустим для некоторого набора типов.. только u8, u16, u32
Macro power!
AV
а как это можно имплементировать?
допустим для некоторого набора типов.. только u8, u16, u32
допустим для некоторого набора типов.. только u8, u16, u32
AV
Скинул ссылку не на тот трейт. Тебе нужен вот этот: https://docs.rs/num-traits/0.2.12/num_traits/cast/trait.AsPrimitive.html
И баунд
И баунд
where u64: AsPrimitive<T>AV
(Надеюсь, так можно баунды писать)
m
Спасибо!
Вот рабочий пример сделал
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=6ff31b37a4a3718eaf441c528af9f26e
where T: num_traits::FromPrimitive
let val: T = num_traits::FromPrimitive::from_u64(0_u64).unwrap();
Но, такое ощущение что это уже не на этапе компиляции преобразуется
откуда тогда Option, зачем он вообще нужен
Вот рабочий пример сделал
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=6ff31b37a4a3718eaf441c528af9f26e
where T: num_traits::FromPrimitive
let val: T = num_traits::FromPrimitive::from_u64(0_u64).unwrap();
Но, такое ощущение что это уже не на этапе компиляции преобразуется
откуда тогда Option, зачем он вообще нужен
m
хочется понять можно ли сделать чтобы все проверялось на этапе компиляции, а не в рантайме
Э
хочется понять можно ли сделать чтобы все проверялось на этапе компиляции, а не в рантайме
Можно. Берёшь
Into<u64> + IsPrimitive какой-нибудь.AV
Скинул ссылку не на тот трейт. Тебе нужен вот этот: https://docs.rs/num-traits/0.2.12/num_traits/cast/trait.AsPrimitive.html
И баунд
И баунд
where u64: AsPrimitive<T>AV
Можно. Берёшь
Into<u64> + IsPrimitive какой-нибудь.Что такое
IsPrimitive?