绕过并评估防锈罩

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拥有闭包的所有权(因为~有一个析构函数,所以在传递时移动所有权),但是不能取得借用指针中包含的值的所有权(这将是不礼貌的) .合法的人不会尝试取得所有权,在被召唤之前(*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风格.)