Cairo 101 入门

1. Hello Cairo
2. 基本类型
3. 局部和状态变量
4. 变量可变性
5. 函数
6. 元组 Tuple
7. 数组
8. 结构体
9. 枚举
10. 映射和其他类型
11. 控制流
12. 模式匹配
13. Option
14. 类型转换
15. 构造函数
.
Option

在本章中，我们将探讨 Cairo 中的 Option 枚举。它编码了一个值可能存在或不存在的情况，比其他编程语言中的 Null 值更安全。

Option 枚举

Cairo 中的 Option 枚举表示一个值可能存在或不存在。它的定义如下：

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

Option 枚举可以通过其 Some 变体容纳任何类型的值，或者通过其 None 变体表示值的缺失。

<T> 语法表示泛型类型，目前我们只需要了解 Option 枚举的 Some 变体可以容纳任何类型的单个数据。我们将在后续章节中介绍泛型的概念。

Option 允许我们利用 Cairo 强大的类型系统来防止空值或未定义值错误。与其允许变量为空，Cairo 更鼓励使用 Option 枚举来表示值的缺失，增加了 Cairo 的安全性。

构建 Option 实例

构建 Option 变量非常简单，类似于创建其他枚举：

// 创建 Some Option
fn create_some() -> Option<u8> {
    let some_value: Option<u8> = Option::Some(1_u8);
    some_value
}

// 创建 None Option
fn create_none() -> Option<u8> {
    let none_value: Option<u8> = Option::None(());
    none_value
}

解包 Option

你可以使用 unwrap() 方法提取 Option 的 Some 变体中的值。对于 None 变体，它会抛出错误。

// 使用 unwrap() 从 Some 中获取值
#[external(v0)]
fn get_value_from_some(self: @ContractState) -> u8 {
    let some_value = create_some();
    some_value.unwrap()
}

使用 Option

Option 枚举提供了两种方法来验证其内容是否为空：

  • is_some(): 如果 Option 是 Some 变体，则返回 true。
  • is_none(): 如果 Option 是 None 变体，则返回 true。

在以下示例中，如果 option 是 Some，则函数返回所包含的值，否则返回 0。

// 使用 is_some() 和 is_none() 处理选项
#[external(v0)]
fn handle_option_1(self: @ContractState, option: Option<u8>) -> u8 {
    // is_some() Returns `true` if the `Option` is `Option::Some`.
    // is_none()  Returns `true` if the `Option` is `Option::None`.
    if option.is_some() {
        option.unwrap()
    } else {
        0_u8
    }
}

或者，你可以使用 match 表达式处理 Option。

// 使用 match 处理选项
#[external(v0)]
fn handle_option_2(self: @ContractState, option: Option<u8>) -> u8 {
    match option{
        Option::Some(value) => value,
        Option::None(_) => 0_u8,
    }
}

总结

本章全面介绍了 Cairo 中的 Option 枚举。它用于编码值可能的存在或缺失，并增强 Cairo 程序的安全性和鲁棒性。

PreviousNext