You need to enable JavaScript to run this app.
优惠活动
大模型
产品
解决方案
定价
更多

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

相关产品推荐
方舟 Agent Plan

超全模态模型 × Harness 升级,最新支持 Deepseek-V4.1-Flash、GLM-5.3 系列、Doubao-Seedream-5.0-pro、Kimi-K3 (部分), 限时 9.9 元起

最近更新时间:2026.07.17 14:33:14