lambda - 传递和评估防 rust 封闭

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 在传递时)，但是不能取得包含在 borrowed 指针中的值的所有权(那是不礼貌的) .合法的永远不会尝试取得所有权，(*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 风格。)