Cairo 102 进阶

在本章中，我们将深入探讨 Cairo 中快照（snapshot）的概念，包括如何创建和使用快照，以及它们如何与 Cairo 的所有权系统交互。

使用快照

在 Cairo 中，快照是某一时刻值的不可变视图。你可以将一个值的快照传递给函数，同时保留原始值的所有权。

让我们以一个示例函数 get_length() 来说明，它计算数组的长度。此函数接收一个数组的快照作为参数，这使我们能够在调用上下文中保持数组的所有权：

use array::ArrayTrait;

fn snapshot_example(){
    let x = ArrayTrait::<felt252>::new();  // x 进入作用域
    let x_snapshot = @x;
    let len = get_length(x_snapshot); // 将 x 的快照传递给函数
    let y = x; // 这是有效的     
}

// 获取数组的长度
fn get_length(some_array: @Array<felt252>) -> usize{
    some_array.len()
}

在上面的代码中：

• get_length() 函数使用快照操作符 @ 将数组的快照作为参数。
• 我们使用 @ 操作符创建 x 的快照，并将其传递给 get_length() 函数。
• 重要的是，由于我们将一个快照传递给了 get_length()，所以函数不应该改变数组。
• 数组的所有权仍然在 snapshot_example 函数中的 x 中，这演示了快照在保留所有权中的作用。

将可复制类型与快照结合使用

你可以使用 desnap 操作符 * 将快照转换回普通值。考虑一个场景，我们需要计算一个矩形的面积，但不希望在我们的计算函数中获取矩形的所有权。以下是你可以做到的方式：

#[derive(Copy, Drop)]
struct Rectangle {
    height: u64,
    width: u64,
}

fn desnap_example() {
    // 创建一个 Rectangle 结构体
    let rec = Rectangle { height: 5_u64, width: 10_u64 };
    // 将 rec 的快照传递给函数
    let area = calculate_area(@rec);
}

fn calculate_area(rec: @Rectangle) -> u64 {
    // 使用 `desnap` 操作符 `*` 获取底层值
    *rec.height * *rec.width
}

在 calculate_area() 函数中，我们使用 desnap 操作符 (*) 将快照转换回普通值。只有当类型是可复制的时候，这才是可能的。请注意，Cairo 中的数组不可复制，因此不能使用 * 操作符进行 'desnap'。

总结

在这个教程中，我们探讨了 Cairo 中的快照，它可以使数据所有权的管理更为安全高效。