MS
Уже запилен. Это реально единственный способ без внесения изменений в компилятор.
Size: a a a
2021 June 23
Э
Просто кастуй лайфтаймы трансмутом, если уверен в том, что эти лайфтаймы сойдутся.
VL
а есть ли какая нибудь либа с рефлексией с чем-то похожим?
Э
А если не уверен, но ты напишешь unsound код, который писать не стоит.
Э
У раста нет рантайма, рефлексии тоже нет поэтому.
MS
Разве что можно еще impl_universal_type_id!() заменить на процмакрос
MS
Ты опять за свое. У раста есть рантайм.
MS
Посмотри какая функция вызывается при старте скомпиленного rustc экзешника. Это не твой fn main()
Э
Нет у раста такого рантайма, с помощью которого можно построить рефлексию.
VL
Видимо имел ввиду, что в нем нет ничего с человеческими названиями
MS
Ну в общем, даже если и появится такая либа, то в ней тоже будет отключен TypeId для типов с лайфтаймами.
MS
Это ведь не недоработка а сознательное решение.
Э
Да сколько можно говорить, что лайфтаймов не существует.
VL
Угу
MS
При чем тут это? Речь же о конкретных решениях конкретных проблем.
Э
Ну так конкретное решение конкретных проблем — это трансмут лайфтаймов, если ты гарантируешь, что они сойдутся. Любой
Type<'a> совпадает байтами с Type<'static>, потому что лайфтаймов нет.MS
Окей, а если ты хочешь предоставить безопасный интерфейс для пользователей?
MS
Так чтоб им не приходилось трансмутировать.
Э
crossbeam::scoped, пожалуйста, там завёрнуты трансмуты лайфтаймов в сейфовую функцию.Э
Вот только функция
scoped сама по себе принимает лайфтаймы и только поэтому они сходятся.