如何在 Rust 的struct中存储闭包

发布于01月08日

在Rust 1.0之前，我可以使用这种过时的闭包语法编写一个 struct :

struct Foo {
    pub foo: |usize| -> usize,
}

现在我可以做如下事情:

struct Foo<F: FnMut(usize) -> usize> {
    pub foo: F,
}

但是我创造的Foo个物体是什么类型的呢？

let foo: Foo<???> = Foo { foo: |x| x + 1 };

我也可以参考:

struct Foo<'a> {
    pub foo: &'a mut FnMut(usize) -> usize,
}

我觉得这比较慢，因为

推荐答案

对于第三个代码段中使用的类型，这里有isn't个；闭包类型是匿名的，不能直接命名.相反，你会写:

let foo = Foo { foo: |x| x + 1 };

如果您在need指定想要Foo的上下文中编写代码，您应该编写:

let foo: Foo<_> = Foo { foo: |x| x + 1 };

_告诉类型系统为您推断实际的泛型类型.

关于使用which的一般经验法则，按降序排列:

通用参数:struct Foo<F: FnMut(usize) -> usize>.这是最有效的，但它确实意味着一个特定的Foo实例只能存储one个闭包，因 for each 闭包都有不同的具体类型.
trait 参考:&'a mut dyn FnMut(usize) -> usize.有一个指针间接寻址，但现在可以存储对任何具有兼容调用签名的闭包的引用.
盒装封口:Box<dyn FnMut(usize) -> usize>.这涉及到在堆上分配闭包，但不必担心生命周期.与引用一样，可以使用兼容的签名存储任何闭包.

使用||语法的闭包是对存储在堆栈上的闭包的引用，因此它们相当于&'a mut FnMut(usize) -> usize.旧式proc是堆分配的，相当于Box<dyn FnOnce(usize) -> usize>(只能调用proc一次).