2

尝试编写类似于 Haskell 的 HList 的东西，具有按类型搜索的能力。使用以下代码，在 play.rust-lang.org 版本中rustc 0.13.0-dev (567b90ff0 2014-12-13 20:02:15 +0000)出现错误：

<anon>:35:26: 35:31 error: unable to infer enough type information to locate the impl of the trait `ContainsRel<int, _>` for the type `HCons<int, HNil>`; type annotations required
<anon>:35     let foo: &int = list.get();
                                   ^~~~~

我不确定为什么它不能推断出正确的类型，HNil 没有 ContainsRel 实现。

trait HList {}

struct HNil;
struct HCons<H, T: HList>(H, T);

impl HList for HNil {}
impl<H, T: HList> HList for HCons<H, T> {}


trait Peano {}

struct Zero;
struct Succ<N: Peano>(N);

impl Peano for Zero {}
impl<N: Peano> Peano for Succ<N> {}

trait ContainsRel<E, P: Peano> {
    fn get(&self) -> &E;
}

impl<E, L: HList> ContainsRel<E, Zero> for HCons<E, L> {
    fn get(&self) -> &E {
        &self.0
    }
}
impl<E, X, L: ContainsRel<E, P>+HList, P: Peano> ContainsRel<E, Succ<P>> for HCons<X, L> {
    fn get(&self) -> &E {
        self.1.get()
    }
}

fn main() {
    let list: HCons<uint, HCons<int, HNil>> = HCons(5u, HCons(6i, HNil));
    let foo: &int = list.get();
}
4

1 回答 1

3

有人可以Peano为另一种类型隐含该特征，即使在另一个 crate 中，然后list.get()in main 就会变得模棱两可。如果您尝试在 impl 中手动替换类型，您会得到：

impl <E=int, X=uint , L=HCons<int, HNil>, P=?> ContainsRel<int, Succ<P=?>> for HCons<uint, HCons<int,HNil>>

到目前为止定义的类型P必须为零（因为它是Peano作用域内的唯一实现），但任何人都可以定义另一个结构，在另一个模块中实现 P，所以 Rust 强制你显式。例如，添加这将是有效的：

struct Foo;
impl Peano for Foo {}
impl<E, L: HList> ContainsRel<E, Foo> for HCons<E, L> {
    fn get(&self) -> &E {
        &self.0
    }
}

指定 P 作品的类型：

let foo: &int = ContainsRel::<_, Succ<Zero>>::get(&list);

...但是是的，它看起来不太好。

于 2014-12-15T14:02:57.007 回答