AZ
BoxedClone трейт
Size: a a a
2020 January 07
OA
Box<Type> != Box<dyn Trait>
OA
Box<Type> вполне прозрачно поддерживает всякие дженерики, потому что тип точно известен, просто сидит не на стеке, а на куче.
OA
Box<dyn Trait> это вообще другой зверь и по историческим причинам использует слово Box
OA
по идее должно быть просто dyn Trait
OA
как impl Trait
MB
по идее должно быть просто dyn Trait
Почему? Это unsized объект
OA
Почему? Это unsized объект
я про синтаксис, а не семантику
AZ
Box<Type> != Box<dyn Trait>
Это одно и то же. Есть же ворнинг на это
OA
Это одно и то же. Есть же ворнинг на это
Box<Trait> и Box<Type> - разные вещи
MB
А как ты отличишь Arc<dyn Tr > от Box<dyn Tr> ?
OA
Box<Trait> - это депрекейтед на Box<dyn Trait>
MB
И от *mut dyn Tr?
AZ
А как ты отличишь Arc<dyn Tr > от Box<dyn Tr> ?
очень просто, если Tr это трейт значит dyn
MB
очень просто, если Tr это трейт значит dyn
Я не про слово dyn
MB
Я про то, что трейт-объект можно запихнуть в много разных типов
AZ
Box<Trait> и Box<Type> - разные вещи
Только вот ты в трейте, и Self в трейте будет ознчать себя в трейте, а не себя тип реализующий трейт
MB
В том числе в ссылки, указатели, Arc, Rc, Box, и так далее
AZ
trait BoxedClone {
fn clonse(&self) -> Box<Self>
}
Эквивалентно
trait BoxedClone {
fn clonse(&self) -> Box<dyn BoxedClone>
}