特征 `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>，我希望那里会出现错误。而这个特定的错误确实具有误导性。我会提交一个关于这个的错误。

或者，您可以放弃特征对象以支持常规有界泛型，尽管并非总是可行。

The trait `A` is not implemented for the type `A`