MS
Скастуй мне к статике
struct Foo<'a>MyState<'a> ( &'a X, &'a Y);, а делай MyState(*const X, *const Y);, ссылки в указатели сейфово кастуются.Size: a a a
2020 October 17
Э
Ну делай не
MS
Я уже отвечал на это
Э
Если ты макросом не может на любой тип завернуть каст к статику, то просто используй что-нибудь без лайфтайма.
MS
Я не контроллирую тип, который нужно даункастить.
Э
Вообще, ты решаешь несуществующую проблему. Для такого есть ассоциированные или генерик типы.
MS
Э
Я не контроллирую тип, который нужно даункастить.
Ну баунди его статиком, да и всё. И пусть пользовать сам выворачивается.
MS
Основной юз кейз пользователя — передавать таким образом не-'static типы.
Э
Их нет.
Чего нет? Лайфтаймов? Да, нет. Рантайма в расте нет. Хочешь рантайма — пиши рантайм и хитро заворачивай юзер-код в свой рантайм.
MS
Чего нет? Лайфтаймов? Да, нет. Рантайма в расте нет. Хочешь рантайма — пиши рантайм и хитро заворачивай юзер-код в свой рантайм.
Я не хочу рантайма. Я хочу ансейф даункаст отбрасывающий лайфтаймы.
MS
Потому что моя абстракция соблюдает инварианты лайфтаймов в другом месте.
MS
Сколько можно-то.
Э
Потому что моя абстракция соблюдает инварианты лайфтаймов в другом месте.
Принимай указатели вместо ссылок, если соблюдает.
Э
Ссылки кастятся к указателям в сейф коде.
Э
При этом указатели
'static, потому что не имеют лайфтаймов.MS
Я уже отвечал и на это
MS
Ты не можешь создать даже
*const dyn Any для Foo<'a>Э
Ты просто пытаешься рантайм сделать, но в расте нет рантайма. Чтобы иметь лайфтаймы во время работы программы, а не во время компиляции, нужен рантайм.
MS
Нет, я не пытаюсь сделать рантайм.