AS
чего странное?
Size: a a a
2017 November 22
AS
rust язык с концепцией абстракций с нулевой стоимостью, и куча всего при компиляции проверяется
AS
это не к типам заявка, а к формированию значений
AS
ты даже if в компайл-тайме не выполнишь
AS
непонятно. Напиши макрос, будет тебе if
AS
например
static x: u32 = 15;
static a: [u8; sizeof(x)]; // нельзя
AS
ну на макросах всё не напишешь) тем более, что в макросах ты const fn всё равно не посчитаешь
AS
в процедурных посчитаешь. А насчет массива по размеру переменной надо подумать
AS
и ещё болело от того, что нет typeof
AS
зачем тебе typeof в статически типизированном языке?
AS
потому что некоторые типы просто невозможно записать
AS
из-за всяких лайфтаймов и лямбд
AS
а как трейтом обойти?
AS
Сайзоф можно обойти трестом
AS
И мне казалось что он есть
AS
ещё в дженериках не хватает чисел. поэтому во всяких своих буферах вместо параметризирования размеров приходится передавать в конструктор массивы. например, https://github.com/rasendubi/bkernel/blob/master/dev/circular_buffer.rs#L19-L35
MC
Ну как, завести трейт SizeOf, в нем константа, реализовать его для того что нужно
MC
Не универсально, именно что обойти
MC
ещё в дженериках не хватает чисел. поэтому во всяких своих буферах вместо параметризирования размеров приходится передавать в конструктор массивы. например, https://github.com/rasendubi/bkernel/blob/master/dev/circular_buffer.rs#L19-L35
Это оченьбольшая проблема, сейчас есть рфц сбольшими шансами быть влитым
AS
Ну как, завести трейт SizeOf, в нем константа, реализовать его для того что нужно
ну такое, придется реализовывать для всего подряд