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

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

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

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

8 ответов

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

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

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

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

Мужики и девушки, привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных...
Kraszx
14
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
А вот это что за конструкция? Вернее, она тут нафига?
Serjone
10
Привет. Подскажите, как правильно сматчить лист фиксированного размера, чтобы компилятор не говорил мне о неполном паттерне? Допустим что-то такое [x', y'] = sort [x, y]?
Arseny
8
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Мужики. привет) в Вelphi xe7 в настройках во вкладке "Editor Options" далее " Color" есть список: "Elements", открыв который мы можем настраивать отображение разных элементов...
Kraszx
2
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Карта сайта