为什么编译器需要这个特性提示？

Question

我有这个密码：

pub trait MiddlewareHandler: Clone + Send {
    //...probably unimportant for the question
}

#[deriving(Clone)]
pub struct Middleware {
    handlers: Vec<Box<MiddlewareHandler>>
}

#[deriving(Clone)]
pub struct Server{
    middleware: Middleware
}

这给我留下了编译器对我大喊大叫：

src/server.rs:20:31: 20:37 error: the type `server::Server', which does not fulfill `Send`, cannot implement this trait
src/server.rs:20 impl http::server::Server for Server {
                                           ^~~~~~
src/server.rs:20:31: 20:37 note: types implementing this trait must fulfill `Send+Sized`
src/server.rs:20 impl http::server::Server for Server {

我花了很长时间才明白我必须改变Vec

pub trait MiddlewareHandler: Clone + Send {
    //...probably unimportant for the question
}

#[deriving(Clone)]
pub struct Middleware {
    handlers: Vec<Box<MiddlewareHandler + Send>>
}

#[deriving(Clone)]
pub struct Server{
    middleware: Middleware
}

代码现在编译，但我完全不明白这里到底有什么问题。为什么要在Vec定义中发送代码？我的意思是，这个特性已经实现了发送克隆。对我来说，这看起来相当多余。

有人能和我分享他的智慧吗，为什么我必须这样修改代码？

Answer 1

看起来像个虫子，我提交了15155号文件。

“问题”是http:：server:：server上的Send限制。定义是

pub trait Server: Send + Clone {

这意味着实现者需要同时是Clone（这是满足的，因为您已经通过#[派生（克隆）]实现了Clone）和发送。编译器自动实现的发送的类型的内容满足发送（这个细节将改变与选择内置特性：他们将需要显式实现太），不幸的是，原始类型是类似

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

通常不实现Send：编译器无法知道框中已擦除的类型

编译器需要知道更多信息，也就是说，它需要保证内部类型是Send，这可以通过向trait对象：框添加更多边界来提供

然而，在本例中，MiddlewareHandlertrait已经将这个Send绑定为一个超级trait（这意味着trait对象的内容必须满足Send），因此编译器没有计算出这个框是很奇怪的