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中的错误，另一个实际上是代码问题。

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拥有闭包的所有权（因为~具有析构函数，因此{{3}当传递时），但是人们不能取得借用的指针中包含的值的所有权（这将是不礼貌的）。合法的人不会尝试取得所有权，(*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] }。）

{{1}}

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

绕过并评估防锈罩

1 个答案: