在模板中具有关联类型的特征

Question

我在编译Rust代码时遇到了问题，我设法将问题归结为这个代码片段：

use std::slice::Iter;

pub trait Foo<'a> {
    type Bar: Iterator<Item=&'a usize>;

    fn make(&self) -> usize;
}

pub struct Juice;

impl <'a> Foo<'a> for Juice {
    type Bar = Iter<'a, usize>;

    fn make(&self) -> usize { 0us }
}


// Uncomment this line to break things
// fn get_int<'a, T: Foo<'a>>(t: T) -> usize {
//   t.make()
// }


fn main() {
    println!("Hello, {:?} world!" , Juice.make());
}

我很确定我只是遗漏了一些东西，有什么我需要做的才能使这个特性发挥作用吗？ 我正在使用最新的每晚alpha版本（在撰写本文时）：

rustc 1.0.0-nightly (458a6a2f6 2015-01-25 21:20:37 +0000)

Answer 1

不幸的是，你需要写这个：

fn get_int<'a, T: Foo<'a, Bar=I>, I: Iterator<Item=&'a usize>>(t: T) -> usize {
  t.make()
}

也就是说，您必须明确指定Bar的类型是相应类型的迭代器。 单独在特质定义内的特征是不够的。

这非常类似于常规类型参数的工作。 即使你写了类似的东西

trait Parameterized<T: Clone> { ... }

你还需要写

fn do_something<P: Parameterized<T>, T: Clone>() { ... }

或结构：

struct S<T: Iterator<i32>> { ... }

impl<T: Iterator<i32>> for S<T> { ... }

这确实看起来违反直觉（我偶然发现了几次）并且可能在RFC repo中存在问题。