我正在写《铁 rust 》这本书，它有this code snippet：

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

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

    s.len()
}

在上一章中，我们已经解释过

• rust编译器防止你在对象超出作用域（悬空引用）后保留对对象的引用，以及
• 变量在它们被提及的最后时刻超出范围（所给出的例子示出了通过确保在创建可变引用之后不提及不可变引用来创建对同一块中的同一对象的不可变引用和可变引用）。

在我看来，在for行标题之后似乎没有引用bytes（假定与bytes.iter().enumerate()相关联的代码仅在循环开始之前执行一次，而不是在每次循环迭代上执行），所以&item不应该被允许作为对bytes的任何部分的引用。但是我没有看到任何其他对象（“对象”是正确的铁 rust 术语吗？）它可以成为一个参考。
s确实仍在作用域中，但是，在for循环滚动时，编译器是否还记得bytes和s之间的连接？实际上，即使我将函数更改为直接接受bytes，编译器也会认为一切都很好：

fn first_word(bytes: &[u8]) -> usize {
    for (i, &item) in bytes.iter().enumerate() {
        if item == b' ' {
            return i+1;
        }
    }

    0
}

在for循环头后面没有提到i或item以外的变量，所以看起来&item真的不能作为任何东西的引用！
我查看了this very similarly-titled question，那里的注解和答案暗示可能存在一个使bytes保持活动的lifetime参数，并提出了一种询问编译器它认为类型/lifetime是什么的方法，我还没有学习过lifetime，所以我在黑暗中摸索了一下，但我尝试了：

fn first_word<'x_lifetime>(s: &String) -> usize {
    let bytes = s.as_bytes();
    let x_variable: &'x_lifetime () = bytes;

    for (i, &item) in bytes.iter().enumerate() {
        if item == b' ' {
            return i+1;
        }
    }

    0
}

然而，这个错误虽然确实表明bytes是一个&[u8]，我理解这一点，但似乎也暗示没有额外的生存期信息与bytes相关联。我这样说是因为这个错误在“预期”部分包括生存期信息，而在“发现”部分没有。

error[E0308]: mismatched types
 --> test.rs:3:39
  |
3 |     let x_variable: &'x_lifetime () = bytes;
  |                     ---------------   ^^^^^ expected `()`, found slice `[u8]`
  |                     |
  |                     expected due to this
  |
  = note: expected reference `&'x_lifetime ()`
             found reference `&[u8]`

那么这是怎么回事呢？显然我的推理有一部分是错误的，但是什么呢？为什么item不是悬空引用呢？