A menudo resulta útil agrupar un conjunto de elementos y tratar esos grupos como unidades.
En Cairo, llamamos a ese grupo un struct, y a cada elemento, uno de los campos del struct.
Un struct define el conjunto general de campos disponibles, pero un ejemplo concreto de un struct se denomina instancia.
Además, los structs pueden tener métodos definidos sobre ellos, que tienen acceso a los campos.
En ese caso, el propio struct se conoce como self.
Cuando un método usa ref self: SomeStruct, los campos se pueden cambiar, o mutar.
Cuando un método usa self: SomeStruct o self: @SomeStruct, los campos no se pueden cambiar: son inmutables.
Controlar la mutabilidad ayuda al borrow-checker a garantizar que toda una clase de bugs de concurrencia simplemente no ocurra en Cairo.
En este ejercicio, implementarás dos tipos de métodos en un struct.
Los primeros se conocen generalmente como getters: exponen los campos del struct al exterior sin dejar que nadie más mute ese valor.
También implementarás métodos de otro tipo, conocidos generalmente como setters.
Estos cambian el valor del campo.
Los setters no son muy habituales en Cairo (si un campo se puede modificar libremente, lo más habitual es simplemente hacerlo público), pero son útiles si actualizar el campo debe tener efectos secundarios.
Los structs se definen con la palabra clave struct, seguida del nombre con mayúscula inicial del tipo que describe el struct:
struct Item {}
Después se añaden más tipos al cuerpo del struct como campos del struct, cada uno con su propio tipo:
struct Item {
name: String,
weight: f32,
worth: u32,
}
Un trait define un conjunto de métodos que puede implementar un tipo (aquí nos centraremos en los structs, pero los traits también se pueden implementar en enums).
Estos métodos se pueden llamar sobre instancias del tipo cuando este trait está implementado.
Los traits se definen con la palabra clave trait y, dentro de los traits, definimos las firmas de los métodos que queremos que implemente nuestro tipo.
trait ImplTrait {
// Define the method signature
fn new() -> Item;
}
Por último, los métodos se pueden definir en los structs dentro de un bloque impl, que implementa el trait definido:
impl ItemImpl of ImplTrait {
// initializes and returns a new instance of our Item struct
fn new() -> Item {
Item {}
}
}
Ejercicio de aprendizaje
