Juego de rol

Referencias nulas

Si alguna vez has usado otro lenguaje de programación (C/C++, Python, Java, Ruby, Lisp, etc.), es probable que ya te hayas topado con null o nil. El uso de null o nil es la forma en que estos lenguajes indican que una variable en particular no tiene valor. Sin embargo, esto hace que usar una variable null por accidente sea un error fácil (y frecuente) de cometer. Como puedes imaginar, intentar llamar a una función que no está ahí, o acceder a un valor que no existe, puede provocar todo tipo de bugs y cierres inesperados. El creador de null llegó al punto de llamarlo su «error de mil millones de dólares».

El tipo Option

Para evitar estos problemas, las variables de Cairo pueden usar el enum Option para representar de forma segura la ausencia de un valor. Este enum tiene dos variantes: None, el equivalente a null en Cairo; y Some(T), donde T es un valor de cualquier tipo.

Se ve así:

enum Option<T> {
    None,
    Some(T),
}

Puedes pensar en Option como una capa de seguridad entre tú y los problemas que pueden causar las referencias nulas, sin dejar de conservar su utilidad conceptual.

Cómo usar Option

Asignar None a una variable es bastante sencillo:

let nothing: Option<u32> = Option::None;  // Variable nothing is set to None

Sin embargo, si quieres que el tipo Option contenga un valor, no puedes asignar ese valor directamente. Una variable de tipo Option y, digamos, una variable de tipo i32 no son equivalentes. Necesitas usar Some:

let wrong_way: Option<i32> = -4; // This will not work

let right_way: Option<i32> = Option::Some(-4); // This will work
let another_right_way = Option::Some(-4); // Compiler infers that this is Option<i32>

Por la misma razón, lo siguiente no funcionará:

let number = 47;
let option_number = Option::Some(15);

let compile_error = number + option_number; // Cannot add an i32 and an Option<i32> - they are of different types

Para obtener el valor que contiene Some, primero debes comprobar que existe:

let mut some_words = Option::Some("choose something to say"); // some_words set to something

match some_words {
    Option::Some(str) => println!("Here, we will {}", str),
    Option::None => println!("I've got nothing to say"),
} // Prints, "Here, we will choose something to say"

some_words = Option::None; // some_words now set to None

// Exactly the same match block as above
match some_words {
    Option::Some(str) => println!("Here, we will {}", str),
    Option::None => println!("I've got nothing to say"),
} // Prints, "I've got nothing to say"

Cairo tiene otras herramientas además de match para comprobar y acceder a los valores que contiene Option, pero a estas alturas match ya debería resultarte familiar.

Considera esto una demostración de por qué Cairo usa Option en lugar de una referencia nula. El punto es que tienes que comprobar si la variable Option es Some (en cuyo caso puedes seguir adelante y extraer y usar el valor que contiene) o None. De lo contrario, tu programa no compilará; el compilador te protege de null.