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

Question

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

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

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

#backend #embedded #programming #russian #rust

0

12.11.2021

8 ответов

4 просмотра

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

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

0

12.11.2021

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

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;

0

12.11.2021

kitsu

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

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

0

12.11.2021

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

kitsu
яб использовал Deref::Target и просто заюзал stati...

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

0

12.11.2021

kitsu

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

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

0

12.11.2021

Berkus Decker

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

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

0

12.11.2021