B
это выглядит хорошо, меня только беспокоит генерация их, а и еще можно же B1 и подобное на тайпнам сразу заменить? а если так то мб и на костанту сразу
Size: a a a
2021 April 23
SP
но ты его не пробрасываешь никуда, оно само
SP
у тебя конпейлятор пробрасывает его неявно потому что он его находит
SP
ну или я чего то не понимаю бгг
p
ну это в расте так привязывается но это не обязательно
B
а, кодген я даже вроде видел откуда потырить
AN
генерацию я представляю через proc-macro вида: generate_flagset!(B1,B2,B3,B4) все равно ты захочешь человеческие имена им дать типа FeatureRayCastingWhatever
TK
Да легко, разбей на 0_3 и... ничего, потому что ранж полуоткрытый, можешь переделать на закрытый в принципе. Допустим, 0_16-{7} это 0_7, YourAwesomeType, __8_16.
SP
ну это важная часть отделяющая весь этоот механизм от "работает" до "работает но юзать нельзя"
TK
Да господи
TK
Сраный маркдаун
TK
struct X;
generic_ranges! {
struct Test<'a, __0_16> {
marker: PhantomData<&'a (__0_16)>,
}
impl<'a, __0_7, __8_16> Test<'a, __0_7, (), __8_16> {
fn replace_7_to_x(self) -> Test<'a, __0_7, X, __8_16> {
Test { marker: PhantomData }
}
}
}
B
о, так тогда можно его даже сгенерировать из самого спека вулкана
TK
Разворачивается, думаю, понятно, во что
B
а новый тип тогда как?
TK
Всм?
B
у которого все ()
TK
Это уже другой запрос
TK
#[derive(Default)], например