Неужели дискриминант у enum такой большой, что экономия на нём

Question

Неужели дискриминант у enum такой большой, что экономия на нём

перевесит оверхед на лишнем коде, который придётся городить ради того, что бы обойтись без enum-ов или dyn-трейтов? Я думал там всего 1 байт.

#backend #embedded #programming #russian #rust

0

20.10.2021

13 ответов

24 просмотра

Αλεχ Zhukovsky

Ned Ogl
GpioPin<Input> и GpioPin<Output> - не спроста разн...

1. определение инстанса это одна инструкция типа jne по тегу, это не оверхед а ерунда. Если у тебя там это не происходит в цикле на миллиард итераций 2. ошибки так и так нужно обрабатывать

0

20.10.2021

Alexander Chichigin

Ned Ogl
GpioPin<Input> и GpioPin<Output> - не спроста разн...

> GpioPin<Input> и GpioPin<Output> - не спроста разные типы с разными методами. В Rust — это один тип с одним набором методов, параметризованный другим типом. 😊

0

20.10.2021

Αλεχ Zhukovsky

Alexander Chichigin
> GpioPin<Input> и GpioPin<Output> - не спроста ра...

ну строго говоря они мономорфируется в разные типы так что он прав

0

20.10.2021

Alexander Chichigin

Αλεχ Zhukovsky
ну строго говоря они мономорфируется в разные типы...

С разным набором методов? 😉

0

20.10.2021

Traveller Kolsky

Alexander Chichigin
С разным набором методов? 😉

Конечно с разным

0

20.10.2021

Alexander Chichigin

Traveller Kolsky
Конечно с разным

Откуда разница берётся?

0

20.10.2021

Traveller Kolsky

Alexander Chichigin
Откуда разница берётся?

impl GpioPin<Input>, impl GpioPin<Output>. Пути до методов могут быть разные, их имена, сигнатуры. В лучшем случае виртуализацию было бы только можно сделать через dyn.

0

20.10.2021

Αλεχ Zhukovsky

Alexander Chichigin
Откуда разница берётся?

если смотреть на компилятор (чего ты делать не хочешь) то разница в том что они по разным адресам находятся и разное делают. если смотреть с точки зрения теории типов про параметризвоанное одно другим то это все одно. Как всегда вопрос в определениях

0

20.10.2021

Alexander Chichigin

Αλεχ Zhukovsky
если смотреть на компилятор (чего ты делать не хоч...

Так человеку программировать нужно, а не выхлоп компилятора разгребать — если он не может в Rust сделать разный набор методов, что там по каким адресам лежит уже ничем не поможет. 🤷‍♀️😊

0

20.10.2021

Alexander Chichigin

Traveller Kolsky
impl GpioPin<Input>, impl GpioPin<Output>. Пути до...

Падажжите... Откуда разные имена и сигнатуры (с точностью до тИповых параметров)?

0

20.10.2021

Αλεχ Zhukovsky

Alexander Chichigin
Падажжите... Откуда разные имена и сигнатуры (с то...

full qualified name отличается. А без funext ты не скажешь что функции совпадают даже если они не завият от генерик аргументов

0

20.10.2021

Alexander Chichigin

Αλεχ Zhukovsky
full qualified name отличается. А без funext ты не...

Формально — оно конечно, но мне кажется, это вовсе не тот "различный набор функций", о котором говорил топикстартер. 😊

0

20.10.2021

Ned Ogl · Accepted Answer

GpioPin<Input> и GpioPin<Output> - не спроста разные типы с разными методами. если делать через enum, то в оверхед идёт код на определение инстанса и обработку ошибок. если это происходит в прерывании, это неприятно. не критично (пока), но неприятно. а ещё неприятно, что прерывание может запаниковать, такие вещи нелегко отлаживать на железе

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

Неужели дискриминант у enum такой большой, что экономия на нём

13 ответов

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