在实施特征时定义预期寿命

Question

我正在尝试为结构实现类似特征的“setter”。请看下面的代码：

struct Buffer<'a>{
    data: &'a i32
}

trait Setter {
    fn set_value(& mut self, c: & i32) -> ();
}

impl<'b> Setter for Buffer<'b> {
    fn set_value(& mut self, c: & i32) -> () {
        self.data = c;
    }
}

代码非常简单，set_value 函数所做的只是将 data 设置为等于 c。

当我尝试编译代码时，它无法以“引用的生命周期超过借用内容的生命周期”进行编译，我明白为什么会发生这种情况。实现子句的生命周期和函数本身的生命周期是有区别的。

我的问题是如何克服这个问题？我试图定义 set_value 的生命周期应该超过生命周期 'b 但随后我开始陷入特征签名和实际实现之间的问题。

Answer 1

这些生命周期需要更深入地渗透到您的实现中，如下所示：

struct Buffer<'a>{
    data: &'a i32
}

trait Setter<'b> {
    fn set_value(&'b mut self, c: &'b i32) -> ();
}

impl<'b> Setter<'b> for Buffer<'b> {
    fn set_value(&'b mut self, c: &'b i32) -> () {
        self.data = c;
    }
}

这里的意思是“Buffer 的生命周期不会超过给定的 c 的生命周期”。