Rust编译期借用错误疑问：为何可变借用未被IDE提前检测？

问题代码 #

let mut a = 6; //1
let b = &a; //2
let c = &mut a; //3
println!("{b}") //4

问题描述 #

按照Rust所有权与借用规则，同时存在不可变借用和可变借用属于编译期错误。上述代码第3行在第2行的不可变借用后创建可变借用，明显违反规则，但在VSCode、RustRover等IDE中，只会标记第4行缺少分号这类语法错误，第3行的借用冲突错误只有执行cargo run时才会被检测到。疑问：这个错误难道不属于编译期错误吗？

解答 #

这个错误绝对是编译期错误，Rust的借用检查是编译器（rustc）的核心语义分析环节，必须在编译阶段拦截这类违反内存安全的问题。

IDE没实时检测到的原因主要有两点：

• IDE的实时代码分析依赖rust-analyzer工具，为了保证响应速度，它会做增量分析或延迟检查；如果代码存在语法错误（比如第4行缺分号），语法错误会优先阻断后续的语义分析流程，导致借用检查没被触发。
• 执行cargo run时会调用rustc进行完整编译，会执行全量的语法、语义分析以及借用检查，所以能准确捕获这个错误。

你可以做个验证：给第4行补上分号，IDE会立刻标记出第3行的借用冲突——语法错误修复后，rust-analyzer会继续完成完整的语义检查。

内容的提问来源于stack exchange，提问作者Mandroid