数组和数组索引表达式
数组表达式
语法
数组表达式 :
[数组元素?]
数组表达式 构建 数组。数组表达式有两种形式。
第一种形式列出数组中的每个值。这种形式的语法是用方括号括起来的同类型表达式的逗号分隔列表。这会生成一个数组，其中包含按书写顺序排列的每个值。
第二种形式的语法是用分号 (;) 分隔的两个表达式，并用方括号括起来。; 之前的表达式称为重复操作数。; 之后的表达式称为长度操作数。它必须具有 usize 类型，并且是常量表达式，例如 字面量 或 常量项。这种形式的数组表达式创建一个数组，其长度为长度操作数的值，每个元素都是重复操作数的副本。也就是说，[a; b] 创建一个包含 b 个 a 值副本的数组。如果长度操作数的值大于 1，则要求重复操作数的类型为 Copy，或者它必须是 常量项 的 路径。
当重复操作数是常量项时，它会被评估长度操作数的值的次数。如果该值为 0，则根本不会评估常量项。对于不是常量项的表达式，它只会被评估一次，然后将结果复制长度操作数的值的次数。
#![allow(unused)] fn main() { [1, 2, 3, 4]; ["a", "b", "c", "d"]; [0; 128]; // array with 128 zeros [0u8, 0u8, 0u8, 0u8,]; [[1, 0, 0], [0, 1, 0], [0, 0, 1]]; // 2D array const EMPTY: Vec<i32> = Vec::new(); [EMPTY; 2]; }
数组和切片索引表达式
数组 和 切片 类型的值可以通过在它们之后编写方括号括起来的 usize 类型表达式（索引）来索引。当数组是可变的，结果 内存位置 可以被赋值。
对于其他类型，索引表达式 a[b] 等价于 *std::ops::Index::index(&a, b)，或者在可变位置表达式上下文中等价于 *std::ops::IndexMut::index_mut(&mut a, b)。就像方法一样，Rust 也会重复插入对 a 的解引用操作以找到实现。
对于数组和切片，索引是基于零的。数组访问是常量表达式，因此可以在编译时使用常量索引值检查边界。否则，将在运行时执行检查，如果检查失败，则会使线程进入panic 状态。
#![allow(unused)] fn main() { // lint is deny by default. #![warn(unconditional_panic)] ([1, 2, 3, 4])[2]; // Evaluates to 3 let b = [[1, 0, 0], [0, 1, 0], [0, 0, 1]]; b[1][2]; // multidimensional array indexing let x = (["a", "b"])[10]; // warning: index out of bounds let n = 10; let y = (["a", "b"])[n]; // panics let arr = ["a", "b"]; arr[10]; // warning: index out of bounds }