Skip to main content

WTF Cairo极简教程: 7. 数组

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

推特：@0xAA_Science｜@WTFAcademy_

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

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

在本章中，我们将介绍Cairo中的数组，包括它们的8个成员函数。

数组​

数组是相同类型T的对象的集合，存储在连续的内存中，并可使用索引进行访问。数组在Cairo中并非原生支持，你需要导入ArrayTrait库来使用它。

use array::ArrayTrait;

数组对象有 8 个成员函数，我们将逐一介绍。你需要导入更多库来使用它们。

use option::OptionTrait;
use box::BoxTrait;

我们将在后续章节深入探讨 Cairo 库。

new()​

你可以使用new()函数创建一个新数组：

use array::ArrayTrait;

#[external(v0)]
fn create_array(self: @ContractState) -> Array<felt252> {
    // new(): 创建新数组
    let mut arr = ArrayTrait::new();

    // 返回数组
    return arr;
}

append()​

要向数组添加元素，可以使用append()函数：

// append(): 将元素追加到数组末尾
arr.append(1);
arr.append(2);
arr.append(3);

pop_front()​

要从数组中移除元素，可以使用pop_front()函数。要使用它，你需要用 use option::OptionTrait; 导入另一个OptionTrait库。

// pop_front(): 从数组中移除第一个元素
let pop_element = arr.pop_front().unwrap();

at() 或 get()​

要访问数组中的某个元素，可以使用at()或get()函数。区别在于get()函数返回一个Option，这是一种枚举类型，用于表示值可能存在或不存在。Option类型是一种通用类型，这意味着它可以与任何数据类型一起使用。要使用get()，你需要导入OptionTrait和BoxTrait库。

// at(): 获取特定索引处的元素
let elem_one = *arr.at(0);

// get(): 获取特定索引处的元素，返回 Option 类型。
// 需要导入 OptionTrait 和 BoxTrait
let elem_two = *arr.get(1).unwrap().unbox();

len()​

你可以使用len()函数获取数组的当前长度：

// len(): 数组的长度
let length = arr.len();

is_empty()​

is_empty()函数检查数组是否为空，如果数组没有元素，则返回true；如果数组至少有一个元素，则返回false。

// is_empty(): 检查数组是否为空并返回布尔值
let empty_arr = arr.is_empty();

span()​

跨度是包含数组快照的结构。你需要导入SpanTrait库来使用它。

// span(): 跨度是包含数组快照的结构。
// 需要导入 SpanTrait
let my_span = arr.span();

总结​

在本章中，我们介绍了Cairo中的数组及其8个成员函数，包括它们的用法以及使用特定函数所需的库。