数组和切片

数组(array)是一组拥有相同类型 T 的对象的集合,在内存中是连续存储的。数组使用 中括号 [] 来创建,且它们的大小在编译时会被确定。数组的类型标记为 [T; size]( 译注:T 为元素的类型,size 表示数组的大小)。

切片(slice)类型和数组类似,但其大小在编译时是不确定的。相反,切片是一个双字 对象(two-word object),第一个字是一个指向数据的指针,第二个字是切片的长度。这 个 “字” 的宽度和 usize 相同,由处理器架构决定,比如在 x86-64 平台上就是 64 位。 slice 可以用来借用数组的一部分。slice 的类型标记为 &[T]。

1. use std::mem;

3. // 此函数借用一个 slice
4. fn analyze_slice(slice: &[i32]) {
5. println!("first element of the slice: {}", slice[0]);
6. println!("the slice has {} elements", slice.len());
7. }

9. fn main() {
10. // 定长数组(类型标记是多余的)
11. let xs: [i32; 5] = [1, 2, 3, 4, 5];

13. // 所有元素可以初始化成相同的值
14. let ys: [i32; 500] = [0; 500];

16. // 下标从 0 开始
17. println!("first element of the array: {}", xs[0]);
18. println!("second element of the array: {}", xs[1]);

20. // `len` 返回数组的大小
21. println!("array size: {}", xs.len());

23. // 数组是在栈中分配的
24. println!("array occupies {} bytes", mem::size_of_val(&xs));

26. // 数组可以自动被借用成为 slice
27. println!("borrow the whole array as a slice");
28. analyze_slice(&xs);

30. // slice 可以指向数组的一部分
31. println!("borrow a section of the array as a slice");
32. analyze_slice(&ys[1 .. 4]);

34. // 越界的下标会引发致命错误(panic)
35. println!("{}", xs[5]);
36. }