有没有一种方法可以省略这个特征的寿命？

Question

我又在和生命搏斗了。或者事实上，我赢得了这场战斗，但我不确定结果是否是预期的处理方式。

假设我有一个有两个生存期的结构：内部

我想出了这个（它有效！）但我有几个问题

struct Inner<'a, 'b>{
    foo: &'a str,
    bar: &'b str
}

trait Worker<'data, 'a, 'b> {
    fn new (inner: &'data Inner<'a, 'b>) -> Self;
    fn work_with_inner () { println!("works on inner");}
}

struct SomeWorker<'inner, 'a:'inner, 'b:'inner> {
    inner: &'inner Inner<'a, 'b>
}

impl<'data, 'a, 'b> Worker<'data, 'a, 'b> for SomeWorker<'data, 'a, 'b> {
    fn new (inner: &'data Inner<'a, 'b>) -> Self {
        SomeWorker {
            inner: inner
        }
    }
}

fn main () {
}

游戏Geofence：http://is.gd/A3ol4w

>

就生命周期而言，这可以简化吗？特别是，我想知道这个特征是否真的需要定义所有这些生命周期，或者是否有一种方法只在结构上定义它们？

如果没有办法省略trait上的生命周期，那么这是否意味着为实现者指定trait上所有可能的生命周期是一种最佳实践？我的意思是，如果SomeWorkerstruct不想存储对internal的引用，那么整个过程，包括trait，可能会简单得多。

看，根本没有生命。

struct Inner<'a, 'b>{
    foo: &'a str,
    bar: &'b str
}

trait Worker {
    fn new (inner: &Inner) -> Self;
    fn work_with_inner () { println!("works on inner");}
}

struct SomeWorker;

impl Worker for SomeWorker {
    fn new (inner: &Inner) -> Self {
        SomeWorker
    }
}

fn main () {
}

游戏Geofence：http://is.gd/NzigjX

这就是为什么我要问自己，作为trait的作者，我是否应该假设所有引用的方法最终都会被trait实现者存储在一个字段中，因此我需要指定trait上的所有生命周期，以使实现者能够这样做。




Answer 1

没有一刀切的解决办法。作为一个特质作者，你必须思考你试图做什么，你想实现什么。

如果您希望能够将生命周期值与结构的生命周期参数关联起来，那么必须将生命周期放在trait上。通常会这样做，因为您的trait有多个方法可以在生命周期内对同一个值进行操作。这可能有点像getter/setter对。在我编写的一些代码中，我正在传递

在您的例子中，您有一个构造函数方法，它需要知道结构是否存在生命周期。你可以将这一功能与其他特征区分开来，如果它确实不同的话。在您的示例中，work\u with_internal方法不接受self参数，因此这是非常明显的。如果您使用了self，但不需要与internal中的生命周期交互，它仍然可以帮助您：

trait WorkerBuilder<'a, 'b> {
    fn new(inner: Inner<'a, 'b>) -> Self;
}

trait Worker {
    fn do_work(&self);
}

#[derive(Debug)]
struct Inner<'a, 'b>{
    foo: &'a str,
    bar: &'b str,
}

// This does track `Inner`
#[derive(Debug)]
struct SomeWorker<'a, 'b>(Inner<'a, 'b>);

impl<'a, 'b> WorkerBuilder<'a, 'b> for SomeWorker<'a, 'b> {
    fn new(inner: Inner<'a, 'b>) -> SomeWorker<'a, 'b> {
        SomeWorker(inner)
    }
}

impl<'a, 'b> Worker for SomeWorker<'a, 'b> {
    fn do_work(&self) { println!("Doing work, {:?}", self.0) }
}

// This doesn't track `Inner`
#[derive(Debug)]
struct DumbWorker;

impl<'a, 'b> WorkerBuilder<'a, 'b> for DumbWorker {
    fn new(inner: Inner<'a, 'b>) -> DumbWorker {
        DumbWorker
    }
}

fn main () {}

你会看到我还应用了一件你可以做的事情来减少寿命。如果您的结构只是引用（或引用和其他小Copy类型），则无需向该结构传递引用。引用是可复制的，跟踪包含结构的生存期没有用。

编辑-我不觉得“构造函数”方法在一个特性中通常是有用的。您通常希望提供不同的集合或参数，这就是为什么您首先要使用不同的类型。也许您真正的代码在trait中使用的不是构造函数。