Rust 不会缩小类型范围吗？或者我犯了一个错误

Question

尝试编写类似于 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 impls。

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();
}

Answer 1

有人可以为另一种类型实现 Peano 特征，即使是在另一个箱子中，然后 main 中的 list.get() 就会变得不明确。 如果您尝试在 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);

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