G.TYP.ARR.02 使用数组索引时禁止越界访问

【级别】 要求

【描述】

越界访问在运行时会 Panic!

【反例】


#![allow(unused)]
fn main() {
// 不符合
let x = [1, 2, 3, 4];
x[9];
&x[2..9];
}

【正例】


#![allow(unused)]
fn main() {
// 符合
let x = [1, 2, 3, 4];
x[0];
x[3];
}

【Lint 检测】

lint nameClippy 可检测Rustc 可检测Lint Grouplevel
out_of_bounds_indexingyesnocorrectnessdeny