Cairo中类型转换的要点

关键词：

Cairo

类型转换

Cairo是强类型语言，不同类型直接不能直接转换，也不能向C或者python那样直接在变量前面括号一个类型转换。 比如 let x :u8 = 3;  let y :u16 = x 是编译不能通过的。

但是呢，只要在一个编程环境里， 类型转换又是必不可少的。这就需要知道Cairo中如何实现类型转换的。

Cairo提供了Into和 TryInto 两种trait 并有对应的方法实现类型转换。

比如：

 let x_u8: u8 = 13;
 let x_u16: u16 = x_u8.into();

或者：

let x_felt: felt252 = 13;
let x_u128: u128 = x_felt.try_into().unwrap();

以上两种类型转换的方法，关键是要知道为啥这么设计， 我们知道 范围小的类型转换到范围大的类型，数据肯定不会丢失。 比如 u8 最多就是0-255， 转换为u16的话， 任何一个u8都可以无损转换。所以 较小类型转换到较大类型是肯定可以成功的，所以用into()

但是 从类型较大转换为类型较小 不一定能成功。

比如 u16 范围是 0-65535 , 转换为u8的话， 那么大于 255的数字都会转换失败。所以需要使用能抛出异常的try_into()方法。

这种转换思路在哪个语言里都是通用的，只不过在其他语言里， 虽然编译不会报错，但是实际运行时候，转换后的内容可能就是错的了。