特征“A”没有为“A”类型实现

Question

我正在尝试使用一个具有函数的特征，该函数将闭包作为参数，然后在特征对象上使用它。

trait A {
    fn f<P>(&self, p: P) where P: Fn() -> ();
}

struct B {
    a: Box<A>
}

impl B {
    fn c(&self) {
        self.a.f(|| {});
    }
}

此代码段会生成以下错误：

the trait `A` is not implemented for the type `A` [E0277]

rustc的版本为rustc 1.0.0-beta.3 (5241bf9c3 2015-04-25) (built 2015-04-25)。

Answer 1

问题是方法f不是对象安全的，因为它是通用的，因此无法在特征对象上调用它。您将不得不强迫其用户传递盒装闭包：

trait A {
    fn f(&self, p: Box<Fn() -> ()>);
}

我想知道为什么Rust首先允许Box<A>，我会在那里遇到错误。而这个特殊错误确实具有误导性。我会提出一个关于此的错误。

或者，您可以丢弃特征对象，而不是常规有界泛型，但并非总是可行。