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

Так здарова ребята а как люди делают приколы с чем-то подобным

как DerefMut
то есть DerefMut: Deref, а Deref в свою очередь имеет type Target, как имея знание, что T: DerefMut достать Target?

<T as Deref>::Target ок
<T as DerefMut>::Target - не ок

8 ответов

16 просмотров
ева-бака 🇷🇺 Автор вопроса

https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=4af80efaec8313b158fde2744a86fa57 типа такого, чтобы яснее стало

ева бака 🇷🇺
https://play.rust-lang.org/?version=stable&mode=de...

Если Т реализует DerefMut, то он реализует и Deref, так что пишем <T as Deref>::Target.

ева-бака 🇷🇺 Автор вопроса
red75prime
Если Т реализует DerefMut, то он реализует и Deref...

это все так и хорошо, но мне как раз нужно использование примерно такое, как в плейграунде а значит, я не могу использовать <T as Deref>, потому что я не смогу убедиться в верности, что T: DerefMut тут либо какой-то дополнительный прикол делать, чтобы доказать я хочу это в макросе делать для кодогенерации, чтобы пользователи не подсунули какую-то левую херню трейт DerefMut: Deref я в качестве примера привел, сейчас у меня подобная штука в принципе, я вижу два решения: 1. завести свой Target в DerefMut 2. оставить так же, но с доп проверкой типа struct TestMe<T: DerefMut>(marker ...) const _: TestMe<MyType> = TestMe ...; type MyTypeTarget = <MyType as Deref>::Target;

ева бака 🇷🇺
это все так и хорошо, но мне как раз нужно использ...

яб использовал Deref::Target и просто заюзал static_assertions::assert_impl_one! для условия

ева-бака 🇷🇺 Автор вопроса
kitsu
яб использовал Deref::Target и просто заюзал stati...

звучит хайпово я конечно не эксперт в этой теме, но странно, что раст в этом месте резко тупеет и не может понять, что если тип имплементирует один трейт, то и второй умеет тоже в условной функции с <T: DerefMut> я вполне могу выковырить T::Target

ева бака 🇷🇺
звучит хайпово я конечно не эксперт в этой теме, н...

trait MyTrait { type Target; } impl<T: DerefMut> T for MyTrait { type Target = u32; } какой теперь Target выбрать?

ева бака 🇷🇺
звучит хайпово я конечно не эксперт в этой теме, н...

pub trait DerefMut: Deref { fn deref_mut(&mut self) -> &mut Self::Target; } он и сам Deref::Target использует если что

ева бака 🇷🇺
это все так и хорошо, но мне как раз нужно использ...

если у тебя конкретный Me, то какая разница, если не конкретный - потребуй от него T: DerefMut но обращайся как <T as Deref>::Target

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

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

30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
в JclConsole объявлено так: function CtrlHandler(CtrlType: DWORD): BOOL; stdcall; - где ваше объявление с stdcall? у вас на картинке нет stdcall
Karagy
8
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
Вот еще странный косяк, подскажите как бороться. Я git clone сделал себе всего embassy и примеры там запускаю. Всё хорошо. Но вот решил в cargo.toml зависимости не как в приме...
Lukutin R2AJP
2
Карта сайта