作为输出参数

闭包作为输入参数是可能的,所以返回闭包作为输出参数(output parameter)也应该是 可能的。然而返回闭包类型会有问题,因为目前 Rust 只支持返回具体(非泛型)的 类型。按照定义,匿名的闭包的类型是未知的,所以只有使用impl Trait才能返回一个闭包。

返回值的合法 trait 和前面的略有不同:

  • Fn:和前面的一样
  • FnMut:和前面的一样
  • FnOnce:不平常的事情正是发生在这里。总之现在你需要返回 [FnBox][fnbox] 类型,目前该类型还是不稳定的。这个情况估计将来会改进。

除此之外,还必须使用 move 关键字,它表明所有的捕获都是通过值进行的。这是必须 的,因为在函数退出时,任何通过引用的捕获都被丢弃,在闭包中留下无效的引用。

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

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

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

10. 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. }

参见:

Fn, FnMut, 泛型 和 impl Trait.