角色扮演游戏

空引用

如果你用过其他编程语言（C/C++、Python、Java、Ruby、Lisp 等），很可能见过 null 或 nil。 这些语言用 null 或 nil 来表示某个变量没有值。 但这也很容易（而且经常）让人不小心用了 null 变量。 可以想象，试图调用一个不存在的函数，或者访问一个不存在的值，会引发各种各样的 bug 和崩溃。 null 的创造者甚至把它称为自己的“十亿美元错误”。

Option 类型

为了避免这些问题，Cairo 的变量可以用 Option 枚举安全地表示没有值的情况。 这个枚举有两个变体：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 的困扰。