传递和评估锈封闭

Question

我在传递和评估闭包列表时遇到了困难。大大简化，这个程序显示出与我正在尝试编写的程序相同的错误：

use std::vec::flat_map;

#[main]
fn main() {
  let list:~[~fn()->~[~str]] = get_list();
  //let res:~[~str] = flat_map(list, |&f|{f()});
  let res:~[~str] = flat_map(list, apply);
  println(res.to_str());
}

fn apply<T>(f:&fn()->T) -> T {
  f()
}

fn get_list() -> ~[~fn()->~[~str]] {
  ~[
    ~||{~[~"foo"]},
    ~||{~[~"bar"]},
    ]
}

这基本上是试图获取返回列表的函数列表，并将其转换为运行函数的结果的平面列表。我得到了两个编译器错误：

temp.rs:7:35: 7:40 error: mismatched types: expected `&fn<no-bounds>(&~fn:Send() -> ~[~str]) -> ~[<V3>]` but found `extern "Rust" fn(&fn<no-bounds>() -> <V4>) -> <V4>` (expected &-ptr but found fn)
temp.rs:7   let res:~[~str] = flat_map(list, apply);
                                             ^~~~~
temp.rs:16:2: 19:5 error: mismatched types: expected `~[~fn:Send() -> ~[~str]]` but found `~[~&fn<no-bounds>() -> ~[~str]]` (expected fn but found ~-ptr)
temp.rs:16   ~[
temp.rs:17     ~||{~[~"foo"]},
temp.rs:18     ~||{~[~"bar"]},
temp.rs:19     ]
error: aborting due to 2 previous errors

首先，函数apply 和我注释掉的lambda 都不允许我映射函数列表。其次，在 get_list() 函数中，我无法生成可接受的向量。

Answer 1

有两个问题：一个是 Rust 的 bug，另一个实际上是你的代码有问题。

• Rust 中的错误是闭包推断是（当前）可怕，当人们想要 &fn 以外的任何东西时，必须给它们显式类型。 （其中一个文件是#2190。）

• 你的代码中的错误是由于flat_map的类型

  pub fn flat_map<T, U>(v: &[T], f: &fn(t: &T) -> ~[U]) -> ~[U]
  

  关键是将&T 传递给闭包，因此，由于我们有~[~fn() -> ~str]，闭包会收到&(~fn() -> ~str)。要调用这样的野兽，我们需要取消对它的引用，|&f| f() 这样做，但以非法方式。合法的方法是|f| (*f)()。

  不正确的方法会使f 具有~fn() -> ~str 类型，这意味着f 拥有闭包的所有权（因为~ 有一个析构函数，所以moves ownership 在传递时），但不能取借用指针中包含的值的所有权（这是不礼貌的）。合法的从未尝试获得所有权，(*f)() 在被调用之前（有效地）将~fn() -> ~str 强制为&fn() -> ~str。 （如果一个人也正确使用了apply，这是明确的：list.flat_map(|f| apply(*f)))。）

fn main() {
  let list = get_list();
  let res = list.flat_map(|f| (*f)());
  println(res.to_str());
}

fn get_list() -> ~[~fn() -> ~[~str]] {
    let f1: ~fn() -> ~[~str] = || ~[~"foo"];
    let f2: ~fn() -> ~[~str] = || ~[~"bar"];

    ~[f1, f2]
}

（注意我删除了不必要的类型注释，并使用flat_map method而不是函数，因为这是Rust风格。）