B
а если я это накину на impl то тогда будет та же нечитаемая хрень с syn
Size: a a a
2021 April 23
B
@technic93 во короче
AN
Как то стрёмно получается
AN
Вот тут Полунин через hlist-ы что то похожее делает. https://github.com/p0lunin/teloc
AN
Странно что у нас не получилось тогда. Хм... Ладно надо подумать потом.
B
через хлисты уже не так хорошо выходит, у екстфилдов такая особенность выходит, что можно проверять наличие нужных расширений перед вставкой нового
B
я только сегодня вспомнил что мне это надо
B
а тогда все вышло, но мы остановились на варианте с екстфилдвами
AN
Ох хо хо
AN
Просто так прлпатчить impl блок это прям жёстко.
B
щито поделать, десу
B
а вообще с прикостыливанием impl проще, там можно quote использовать, а если к самому impl применять то там придется вонто все только еще раз и другое
AN
Ну о том и речь. Лучше генерить что то новое на основе входных данных. А не менять уже существующее. Иначе получается и для пользователя не очень понятно. Он объявил одну функцию а она стала другой.
B
B
так ладно, я спать, уже не могу думать
B
спасибо что уделил время, до завтра
AN
Я уже тоже сплю.
B
спокойной
TK
Понятно. Короче, можешь всё выкинуть и оставить один процедурный макрос - для генерации типа, или кортежа типов-идентов, три строчки. А остальное сделать при помощи декларативных.
B
я вот как раз думал сделать псевдокейворд шоб оно работало как
#[ext_field(3)]
Instance<'a, INJECT_TYPES>{
entry: PhantomData<'a>,
exts: PhantomData<(INJECT_TPYES)>,
}
превращает в Instance<'a, T1, T2, T3>{
entry: PhantomData<'a>,
_EXTS: PhantomData<(T1, T2, T3>
}