Referências nulas
Se alguma vez já usaste outra linguagem de programação (C/C++, Python, Java, Ruby, Lisp, etc.), é provável que já tenhas encontrado null ou nil.
O uso de null ou nil é a forma que essas linguagens têm de indicar que uma determinada variável não tem valor.
No entanto, isso torna o uso acidental de uma variável null um erro fácil (e frequente) de cometer.
Como podes imaginar, tentar chamar uma função que não existe, ou aceder a um valor que não existe, pode dar origem a todo o tipo de bugs e falhas.
O criador de null chegou ao ponto de lhe chamar o seu 'erro de mil milhões de dólares'.
O tipo Option
Para evitar estes problemas, as variáveis de Cairo podem usar o enum Option para representar de forma segura a ausência de um valor.
Este enum tem duas variantes: None, o equivalente a null em Cairo; e Some(T), em que T é um valor de qualquer tipo.
Tem este aspeto:
enum Option<T> {
None,
Some(T),
}
Podes pensar no Option como uma camada de segurança entre ti e os problemas que as referências nulas podem causar, mantendo ainda assim a sua utilidade conceptual.
Utilizar Option
Atribuir None a uma variável é bastante simples:
let nothing: Option<u32> = Option::None; // Variable nothing is set to None
No entanto, se quiseres que o tipo Option transporte um valor, não podes atribuir esse valor diretamente.
Uma variável do tipo Option e, por exemplo, uma variável do tipo i32 não são equivalentes.
Tens de 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>
Pela mesma razão, o seguinte não vai 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 obteres o valor contido em Some, tens primeiro de verificar que ele 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 tem outras ferramentas além de match para verificar e aceder a valores contidos no Option, mas o match já te deve ser familiar.
Considera isto uma demonstração de porque é que Cairo usa Option em vez de uma referência nula.
A ideia é que tens obrigatoriamente de verificar se a variável Option é Some (caso em que podes avançar e extrair e usar o valor que ela contém) ou None.
Caso contrário, o teu programa não compila; o compilador protege-te do null.
Exercício de aprendizagem
