我在编译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)
答案 0 :(得分:5)
不幸的是,你需要写下这个:
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中遇到问题。