为什么在下面的示例中显式声明生存期？[副本]

Question

我正在研究一些锻炼的解决方案，但不明白为什么需要明确的终身声明？

#[derive(Debug)]
pub struct HighScores<'a> {
    scores: &'a [u32],
}

impl<'a> HighScores<'a> {
    pub fn new(scores: &'a [u32]) -> Self {
        HighScores { scores }
    }

    pub fn scores(&self) -> &[u32] {
        self.scores
    }

    pub fn latest(&self) -> Option<u32> {
        self.scores.last().cloned()
    }

    pub fn personal_best(&self) -> Option<u32> {
        self.scores.iter().max().cloned()
    }

    pub fn personal_top_three(&self) -> Vec<u32> {
        let mut res_vec = self.scores.to_vec();

        res_vec.sort_unstable_by(|a, b| a.cmp(b).reverse());
        res_vec.truncate(3);

        res_vec
    }
}

源练习练习

Answer 1

这是由于终生省略规则

考虑以下不起作用的新代码：

pub fn new(scores: &[u32]) -> Self {
    HighScores { scores }
}
error[E0621]: explicit lifetime required in the type of `scores`

同：

pub fn new(scores: &[u32]) -> HighScores<'a> {
    HighScores { scores }
}

返回自与返回您当前实现的类型（HighScores

还应该注意的是，您的impl Header中声明的生命周期不适用于函数输入的生命周期省略。

您可以通过设置输入的生存期来解决此问题：

pub fn new(scores: &'a [u32]) -> Self {
    HighScores { scores }
}

或删除输出生存期：

pub fn new(scores: &[u32]) -> HighScores<'_> {
    HighScores { scores }
}