ShalomHu

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

与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的这个功能。