使用 as 进行类型转换

使用 as 进行类型转换

Rust 并没有为基本类型提供隐式的类型转换( coercion )，但是我们可以通过 as 来进行显式地转换。

🌟

1. // 修复错误，填空
2. // 不要移除任何代码
3. fn main() {
4. let decimal = 97.123_f32;

6. let integer: __ = decimal as u8;

8. let c1: char = decimal as char;
9. let c2 = integer as char;

11. assert_eq!(integer, 'b' as u8);

13. println!("Success!")
14. }

🌟🌟 默认情况下, 数值溢出会导致编译错误，但是我们可以通过添加一行全局注解的方式来避免编译错误(溢出还是会发生)

1. fn main() {
2. assert_eq!(u8::MAX, 255);
3. // 如上所示，u8 类型允许的最大值是 255.
4. // 因此以下代码会报溢出的错误： literal out of range for `u8`.
5. // **请仔细查看相应的编译错误，从中寻找到解决的办法**
6. // **不要修改 main 中的任何代码**
7. let v = 1000 as u8;

9. println!("Success!")
10. }

🌟🌟 当将任何数值转换成无符号整型 T 时，如果当前的数值不在新类型的范围内，我们可以对当前数值进行加值或减值操作( 增加或减少 T::MAX + 1 )，直到最新的值在新类型的范围内，假设我们要将 300 转成 u8 类型，由于u8 最大值是 255，因此 300 不在新类型的范围内并且大于新类型的最大值，因此我们需要减去 T::MAX + 1，也就是 300 - 256 = 44。

1. fn main() {
2. assert_eq!(1000 as u16, __);

4. assert_eq!(1000 as u8, __);

6. // 事实上，之前说的规则对于正整数而言，就是如下的取模
7. println!("1000 mod 256 is : {}", 1000 % 256);

9. assert_eq!(-1_i8 as u8, __);

11. // 从 Rust 1.45 开始，当浮点数超出目标整数的范围时，转化会直接取正整数取值范围的最大或最小值
12. assert_eq!(300.1_f32 as u8, __);
13. assert_eq!(-100.1_f32 as u8, __);

15. // 上面的浮点数转换有一点性能损耗，如果大家对于某段代码有极致的性能要求，
16. // 可以考虑下面的方法，但是这些方法的结果可能会溢出并且返回一些无意义的值
17. // 总之，请小心使用
18. unsafe {
19. // 300.0 is 44
20. println!("300.0 is {}", 300.0_f32.to_int_unchecked::<u8>());
21. // -100.0 as u8 is 156
22. println!("-100.0 as u8 is {}", (-100.0_f32).to_int_unchecked::<u8>());
23. // nan as u8 is 0
24. println!("nan as u8 is {}", f32::NAN.to_int_unchecked::<u8>());
25. }
26. }

🌟🌟🌟 裸指针可以和代表内存地址的整数互相转换

2. // 填空
3. fn main() {
4. let mut values: [i32; 2] = [1, 2];
5. let p1: *mut i32 = values.as_mut_ptr();
6. let first_address: usize = p1 __;
7. let second_address = first_address + 4; // 4 == std::mem::size_of::<i32>()
8. let p2: *mut i32 = second_address __; // p2 指向 values 数组中的第二个元素
9. unsafe {
10. // 将第二个元素加 1
11. __
12. }

14. assert_eq!(values[1], 3);

16. println!("Success!")
17. }

🌟🌟🌟

1. fn main() {
2. let arr :[u64; 13] = [0; 13];
3. assert_eq!(std::mem::size_of_val(&arr), 8 * 13);
4. let a: *const [u64] = &arr;
5. let b = a as *const [u8];
6. unsafe {
7. assert_eq!(std::mem::size_of_val(&*b), __)
8. }
9. }

你可以在这里找到答案(在 solutions 路径下)

12.1. as

使用 as 进行类型转换