如何修复缺少的生命周期说明符？

Question

我有一个非常简单的方法。第一个参数接受向量分量（“A”、5、0），我将把它与另一个向量的每个元素进行比较，看看它们是否相同（_、5、_），然后打印出找到的元素的字符串。

比较 ("A", 5, 0 ) 和 ("Q", 5, 2) 应该会打印出 Q。

fn is_same_space(x: &str, y1: i32, p: i32, vector: &Vec<(&str, i32, i32)>) -> (&str) {
    let mut foundString = "";

    for i in 0..vector.len() {

        if y1 == vector[i].1 {
            foundString = vector[i].0;
        }

    }
    foundString    
}

但是，我得到了这个错误

error[E0106]: missing lifetime specifier
 --> src/main.rs:1:80
  |
1 | fn is_same_space(x: &str, y1: i32, p: i32, vector: &Vec<(&str, i32, i32)>) -> (&str) {
  |                                                                                ^ expected lifetime parameter
  |
  = help: this function's return type contains a borrowed value, but the signature does not say whether it is borrowed from `x` or one of `vector`'s 2 elided lifetimes

Answer 1

通过指定生命周期：

fn is_same_space<'a>(x: &'a str, y1: i32, p: i32, vector: &'a Vec<(&'a str, i32, i32)>) -> (&'a str)

这只是您可能对函数所做的许多可能的解释之一，因此这是一个非常保守的选择 - 它使用所有引用参数的统一生命周期。

也许您想返回一个与x 或vector 或与vector 中的字符串一样长的字符串；所有这些都可能有效。

---

我强烈建议您返回并重新阅读 The Rust Programming Language。它是免费的，面向 Rust 的初学者，它涵盖了所有使 Rust 独一无二并且对程序员来说是新事物的东西。许多人在这本书上花费了很多时间，它回答了许多诸如此类的初学者问题。

具体来说，您应该阅读以下章节：

• ownership
• references and borrowing
• lifetimes

甚至还有一个second edition in the works，其章节如下：

• Understanding Ownership
• Generic Types, Traits, and Lifetimes

---

为了好玩，我会使用迭代器重写您的代码：

fn is_same_space<'a>(y1: i32, vector: &[(&'a str, i32, i32)]) -> &'a str {
    vector.iter()
        .rev() // start from the end
        .filter(|item| item.1 == y1) // element that matches
        .map(|item| item.0) // first element of the tuple
        .next() // take the first (from the end)
        .unwrap_or("") // Use a default value
}

• 删除了不需要的参数。
• 使用迭代器可以避免边界检查的开销，并且更清楚地暴露您的意图。
• Why is it discouraged to accept a reference to a String (&String) or Vec (&Vec) as a function argument?
• Rust 不使用 camelCase 变量名。
• 我假设您确实想从vector 内部返回字符串。
• 删除返回类型上的冗余括号

Answer 2

所以问题出在vector 有两个推断的生命周期，一个用于vector 本身（&Vec 部分），另一个用于向量内的&str。你在x 上也有一个推断的生命周期，但这真的无关紧要。

要修复它，只需指定返回的 &str 与向量中的 &str 一样长：

fn is_same_space<'a>(                        // Must declare the lifetime here
    x: &str,                                 // This borrow doesn't have to be related (x isn't even used)
    y1: i32,                                 // Not borrowed
    p: i32,                                  // Not borrowed or used
    vector: &'a Vec<(&'a str, i32, i32)>     // Vector and some of its data are borrowed here
) -> &'a str {                               // This tells rustc how long the return value should live
    ...
}