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

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

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

13 ответов

5 просмотров

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Обсуждают сегодня

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Заметил в ghci 9.4.8: > :t (<*>) @((->)_) (<*>) @((->)_) :: (w -> (a -> b)) -> (w -> a) -> w -> b Разве не должно (w -> (a -> b)) быть записано как (w -> a -> b)? Это баг, ил...
Михаил
13
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Any electron dev here?
Sayanth Tezro
12
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Кто-нибудь знает почему SPM клонирует репо целиком? Некоторые репы просто огромные, как та же swift-syntax которая нужна для использования макросов. Сначала подумал, что это...
iMike
6
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Привет. Я верно понимаю, что в определении класса Монад m — зафиксирован (к тому же поскольку это моноид в категории эндофункторов). Т.е. используя байнд я не могу перемещать...
Arseny
5
Карта сайта