ShalomHu

前面我们已经写了很多使用到 trait 的代码，我们现在就来将 trait 的用法总结一下。 Trait的字面意思是”特征”，相当于其他编程语言的 接口（interface...

基本用法 Map也可以被称为字典(dictionary)，Cairo中就是以字典来称呼的。基本用法主要包括：创建、插入键值对数据 和 读取数据。先看一些例子： 首先创建一个...

泛型是一种编程语言特性，它允许在编写代码时使用类型参数，这些类型参数可以在代码实例化时被具体类型替换。 实际编程中，我们设计好了一套算法来高效地处理业务上的一些问题。如果没...

一些相关信息的渠道 GitHub的Cairo项目任务进度版图：https://github.com/orgs/starkware-libs/projects/1/views...

在14_Cairo1.0 变量所有权一文中我们有提到Copy trait，实现了Copy trait的对象在被传入函数中的时候，会自动将变量复制，并且将副本传入到函数里。另...

变量的作用域，也可以理解为变量所有者的作用域，通常是指：变量的有效范围，或者可访问范围，它决定了变量的生命周期和可见性。我们来看个例子： 上面变量v1在main函数内部的花...

数组是一种非常常用的数据结构，通常代表一组相同类型的数据元素集合。无论是传统可执行程序，还是智能合约，都会使用到数组。 基本介绍 Cairo中的数组是从核心库 array ...

创建一个struct变量（注意⚠️：创建的时候，所有字段都需要赋值，漏了编译会报error: Missing member错误）： 使用struct变量的字段......

函数是任何一门编程语言必不可少的基础构建。一个函数一般包括：函数名、参数 和 返回值。在Cairo中，约定俗成的规定是将函数名和变量名使用”蛇形命名法”来命名...

if语句 使用起来很简单，不需要用括号将条件括起来。 再来看看多个判断条件的情况： 多个判断条件的执行顺序是：从上往下依次执行，遇到满足条件的，就会跳出不再进行下面的条件判...

元组是一个很有意思的类型，许多编程语言都有这个特性。它是可以将多个不同的类型组合在一起，形成一个集合体。一旦被声明了，他容纳的类型数量就不可以增加，也不可以减少，里面的类型...

与Rust一样，Cairo同样没有Null这种代表空的系统级变量或者属性。因为这样很容易出现：将空值当作非空值，或者将非空值当作空值的错误。...

Cairo中的枚举是一组类型的枚举，或者可以说是多个子类型公用一个枚举类型。适用的场景是：一组有着共同点的类型，但是每个类型又有许多不同，而且同一时刻相互之间互斥。...

Rust中的枚举是一组类型的枚举，或者可以说是多个子类型公用一个枚举类型。适用的场景是：一组有着共同点的类型，但是每个类型又有许多不同，而且同一时刻相互之间互斥。...

目前Cairo中的类型转换主要是将各种类型的整数相互转换，例如：u8、u16、u256、felt252 等。...

felt252 felt252是Cairo中基础类型，代表一个存储槽，未指定变量类型的字面量默认类型都是felt252。felt252可以是负数或者是0...

使用 const 关键字，并且指明了常量的类型，最后给出了常量的值。常量有以下性质： 1. 不允许使用 mut 关键字 2. 只能在全局范围内声明 3. 只可以使用字面量给...

Match控制模式在很多语言都有相同的特性，Rust的特别之处在于Match模式和Enum、Option搭配使用产生的效果。...

Cairo 中的Match控制模式，90%与Rust的一样。因为Cairo还在开发中，许多特性还未完善，Rust相对稳定，所以我们可以参考来对照着学习Cairo的这个功能。...