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

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

12 ответов

17 просмотров

либо 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 до одного баунда. несколько баундов видимо всё ломает. но я точно не понимаю, т.к. примеров нет )

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

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

Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
48
Всем привет! Скажите, никто не пытался уменьшить размер процесса ssl, которые ассоциируется с открытым соединением (не помню точное название этого процесса, но там была какая-...
Алексей
20
а проверьте, собирается ли у кого сейчас транк лазаря через делюкс? у меня вот: fpcupdeluxe: info: Lazarus Native Installer (BuildModuleCustom: UserIDE): LazBuild: building Us...
Iluha Companets
20
This is a big issue. Just by being a citizen of a country, you are denied to contribute to Open Source software: https://youtu.be/L5Ec5jrpLVk?si=1iIuHnMPbCB4anV-
Sharuzzaman Ahmat Raslan
72
Мне тут приспичило встроить в программу форматировние текста SQL, расставить переносы строк и отступы так, чтобы лучше читалось. Я что-то свое изобразил, оно после ключевых сл...
Sergey Bodrov
11
добрый день. возможно ли изменить цвет окон лазаруса? Как?
Budemposmotret
35
Господа, а кто-нибудь сталкивался с размещением на TTabControl/TTabSheet множества контролов (> 100) с последующими External: Access violation? Вот буквально на ровном месте. ...
Dmitry
29
А какие существуют способы обработки ошибок выделения памяти в ядре? Т.е., допустим, есть функция, которая возвращает адрес свободной страницы в физической памяти и диапазон в...
disba1ancer
51
Добрый день. Опять снова хочу обратиться к вам за помощью. После создания проэкта stack new, lazy.nvim + nvim-lspconfig/haskell-tools + hlint, ormolu из mason + hls из ghcup ...
Nannk
8
Does anyone have some zeroday's left?
Wito!d ♥️🩷
44
Карта сайта