作为输出参数

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

返回闭包的有效特征是：

  • Fn
  • FnMut
  • FnOnce

除此之外，还必须使用 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 create_fnonce() -> impl FnOnce() {
  14.     let text = "FnOnce".to_owned();
  16.     move || println!("This is a: {}", text)
  17. }
  19. fn main() {
  20.     let fn_plain = create_fn();
  21.     let mut fn_mut = create_fnmut();
  22.     let fn_once = create_fnonce();
  24.     fn_plain();
  25.     fn_mut();
  26.     fn_once();
  27. }

参见：

Fn, FnMut, 泛型 和 impl Trait.