Question

我试图创建一个特征，该特征应该用不同数量的参数抽象出函数/闭包。像这样：

trait MyTrait {}

impl MyTrait for Box<Fn() -> &'static str> {}

impl MyTrait for Box<Fn(u8) -> u8> {}

最初我打算像这样使用它：

fn myf<F: MyTrait>(_fun: F) {}

fn main() {
    myf(Box::new(|i: u8| i + 2))
}

但是这段代码失败了，错误：

error[E0277]: the trait bound `std::boxed::Box<[closure@src/main.rs:11:18: 11:31]>: MyTrait` is not satisfied

当我像这样投射盒子时，一切都正确编译：

myf(Box::new(|i: u8| i + 2) as Box<Fn(_) -> _>)

Playground

为什么Rust编译器在没有强制转换的情况下无法推断出这个特征？我的方法（使用演员）是正确的，还是有更简单的方法？我更喜欢为我的项目启用trivial_casts警告，这种语法会触发它。

Answer 1

这是一个人们往往会忘记的事情：每个闭包都是一个实现ZWxhaW5lQGdtYWlsLmNvbQ==的不同结构：Fn是一个特征，而不是结构，特征实现不是传递的。

这是一个显示这一点的小例子：

Fn

你真正想做的事情是：

trait Base {}
trait Derived {}
struct Foo {}

impl Base for Derived {}

impl Derived for Foo {}

fn myf<T>(_t: Box<T>)
where
    T: Base + ?Sized,
{
}

fn main() {
    let foo = Box::new(Foo {});
    //myf(foo) // does not compile
    myf(foo as Box<Derived>)
}

但这无法编译，因为存在两个相互冲突的实现。

当闭包作为特征对象参数传递时，为什么需要强制转换？

1 个答案: