角色扮演遊戲

空參照

如果你用過其他程式語言（C/C++、Python、Java、Ruby、Lisp 等），很可能已經遇過null或nil。 這些語言用null或nil來表示某個變數沒有值。 然而，這也讓不小心用到null變數變成一個很容易（而且很常發生）的錯誤。 可以想見，試圖呼叫一個不存在的函式，或存取一個不存在的值，都可能導致各種 bug 和程式崩潰。 null的創造者甚至稱它是他的「十億美元的錯誤」。

Option型別

為了避免這些問題，Cairo 的變數可以使用Option這個 enum，安全地表示沒有值的狀態。 這個 enum 有兩個變體：None（相當於 Cairo 的 null），以及Some(T)，其中T是任意型別的值。

它長得像這樣：

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

你可以把Option想成一道安全防線，隔開你與空參照可能造成的問題，同時保留它在概念上的實用性。

使用Option

把變數設為None相當直接：

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

不過，如果你想讓Option型別帶有一個值，並不能直接指定這個值。 Option型別的變數和，比如說，i32型別的變數並不等同。 你需要使用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>

基於同樣的理由，下面這樣也行不通：

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

想取得Some包含的值，你得先確認它存在：

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"

除了match之外，Cairo 還有其他工具可以檢查並存取Option裡的值，不過match現在對你來說應該已經很熟悉了。

就把這當作一個示範，說明為什麼 Cairo 用Option而不用空參照。 重點是，你_必須_檢查Option變數是Some（這種情況下你就可以放心取出並使用裡面包含的值），還是None。 否則你的程式無法編譯；編譯器會保護你不受null的影響。