какой же зирокост, если нельзя кастануть бесплатно

хочется простого - хочу сказать, что мне нужен такой же тип, с ровно теми же операциями и прочими плюшками, но чтобы приводить к старому типу и обратно нужно было явным образом.

есть простой способ это сделать? вроде штука то элементарная.

так если пишешь код, который кастит - это не бесплатно как для программиста, так и для рантайма

есть простой способ это сделать? вроде штука то элементарная.

https://aturon.github.io/features/types/newtype.html

Я его даже компилил под малиной

Ну я компилю на убунте. Не хочу ставить компиляторы и другое на малину

Бесплатно для рантайма защет мув семантики, а о программисте речь и не шла

struct Miles(pub f64); struct Kilometers(pub f64); impl Miles { fn as_kilometers(&self) -> Kilometers { ... } } impl Kilometers { fn as_miles(&self) -> Miles { ... } }

typedef просто алиас заводит, там же даже кастовать не надо

А складывать то мили с милями можно?

то есть нужен механизм создания копии типа с нем же набором методов но только с явным привидением?

да

с чего бы ему магическим способом получать операторы типов которые внутри?

с того, что написан дерайвинг соотвествующих "типажей" для структур с одним полем например

суть в том, что если там только один тип то компилятор может это оптимизировать до такого уровня что оверхеда не вообще будет

ты же понимаешь, что он ожидает этого без дерайвинга

с того, что написан дерайвинг соотвествующих "типажей" для структур с одним полем например

не понимаю, это неочевидно

человеку влом все методы к новому типу определять

А складывать то мили с милями можно?

Угу. Так и сделано для таплов в c++. Для операции < например

человеку влом все методы к новому типу определять

так вариант с явным объявлением дерайвингов операций годится или нет?

см.

Как много придетс наколбасить кода, чтобы создать клон float например?

но я понял, спасибо. все примерно как в плюсах. только с большим закосом в сторону явности.

перечислить типажи которые надо унаследовать у флоата

Неявно

А у float'a явным образом типажи в языке уже определены?

так как там с хештаблицей быть?

Хештаблица в расте ковариантна типу значения?

что, структура оборачивающая инт становится подтипом инта? При чем тут вариантность-то?

Ты ж говоришь о кастинге таблиц, как это должно происходить без переборки коллекции, если таблица не будет ковариантна типу?

что, структура оборачивающая инт становится подтипом инта? При чем тут вариантность-то?

можно в принципе вот так сделать если не нравится писать .0 struct A(i32); impl Deref for A { type Target = i32; fn deref(&self) -> &i32 { &self.0 } }