Э
Если ты не можешь гарантировать, что лайфтаймы сойдутся, то ты не должен их трансмутить, всё очень просто.
Size: a a a
2021 June 23
MS
Это не работает если ты принимаешь тип T не зная, какие у него лайфтаймы.
MS
Но при этом способен гарантировать, что какими бы они ни были, ты позаимствуешь его на меньшее время.
Э
Ну и всё, значит юзер сам должен трансмутить лайфтаймы на этот тип, иначе ты получаешь unsound и ловишь шитштормы как actix.
MS
По ссылке выше от меня решение, не требующее трансмутить.
MS
И работающее для типов с неизвестным количеством лайфтаймовых параметров.
П
Вот только ты можешь адово ошибиться с лайфтаймами, потому что их он игнорит?
MS
Ну, все места где можно ошибиться помечены как ансейф и снабжены комментами о том, почему я думаю что это sound
VL
Как я понял там все становится статиком
П
Ну временно трансмутится, наверн
MS
Конечно когда ты стираешь лайфтаймы ты должен знать что делаешь и быть осторожен.
MS
Нет, не трансмутится. TypeId используется исключительно для проверки запрашиваемого типа, и ссылку на значение этого типа гарантированно нельзя утечь за пределы скоупа.
VL
Но память освободится только когда программа сдохнет?
П
Я не оч понимаю как оно работает, если честно
VL
Ну типа статик
MS
Через задницу, если честно. Но другие пути еще хуже.
MS
В том смысле, что не работают.
П
Если игнорятся лайфтаймы, то фигня чуток
MS
Они не игнорятся. Они проверяются в другом месте.