如何修復缺少的生命週期說明符？

Question

我有一個非常簡單的方法。第一個參數需要向量組件（「A」，5,0），我會將它與另一個向量的每個元素進行比較，以查看它們是否具有相同的（_，5，_），然後打印出找到的元素的字符串。

比較（ 「A」，5,0）和（ 「Q」，5,2）應該打印出來問：

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) 

這只是衆多可能的解釋之一是您可能^ h ave意味着功能可以做，因此這是一個非常保守的選擇 - 它使用所有參考參數的統一生命週期。

也許你想返回一個字符串，只要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 
    ... 
}