数组和切片
数组是相同类型 T
的对象的集合,存储在连续的内存中。数组使用方括号 []
创建,它们的长度在编译时已知,是其类型签名 [T; length]
的一部分。
切片类似于数组,但它们的长度在编译时未知。相反,切片是一个双字对象;第一个字是指向数据的指针,第二个字是切片的长度。字大小与 usize 相同,由处理器架构决定,例如 x86-64 上为 64 位。切片可用于借用数组的一部分,并具有类型签名 &[T]
。
use std::mem; // This function borrows a slice. fn analyze_slice(slice: &[i32]) { println!("First element of the slice: {}", slice[0]); println!("The slice has {} elements", slice.len()); } fn main() { // Fixed-size array (type signature is superfluous). let xs: [i32; 5] = [1, 2, 3, 4, 5]; // All elements can be initialized to the same value. let ys: [i32; 500] = [0; 500]; // Indexing starts at 0. println!("First element of the array: {}", xs[0]); println!("Second element of the array: {}", xs[1]); // `len` returns the count of elements in the array. println!("Number of elements in array: {}", xs.len()); // Arrays are stack allocated. println!("Array occupies {} bytes", mem::size_of_val(&xs)); // Arrays can be automatically borrowed as slices. println!("Borrow the whole array as a slice."); analyze_slice(&xs); // Slices can point to a section of an array. // They are of the form [starting_index..ending_index]. // `starting_index` is the first position in the slice. // `ending_index` is one more than the last position in the slice. println!("Borrow a section of the array as a slice."); analyze_slice(&ys[1 .. 4]); // Example of empty slice `&[]`: let empty_array: [u32; 0] = []; assert_eq!(&empty_array, &[]); assert_eq!(&empty_array, &[][..]); // Same but more verbose // Arrays can be safely accessed using `.get`, which returns an // `Option`. This can be matched as shown below, or used with // `.expect()` if you would like the program to exit with a nice // message instead of happily continue. for i in 0..xs.len() + 1 { // Oops, one element too far! match xs.get(i) { Some(xval) => println!("{}: {}", i, xval), None => println!("Slow down! {} is too far!", i), } } // Out of bound indexing on array causes compile time error. //println!("{}", xs[5]); // Out of bound indexing on slice causes runtime error. //println!("{}", xs[..][5]); }