Помогите https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=5a76f625e35c574dd2ed79ff75926556

Question

Rust — русскоговорящее сообщество

Alex

Помогите https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=5a76f625e35c574dd2ed79ff75926556

#backend #embedded #programming #russian #rust

0

28.05.2023

12 ответов

22 просмотра

Alex Автор вопроса

Денис Котляров
либо default fn который в nightly или городи доп т...

default impl сужает условие до типа а не до трейтбаунда как я понял, а default fn мне кажется не поможет, потому что дефолтный вариант это never а как обернуть в структуры? как это будет выглядеть? мне не лень написать трейт IsEq, но раст всеравно ругается про конфликтующие имплы

0

28.05.2023

Alex Автор вопроса

Денис Котляров
либо default fn который в nightly или городи доп т...

короче там есть проблема, и внизу ее как то решили но я не понимаю как https://github.com/rust-lang/rust/issues/42721#issuecomment-531428021

0

28.05.2023

gua:char = "o" ⋈

Здесь что бы ты не сделал , видимость у твоих генериков такова, что это (T,T) Поэтому будет ругаться на конфликт- трейт два раза для одного типа

0

28.05.2023

Alex Автор вопроса

gua:char = "o" ⋈
Здесь что бы ты не сделал , видимость у твоих гене...

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

0

28.05.2023

Денис Котляров

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

ну, понимаешь. все как я и говорил, используется default fn, но у тебя необычный случай и он предполагает (T, T2) where T2: ... и (T, T2) без whete и видимо он не может делать на нем адекватный default_fn.. конечно ты можешь попробовать использовать еще ночные исключения трейтов аля where !trait.. но проще кажись изменить подход к своему апи и нагородить новых типов.. // ну или все сквасить к одному T

0

29.05.2023

gua:char = "o" ⋈

Alex
это было своего рода приключение. хотел нащупать г...

Можно поиграться с struct SomeAsk<S> { _marker: PhantomData<S> }

0

29.05.2023

Alex Автор вопроса

Денис Котляров
ну, понимаешь. все как я и говорил, используется ...

тогда я видимо совсем не понимаю как специализация работает в текущем виде, и работает ли? и я не могу найти какой то простой пример. вот там пишет: impl<T> PrintAnything for T { ... } impl<T: Integer> PrintAnything for T { ... } impl<T: Collection> PrintAnything for T { ... } это не работает советуют добавить impl<T: Integer + Collection> PrintAnything for T { ... } но тоже непонятно - это совет юзеру или совет как сделать разработчикам компилятора exhaustive. я довольно много всего прочитал. там достаточно много проблем сделать это на трейтах. Там открывается совсем кроличья нора с Mutually exclusive traits, и другой сорт логики, и coherence проблемы. короче ладно

0

29.05.2023

Владислав Катасонов

Alex
тогда я видимо совсем не понимаю как специализация...

Со специализацией всегда вылазит вопрос с несколькими определениями: если есть несколько impl’ов, которые подходят, какой использовать? Разумный вариант: использовать наиболее специфичный, если такого нет - ругаться.

0

29.05.2023

丰

Владислав Катасонов
Со специализацией всегда вылазит вопрос с нескольк...

https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=3659c551326963c068344cb643e76fc2 Недавно в оффтопике приводил избитый кейс с наследованием, в котором можно имплементировать две реализации, обращаясь к каждой через as.

0

29.05.2023

Денис Котляров

Alex
тогда я видимо совсем не понимаю как специализация...

слушай, же получается у тебя T может иметь одновременно и Integer и Collection. наверное это его сбивает. также default fn ты вешаешь на print anything?

0

29.05.2023

Alex Автор вопроса

Денис Котляров
слушай, же получается у тебя T может иметь одновре...

я пытаюсь эвалюировать пример из https://github.com/rust-lang/rust/issues/42721#issuecomment-531428021 но видимо специализация совсем не про это. скорее всего оно может просто иметь T и уточненный T до одного баунда. несколько баундов видимо всё ломает. но я точно не понимаю, т.к. примеров нет )

0

29.05.2023

Денис Котляров · Accepted Answer

Денис Котляров

либо default fn который в nightly или городи доп типы (структуры) и на них вешай трейт свой

0

28.05.2023

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

Помогите https://play.rust-lang.org/?version=nightly&mode=debug&edition=2021&gist=5a76f625e35c574dd2ed79ff75926556

12 ответов

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