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 name | Clippy 可检测 | Rustc 可检测 | Lint Group | level |
---|---|---|---|---|
out_of_bounds_indexing | yes | no | correctness | deny |