如何修复：值可能包含引用；添加绑定到“T”的“静态”

Question

我又一次遇到了我自己似乎无法解决的终身问题。

我有这个特点

pub trait MiddlewareHandler: Clone {
    fn invoke (&self, req: &Request, res: &mut Response) -> bool {
        true
    }

    // we need this because otherwise clone() would be ambiguous
    fn clone_box(&self) -> Box<MiddlewareHandler> { 
        box self.clone() as Box<MiddlewareHandler> 
    }
}

impl MiddlewareHandler for fn (req: &Request, res: &mut Response) -> bool {
    fn invoke(&self, req: &Request, res: &mut Response) -> bool{
        (*self).invoke(req, res)
    }
}

impl Clone for Box<MiddlewareHandler> {
    fn clone(&self) -> Box<MiddlewareHandler> { 
        self.clone_box() 
    }
}

我为fn (req: &Request, res: &mut Response) -> bool 实现的目的是为了能够同时使用accept 轻量级函数和更重的MiddlewareHandler 实现者。

我将它们存储为Vec<Box<MiddlewareHandler>>

pub struct Middleware {
    handlers: Vec<Box<MiddlewareHandler>>
}

现在，问题是，编译器在这里对我大喊大叫：

    pub fn add<T: MiddlewareHandler> (&mut self, handler: T) {
        self.handlers.push(box handler);
    }

上面写着：

error: value may contain references; add `'static` bound to `T`
       self.handlers.push(box handler);

实现应该与这里使用的非常相似：

https://github.com/iron/iron/blob/master/src/chain/stackchain.rs#L67

但是，我似乎看不出区别：-/

如果有人愿意帮助我，我将代码推送到 github 到 static 分支：

https://github.com/floor-org/floor/tree/static

Answer 1

这里的问题是，为了安全地创建一个装箱的 trait 对象，原始对象不能有任何生命周期参数（static 除外），或者对象本身也需要尊重该生命周期，这是不可能的一般来说。修复它：

pub fn add<T: MiddlewareHandler + 'static> (&mut self, handler: T) {
    self.handlers.push(box handler);
}

读起来有点奇怪，但它是说“T 需要实现 MiddlewareHandler 并且它不能包含任何没有 static 生命周期的引用”。这仅适用于static。

Answer 2

特征对象会擦除内部数据的类型，这意味着仅通过查看 Box<Trait> 特征对象就无法知道它。特别是，数据的任何生命周期也会被删除，因此编译器无法判断特征对象是否/何时包含对无效数据的引用（即某些引用的生命周期已过期），因此 Rust 当前强制要求拥有的特征对象中的任何数据绝不能“过期”。也就是说，其中没有引用（确切地说，任何引用都是永久有效的，即'static）。

这通过内置的“特征”'static 表达：

pub fn add<T: 'static + MiddlewareHandler>(...

（这可能会在未来发生变化，拥有的 trait 对象能够受实际生命周期的限制，因此存储非'static 引用将是安全的。）