Box<T>
Box
es un puntero propio de datos en el heap:
Box<T>
implementa Deref<Target = T>
, lo que significa que puedes llamar a métodos desde T
directamente en un Box<T>
.
Los tipos de datos recursivos o los tipos de datos con tamaños dinámicos deben utilizar un Box
:
Speaker Notes
This slide should take about 8 minutes.
-
Box
es igual questd::unique_ptr
en C++, salvo que está asegurado que no será nulo. -
Un
Box
puede resultar útil en los siguientes casos:- tiene un tipo cuyo tamaño no se conoce durante la compilación, pero el compilador de Rust quiere saber el tamaño exacto.
- quieres transferir la propiedad (“ownership”) de una gran cantidad de datos. Para evitar que se copien grandes cantidades de datos en el stack, almacena los datos del heap en un
Box
para que solo se mueva el puntero.
-
Si no utilizamos
Box
e intentamos insertar unList
directamente dentro deList
, el compilador no podría calcular un tamaño fijo de la estructura en la memoria (List
tendría un tamaño infinito). -
Box
resuelve este problema, ya que tiene el mismo tamaño que un puntero normal y solo apunta al siguiente elemento de laList
en el heap. -
Elimina
Box
de la definición de la lista y muestra el error del compilador. El mensaje “recursivo con indirección” es una sugerencia de que debes usar un Box o referencia de algún tipo en lugar de almacenar un valor directamente.
Más información
Optimización de la Memoria
Aunque Box
se parece a std::unique_ptr
en C++, no puede ser vació o nulo. Esto hace Box
uno de los tipos que permite que el compilador optimice el almacenaje de ciertas enumeraciones.
Por ejemplo, Option<Box<T>>
tiene el mismo tamaño que Box<T>
, ya que el compilador usa el valor nulo para discriminar variantes en vez de usar una etiqueta explicita (“Null Pointer Optimization”):