VL
моё кунгфу пока недостаточно сильно чтоб понять что происходит в этом макросе (
Size: a a a
2021 June 23
MS
Она просто дает тебе TypeId как буд-то твой тип это 'static
VL
@niksaak а насколько оно unsafe?
MS
Он берет тип
MyType<'a, 'b, 'c> и реализует для него трейт возвращающий TypeId для MyType<'static, 'static, 'static>VL
хочется какой-нибудь более-менее стандартной рефлексии в раст
MS
Рассчет на то что трейт используется только внутри твоей либы и ты заботишься о soundness и лайфтаймах.
MS
Но сохранить/узнать лайфтайм в рантайме эта штука, конечно, не позволит.
VL
не
трейт будет имплементиться где угодно
статик просто спрятан :(
трейт будет имплементиться где угодно
статик просто спрятан :(
VL
интересно что было бы если бы не отозвали этот RFC https://github.com/rust-lang/rfcs/blob/master/text/1849-non-static-type-id.md
VL
а может есть возможность как в скриптовых языках получить строку с названием класса + имя пакета?
Э
Проблема с лайфтаймами в
Any состоит в том, что лайфтаймы не существуют в рантайме, а значит их нельзя определить.MS
Трейт выше и предназначен для того чтоб имплементиться где угодно.
MS
Но вот использование его методов - unsafe, так как ты получишь один и тот же TypeId для типов, параметризованых разными лайфтаймами.
MS
Кстати вот такая возможность есть.
MS
std::any::type_name::<T>() работает и для T которые не являются 'staticMS
И имя будет полное, включая крейт и модули.
VL
Ништяк. Надо примерять.