как DerefMut
то есть DerefMut: Deref, а Deref в свою очередь имеет type Target, как имея знание, что T: DerefMut достать Target?
<T as Deref>::Target ок
<T as DerefMut>::Target - не ок
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=4af80efaec8313b158fde2744a86fa57 типа такого, чтобы яснее стало
Если Т реализует DerefMut, то он реализует и Deref, так что пишем <T as Deref>::Target.
это все так и хорошо, но мне как раз нужно использование примерно такое, как в плейграунде а значит, я не могу использовать <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! для условия
звучит хайпово я конечно не эксперт в этой теме, но странно, что раст в этом месте резко тупеет и не может понять, что если тип имплементирует один трейт, то и второй умеет тоже в условной функции с <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
Обсуждают сегодня