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

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中存在问题.