作为输出参量

闭包作为输入参量是可能的,所以返回闭包作为输出参量(output parameter)也应该是可能的。然而返回的闭包类型会有问题,因为目前的 Rust 只支持返回具体(非泛型)的类型。按照定义匿名的闭包类型是未知的,所以想要返回一个闭包只有使它变成具体的类型。通过 box 操作可以实现这点。

关于返回值的有效的 trait 和前面的略有不同:

  • Fn:和前面的一样(normal)
  • FnMut:和前面的一样
  • FnOnce:这里运行会有些独特的地方(There are some unusual things at play here),所以目前需要 FnBox 类型,这属于不稳定的内容。此处预计将来会发生改变。

除此之外,还必须使用 move 关键字,它表明了通过值来产生全部的捕获(which signals that all captures occur by value)。这是必需的,因为在函数退出的同时任何通过引用捕获的值将被丢弃(dropped),在闭包中留下无效的引用。

1. fn create_fn() -> Box<Fn()> {
2. let text = "Fn".to_owned();

4. Box::new(move || println!("This is a: {}", text))
5. }

7. fn create_fnmut() -> Box<FnMut()> {
8. let text = "FnMut".to_owned();

10. Box::new(move || println!("This is a: {}", text))
11. }

13. fn main() {
14. let fn_plain = create_fn();
15. let mut fn_mut = create_fnmut();

17. fn_plain();
18. fn_mut();
19. }

参见:

Boxing, Fn, FnMut, 和 泛型.