аналога нет, но есть https://docs.rs/static_assertions/latest/static_assertions/ и нет, это не аналог)
А чем не аналог?
Ну я где-то видел, что местами случаются fat pointer'ы, которые два usize'а Сейчас мне лениво разбираться с этим
всё так, но так они и два "обычных указателя" ))
А чем они отличаются?
&Type - это фактически фат пойнтер, да. А * Type это обычный указатель размером с usize.
А я не могу из указателя получить ссылку?
если Type — это именно тип, то первое утверждение не верно
сорри, мне щас надо отбежать, предлагаю загуглить или дождаться, пока кто-нибудь ещё ответит))
Ну вопрос про то, как мне, простому смертному понять, когда компилятор воткнёт двойной поинтер, а когда нет
Фат пойнтер хранит ещё длину данных. И как верно заметили, там должен быть не просто тип, а трейт хотя бы, или слайс
Разве этот крейт теперь нужен, раз assert! конст с 1.57?
В принципе, можно и без него, но там удобные макросы
Обсуждают сегодня