rust - 整理 Self 和方法的不同生命周期

Question

我昨晚发布了一个类似的问题 ( Rust lifetime error expected concrete lifetime but found bound lifetime )，但现在仍然不知道如何将它应用到这个案例中。再一次，下面是一个简化的例子:

struct Ref;

struct Container<'a> {
  r : &'a Ref
}

struct ContainerB<'a> {
  c : Container<'a>
}

trait ToC {
  fn from_c<'a>(r : &'a Ref, c : Container<'a>) -> Self;
}

impl<'b> ToC for ContainerB<'b> {
  fn from_c<'a>(r : &'a Ref, c : Container<'a>) -> ContainerB<'a> {
    ContainerB{c:c}
  }
}

错误信息:

test.rs:16:3: 18:4 error: method `from_c` has an incompatible type for trait: expected concrete lifetime, but found bound lifetime parameter 'a
test.rs:16   fn from_c<'a>(r : &'a Ref, c : Container<'a>) -> ContainerB<'a> {
test.rs:17     ContainerB{c:c}
test.rs:18   }
test.rs:16:67: 18:4 note: expected concrete lifetime is the lifetime 'b as defined on the block at 16:66
test.rs:16   fn from_c<'a>(r : &'a Ref, c : Container<'a>) -> ContainerB<'a> {
test.rs:17     ContainerB{c:c}
test.rs:18   }
error: aborting due to previous error

我认为需要发生的是我需要一些方法来等同/子类型生命周期 'a , 和生命周期 'b .与前面的示例不同，没有 &self使用。我猜我可以通过向我的特征(trait ToC<'a> ...)添加一个生命周期类型参数来做到这一点，但我不想这样做，因为它会添加额外的 <'a>在任何地方我都想使用 trait 作为类型绑定(bind)。

如果有人好奇(AKA 可以忽略它)这可能实际出现在哪里，我在库中使用它在 rust 和 python 类型之间进行转换。特征是 here .一切正常，但我正在尝试围绕 PyObject 实现包装器类型(例如 numpy ndarray)并能够使用此将其转换为 PyObject 或从 PyObject 转换。

再次感谢!

Answer 1

这归结为与您之前的问题几乎相同的问题。

Self指的是您正在为其实现特征的类型。在本例中为 ContainerB<'b> ，所以关于它不一样的整个事情都适用；这次这次没有什么可以打结了'b和 'a一起，要么；生命周期是并且必须由编译器假定为可能不相交。 (这与保证 &'a ContainerB<'b> 的 'b ≥ 'a 截然不同。)

一旦您使用在方法上定义的生命周期，将其与 Self 上的生命周期联系起来不可能。可能最好的解决方案是将生命周期参数从方法转移到特征:

trait ToC<'a> {
    fn from_c(r: &'a Ref, c: Container<'a>) -> Self;
}

impl<'a> ToC<'a> for ContainerB<'a> {
    fn from_c(r: &'a Ref, c: Container<'a>) -> ContainerB<'a> {
        ContainerB { c: c }
    }
}