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

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

12 ответов

19 просмотров

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

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

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

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

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

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

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

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

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

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

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

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

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 проблемы. короче ладно

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

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

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

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

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

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

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

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

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

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

30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
Вот еще странный косяк, подскажите как бороться. Я git clone сделал себе всего embassy и примеры там запускаю. Всё хорошо. Но вот решил в cargo.toml зависимости не как в приме...
Lukutin R2AJP
5
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
Карта сайта