跳到主要内容

WTF Cairo极简教程: 22. 所有权 V 快照

我最近在学cairo-lang,巩固一下细节,也写一个WTF Cairo极简教程,供小白们使用。教程基于cairo 2.2.0版本。

推特:@0xAA_Science@WTFAcademy_

WTF Academy 社群:Discord微信群官网 wtf.academy

所有代码和教程开源在 github: github.com/WTFAcademy/WTF-Cairo


在本章中,我们将深入探讨 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 中的快照,它可以使数据所有权的管理更为安全高效。