D
pub fn kek() -> Box<str> {
Box::from(String::from("lol"))
}Size: a a a
2020 September 18
Z
ну например так:
pub fn kek() -> Box<[u8]> {
vec![1, 2, 3].into_boxed_slice()
}это чисто для слайса такое, а с любым другим?
D
pub fn kek() -> Box<dyn std::fmt::Debug> {
Box::new("Ahaha")
}Z
pub fn kek() -> Box<dyn std::fmt::Debug> {
Box::new("Ahaha")
}тут размер известен же
D
тут размер известен же
пример в студию
в🧇
ну например так:
pub fn kek() -> Box<[u8]> {
vec![1, 2, 3].into_boxed_slice()
}Box::new лишнийD
D
поправил, спс
D
тут размер известен же
на всякисй случай:
dyn Trait — неизвестный размерV
тут размер известен же
Только у самого бокса
usize * 2
usize * 2
V
Тебе ссылку на ?Sized надо вернуть?
!Sized правильно ? - это когда может быть сайзед и не сайзед
V
!Sized правильно ? - это когда может быть сайзед и не сайзед
!Sized нет ведь
Только ?Sized, емнип
Только ?Sized, емнип
V
Vetro
!Sized нет ведь
Только ?Sized, емнип
Только ?Sized, емнип
Я просто к тому, что баунд
?Sized = Sized | Unsized
А negative bound нету конечно. Точнее есть где-то в анстейбле и для автотрейтов.
?Sized = Sized | Unsized
А negative bound нету конечно. Точнее есть где-то в анстейбле и для автотрейтов.
EG
Я просто к тому, что баунд
?Sized = Sized | Unsized
А negative bound нету конечно. Точнее есть где-то в анстейбле и для автотрейтов.
?Sized = Sized | Unsized
А negative bound нету конечно. Точнее есть где-то в анстейбле и для автотрейтов.
Negative bound и не будет
EG
Потому что если есть negative bounds, то имплемент трейта для типа это breaking change. Это треш
V
Потому что если есть negative bounds, то имплемент трейта для типа это breaking change. Это треш
На примере покажи плз
EG
На примере покажи плз
// crate1
pub struct S;
pub trait Tr { }
// crate2
use crate1::*;
trait Q { }
impl<T> Q for T where T: !Tr { }
fn<T: Q> f(_x: T) { }
fn g() { f(S) }
EG
Теперь если мы в
Таким образом, имплемент трейта для типа становится брейкинг чендж
crate1 сделаем impl Tr for S { }, то это сломает компиляцию crate2Таким образом, имплемент трейта для типа становится брейкинг чендж
V
Ну понятно. Но как жить если нужны автотрейты?
EG