我试图做一个特性来呈现作为迭代器和字符串的东西 . 如果我在get_iterator结果中使用struct std :: slice :: Iter,那么每次都可以 .
pub trait Value {
fn get_iterator(&self) -> Box<std::slice::Iter<String>>;
}
struct StringList {
strings: Vec<String>
}
impl Value for StringList {
fn get_iterator(&self) -> Box<std::slice::Iter<String>> {
Box::new(self.strings.iter())
}
}
fn main() {
}
但是当我切换到trait Iterator <&String>时
pub trait Value {
fn get_iterator(&self) -> Box<Iterator<Item=&String>>;
}
struct StringList {
strings: Vec<String>
}
impl Value for StringList {
fn get_iterator(&self) -> Box<Iterator<Item=&String>> {
Box::new(self.strings.iter())
}
}
fn main() {
}
生锈抱怨生命:
<anon>:11:31: 11:37 error: cannot infer an appropriate lifetime for lifetime parameter 'a in function call due to conflicting requirements
<anon>:11 Box::new(self.strings.iter())
我应该如何定义特征并使其实现以使其有效?
顺便说一句,为什么编译器称这个生命周期为'a?它没有在任何地方命名,通常生锈符合“匿名生命” . 这是一个应该报告的错误吗?
1 回答
我们想在StringList引用上声明一个新的生命周期,并确保我们返回的盒装Iterator特性受该生命周期的约束 .
Edit: 回答有关生命周期的问题'a, it actually is defined, but the docs don' t显示它 . 单击Vec文档中的Iter返回对象,您将在调用iter()时看到'a is declared on that object. The implementation for Vec would have to introduce the lifetime ' a到Vec引用 .