从具有生命周期的结构切换到特征

Question

我正在尝试创建一个 trait 来将某些东西作为 &Strings 的迭代器呈现。如果我在 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

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

rust 抱怨生命周期：

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

我应该如何定义 trait 并进行实现以使其发挥作用？

顺便说一句，为什么编译器将这个生命周期称为“a”？它没有在任何地方命名，并且通常 rust 符合“匿名生命周期”。这是一个应该报告的错误吗？

Answer 1

我们希望在我们的 StringList 引用上声明一个新的生命周期，并确保我们返回的、装箱的 Iterator 特征受该生命周期的约束。

pub trait Value {
    fn get_iterator<'a>(&'a self) -> Box<Iterator<Item=&String> + 'a>;
}

struct StringList {
    strings: Vec<String>
}

impl Value for StringList {
    fn get_iterator<'a>(&'a self) -> Box<Iterator<Item=&String> + 'a> {
        Box::new(self.strings.iter())
    }
}

fn main() {
}

编辑： 要回答你关于生命周期'a 的问题，它实际上是定义的，但文档没有显示它。单击 Vec 文档中的 Iter 返回对象，您将看到在该对象上声明了 'a。 Vec 的实现必须在调用 iter() 时将生命周期 'a 引入到 Vec 引用中。