Objetos Trait Poseídos
Previamente vimos que objetos de trait se pueden usar con referencias, e.g. &dyn Pet
. También podemos usar objetos de trait con punteros inteligentes como Box
para crear objetos de trait con dueño: Box<dyn Pet>
.
Diseño de la memoria después de asignar pets
:
Speaker Notes
This slide should take about 10 minutes.
- Los tipos que implementan un trait pueden tener diferentes tamaños. Esto hace imposible tener elementos como
Vec<dyn Pet>
en el ejemplo anterior. dyn Pet
es una forma de indicar al compilador un tipo de tamaño dinámico que implementaPet
.- En este ejemplo,
pets
es alocado sobre el stack y los datos del vector sobre el heap. Los dos elementos del vector son punteros gordos:- Un puntero gordo es un puntero de tamaño doble. Tiene dos componentes: un puntero al objeto y un puntero a la tabla virtual de métodos (vtable) para la implementación de
Pet
de ese objeto. - Los datos para el
Dog
llamado Fido son los camposname
yage
. ElCat
tiene un campolives
.
- Un puntero gordo es un puntero de tamaño doble. Tiene dos componentes: un puntero al objeto y un puntero a la tabla virtual de métodos (vtable) para la implementación de
- Compara estas salidas en el ejemplo anterior:
println!("{} {}", std::mem::size_of::<Dog>(), std::mem::size_of::<Cat>()); println!("{} {}", std::mem::size_of::<&Dog>(), std::mem::size_of::<&Cat>()); println!("{}", std::mem::size_of::<&dyn Pet>()); println!("{}", std::mem::size_of::<Box<dyn Pet>>());