Привет. Появилась следующая задачка: нам нужно сделать настраиваемые с помощью

Question

Привет. Появилась следующая задачка: нам нужно сделать настраиваемые с помощью

дженериков числа. Например, настройка говорит, что максимальное число😷, а при создании из f32, нужно округлять в большую или меньшую сторону. Увы, в качестве дженерика можно указать только тип, те я не могу сделать Number<7,RoundMax>, приходится передавать в качестве дженериков типы, которые возвращают числа с помощью трейтов(О ужс), например Number<Seven, RoundMax>. Более того, нужно чтобы такой тип мог бы Add, Mul и тд, а трейты нельзя имплементить для трейтов, поэтому нужно чтобы Number был структурой?! Но ведь я же хочу получить некий настраиваемый ТИП, например Number16. Естественно я не хочу объявлять 100 типов и писать к ним impl From<..> for Type1..100 хоть даже с помощью макроса. Мне интересно, есть ли какой-то прямой выход?

#backend #embedded #programming #russian #rust

0

26.11.2017

1 ответов

6 просмотров

Marat Safin · Accepted Answer

Marat Safin

Тебе зависимые типы нужны переходи на idris🌚

0

26.11.2017

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

Привет. Появилась следующая задачка: нам нужно сделать настраиваемые с помощью

1 ответов

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