Rust借用检查器疑问:为何仅第二个示例可正常执行?
为什么两个Rust示例的借用检查结果不同?
核心区别在于first_word函数的返回值类型——一个返回引用,一个返回值,这直接决定了Rust借用检查器对x的借用生命周期的判断逻辑。
第一个示例(报错的情况)
fn main() { let mut x = String::from("aa ab"); let y = first_word(&x); x.clear(); // Error cannot borrow X println!("{y}"); } //Returns an i32 reference fn first_word(s: &String) -> &i32 { return &32; }
这里first_word接收&String作为参数,返回&i32类型的引用。根据Rust的默认生命周期推断规则:当函数返回一个引用,且没有显式标注生命周期时,编译器会默认这个返回引用和输入的引用共享同一个生命周期。
换句话说,编译器会认为y这个&i32依赖于&x的生命周期,因此x的不可变借用会一直持续到y被使用完毕(也就是println!("{y}")执行完)。而x.clear()需要对x进行可变借用,Rust的核心借用规则是:同一时间,一个值不能同时存在不可变借用和可变借用,所以这里会触发编译错误。
哪怕返回的&32实际上是静态常量的引用,和x完全无关,但编译器的默认生命周期推断还是会把它和输入的&String绑定,从而锁住x的可变权限。
第二个示例(正常运行的情况)
fn main() { let mut x = String::from("aa ab"); let y = first_word(&x); x.clear(); //Everything is fine println!("{y}"); } //Returns an i32 fn first_word(s: &String) -> i32 { return 32; }
这个例子里first_word返回的是i32值,不是引用。当调用first_word(&x)时,只是临时创建了一个x的不可变借用,函数执行完成后,这个借用就立刻失效了——因为函数不需要返回任何和x绑定的引用,没有任何变量再依赖这个借用。
所以当执行x.clear()时,x没有任何活跃的借用,此时申请可变借用完全符合Rust的规则,因此代码可以正常编译运行。
内容的提问来源于stack exchange,提问作者Tiago Dias
相关产品推荐
相关产品推荐

