如何使用括号进行泛型?

时间:2015-07-11 06:00:33

标签: templates generics call rust lifetime

我收到了编译错误:

Fn系列特征一起使用时,

angle-bracket表示法不稳定,请使用括号[E0215]

这是什么意思?我如何"使用括号"?

use std::hash::Hash;
use std::collections::HashMap;

struct MemoedFun<A, R> {
    fun: fn(&A) -> R,
    map: HashMap<A, R>,
}

fn memoize<A: Eq + Hash, R>(fun: fn(&A) -> R) -> MemoedFun<A, R> {
    MemoedFun {
        fun: fun,
        map: HashMap::new(),
    }
}

impl<'a, A, R> FnOnce<A> for &'a MemoedFun<A, R> {
    type Output=&'a R;
}

1 个答案:

答案 0 :(得分:8)

您的代码存在一些问题。

首先,您不能直接在稳定的Rust中使用Fn*特征。这包括1)使用尖括号表示法,以及2)实现这些特征。可以在不稳定的Rust中为这两个东西启用一个功能标志。

其次,如果对闭包特征使用尖括号,则必须使用元组作为参数,即使只有一个参数:

FnOnce<(A,)>

第三,错误消息是您应该写FnOnce<(T, U), Output=V>而不是FnOnce(T, U) -> V。这是&#34;使用括号&#34;的意思。信息。我同意此消息在此处具有误导性,因为由于相关类型,因此您无法实现Fn。我想有关实现Fn类型的错误应优先于此错误。

第四,当你使用&'a MemoedFun<A, R>因为你需要一个可变指针来更新地图时,你不能做你想要的(一个由哈希映射支持的记忆功能)。您需要为FnOnce实施&'a mut MemoedFun<A, R>

impl<'a, A: Eq + Hash, R> FnOnce<(A,)> for &'a mut MemoedFun<A, R> {
    type Output = &'a R;

    extern "rust-call" fn call_once(self, (arg,): (A,)) -> &'a R {
        if self.map.contains_key(&arg) {
            &self.map[&arg]
        } else {
            let r = (self.fun)(&arg);
            self.map.entry(arg).or_insert(r)
        }
    }
}

最后,你必须写的使用这个memoizer的结果代码并不漂亮。你不能在你的&#34;函数&#34;上使用函数语法。出于某种原因,您需要直接使用call_once()

fn computer(x: &i32) -> i32 {
    println!("Computing for {}", x);
    -*x
}

let mut f = memoize(computer);

println!("f(10): {}", (&mut f).call_once((10,)));
println!("f(10): {}", (&mut f).call_once((10,)));
println!("f(42): {}", (&mut f).call_once((42,)));

(试试here

毕竟,Fn*特征手动实施不稳定是有原因的。