MB
Ну либо конст дженерики, которые скоро стабилизируют в найтли
либо бери массив и ставь ассерт, что это u8
либо бери массив и ставь ассерт, что это u8
При должных ухищрениях это можно делать еще при компиляции по идее.
Но в рантайме точно можно
Size: a a a
2020 November 28
/
не работает
ΑZ
мне для серде нужно в зависимости от значения поля парсит разные типы
то есть у меня есть
{ "ok": true, "index": ... }
и
{ "ok": false, "error": ... }
как я могу на уровне типов сказать что тут может быть или Index или Error?
то есть у меня есть
{ "ok": true, "index": ... }
и
{ "ok": false, "error": ... }
как я могу на уровне типов сказать что тут может быть или Index или Error?
там же вроде есть из коробки решение
MB
Тут не в конст дженериках проблема, а в вызове size_of от дженерик типа
/
почему так нельзя?
/
size_of const вернет
MB
потому что компилятор не знает, что size_of работает для любого типа
/
идея еще в том, чтобы не передавать размер явно
MB
Ну короче это обходится добавлением баунда
[(); size_of<Self::Ty>()]: Sized,
и фичи const_evaluatable_checked
[(); size_of<Self::Ty>()]: Sized,
и фичи const_evaluatable_checked
MB
но этот баунд придется потом везде таскать
/
Ну короче это обходится добавлением баунда
[(); size_of<Self::Ty>()]: Sized,
и фичи const_evaluatable_checked
[(); size_of<Self::Ty>()]: Sized,
и фичи const_evaluatable_checked
а куда добавляется сам баунд?
/
обычно, размер UserStruct равен 0 байт
struct UserStruct;
impl Foo for UserStruct {}
MB
Ну например если навесить на fn test, то все работает
MB
Так нельзя синтаксически.
Сложные баунды навешиваются через where.
fn test<...>(...) where [(); size_of<...>::()] : Sized {
// test body
}
Сложные баунды навешиваются через where.
fn test<...>(...) where [(); size_of<...>::()] : Sized {
// test body
}
/
Так нельзя синтаксически.
Сложные баунды навешиваются через where.
fn test<...>(...) where [(); size_of<...>::()] : Sized {
// test body
}
Сложные баунды навешиваются через where.
fn test<...>(...) where [(); size_of<...>::()] : Sized {
// test body
}
почему именно
() и не указывается T?MB
почему именно
() и не указывается T?По идее можно что угодно вместо () использовать.
MB
T указывается в самом важном месте - как параметр size_of