Rust 编码规范 V 1.0 beta

G.TYP.VEC.01 禁止访问未初始化的数组

【级别】 建议

【描述】

访问未初始化数组的内存会导致未定义行为。

【反例】

#![allow(unused)]
fn main() {
let mut vec: Vec<u8> = Vec::with_capacity(1000);
unsafe { vec.set_len(1000); }
// 不符合
reader.read(&mut vec); // error: Undefined Behavior: using uninitialized data, but this operation requires initialized memory
}

【正例】

#![allow(unused)]
fn main() {
// 符合
let mut vec: Vec<u8> = vec![0; 1000];
reader.read(&mut vec);
}

【Lint 检测】