В
.as_ref не у всех типов естьSize: a a a
2020 August 19
V
.as_ref не у всех типов естьТогда borrow
В
Тогда borrow
borrow тоже не на всех и вообще другое значитЭ
Тогда borrow
Borrow тем более не у всех.
Э
Многие даже не знают, что такая штука существует.
V
impl<T> Borrow<T> for T where
T: ?Sized,
T: ?Sized,
Э
borrow тоже не на всех и вообще другое значитОдинаковая сигнатура с AsRef, одно и то же.
V
Скорее у некоторых их больше одного)
В
Одинаковая сигнатура с AsRef, одно и то же.
нет.
borrow накладывает ограничения на Eq, Ord и HashV
borrow тоже не на всех и вообще другое значитДа, значит другое, но какраз то что нужно. as_ref скорее когда нужно по ссылке поля и тд
Э
нет.
borrow накладывает ограничения на Eq, Ord и HashНет вроде бы.
Э
Точнее, в доках да, а сам по себе — нет.
Э
Да и какая разница, если ты всё равно получаешь &T, что там, что там.
В
Точнее, в доках да, а сам по себе — нет.
Ну понятно что раст недостаточно силён чтобы это доказать, но несоблюдение этого ни к чему хорошему не приведёт
В
impl<T> Borrow<T> for T where
T: ?Sized,
T: ?Sized,
Oh, да, точно. Но тут проблема что типы могут не вывестись
is
Как думаете, эта штука стоит добавления в
Ещё в ссылках есть метод
Apply пример
Метод also, also_deref
std? Немного начинает Haskell напоминать.Ещё в ссылках есть метод
also, тоже аналогичный и полезный. Apply пример
Метод also, also_deref
EG
Как думаете, эта штука стоит добавления в
Ещё в ссылках есть метод
Apply пример
Метод also, also_deref
std? Немного начинает Haskell напоминать.Ещё в ссылках есть метод
also, тоже аналогичный и полезный. Apply пример
Метод also, also_deref
trait Apply {
fn apply<R, F: FnOnce(T) -> R>(self, f: F) { f(self) }
}
impl Apply for T { }?
EG
А, там ссылка есть. Да.
EG
apply_ref и apply_mut могут не требовать Sized, не?
is
apply_ref и apply_mut могут не требовать Sized, не?
да, в ссылке на реализацию в internals не требуют (спасибо @WaffleLapkin)