4

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

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()我无法生成可接受的向量。

4

1 回答 1

6

有两个问题：一个是 Rust 中的错误，另一个实际上是您的代码有问题。

  • Rust 中的错误是闭包推断是（当前）可怕的，当人们想要除&fn. （其中一个文件是#2190。）

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

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

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

    不正确的方法将使f拥有类型~fn() -> ~str，这意味着f拥有闭包的所有权（因为~有一个析构函数，因此在传递时会移动所有权），但是不能获取包含在借用指针中的值的所有权（这是不礼貌的） . 合法的人从不尝试获得所有权，(*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方法而不是函数，因为这是 Rust 风格。）

于 2013-10-13T01:33:36.180 回答