rust 编译器如何生成“这里发生不可变借用”？

Question

我正在学习 Rust，以下代码来自在线书籍 The Rust Programming Language link：

fn first_word(s: &String) -> &str {
    let bytes = s.as_bytes();

    for (i, &item) in bytes.iter().enumerate() {
        if item == b' ' {
            return &s[0..i];
        }
    }

    &s[..]
}

fn main() {
    let mut s = String::from("hello world");

    let word = first_word(&s);

    s.clear(); // error!

    println!("the first word is: {}", word);
}

编译器如下：

| let word = first_word(&s);
|                       -- immutable borrow occurs here

所以我认为“这里发生不可变借用”是在谈论 &s 而不是“让单词”。 但是如果我改变了

let word = first_word(&s);

到

first_word(&s);

编译器错误消失。 所以这让我觉得“这里发生不可变借用”是在谈论“让单词”而不是&s。

如果first_word的返回值只依赖于另一个字符串（这意味着first_word根本不依赖于&s）如下：

fn first_word(s: &String) -> &str {
    println!("the input for first word is: {}", s);

    let s1 = "hi rust";
    let bytes = s1.as_bytes();

    for (i, &item) in bytes.iter().enumerate() {
        if item == b' ' {
            return &s1[0..i];
        }
    }

    &s1[..]
}

编译器仍然在下面说：

| let word = first_word(&s);
|                       -- immutable borrow occurs here

我对编译器实际上为生成“此处发生不可变借用”所做的工作感到非常困惑。

Answer 1

你应该阅读完整的错误：

error[E0502]: cannot borrow `s` as mutable because it is also borrowed as immutable
  --> src/main.rs:18:5
   |
16 |     let word = first_word(&s);
   |                           -- immutable borrow occurs here
17 | 
18 |     s.clear(); // error!
   |     ^^^^^^^^^ mutable borrow occurs here
19 | 
20 |     println!("the first word is: {}", word);
   |                                       ---- immutable borrow later used here

“不能将s 借用为可变的，因为它也被借用为不可变的” 是错误消息，其他所有内容都只是为了指出冲突借用发生的位置。

---

如果 first_word 的返回值只依赖于另一个字符串（这意味着 first_word 根本不依赖 &s）如下

这不太对。 signature 函数决定了生命周期。在您编辑的first_word 中，即使您返回从静态字符串借来的str，实际签名（没有生命周期省略）看起来像

fn first_word<'a>(s: &'a String) -> &'a str {
   ...

返回的&str 绑定到s 的生命周期，无论它来自何处。此示例仅显示如何缩短具有静态生命周期的引用。并且由于返回值绑定到s的生命周期，s被认为是word借用的。